以下函数为什么在O2下会产生下标越界的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就不会。

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

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

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

让命令行更清晰一些，gcc -c  test.c -O2 -Wall -Werror -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

上面的error实际都是warning，为了简化脚本才使用的-Werror

nswcfd

补充，-O2/-O3/-Os下是这个结果，-O0/-O1下没有。

yjh777

sizeof(struct Obj1)
sizeof(struct Obj2)

这两个打印出来看一样吗？

yjh777

gcc 5.1.1 没有这个问题:

[yjh@jiyin-ws bkr-client-improved]$ gcc kkk.c -Wall -O2 -fno-strict-aliasing -c -DN=7  -DUSE_OBJ1
[yjh@jiyin-ws bkr-client-improved]$ gcc kkk.c -Wall -O2 -fno-strict-aliasing -c -DN=8  -DUSE_OBJ1
[yjh@jiyin-ws bkr-client-improved]$ gcc kkk.c -Wall -O2 -fno-strict-aliasing -c -DN=9  -DUSE_OBJ1
[yjh@jiyin-ws bkr-client-improved]$ LANG=C gcc --version
gcc (GCC) 5.1.1 20150618 (Red Hat 5.1.1-4)
Copyright (C) 2015 Free Software Foundation, Inc.
This is free software; see the source for copying conditions.  There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

idi0t

看楼上的，说明你gcc版本太老了

hellioncu

测试了几下，感觉是以Obj1中大的那个数组作为越界判断了

idi0t

回复 7# hellioncu


    Obj1中不是两数组一样大么，如果以a[]来判断，当7，8，9时，会取到k[5], k[5]应该算是越界了，最多应该到a[4]。是这样吗？ 可这些编译时能检查到的吗？

hellioncu

idi0t 发表于 2015-11-16 17:32
回复 7# hellioncu

我也是猜的，因为我试着改成

        u32 a[3];
        u32 b[7]; 之类的，然后 N取8就没警告。

不管怎样，这个警告看来是不应该的。

nswcfd

回复 4# yjh777

是一样的。