http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45159
--- Comment #26 from Thomas Koenig <tkoenig at gcc dot gnu.org> 2012-06-30 17:20:10 UTC --- (In reply to comment #19) Hi Dominique, > (I have done the proof on the back of an envelope that I cannot find right > now.) Can you find that particular envelope again? I tried to do the logic for this myself, but couldn't find a proof.
