https://gcc.gnu.org/g:416b1412071a397e3f38f72b49d0e2f5e84d1f0b
commit r16-9110-g416b1412071a397e3f38f72b49d0e2f5e84d1f0b Author: Jerry DeLisle <[email protected]> Date: Tue Jun 9 09:46:30 2026 -0700 fortran: ICE for ASSOCIATE selector that is an overloaded intrinsic operator Add a fallback branch in match_association_list that, for any remaining unresolved EXPR_OP selector with BT_UNKNOWN type, calls gfc_extend_expr to resolve the overloaded operator to its function call early, so the associate name receives a usable type before the body is parsed. The INTRINSIC_USER path is unchanged. Assisted-by: Claude Sonnet 4.6 PR fortran/125650 gcc/fortran/ChangeLog: * match.cc (match_association_list): Handle ASSOCIATE selectors that are overloaded intrinsic operator expressions by extending them with gfc_extend_expr at parse time, so the associate name is typed before the construct body is parsed. gcc/testsuite/ChangeLog: * gfortran.dg/associate_81.f90: New test. (cherry picked from commit 939e277254c1fb0a77a321827598352209bff5e6) Diff: --- gcc/fortran/match.cc | 15 ++++++++++ gcc/testsuite/gfortran.dg/associate_81.f90 | 44 ++++++++++++++++++++++++++++++ 2 files changed, 59 insertions(+) diff --git a/gcc/fortran/match.cc b/gcc/fortran/match.cc index 8055416b3ccb..01bb8822083e 100644 --- a/gcc/fortran/match.cc +++ b/gcc/fortran/match.cc @@ -2326,6 +2326,21 @@ match_association_list (bool for_change_team = false) else gfc_free_expr (tmp); } + else if (newAssoc->target->ts.type == BT_UNKNOWN + && newAssoc->target->expr_type == EXPR_OP) + { + /* The selector is an unresolved expression involving an overloaded + intrinsic operator (e.g. a `+' bound via an explicit interface + to a function returning CHARACTER). Try to extend it now, the + same way the type-bound user-defined operator case above does + for INTRINSIC_USER, so the associate name gets a usable type + before the body of the ASSOCIATE construct is parsed. */ + gfc_expr *tmp = gfc_copy_expr (newAssoc->target); + if (gfc_extend_expr (tmp) == MATCH_YES) + gfc_replace_expr (newAssoc->target, tmp); + else + gfc_free_expr (tmp); + } /* The `variable' field is left blank for now; because the target is not yet resolved, we can't use gfc_has_vector_subscript to determine it diff --git a/gcc/testsuite/gfortran.dg/associate_81.f90 b/gcc/testsuite/gfortran.dg/associate_81.f90 new file mode 100644 index 000000000000..a691aee902ce --- /dev/null +++ b/gcc/testsuite/gfortran.dg/associate_81.f90 @@ -0,0 +1,44 @@ +! { dg-do run } +! +! PR fortran/125650 +! +! Verify that an ASSOCIATE selector that is an overloaded intrinsic operator +! expression (here a CHARACTER-returning `+', bound via an explicit +! interface) is extended to a function call early enough that the +! associate name receives a known type before the body of the ASSOCIATE +! construct is parsed. Previously the associate name stayed untyped, +! a substring reference to it was matched incorrectly, and the wrong +! reference reached the back end, causing an ICE in trans-expr.cc. + +module associate_81_m + implicit none + + interface operator(+) + module procedure concat + end interface + +contains + + function concat (dd1, dd2) + implicit none + character(len = 8) :: concat + character(len = 3), intent(in) :: dd1 + character(len = 5), intent(in) :: dd2 + concat = dd1 // dd2 + end function + +end module + +program associate_81 + use associate_81_m + implicit none + + character(len = 3) :: arg1 = 'aaa' + character(len = 5) :: arg2 = 'ccccc' + + associate (aa => arg1, bb => arg2, cc => arg1 + arg2) + if (cc /= 'aaaccccc') stop 1 + if (cc(3:5) /= 'acc') stop 2 + end associate + +end program
