常见gcc编译警告整理以及解决方法
侧边栏壁纸
  • 累计撰写 192,421 篇文章
  • 累计收到 3 条评论

常见gcc编译警告整理以及解决方法

admin
2022-12-16 / 0 评论 / 0 阅读 / 正在检测是否收录...

GCC有很多的编译选项,警告选项;指定头文件、库路径;优化选项。本文针整理一下GCC的警告选项以及gcc编译警告整理和解决方法为中心而展开的讨论。

一、GCC编译警告总概

-w

禁止编译警告的打印。这个警告不建议使用。大约2012年底,公司代码进行一次大重构,另外从Codeblock集成开发环境转向Makefile管理,Makefile里面默认使用了-w,因而代码一直没有警告,今年个别项目开发中发现一些代码笔误导致的BUG,而这些问题可以从编译警告中知道。前几个月,领导安排我来fix这些警告。为了自己,为了后人,不建议使用-w选项。

-Werror

将所有的警告当成错误处理。此选项谨慎建议加上。有的开源库警告很多(大名鼎鼎的ffmpeg也有很多警告呢),一一改掉耗时耗人力,必要性也不大。最后,公司代码加入了一个开源库,里面有很多代码警告,可能领导又安排我来fix了。

-Wfatal-errors

遇到第一个错误就停止,减少查找错误时间。建议加上。很多人遇到错误,没有意识到从第一个开始排查。不管是编译错误,还是程序运行出错,从最开始的错误查起,是个好的做法。

-Wall开启“所有”的警告。强烈建议加上,并推荐该选项成为共识。如case语句没有default处理,有符号、无符号处理,未使用变量(特别是函数有大量未使用的数组,占用栈空间,测试发现,开辟一个未使用的8MB的数组,程序有coredump),用%d来打印地址,或%s打印int值,等,都可以发出警告。

-Wextra

除-Wall外其它的警告。建议加上。

在GCC编译时,加上必要的警告选项,可以避免很多低级错误引发的问题,我就在实际工程代码中遇到用“==”来赋值,我自己写的代码也出现过把“=”当成判断的。但是,有些错误却不是用GCC选项能解决的。比如一般项目都会自定义调试信息打印函数,但在处理可变参数类型时,往往不注意。可参考文章《一个可变参数类型检查的示例》。

二、GCC编译警告细化

上面只是大概讲几个重要的选项。由于GCC的警告选项太多了,下面尽自己能力写一下。

-Wall选项,顾名思义,就是“所有”的意思,它包括:

[html] view plain copy-Wall包括:

-Waddress

-Warray-bounds=1 (only with -O2)

-Wc++++11-compat -Wc++14-compat

-Wchar-subscripts

-Wenum-compare (in C/ObjC; this is on by default in C++)

-Wimplicit-int (C and ObjecTIve-C only)

-Wimplicit-funcTIon-declaraTIon (C and ObjecTIve-C only)

-Wbool-compare

-Wduplicated-cond

-Wcomment

-Wformat

-Wmain (only for C/ObjC and unless -ffreestanding)

-Wmaybe-uninitialized

-Wmissing-braces (only for C/ObjC)

-Wnonnull

-Wopenmp-simd

-Wparentheses

-Wpointer-sign

-Wreorder

-Wreturn-type

-Wsequence-point

-Wsign-compare (only in C++)

-Wstrict-aliasing

-Wstrict-overflow=1

-Wswitch

-Wtautological-compare

-Wtrigraphs

-Wuninitialized

-Wunknown-pragmas

-Wunused-function

-Wunused-label

-Wunused-value

-Wunused-variable

-Wvolatile-register-var

但不要被它的表面意思迷惑,要不,怎么还会有-Wextra呢。-Wextra包括(有几个选项重复了,不懂原因):

[html] view plain copy-Wclobbered

-Wempty-body

-Wignored-qualifiers

-Wmissing-field-initializers

-Wmissing-parameter-type (C only)

-Wold-style-declaration (C only)

-Woverride-init

-Wsign-compare

-Wtype-limits

-Wuninitialized

-Wshift-negative-value

-Wunused-parameter (only with -Wunused or -Wall)

-Wunused-but-set-parameter (only with -Wunused or -Wall)

-Wchar-subscripts:

使用char类作为数组下标(因为char可能是有符号数)

-Wcomment:

注释使用不规范。如“/* */”注释中还包括“/*”。我在项目源码发现过,不止一处。

-Wmissing-braces

括号不匹配。在多维数组的初始化或赋值中经常出现。下面a没有完整被初始化,b完整初始化:

int a[2][2] = { 0, 1, 2, 3 };

int b[2][2] = { { 0, 1 }, { 2, 3 } };

-Wparentheses

括号不匹配,在运算符操作或if分支语句中,可能会出现此警告。

如“a&&b||c^d”会出现警告。下面代码片段也会有警告

{

if (a)

if (b)

foo ();

else

bar (); // 这个else实际是if (b)的分支,不是if (a),因此,要用括号来表明其属于哪个分支

}

这类bug隐藏得深,建议显式地加上括号。

-Wsequence-point

如出现i=i++这类代码,则报警告。-Wall默认有该警告

-Wswitch-defaultcase

没有default时,报警告

-Wunused-but-set-parameter

设置了但未使用的参数警告

-Wunused-but-set-variable

设置了但未使用的变量警告

-Wunused-function

声明但未使用函数

-Wunused-label

未使用的标签,比如用goto会使用label,但在删除goto语句时,忘了删除label。

-Wunused-variable

未使用的变量

-Wmaybe-uninitialized

变量可能没有被初始化。特别是在有if语句或switch语句中,最好在声明变量时加上初始化。

下面代码片段中,当y不是1、2、3时,x没有明确的值,是不安全的。

{

int x;

switch (y)

{

case 1: x = 1;

break;

case 2: x = 4;

break;

case 3: x = 5;

}

foo (x);

}

-Wfloat-equal

对浮点数使用等号,这是不安全的。

{

float d = 2.0;

if (d == i)

{

。。。

}

}

-Wreturn-type

函数有返回值,但函数体个别地方没有返回值(特别是有if判断,可能忘记在else添加返回值)。

int foo()

{

if(a==1)

{

return ok;

}

// no return here

}

-Wpointer-sign

指针有符号和无符号的错误传参。如函数使用unsigned char*,但传入char*指针。

-Wsign-compare

有符号和无符号比较。

-Wconversion-null

-Wsizeof-pointer-memaccess

在sizeof中经常出现,下面代码片段中,this为指针,4字节,无法保证完整初始化类。

memset(this, 0, sizeof(this));

-Wreorder

C++出现,构造函数中成员变量初始化与声明的顺序不一致。

-Woverflow

范围溢出。

-Wshadow

局部变量覆盖参数、全局变量,报警告

0

评论 (0)

取消