https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86551
--- Comment #4 from janus at gcc dot gnu.org --- The patch in comment #3 shows lots of regressions in the testsuite, but this one should be better: diff --git a/gcc/fortran/match.c b/gcc/fortran/match.c index 85247dd8334..6cf816be511 100644 --- a/gcc/fortran/match.c +++ b/gcc/fortran/match.c @@ -6009,7 +6009,7 @@ copy_ts_from_selector_to_associate (gfc_expr *associate, gfc_expr *selector) else assoc_sym->as = NULL; - if (selector->ts.type == BT_CLASS) + if (selector->ts.type == BT_CLASS && gfc_expr_attr (selector).class_ok) { /* The correct class container has to be available. */ assoc_sym->ts.type = BT_CLASS; diff --git a/gcc/fortran/resolve.c b/gcc/fortran/resolve.c index ea0ce800743..67b625f3a51 100644 --- a/gcc/fortran/resolve.c +++ b/gcc/fortran/resolve.c @@ -8867,6 +8867,9 @@ resolve_select_type (gfc_code *code, gfc_namespace *old_ns) if (code->expr2) { + if (!gfc_expr_attr (code->expr2).class_ok) + return; + if (code->expr1->symtree->n.sym->attr.untyped) code->expr1->symtree->n.sym->ts = code->expr2->ts; selector_type = CLASS_DATA (code->expr2)->ts.u.derived; Unfortunately it still fails on: FAIL: gfortran.dg/allocate_with_source_15.f03 -Os (internal compiler error) FAIL: gfortran.dg/select_type_26.f03 -O0 (internal compiler error) FAIL: gfortran.dg/select_type_27.f03 -O0 (internal compiler error)