-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 |
Пример (поиск ошибок):
polyspace-bug-finder -wchar-t-type-is signed-int |
Пример (проверка кода):
polyspace-code-prover -wchar-t-type-is signed-int |
Пример (сервер поиска ошибок): polyspace-bug-finder-server -wchar-t-type-is signed-int |
Пример (сервер проверки кода):
polyspace-code-prover-server -wchar-t-type-is signed-int |