diff options
author | Richard Biener <rguenther@suse.de> | 2023-02-15 14:00:21 +0100 |
---|---|---|
committer | Richard Biener <rguenther@suse.de> | 2023-04-27 14:05:24 +0200 |
commit | fcf27816635186acce77dd9b6d756d5c93fd92ef (patch) | |
tree | 536d34ec1eb4ec296eaf6e248c581dfef138f80f | |
parent | 0a5fb0ee337b824224a2c13b76fd682b62e6d314 (diff) | |
download | gcc-fcf27816635186acce77dd9b6d756d5c93fd92ef.zip gcc-fcf27816635186acce77dd9b6d756d5c93fd92ef.tar.gz gcc-fcf27816635186acce77dd9b6d756d5c93fd92ef.tar.bz2 |
tree-optimization/108791 - checking ICE with sloppy ADDR_EXPR
The following fixes a checking ICE by choosing a more appropriate
type for an ADDR_EXPR built by forwprop.
PR tree-optimization/108791
* tree-ssa-forwprop.cc (optimize_vector_load): Build
the ADDR_EXPR of a TARGET_MEM_REF using a more meaningful
type.
* gcc.dg/torture/pr108791.c: New testcase.
(cherry picked from commit 441c466fd4d8b9afd99f585f7c4bfade911c4652)
-rw-r--r-- | gcc/testsuite/gcc.dg/torture/pr108791.c | 9 | ||||
-rw-r--r-- | gcc/tree-ssa-forwprop.cc | 3 |
2 files changed, 11 insertions, 1 deletions
diff --git a/gcc/testsuite/gcc.dg/torture/pr108791.c b/gcc/testsuite/gcc.dg/torture/pr108791.c new file mode 100644 index 0000000..c1c1cb2 --- /dev/null +++ b/gcc/testsuite/gcc.dg/torture/pr108791.c @@ -0,0 +1,9 @@ +/* { dg-do compile } */ + +int f (int *a(), int *b, int *c, int *d) +{ + int s = 0; + for (int *i = (int *)a; i < b; ++i, ++c) + s += *c * d[*i]; + return s; +} diff --git a/gcc/tree-ssa-forwprop.cc b/gcc/tree-ssa-forwprop.cc index 9290d15..062f566 100644 --- a/gcc/tree-ssa-forwprop.cc +++ b/gcc/tree-ssa-forwprop.cc @@ -3255,7 +3255,8 @@ optimize_vector_load (gimple_stmt_iterator *gsi) { if (TREE_CODE (TREE_OPERAND (load_rhs, 0)) == ADDR_EXPR) mark_addressable (TREE_OPERAND (TREE_OPERAND (load_rhs, 0), 0)); - tree tem = make_ssa_name (TREE_TYPE (TREE_OPERAND (load_rhs, 0))); + tree ptrtype = build_pointer_type (TREE_TYPE (load_rhs)); + tree tem = make_ssa_name (ptrtype); gimple *new_stmt = gimple_build_assign (tem, build1 (ADDR_EXPR, TREE_TYPE (tem), unshare_expr (load_rhs))); |