-no-uliterals)Отключите определения Polyspace для char16_t или char32_t
Укажите, что анализ не должен задавать типы char32_t или char16_t.
Пользовательский интерфейс (только десктопные решения): В вашей настройке проекта опция находится на узле Target & Compiler. Смотрите Зависимости для других опций, которые необходимо также включить.
Командная строка: Используйте опцию -no-uliterals. Смотрите информацию о Командной строке.
Если ваш компилятор задает char16_t, и/или char32_t через оператор typedef или при помощи включает, используйте эту опцию, чтобы выключить стандартное определение Polyspace® char16_t и char32_t.
Чтобы проверять, задает ли ваш компилятор эти типы, скомпилируйте этот код с помощью параметров компилятора, которые вы обычно используете:
typedef unsigned short char16_t; typedef unsigned long char32_t;
char16_t и char32_t. Включите эту опцию Polyspace.
НаАнализ не позволяет типы char32_t и char16_t.
От (значения по умолчанию)Анализ позволяет типы char32_t и char16_t.
Можно выбрать эту опцию только, когда эти условия верны:
Source code language (-lang) установлен в CPP или C-CPP.
Compiler (-compiler) установлен в generic или версию gnu.
Параметр: -no-uliterals |
| Значение по умолчанию: 'off' |
Пример (средство поиска ошибки):
polyspace-bug-finder -lang cpp -compiler gnu4.7 -cpp-version cpp11 -no-uliterals |
Пример (программа автоматического доказательства кода):
polyspace-code-prover -compiler gnu4.7 -lang cpp -cpp-version cpp11 -no-uliterals |
Пример (сервер средства поиска ошибки): polyspace-bug-finder-server -lang cpp -compiler gnu4.7 -cpp-version cpp11 -no-uliterals |
Пример (сервер программы автоматического доказательства кода):
polyspace-code-prover-server -compiler gnu4.7 -lang cpp -cpp-version cpp11 -no-uliterals |