Target和编译器

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

为了配合您的运行时环境，指定目标和编译器选项。分析使用这些选项来确定变量的大小，语言扩展和编译器特定的行为。如果你仍然得到编译错误，就可以解决特定的错误从选项宏和环境设置类别。

分析选项

展开全部

源代码语言（琅） 指定源文件的语言
C标准版本（-c-版本） 指定C语言标准，随后在源代码中
C ++标准版本（-cpp版本） 指定C ++语言标准，随后在源代码中

需要

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

可选的

为size_t的管理（-size叔型是） 指定的基本数据类型为size_t
wchar_t的的管理（-Wchar叔型是） 指定的基本数据类型wchar_t的
块char16 / 32_t类型（-NO-uliterals） 对于禁用Polyspace定义char16_t要么char32_t
SFR型支撑（-s金宝appfr类型） 指定的大小SFR使用Keil或IAR编译器开发的类型代码
包对准值（-pack对准值） 指定在开发的代码默认结构包装对齐VISUAL C ++
忽略编译包指令（-ignore-编译包） 忽视的#pragma包指令
科轮下（-div轮下） 从分割数或负数的模量，而不是舍入轮向下商数
枚举类型定义（-enum型定义） 指定如何表示枚举与碱型
签名右移（ - 逻辑签署-右移） 指定如何处理符号位签署变量逻辑右移

主题

入门

指定Polyspace分析选项

指定Polyspace®在Polyspace用户界面，其他的IDE-S或脚本分析选项。

模仿你的编译器

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

了解工作流程，用于指定目标及编译器选项。

从构建系统用于创建项目要求

了解为什么自动Polyspace创建项目可能不适合你的编译系统工作，如何解决一些的原因。

提供标准库头的Polyspace分析

找到你的编译器路径C或C ++标准库头，并指定你的Polyspace项目的路径。

语言标准和扩展

C / C ++语言标准用于Polyspace分析

参见支持金宝app的语言标准和Polyspace分析中使用的默认标准。

金宝app支持的Keil或IAR语言扩展

找哪家凯尔或C语言标准的IAR-特定扩展验证支持。金宝app

Polyspace Bug的搜索文档
金宝app

尝试MATLAB，Sim金宝appulink和其他产品下载188bet金宝搏

现在就试用