(j3.2006) Finalization and STOP, ALL STOP

Van Snyder Van.Snyder
Thu May 14 18:05:38 EDT 2009


The first two paragraphs of 4.5.6.3 say that an object is finalized when
it is deallocated, or just before it would become undefined due to
execution of a RETURN or END statement.

6.7.3.2p2 says an allocatable object is deallocated when a RETURN or END
statement is executed.

Should an allocatable object be deallocated when a STOP statement is
executed?  How about when ALL STOP is executed?  If when ALL STOP is
executed, is it only on the image that executes ALL STOP, or do all
images deallocate stuff lying around that they would deallocate upon
executing RETURN or END when they notice that another image has executed
ALL STOP?

Should nonallocatable nonpointer unsaved local objects be finalized when
a STOP statement is executed?  How about ALL STOP?  Which images?  Does
this include objects in the main program?

Should saved objects be finalized when a STOP or END PROGRAM statement
is executed?  ALL STOP?  Which images?





More information about the J3 mailing list