-wchar-t-type-is)Задайте базовый тип данных wchar_t
Задайте базовый тип данных wchar_t явным образом. Если вы не задаете эту опцию, ваш выбор компилятора определяет базовый тип.
Пользовательский интерфейс (только десктопные решения): В вашей настройке проекта опция находится на узле Target & Compiler.
Командная строка и файл опций: Используйте опцию -wchar-t-type-is. Смотрите информацию о командной строке.
Анализ сопоставляет тип данных с wchar_t когда вы задаете свой компилятор. Если вы используете параметр компилятора, который изменяет этот тип по умолчанию, эмулируйте свой параметр компилятора при помощи этой опции анализа.
Значение по умолчанию:
defined-by-compiler
defined-by-compilerВаша спецификация для Compiler (-compiler) определяет базовый тип wchar_t.
signed-shortАнализ рассматривает signed short как базовый тип wchar_t.
unsigned-shortАнализ рассматривает unsigned short как базовый тип wchar_t.
signed-intАнализ рассматривает signed int как базовый тип wchar_t.
unsigned-intАнализ рассматривает unsigned int как базовый тип wchar_t.
signed-longАнализ рассматривает signed long как базовый тип wchar_t.
unsigned-longАнализ рассматривает unsigned long как базовый тип wchar_t.
Параметр: -wchar-t-type-is |
Значение: defined-by-compiler | signed-short | unsigned-short | signed-int | unsigned-int | signed-long | unsigned-long |
Значение по умолчанию:
defined-by-compiler |
Пример (Bug Finder):
polyspace-bug-finder -wchar-t-type-is signed-int |
Пример (программа автоматического доказательства кода):
polyspace-code-prover -wchar-t-type-is signed-int |
Пример (сервер Bug Finder): polyspace-bug-finder-server -wchar-t-type-is signed-int |
Пример (сервер программы автоматического доказательства кода):
polyspace-code-prover-server -wchar-t-type-is signed-int |