------- Comment #9 from tkoenig at gcc dot gnu dot org 2009-01-02 11:04 ------- (In reply to comment #8) > There is no way to tell the middle-end about anonymous readonly memory.
So, we could either - teach that to the middle-end (I couldn't, though :-) - make a duplicate variable for intent(in) variables, to transfer the test case from comment #4 into integer function foo(b,c) integer, intent(in) :: b, c integer :: b_shadow, c_shadow; integer :: d, e b_shadow = b; c_shadow = c; d = b_shadow; e = c_shadow; call bar(b,c) foo = d-b_shadow + e-c_shadow; end function foo -- tkoenig at gcc dot gnu dot org changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |tkoenig at gcc dot gnu dot | |org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23169