[Bug fortran/65223] Regresion on elemental type-bound procedure's passed object with INTENT(OUT)

[dominiq at lps dot ens.fr]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65223

Dominique d'Humieres <dominiq at lps dot ens.fr> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |WAITING
   Last reconfirmed|                            |2015-02-27
                 CC|                            |janus at gcc dot gnu.org
         Resolution|INVALID                     |---
     Ever confirmed|0                           |1

--- Comment #3 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
> The thread mentioned by Dominique d'Humieres seems to only apply to
> "unlimited polymorphic", which is not part of the test case I posted.

Sorry, the pointer should be

https://gcc.gnu.org/ml/fortran/2014-12/msg00098.html

The rationale refers to F08:C1278a, however in my F08 draft it is 'A local
variable of a pure subprogram, or of a BLOCK construct within a pure
subprogram, shall not have the SAVE attribute.'. The only related constraint I
can find is

C534 An assumed-size array with the INTENT (OUT) attribute shall not be
polymorphic, finalizable, of a type with an allocatable ultimate component, or
of a type for which default initialization is specied.

but this does not apply to the test in comment 0, CCed Janus.

Nevertheless replacing 'element' with 'impure elemental' allows the code to
compile.