-no-uliterals)Отключить определения Polyspace для char16_t или char32_t
Укажите, что анализ не должен определять char16_t или char32_t типы.
Пользовательский интерфейс (только для настольных ПК): в конфигурации проекта этот параметр находится в узле Target & Compiler. Другие параметры, которые также необходимо включить, см. в разделе Зависимости.
файл командной строки и параметров: Использовать параметр -no-uliterals. См. раздел Сведения о командной строке.
Если компилятор определяет char16_t и/или char32_t через typedef оператор или используя includes, используйте эту опцию, чтобы отключить стандартное определение Polyspace ® char16_t и char32_t.
Чтобы проверить, определяет ли компилятор эти типы, скомпилируйте этот код, используя обычно используемые параметры компилятора:
typedef unsigned short char16_t; typedef unsigned long char32_t;
char16_t и char32_t. Включите этот параметр Polyspace.
НаАнализ не позволяет char16_t и char32_t типы.
Выкл. (по умолчанию)Анализ позволяет char16_t и char32_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 |