From 543a5b9da964f821b9e723ed9c93d6cdca464d47 Mon Sep 17 00:00:00 2001 From: Richard Biener Date: Sun, 30 Jun 2024 13:07:14 +0200 Subject: [PATCH] tree-optimization/115694 - ICE with complex store rewrite The following adds a missed check when forwprop attempts to rewrite a complex store. PR tree-optimization/115694 * tree-ssa-forwprop.cc (pass_forwprop::execute): Check the store is complex before rewriting it. * g++.dg/torture/pr115694.C: New testcase. --- gcc/testsuite/g++.dg/torture/pr115694.C | 13 +++++++++++++ gcc/tree-ssa-forwprop.cc | 2 ++ 2 files changed, 15 insertions(+) create mode 100644 gcc/testsuite/g++.dg/torture/pr115694.C diff --git a/gcc/testsuite/g++.dg/torture/pr115694.C b/gcc/testsuite/g++.dg/torture/pr115694.C new file mode 100644 index 000000000000..bbce47decf83 --- /dev/null +++ b/gcc/testsuite/g++.dg/torture/pr115694.C @@ -0,0 +1,13 @@ +// { dg-do compile } + +_Complex a; +typedef struct { + double a[2]; +} b; +void c(b); +void d() +{ + _Complex b1 = a; + b t = __builtin_bit_cast (b, b1); + c(t); +} diff --git a/gcc/tree-ssa-forwprop.cc b/gcc/tree-ssa-forwprop.cc index 05d42ccd3c61..abf71f0d3a03 100644 --- a/gcc/tree-ssa-forwprop.cc +++ b/gcc/tree-ssa-forwprop.cc @@ -3762,6 +3762,8 @@ pass_forwprop::execute (function *fun) && gimple_store_p (use_stmt) && !gimple_has_volatile_ops (use_stmt) && is_gimple_assign (use_stmt) + && (TREE_CODE (TREE_TYPE (gimple_assign_lhs (use_stmt))) + == COMPLEX_TYPE) && (TREE_CODE (gimple_assign_lhs (use_stmt)) != TARGET_MEM_REF)) { -- 2.47.2