diff options
| author | Richard Biener <rguenther@suse.de> | 2024-02-16 10:08:43 +0100 |
|---|---|---|
| committer | Richard Biener <rguenther@suse.de> | 2024-02-16 12:51:57 +0100 |
| commit | 5fd1cbfd65ef2b6dd87cd78ce6509e7d561981ac (patch) | |
| tree | e505e4255375dde6d1593419abb81ba9327af5fd /libcpp/po | |
| parent | 7f3d900684ad989164114f25eb46a33871c6533d (diff) | |
| download | gcc-5fd1cbfd65ef2b6dd87cd78ce6509e7d561981ac.zip gcc-5fd1cbfd65ef2b6dd87cd78ce6509e7d561981ac.tar.gz gcc-5fd1cbfd65ef2b6dd87cd78ce6509e7d561981ac.tar.bz2 | |
tree-optimization/113895 - consistency check fails in copy_reference_ops_from_ref
The following addresses consistency check fails in copy_reference_ops_from_ref
when we are handling out-of-bound array accesses (it's almost impossible
to identically mimic the get_ref_base_and_extent behavior). It also
addresses the case where an out-of-bound constant offset computes to a
-1 off which is the special value for "unknown". This patch basically
turns off verification in those cases.
PR tree-optimization/113895
* tree-ssa-sccvn.cc (copy_reference_ops_from_ref): Disable
consistency checking when there are out-of-bound array
accesses. Allow -1 off when from an array reference with
constant index.
* gcc.dg/torture/pr113895-2.c: New testcase.
* gcc.dg/torture/pr113895-3.c: Likewise.
* gcc.dg/torture/pr113895-4.c: Likewise.
Diffstat (limited to 'libcpp/po')
0 files changed, 0 insertions, 0 deletions