diff options
| author | Richard Biener <rguenther@suse.de> | 2024-01-26 09:29:22 +0100 |
|---|---|---|
| committer | Richard Biener <rguenther@suse.de> | 2024-01-26 11:25:05 +0100 |
| commit | f9b143d239db775318a29e9ff63f232b9501a22a (patch) | |
| tree | f15e11bfd79b811dd50bcc98b9e666027852a3d8 /gcc | |
| parent | 4b5650acb3107239867830dc1214b31bdbe3cacd (diff) | |
| download | gcc-f9b143d239db775318a29e9ff63f232b9501a22a.zip gcc-f9b143d239db775318a29e9ff63f232b9501a22a.tar.gz gcc-f9b143d239db775318a29e9ff63f232b9501a22a.tar.bz2 | |
tree-optimization/113602 - datarefs of non-addressables
We can end up creating ADDR_EXPRs of non-addressable entities during
for example vectorization. The following plugs this in data-ref
analysis when that would create such invalid ADDR_EXPR as part of
analyzing the ref structure.
PR tree-optimization/113602
* tree-data-ref.cc (dr_analyze_innermost): Fail when
the base object isn't addressable.
* gcc.dg/pr113602.c: New testcase.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/testsuite/gcc.dg/pr113602.c | 10 | ||||
| -rw-r--r-- | gcc/tree-data-ref.cc | 7 |
2 files changed, 16 insertions, 1 deletions
diff --git a/gcc/testsuite/gcc.dg/pr113602.c b/gcc/testsuite/gcc.dg/pr113602.c new file mode 100644 index 0000000..94bfbc9 --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr113602.c @@ -0,0 +1,10 @@ +/* { dg-do compile } */ +/* { dg-require-effective-target bitint575 } */ +/* { dg-options "-O2 -fno-tree-loop-optimize" } */ + +_BitInt(503) +f(void) +{ + register _BitInt(503) r asm(""); /* { dg-error "invalid" } */ + return r; +} diff --git a/gcc/tree-data-ref.cc b/gcc/tree-data-ref.cc index ae55bf6..f37734b 100644 --- a/gcc/tree-data-ref.cc +++ b/gcc/tree-data-ref.cc @@ -1182,7 +1182,12 @@ dr_analyze_innermost (innermost_loop_behavior *drb, tree ref, base = TREE_OPERAND (base, 0); } else - base = build_fold_addr_expr (base); + { + if (may_be_nonaddressable_p (base)) + return opt_result::failure_at (stmt, + "failed: base not addressable.\n"); + base = build_fold_addr_expr (base); + } if (in_loop) { |