[Bug tree-optimization/39506] PTA TBAA pruning wrong for -fargument-noalias-*

[rguenth at gcc dot gnu dot org]

------- Comment #2 from rguenth at gcc dot gnu dot org  2009-03-19 17:00 -------
int i;
int __attribute__((noinline))
foo (int *p, int b)
{
  if (b)
    p = &i;
  i = 1;
  *p = 0;
  return i;
}
extern void abort (void);
int main()
{
  if (foo((void *)0, 1) != 0)
    abort ();
  return 0;
}


-- 


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