https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69064
Dominique d'Humieres <dominiq at lps dot ens.fr> changed:
What |Removed |Added
----------------------------------------------------------------------------
Keywords| |ice-on-invalid-code
Status|WAITING |NEW
Known to work| |4.9.3
Target Milestone|--- |5.4
Known to fail| |5.3.0, 6.0
--- Comment #49 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
> Fairly trivial to fix once one finds
>
> F2003, p. 126.
>
> A variable in a specification expression shall have its type and
> type parameters, if any, specified by a previous declaration in
> the same scoping unit, by the implicit typing rules in effect for
> the scoping unit, or by host or use association.
>
> Note, the fix requires adjusting 2 testcases for new error
> conditions and fixing 1 testcase that actually has invalid
> code.
Thanks for the pointer. I am indeed aware that the original code and the
reduced versions posted in comments 41 and 47 are invalid and easy to fix.
Nevertheless gfortran used to give an error up to revision r229286 and is now
giving an ICE since revision r229287 for trunk (6.0) and r229553 for the 5
branch. The path to the original error should be restored.
