tree level aliasing and call clobber

[Daniel Berlin]

On Sat, 2005-12-24 at 16:20 -0500, Andrew Pinski wrote:
> I noticed that if I try not to mark a variable as escaping, we don't 
> get the function
> call to have V_MAY_DEF for that variable.

Which is correct.

> 
> For an example in this Fortran code:
> function i()
> INTEGER :: i
> INTEGER :: t
> call f(t)
> t = 2;
> call g()
> if (t .ne. 2) then
>    call abort ()
> end if
> i = t
> end function
> 
> 
> t cannot escape from the function as the variable is not marked as a 
> TARGET.
> Is there a way to mark the function call for f as clobbering t but not 
> escaping?

These two statements make no sense together.

Something that cannot escape the function is, by definition, not
clobbered by any calls.