https://gcc.gnu.org/bugzilla/show_bug.cgi?id=54389
anlauf at gcc dot gnu.org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |WAITING
--- Comment #7 from anlauf at gcc dot gnu.org ---
(In reply to Dominique d'Humieres from comment #6)
> Compiling the test in comment 0 still gives the error
>
> ptr = ptr + 1
> 1
> Error: Variable 'ptr' can not appear in a variable definition context
> (assignment) at (1) in PURE procedure
>
> at revision r229078 (trunk 6.0).
That error looks correct to me. NAG rejects the code as well for any INTENT.
To reconfirm: F2023 has
"C15104 In a pure subprogram any designator with a base object that [...]
is a pointer dummy argument of a pure function [...] shall not be used
(1) in a variable definition context"
There is no restriction on the INTENT of the pointer dummy.
See also Note 4, 2nd paragraph for reasoning supporting this.
Can we close this bug as fixed?
