这段代码为什么会有warning产生?

nswcfd

gcc版本4.4.7

1. typedef unsigned int u32;
   
2. static inline u32 jhash2(const u32 *k, u32 len, u32 init)
   
3. {
   
4.         u32 c = 0;
   
5.         while (len > 3) {
   
6.                 c += k[2];
   
7.                 len -= 3;
   
8.                 k += 3;
   
9.         }
   
10.         return c;
    
11. }
    
12. struct Obj1 {
    
13.         u32 a[5];
    
14.         u32 b[5];
    
15. } obj1;
    
16. 
    
17. struct Obj2 {
    
18.         u32 a[10];
    
19. } obj2;
    
20. 
    
21. #ifndef N
    
22. #define N       8
    
23. #endif
    
24. 
    
25. #ifdef USE_OBJ2
    
26. #define OBJ     obj2
    
27. #else
    
28. #define OBJ     obj1
    
29. #endif
    
30. 
    
31. u32 test()
    
32. {
    
33.         return jhash2((u32 *)&OBJ, N, 0);
    
34. }
    

复制代码

以上代码是对jhash2的简单模拟。
Obj1和Obj2结构的内存布局应该一样的。
但是，当使用-Wall -O2 -fno-strict-aliasing编译的时候，
Obj1在N取7/8/9的时候会产生warning: array subscript is above array bounds
使用Obj2就不会。

请问各位大牛，这该怎么解释？感觉跟循环展开有关系？

1. for i in {0..50}
   
2. do
   
3.         gcc test.c -Wall -O2 -fno-strict-aliasing -c -DN=$i -Werror -DUSE_OBJ1 || echo error: N=$i, OBJ=obj1
   
4.         gcc test.c -Wall -O2 -fno-strict-aliasing -c -DN=$i -Werror -DUSE_OBJ2 || echo error: N=$i, OBJ=obj2   
   
5. done

复制代码

nswcfd

按理说，当N=7/8/9的时候，也只会访问到k[2]/k[5]，并没有越界发生。
而真正会产生越界的N值，N>10，反而没有warning。

nswcfd

让命令行更清晰一些，gcc -c  test.c -O2 -Wall -Werror -fno-strict-aliasing -DN=$i -DUSE_OBJ1/USE_OBJ2

-fno-strict-aliasing不影响结果。

cc1: warnings being treated as errors
test.c: In function 'test':
test.c:6: error: array subscript is above array bounds
error: N=7, OBJ=obj1

cc1: warnings being treated as errors
test.c: In function 'test':
test.c:6: error: array subscript is above array bounds
error: N=8, OBJ=obj1

cc1: warnings being treated as errors
test.c: In function 'test':
test.c:6: error: array subscript is above array bounds
error: N=9, OBJ=obj1

_nosay

是不是只到k[5]，编译器猜你只想用a[5]，但越界了，所以给个警告，用到k[8]了，编译器才认为你是想用整个结构，所以不警告，瞎猜，纯属娱乐。