https://gcc.gnu.org/g:26713009e1ecef4ed0fc87e21a61fe0d4c1fe344
commit r16-7488-g26713009e1ecef4ed0fc87e21a61fe0d4c1fe344 Author: Patrick Palka <[email protected]> Date: Thu Feb 12 15:14:11 2026 -0500 c++: adjust comment from previous commit r16-7487 The comment from r16-7487 is confused, the object argument of PMF calls _must_ be sequenced first by [expr.call]/7 since syntactically it appears in the postfix-expression: (a.*pmf)(...). It's indirect calls to a (known) xobj memfn that don't need such sequencing, since syntactically the object argument isn't in the postfix-expression: (&A::f)(a, ...). gcc/cp/ChangeLog: * cp-gimplify.cc (cp_gimplify_expr) <case CALL_EXPR>: Adjust r16-7487 comment. Diff: --- gcc/cp/cp-gimplify.cc | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/gcc/cp/cp-gimplify.cc b/gcc/cp/cp-gimplify.cc index 2e2f328079a8..cf25cbe2eefb 100644 --- a/gcc/cp/cp-gimplify.cc +++ b/gcc/cp/cp-gimplify.cc @@ -923,8 +923,9 @@ cp_gimplify_expr (tree *expr_p, gimple_seq *pre_p, gimple_seq *post_p) fntype = TREE_TYPE (fntype); tree decl = cp_get_callee_fndecl_nofold (*expr_p); /* We can't just rely on 'decl' because virtual function callees - are expressed as OBJ_TYPE_REF. Though checking for METHOD_TYPE - means we'll also sequence PMF calls, which is allowed under + are expressed as OBJ_TYPE_REF. Note that the xobj memfn check + will also hold for calls of the form (&A::f)(a, ...) which does + not require such sequencing, though it's allowed under "indeterminately sequenced". */ if (TREE_CODE (fntype) == METHOD_TYPE || (decl && DECL_LANG_SPECIFIC (decl)
