[Bug fortran/45159] Unnecessary temporaries

[tkoenig at gcc dot gnu.org]

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.