-no-uliterals)Отключите определения Polyspace для char16_t или char32_t
Укажите, что анализ не должен задавать char16_t или char32_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.
OnАнализ не позволяет char16_t и char32_t типы.
От (значения по умолчанию)Анализ позволяет char16_t и char32_t типы.
Можно выбрать эту опцию только, когда эти условия верны:
Source code language (-lang) установлен в CPP или C-CPP.
Compiler (-compiler) установлен в generic или gnu версия.
Параметр: -no-uliterals |
| Значение по умолчанию: off |
Пример (Bug Finder):
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 |
Пример (сервер Bug Finder): 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 |