(j3.2006) [Fwd: C501 in TS 18508]

Van Snyder van.snyder
Wed Mar 6 04:21:45 EST 2013


On Wed, 2013-03-06 at 12:40 +0900, Malcolm Cohen wrote:
> choose some other 
> expository method (e.g. my suggestion that branching should cover it
> all) 

Specifying that RETURN is a branch to the END statement only works if
there's no alternate return specifier on the RETURN statement.  Handling
the alternate return specifier as a branch will be more difficult.  It
can't be described simply as an indirect branch through the alternate
return argument, because that doesn't cause automatic deallocation of
allocatable variables, destruction of automatic variables, and
finalization.





More information about the J3 mailing list