07-136

To:          J3
Subject:     UTI 082
From:        Van Snyder
Date: 2007 January 26

1   Edits

Edits refer to 07-007. Page and line numbers are displayed in the margin.
Absent other instructions, a page and line number or line number range
implies all of the indicated text is to be replaced by associated text,
while a page and line number followed by + (-) indicates that associated
text is to be inserted after (before) the indicated line. Remarks are
noted in the margin, or appear between [ and ] in the text.

[567:14-21] --------------------------------------------------------------
[Editor: Delete UTI 082 and replace the paragraph with the following:]

If a dummy argument is declared to be a pointer the associated actual
argument may be a pointer, or may be a nonpointer variable. In either
case, the characteristics of both arguments shall agree. Consider the two
cases separately.

  Case (i):       The actual argument is a pointer. When procedure
                  execution commences the pointer association status of
                  the dummy argument becomes the same as that of the
                  actual argument. If the pointer association status of
                  the dummy argument is changed, the pointer association
                  status of the actual argument changes in the same way.
                  If the dummy argument becomes pointer associated with a
                  target that ceases to exist when execution of the
                  procedure completes, the pointer association status of
                  the actual argument becomes undefined. One possible
                  mechanism that a processor might use, but is not
                  required to use, is to copy the representation of the
                  actual argument pointer to the dummy argument pointer
                  when execution of the procedure commences, and copy the
                  representation of the dummy argument pointer to the
                  actual argument pointer when execution of the procedure
                  completes.

  Case (ii):     The actual argument is not a pointer.   The actual
                 argument shall have the TARGET attribute and the dummy
                 argument shall have INTENT(IN). The dummy argument
                 becomes pointer associated with the actual argument.