主要内容

目标和编译器

目标处理器类型,编译器行为

要匹配您的运行时环境,请指定目标和编译器选项。分析使用这些选项来确定变量大小、语言扩展和特定于编译器的行为。如果仍然出现编译错误,可以使用选项来处理特定的错误环境设置类别。

分析选项

全部展开

源代码语言(-lang) 指定源文件的语言
C标准版本(-c-version) 在源代码中指定C语言标准
c++标准版本(-cpp-version) 在源代码中指定c++语言标准

要求

编译器(编译器) 指定用于构建源代码的编译器
目标处理器类型(-target) 通过选择预定义的目标处理器来指定数据类型的大小和字节序
通用的目标选择 通过创建自己的目标处理器来指定数据类型的大小和字节序

可选

管理size_t (-size-t-type-is) 的基础数据类型size_t
管理wchar_t (- wchar_t -type-is) 的基础数据类型wchar_t
块char16/32_t类型(-no- literals) 禁用多空间定义char16_tchar32_t
Sfr类型支持(-万博1manbetxsfr-types) 指定大小的sfr使用Keil或IAR编译器开发的代码类型
包对齐值(-pack-alignment-value) 指定中开发的代码的默认结构打包对齐方式Visual c++
忽略pragma pack指令(-ignore-pragma-pack) 忽略# pragma包指令
Division round down (-div-round-down) 从负数的除法或模数向下舍入而不是向上舍入
枚举类型定义(-枚举类型定义) 指定如何表示枚举使用基类型
有符号右移(-logical- Signed -right shift) 指定如何处理有符号变量的逻辑右移的符号位

主题

开始

指定多空间分析选项

指定Polyspace®Polyspace用户界面、其他ide或脚本中的分析选项。

模仿你的编译器

指定目标环境和编译器行为

了解指定目标和编译器选项的工作流程。

从构建系统创建项目的需求

了解为什么自动创建Polyspace项目可能不适用于构建系统,以及如何解决某些原因。

为多空间分析提供标准库头文件

从编译器中找到C或c++标准库头文件的路径,并在Polyspace项目中指定这些路径。

语言标准和扩展

用于多空间分析的C/ c++语言标准

参见支持万博1manbetx的语言标准和Polyspace分析中使用的默认标准。

万博1manbetx支持Keil或IAR语言扩展

查找支持C语言标准的Keil或iar特定扩展来进行验证。万博1manbetx