[Bug middle-end/49733] Missed optimization: Variable value not propagated to remove "if" condition

[rguenth at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49733

--- Comment #5 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-07-14 09:03:58 UTC ---
Ah, so passing the non-aliasing-var to a function which takes a POINTER
argument, returning that pointer and modifying it in the function that
takes the non-aliasing-var is ok then?

The Fortran semantics seem unclear enough to me to doubt that there is a
clean orthogonal representation for the middle-end.