http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47980
--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-03-03 21:59:50 UTC --- I believe f could do: assert (arg != "aoeuaoeuaeouaeouaoeuaoeaoxbxod"); which would then fail with the proposed optimization. It is unspecified if two string literals with the same content are distinct objects, but foo must be a distinct object (ok, with static const char foo[] = "aoeuaoeuaeouaeouaoeuaoeaoxbxod"; and -fmerge-all-constants which ignores some C requirements it doesn't have to).
