[Bug middle-end/35360] Static (base/offset/size rule) should be extended to handle array elements

[pinskia at gcc dot gnu dot org]

------- Comment #4 from pinskia at gcc dot gnu dot org  2009-06-09 02:40 -------
Here is another testcase that depends on PRE/FRE (really VN) getting the more
correct answer:
struct A{
 int a;
 int b;
};

struct A aa[100];


void foo(int n, int i, int j)
{
  aa[j].a = 0;
  aa[i].b = 1;
  if (aa[j].a != 0)
    link_error();
}


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35360