------- 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
