https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88737
--- Comment #5 from Marc Glisse <glisse at gcc dot gnu.org> --- (In reply to rguent...@suse.de from comment #3) > Indeed. So it would be > > *a = {CLOBBER}; > > which is of course somewhat difficult since we do not know the size > of the object pointed to. One thing we discussed before is having a pass (like FRE?) transform the read *a into an uninitialized default-def ssa_name when it notices that the previous must-alias/clobber write is free (except that free is not considered a write/clobber IIRC).