여기 내 것이 있습니다 :

• -Wextra, -Wall: 필수.
• -Wfloat-equal: 일반적으로 부동 소수점 숫자가 동일한 지 테스트하는 것이 좋지 않기 때문에 유용합니다.
• -Wundef: #if지시문 에서 초기화되지 않은 식별자가 평가되면 경고합니다 .
• -Wshadow: 지역 변수가 다른 지역 변수, 매개 변수 또는 전역 변수를 가리거나 내장 함수가 그림자 될 때마다 경고합니다.
• -Wpointer-arith: 함수 크기 또는 크기에 따라 달라지는 경우 경고합니다 void.
• -Wcast-align: 대상의 필요한 정렬이 증가하도록 포인터를 캐스트 할 때마다 경고합니다. 예를 들어 정수가 2 바이트 또는 4 바이트 경계에서만 액세스 할 수있는 컴퓨터에서 a char *가 캐스팅 된 경우 경고합니다 int *.
• -Wstrict-prototypes: 인수 유형을 지정하지 않고 함수가 선언되거나 정의되면 경고합니다.
• -Wstrict-overflow=5: 부호있는 오버플로가 발생하지 않는다는 가정에 따라 컴파일러가 최적화되는 경우에 대해 경고합니다. (값 5가 너무 엄격 할 수 있습니다. 매뉴얼 페이지를 참조하십시오.)
• -Wwrite-strings: 문자열 상수에 const char[길이를] 지정하여 주소의 주소를 비 const char *포인터에 복사하면 경고가 표시됩니다.
• -Waggregate-return: 구조체 나 공용체를 반환하는 함수가 정의되거나 호출되면 경고합니다.
• -Wcast-qual: 대상 유형 ^* 에서 유형 한정자를 제거하기 위해 포인터를 캐스트 할 때마다 경고 합니다.
• -Wswitch-default: switch문장에 default대소 문자 가 없을 때마다 경고합니다 ^* .
• -Wswitch-enum: switch명령문에 열거 된 유형의 색인이 있고 case해당 열거의 명명 된 코드 중 하나 이상에 대해 a가 없을 때 경고합니다 ^* .
• -Wconversion: 값을 변경할 수있는 암시 적 변환에 대해 경고합니다 ^* .
• -Wunreachable-code: 컴파일러에서 해당 코드가 실행되지 않음을 감지하면 경고합니다 ^* .

^* 표시가있는 사람들은 때때로 너무 많은 가짜 경고를하므로 필요에 따라 사용합니다.

답변

-save-temps

$ 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

@file

gcc yourSourceFile @compilerFlags