diff options
| author | Richard Biener <rguenther@suse.de> | 2024-03-06 09:02:31 +0100 |
|---|---|---|
| committer | Richard Biener <rguenther@suse.de> | 2024-03-06 10:27:34 +0100 |
| commit | 0249744a9fe0775c2c895727aeebec4c59fd5f95 (patch) | |
| tree | f3c62600b0755b443a3005b2969547a31d20044b /gcc | |
| parent | 1157d5de35b41eabe5ee51d532224864173c37bd (diff) | |
| download | gcc-0249744a9fe0775c2c895727aeebec4c59fd5f95.zip gcc-0249744a9fe0775c2c895727aeebec4c59fd5f95.tar.gz gcc-0249744a9fe0775c2c895727aeebec4c59fd5f95.tar.bz2 | |
tree-optimization/114246 - invalid call argument from DSE
The following makes sure to strip type conversions added by
build_fold_addr_expr before placing the result in a call argument.
PR tree-optimization/114246
* tree-ssa-dse.cc (increment_start_addr): Strip useless
type conversions from the adjusted address.
* gcc.dg/torture/pr114246.c: New testcase.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/testsuite/gcc.dg/torture/pr114246.c | 11 | ||||
| -rw-r--r-- | gcc/tree-ssa-dse.cc | 2 |
2 files changed, 13 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/torture/pr114246.c b/gcc/testsuite/gcc.dg/torture/pr114246.c new file mode 100644 index 0000000..eb20db5 --- /dev/null +++ b/gcc/testsuite/gcc.dg/torture/pr114246.c @@ -0,0 +1,11 @@ +/* { dg-do compile } */ +/* { dg-additional-options "-w" } */ + +int a, b; + +void +foo (void) +{ + __builtin_memcpy (&a, (char *)&b - 1, 2); + __builtin_memcpy (&a, &b, 1); +} diff --git a/gcc/tree-ssa-dse.cc b/gcc/tree-ssa-dse.cc index 7c34851..fce4fc7 100644 --- a/gcc/tree-ssa-dse.cc +++ b/gcc/tree-ssa-dse.cc @@ -49,6 +49,7 @@ along with GCC; see the file COPYING3. If not see #include "cfgloop.h" #include "tree-data-ref.h" #include "internal-fn.h" +#include "tree-ssa.h" /* This file implements dead store elimination. @@ -658,6 +659,7 @@ increment_start_addr (gimple *stmt, tree *where, int increment) *where, build_int_cst (ptr_type_node, increment))); + STRIP_USELESS_TYPE_CONVERSION (*where); } /* STMT is builtin call that writes bytes in bitmap ORIG, some bytes are dead |