[Bug tree-optimization/28807] [4.2 Regression] wrong code with may_alias and structs

[pinskia at gcc dot gnu dot org]

------- Comment #2 from pinskia at gcc dot gnu dot org  2006-08-22 21:49 -------
Better testcase which shows the problem before SRA:
struct S { short x; };
typedef struct S __attribute__((__may_alias__)) test;

int f() {
  int a=10;
  test *p=(test *)&a;
  p->x = 1;
  return a;
}

int main() {
  if (f() == 10)
    __builtin_abort();
  return 0;
}

------
I will attach the aliasing dump after this.


-- 


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