以下函数为什么在O2下会产生下标越界的warning？

nswcfd

回复 8# idi0t
当时Obj1中a[5],b[5]的划分是随便分的，没有尝试类似a[6],b[4]的划分。

修改了一下，Obj1的定义：u32 a[SIZEA];  u32 b[10-SIZEA];

对SIZEA={0..10}, N={0..20}进行穷举，出现warning的组合为：

a[3],b[7]: N=7~15
a[4],b[6]: N=7~15
a[5],b[5]: N=7~9

==========================
哪个大侠能帮忙转发到相关的论坛或者邮件组里，问问究竟是怎么回事？
（不是有网友反映5.x里没有这个问题了么）

nswcfd

update: gcc 4.8.4已经没有这个warning了。

nswcfd

貌似是一个gcc的老坑
https://gcc.gnu.org/bugzilla/bug ... ery_format=specific

nswcfd

通过-fdump_free_all, 发现代码被优化为下面的样子

-D USE_OBJ1
;; Function test (test)

test ()
{
<bb 2>:
  return obj1.a[5] + obj1.a[2];  <========== 这大概就是warning的所在吧？

}

-D USE_OBJ2
;; Function test (test)

test ()
{
<bb 2>:
  return obj2.a[5] + obj2.a[2];

}

nswcfd

不好意思，发帖重复了。

好像这个版本的gcc会在某些情况下（在内部）用结构第一个成员的地址来替代整个结构的地址？