C的有用GCC标志

Question

除了设置-Wall和设置之外-std=XXX,还有什么其他真正有用的,但是在C中使用的知名度较低的编译器标志？

我对任何其他警告特别感兴趣,和/或在某些情况下将警告转换为错误,以绝对最小化任何意外类型不匹配.

Answer 1

这是我的:

• -Wextra,-Wall:必不可少的.
• -Wfloat-equal:有用,因为通常测试浮点数是否相等是不好的.
• -Wundef:警告是否在#if指令中评估未初始化的标识符.
• -Wshadow:当局部变量影响另一个局部变量,参数或全局变量时,或者每当内置函数被遮蔽时,都会发出警告.
• -Wpointer-arith:警告,如果有什么取决于函数的大小或void.
• -Wcast-align:每当指针被投射时警告,以便增加目标的所需对齐.例如,警告是否将a转换char *为int *只能以两字节或四字节边界访问整数的on机器.
• -Wstrict-prototypes:如果声明或定义了函数而未指定参数类型,则发出警告.
• -Wstrict-overflow=5:警告编译器根据未发生签名溢出的假设进行优化的情况.(值5可能过于严格,请参见手册页.)
• -Wwrite-strings:给字符串常量类型const char[长度,]以便将一个地址复制到非const char *指针将得到警告.
• -Waggregate-return:警告是否定义或调用了返回结构或联合的任何函数.
• -Wcast-qual:每当指针被强制转换为从目标类型^*中删除类型限定符时发出警告.
• -Wswitch-default:当switch声明没有default案例^*时发出警告.
• -Wswitch-enum:只要switch语句具有枚举类型的索引并且缺少case该枚举^*的一个或多个命名代码,就会发出警告.
• -Wconversion:警告可能改变值^*的隐式转换.
• -Wunreachable-code:警告编译器是否检测到代码永远不会被执行^*.

那些标记^*有时会发出太多的虚假警告,所以我会根据需要使用它们.

Answer 2

一些-f代码生成选项很有趣:

• 该-ftrapv函数将导致程序在有符号整数溢出时中止(在C中正式为"未定义的行为").

• -fverbose-asm如果您正在编译-S以检查程序集输出,则它非常有用- 它会添加一些信息性注释.

• -finstrument-functions 添加代码以在每个函数入口和出口点调用用户提供的分析函数.

Answer 3

始终使用-O或上述(-O1,-O2,-Os等等).在默认优化级别,gcc用于编译速度,并且没有做足够的分析来警告诸如单元化变量之类的事情.

考虑制定-Werror策略,因为不停止编译的警告往往会被忽略.

-Wall 几乎打开很可能是错误的警告.

包含在内的警告-Wextra倾向于标记共同的合法代码.它们可能对代码审查很有用(虽然lint风格的程序发现更多的陷阱更灵活),但我不会将它们用于正常开发.

-Wfloat-equal 如果项目的开发人员不熟悉浮点数,那么这是一个好主意,如果他们不熟悉则不是一个好主意.

-Winit-self很有用; 我想知道为什么它不包含在内-Wuninitialized.

-Wpointer-arith如果你有大多数可移植的代码无法使用,那么它非常有用-pedantic.

Answer 4

-save-temps

这留下了预处理器和组件的结果.

预处理源对调试宏很有用.

该程序集对于确定哪些优化生效非常有用.例如,您可能想要验证GCC是否在某些递归函数上进行尾调用优化,因为没有它,您可能会溢出堆栈.

Answer 5

我很惊讶没有人说过这个 - 就我而言,最有用的标志是-g将调试信息放入可执行文件中,以便你可以调试它并逐步完成源代码(除非你精通并阅读汇编和stepi一个程序在执行时的命令).

Answer 6

-fmudflap - 为所有危险的指针操作添加运行时检查以捕获UB.这有效地免疫你的程序缓冲区溢出,并有助于捕获各种悬空指针.

• http://gcc.gnu.org/wiki/Mudflap_Pointer_Debugging

这是一个演示:

$ cat mf.c 
int main()
{
 int a[10];
 a[10]=1; // <-- o noes, line 4
}

$ gcc -fmudflap mf.c -lmudflap
$ ./a.out 
*******
mudflap violation 1 (check/write): time=1280862302.170759 ptr=0x7fff96eb3d00 size=44
pc=0x7f3a575503c1 location=`mf.c:4:2 (main)'
      /usr/lib/libmudflap.so.0(__mf_check+0x41) [0x7f3a575503c1]
      ./a.out(main+0x90) [0x400a54]
      /lib/libc.so.6(__libc_start_main+0xfd) [0x7f3a571e2c4d]
Nearby object 1: checked region begins 0B into and ends 4B after
mudflap object 0xf9c560: name=`mf.c:3:6 (main) a'
bounds=[0x7fff96eb3d00,0x7fff96eb3d27] size=40 area=stack check=0r/3w liveness=3
alloc time=1280862302.170749 pc=0x7f3a57550cb1
number of nearby objects: 1

Answer 7

与C/C++没有多大关系,但无论如何都很有用:

@file

将所有上述良好标志(您已指定)放在"文件"中,并使用上面的标志将该文件中的所有标志一起使用.

例如:

文件:compilerFlags

-壁

-std = C99

-Wextra

然后编译:

gcc yourSourceFile @compilerFlags

Answer 8

-march=native 为您正在编译的平台(=芯片)生成优化代码

Answer 9

如果您需要知道编译器预定义的预处理程序标志:

echo | gcc -E -dM -

Answer 10

它对于检测错误并没有多大帮助,但是很少提到的-masm=intel选项使得-S用于检查组件输出的更多,更好.

AT&T汇编语法对我的影响太大了.

Answer 11

我的makefile通常包含

  CFLAGS= -Wall -Wextra -Weffc++ -Os -ggdb
  ...
  g++ $(CFLAGS) -o junk $<
  gcc $(CFLAGS) -o $@ $<
  rm -f junk

之前已经讨论过这些选项中最重要的选项,因此我将指出尚未指出的两个功能:

即使我正在开发一个代码库,它需要是普通的C,以便可移植到某些仍然没有像样的C++编译器的平台,我还是使用C++编译器(除了C编译器)进行"额外"编译.这有三个好处:

1. C++编译器偶尔会给我提供比C​​编译器更好的警告消息.
2. C++编译器接受-Weffc ++选项,它偶尔会给我一些有用的提示,如果我只在纯C中编译它,我会错过.
3. 我可以保持代码相对容易移植到C++,避免一些边界条件,其中普通C代码是无效的C++代码(例如定义名为"bool"的变量).

是的,我是一个过于乐观盲目乐观,保持这种思维定的任何一个月,现在一个平台,要么被宣布为过时,或者获得一个体面的C++编译器,我们终于可以切换到C++.在我看来,这是不可避免的 - 唯一的问题是,在管理层最终发布每个人都是小马之前或之后是否会发生这种情况.:-)

Answer 12

-Wstrict-prototypes -Wmissing-prototypes

Answer 13

这是一个没有提到的伟大旗帜:

-Werror-implicit-function-declaration

在声明之前每当使用函数时都会出错.

Answer 14

man gcc

该手册充满了有趣的标志和良好的描述.但是,-Wall可能会使gcc尽可能冗长.如果您想要更多有趣的数据,您应该查看valgrind或其他一些工具来检查错误.

Answer 15

有-Werror,它将所有警告视为错误并停止编译.该gcc手册页说明了你的编译器的每个命令行开关.

Answer 16

那么,也-Wextra应该是标准的.-Werror将警告变成错误(这可能非常烦人,特别是如果你没有编译-Wno-unused-result).如果您使用C99功能-pedantic,结合使用std=c89会给您额外的警告.

但那是关于它的.您无法将C编译器调整为比C本身更类型的保存.

Answer 17

-M* 选择范围.

这些让你编写make文件,自动找出你的c或c ++源文件应该依赖的头文件.GCC将使用此依赖关系信息生成make文件,然后将其从主要make文件中包含它们.

这是一个使用-MD和-MP的非常通用的makefile的例子,它将编译一个充满c ++源文件和头文件的目录,并自动找出所有依赖项:

CPPFLAGS += -MD -MP                                         
SRC = $(wildcard *.cpp)                                                       

my_executable: $(SRC:%.cpp=%.o)                                                        
        g++ $(LDFLAGS) -o $@ $^                                               

-include $(SRC:%.cpp=%.d)

这是一篇博文,更深入地讨论了它:http://www.microhowto.info/howto/automatically_generate_makefile_dependencies.html

Answer 18

我发现这个问题正在寻找一个标志来解决特定问题。我在这里没有看到它，所以我将添加一个在我的帖子中困扰我的内容：

-Wformat =2标志

-Wformat=> 检查对printf和scanf等的调用，以确保提供的参数具有适合指定格式字符串的类型...

真正重要的部分（根据 GCC 手册）：

-Wformat包含在-Wall. 为了更好地控制格式检查的某些方面，可以使用选项-Wformat-y2k、-Wno-format-extra-args、-Wno-format-zero-length、-Wformat-nonliteral、-Wformat-security和 ，-Wformat=2但不包含在 -Wall 中。

因此，仅仅因为您拥有-Wall并不意味着您拥有一切。;)