diff options
author | Andrew MacLeod <amacleod@redhat.com> | 2023-01-10 13:40:56 -0500 |
---|---|---|
committer | Andrew MacLeod <amacleod@redhat.com> | 2023-02-01 09:26:02 -0500 |
commit | 881bf8de9b07fb501d61ade8f521f1cc9dbe712e (patch) | |
tree | 3f35bf8091bc25b3d8158f905efa69a77b02b210 /gcc/gimple-range-cache.cc | |
parent | 78589691ee158e689fa9bb7dec1165da475ea634 (diff) | |
download | gcc-881bf8de9b07fb501d61ade8f521f1cc9dbe712e.zip gcc-881bf8de9b07fb501d61ade8f521f1cc9dbe712e.tar.gz gcc-881bf8de9b07fb501d61ade8f521f1cc9dbe712e.tar.bz2 |
Ranger cache - always use range_from_dom when updating.
When updating an existing range, if we dont query the dom tree, we can
get the global range instead of a proper range on some incoming edges
which cause the range to not be refined properly.
PR tree-optimization/108356
gcc/
* gimple-range-cache.cc (ranger_cache::range_on_edge): Always
do a search of the DOM tree for a range.
gcc/testsuite/
* gcc.dg/pr108356.c: New.
Diffstat (limited to 'gcc/gimple-range-cache.cc')
-rw-r--r-- | gcc/gimple-range-cache.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/gimple-range-cache.cc b/gcc/gimple-range-cache.cc index a8202f0..20c444b 100644 --- a/gcc/gimple-range-cache.cc +++ b/gcc/gimple-range-cache.cc @@ -998,7 +998,7 @@ bool ranger_cache::range_on_edge (vrange &r, edge e, tree expr) { if (gimple_range_ssa_p (expr)) - return edge_range (r, e, expr, RFD_NONE); + return edge_range (r, e, expr, RFD_READ_ONLY); return get_tree_range (r, expr, NULL); } |