文档帮助中心
要匹配您的运行时环境,请指定目标和编译器选项。分析使用这些选项来确定变量大小、语言扩展和特定于编译器的行为。如果仍然出现编译错误,可以使用选项来处理特定的错误宏和环境设置类别。
全部展开
源代码语言(-lang)
C标准版本(-c-version)
c++标准版本(-cpp-version)
编译器(编译器)
目标处理器类型(-target)
通用的目标选择
管理size_t (-size-t-type-is)
size_t
管理wchar_t (- wchar_t -type-is)
wchar_t
块char16/32_t类型(-no- literals)
char16_t
char32_t
Sfr类型支持(-万博1manbetxsfr-types)
sfr
包对齐值(-pack-alignment-value)
忽略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
选择一个网站,在可用的地方获得翻译内容,并查看本地事件和优惠。根据您的位置,我们建议您选择:。
您也可以从以下列表中选择一个网站:
选择中国网站(中文或英文)以获得最佳的网站性能。其他MathWorks国家网站没有针对您所在位置的访问进行优化。
联系当地办事处
得到审判现在