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.