(j3.2006) a contradiction in Section 12.5.2.13

[Robert Corbett]

Section 12.5.2.13 of the Fortran 2008 FCD states

      While an entity is associated with a dummy argument,
      the following restrictions hold.

      (1) Action that affects the allocation status of the
          entity or a subobject thereof shall be taken only
          through the dummy argument.

The end of Note 12.34 states

      If B were declared with the POINTER attribute,
      either of the statements

           DEALLOCATE(A)

      and

           DEALLOCATE(B)

      would be permitted, but not both.

In the note, B is the dummy argument of a subroutine
INNER that is argument associated with the pointer
variable A.  According to the text quoted above,
actions that affect the allocation status of the
entity shall be taken only through the dummy argument.
Thus, the statement

           DEALLOCATE(A)

is not permitted.