[Bug tree-optimization/38984] [4.2/4.3 Regression] NULL pointers always considered distinct by PTA, even with -fno-delete-null-pointer-checks

[rguenth at gcc dot gnu dot org]

------- Comment #15 from rguenth at gcc dot gnu dot org  2009-02-01 22:02 
-------
Err, that last comment probably didn't make much sense.  I wanted to say I see

  # VUSE <.MEM_6(D)>
  a = *p;
  # .MEM_7 = VDEF <.MEM_6(D)>
  *0B = 5;
  return *p == a;

so the pattern for two = *p does not match.


-- 


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