PGRelief使用指南2014(Linux版)
1 配置分析选项
1.1编译器选择
-K
指定编译器。(只针对此次,内部不修改)
用法:
pgr -K GNU/GCC3 a.cc
公司 |
编译器 |
[DIAB DATA Company] |
DIABDATA/DCCANSI 、DIABDATA/DCCKANDR、DIABDATA/DCCSTRICT、DIABDATA/DCC |
[FUJITSU Products |
FUJITSU/FCC401、FUJITSU/FCC401C、FUJITSU/FCC401、FUJITSU/SOFTUNEF2MC16B FUJITSU/SOFTUNEFRB、FUJITSU/SOFTUNEFR |
[GNU Products] |
GNU/GCC、GNU/GCC3、GNU/GCC3_C90、GNU/GCC4、GNU/GCC4_C++03、GNU/GCC3_C90 |
[Microsoft Visual C++ Compiler] |
MS/VC1、MS/VC4MFC、MS/VC4、MS/VC42、MS/VC42MFC、MS/VC5、MS/VC5MFC、MS/VC6、MS/VC6MFC、MS/VC6WIN64、MS/VC2003、MS/VC2003MFC、MS/VC2005、MS/VC2005MFC MS/VC2008、MS/VC2008MFC、MS/VC2010、MS/VC2010MFC、MS/VC2010CLR |
[Mentor Graphics Japan Co.Ltd. Products] |
MGJ/MRIPC、MGJ/MRISUN |
[HITACHI Products] |
HITACHI/SH、HITACHI/H8 |
[RENESAS company] |
RENESAS/78K0R、RENESAS/740、RENESAS/7770、RENESAS/H8——300、RENESAS/H8S、RENESAS/M16C RENESAS/M16C80、RENESAS/M32C、RENESAS/M32R、RENESAS/RX\ RENESAS/superH |
Sun Microsystems |
SUN/ SPARC3、SUN/ SPARC4、SUN/SPARC4C、SUN/SPARC4S、SUN/SPARC5、SUN/SPARC5C、SUN/SPARC5S、SUN/SPARC42、SUN/SPARC42C、SUN/SPARC42S、SUN/SPARC201、SUN/SPARC301、 SUN/SPARC301C、SUN/SPARC301S |
NFC |
NFC/78K0、NFC/78K0S、NFC/78K4、NFC/V850 |
1.2宏定义
-D
指定宏
用法:
pgr -D macro a.cc
效果:
相当于,在a.cc开头写了 #define macro 1
-D mac=value
指定宏
用法:(注意mac=value不能有空格,value可以使任意值)
pgr -D mac=value a.cc
-U macro
指定系统宏。
用法:
pgr -U __LINE__ a.cc
选项的参数:
__LINE__, __FILE__, __TIME__, __DATE__, __STDC__等
C++ __cplusplus
C99 _STDC_HOSTED__, __STDC_VERSION__
1.3 头文件路径设置
-I
设置自定义头文件的查找路径
用法:
pgr -I path a.cc
注意:path最好是头文件全路径,或是正确的相对路径。是文件夹,别搞错。
-Y
设置标准头文件的查找途径
pgr -Y path a.cc
2 常见问题
2.1 分析错误的解决
一般来说,文件分析中断主要是由头文件找不到或者源文件不符合C/C++标准导致的。根据我们的经验,总结了以下几种错误情况:
找 不 到 头文件 |
忘记添加头文件 |
添加头文件 |
文件中以 #include <****.h> 格式包含用户编写的头文件 |
根据头文件被引用的格式,应该把该头文 件添加到标准头文件中 |
|
头文件是以相对路径形式包含的,如 #include "****.h" |
系统把设置的头文件路径做为当前路径, 需要重新设置头文件路径 |
由于头文件配置错误引起的中断,需要重新配置头文件,点击主菜单 設定 --> プロジェクト固有オプションの設定 --> インクルード設定
郑重声明:本站内容如果来自互联网及其他传播媒体,其版权均属原媒体及文章作者所有。转载目的在于传递更多信息及用于网络分享,并不代表本站赞同其观点和对其真实性负责,也不构成任何其他建议。