https://gcc.gnu.org/g:134bc017ebac60eb53166998ec7efbc2e7f7e3b5
commit r16-6896-g134bc017ebac60eb53166998ec7efbc2e7f7e3b5 Author: Richard Biener <[email protected]> Date: Mon Jan 19 10:21:10 2026 +0100 tree-optimization/123602 - avoid PRE-inserting abnormal SSA refs The following fixes an omission in find_or_generate_expression to check for SSA_NAME_OCCURS_IN_ABNORMAL_PHI as already done in create_expression_by_pieces. PR tree-optimization/123602 * tree-ssa-pre.cc (find_or_generate_expression): Do not generate references to abnormal SSA names. * g++.dg/torture/pr123603.C: New testcase. Diff: --- gcc/testsuite/g++.dg/torture/pr123603.C | 20 ++++++++++++++++++++ gcc/tree-ssa-pre.cc | 7 ++++++- 2 files changed, 26 insertions(+), 1 deletion(-) diff --git a/gcc/testsuite/g++.dg/torture/pr123603.C b/gcc/testsuite/g++.dg/torture/pr123603.C new file mode 100644 index 000000000000..f971a82177c2 --- /dev/null +++ b/gcc/testsuite/g++.dg/torture/pr123603.C @@ -0,0 +1,20 @@ +// { dg-do compile } + +void _setjmp(); +void a() __attribute__((__noreturn__)); +struct b { + b(int c) { + if (c) + a(); + } + ~b(); +}; +int d; +void l(long); +void e() { + b a(d); + for (int f = 0; f < 10 ; ++f) { + l(f - 1); + _setjmp(); + } +} diff --git a/gcc/tree-ssa-pre.cc b/gcc/tree-ssa-pre.cc index 9853be167d4a..6a5f1287fac8 100644 --- a/gcc/tree-ssa-pre.cc +++ b/gcc/tree-ssa-pre.cc @@ -2768,7 +2768,12 @@ find_or_generate_expression (basic_block block, tree op, gimple_seq *stmts) if (leader) { if (leader->kind == NAME) - return PRE_EXPR_NAME (leader); + { + tree name = PRE_EXPR_NAME (leader); + if (SSA_NAME_OCCURS_IN_ABNORMAL_PHI (name)) + return NULL_TREE; + return name; + } else if (leader->kind == CONSTANT) return PRE_EXPR_CONSTANT (leader);
