I have committed the attach patch. It checks that a SELECT TYPE construct does not appear in MODULE or SUBMODULE scope as it is an executable statement.
2019-06-19 Steven G. Kargl <ka...@gcc.gnu.org> PR fortran/69499 * match.c (gfc_match_select_type): SELECT TYPE is an executable statement, and cannot appear in MODULE or SUBMODULE scope. 2019-06-19 Steven G. Kargl <ka...@gcc.gnu.org> PR fortran/69499 * gfortran.dg/pr69499.f90: New test. * gfortran.dg/module_error_1.f90: Update dg-error string. -- Steve
Index: gcc/fortran/match.c =================================================================== --- gcc/fortran/match.c (revision 272480) +++ gcc/fortran/match.c (working copy) @@ -6219,6 +6219,13 @@ gfc_match_select_type (void) if (m != MATCH_YES) return m; + if (gfc_current_state() == COMP_MODULE + || gfc_current_state() == COMP_SUBMODULE) + { + gfc_error ("SELECT TYPE at %C cannot appear in this scope"); + return MATCH_ERROR; + } + gfc_current_ns = gfc_build_block_ns (ns); m = gfc_match (" %n => %e", name, &expr2); if (m == MATCH_YES) Index: gcc/testsuite/gfortran.dg/pr69499.f90 =================================================================== --- gcc/testsuite/gfortran.dg/pr69499.f90 (nonexistent) +++ gcc/testsuite/gfortran.dg/pr69499.f90 (working copy) @@ -0,0 +1,7 @@ +! { dg-do compile } +! PR fortran/69499 +! Contributed by Gerhard Steinmetz. +module m + class(*) :: z ! { dg-error "must be dummy, allocatable or pointer" } + select type (x => z) ! { dg-error "cannot appear in this scope" } +end Index: gcc/testsuite/gfortran.dg/module_error_1.f90 =================================================================== --- gcc/testsuite/gfortran.dg/module_error_1.f90 (revision 272480) +++ gcc/testsuite/gfortran.dg/module_error_1.f90 (working copy) @@ -1,5 +1,5 @@ ! { dg-do compile } ! PR fortran/50627 module kernels - select type (args) ! { dg-error "Unexpected SELECT TYPE" } + select type (args) ! { dg-error "cannot appear in this scope" } end module kernels