https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67955
--- Comment #4 from vries at gcc dot gnu.org --- Created attachment 36507 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=36507&action=edit Tentative patch (In reply to Richard Biener from comment #3) > (In reply to vries from comment #2) > > I wonder though: if we have a store '*p = 0', and the size of the store is > > the same as the size of the pointed-to object of pointer p, can't we > > conclude that pointer p points to the start of the object? > > Yes, for that special case we indeed can do that. I wonder if it's worth > doing though ;) I ran into this while working on the oacc kernels support. But indeed, I'm not sure how useful this is going to be in general. > Care to adjust stmt_kills_ref_p accordingly Done in this tentative patch. > and instrument it to see how many times during bootstrap this triggers? For now, I'll do a bootstrap and reg-test to make sure it doesn't break anything.
