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.
