------- Comment #16 from bonzini at gnu dot org 2009-02-02 08:26 ------- Subject: Re: [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 wrote: > ------- 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. I'll check out alias-improvements-branch and fix it. I'll also add a testcase for PR38985 there. Paolo -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38984
