PGRelief的使用（Linux版）

来源：互联网发布：韩国直播间软件编辑：程序博客网时间：2024/06/07 02:58

1 配置分析选项

1.1编译器选择

-K

指定编译器。(只针对此次，内部不修改)

用法：

pgr -KGNU/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"

系统把设置的头文件路径做为当前路径，

需要重新设置头文件路径

由于头文件配置错误引起的中断，需要重新配置头文件，点击主菜单設定 --> プロジェクト固有オプションの設定 --> インクルード設定

0 0