https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109812
--- Comment #17 from Jan Hubicka <hubicka at gcc dot gnu.org> --- I was also thinking of DCE. It looks like plausible idea. It may leads to a surprise where you sture same undefined variable to two places and later compare them for equality, but that is undefined anyway.
