diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2023-03-14 09:15:38 +0100 |
|---|---|---|
| committer | Jakub Jelinek <jakub@redhat.com> | 2023-03-14 09:15:38 +0100 |
| commit | 72b52751c60abb327c73716259485d04b8eabe4f (patch) | |
| tree | 1e8e901f45edcc67068d449c9151804767f9d007 /gcc/tree-vect-patterns.cc | |
| parent | 5159a1f1e91e03d4b82808a0062697318232543f (diff) | |
| download | gcc-72b52751c60abb327c73716259485d04b8eabe4f.zip gcc-72b52751c60abb327c73716259485d04b8eabe4f.tar.gz gcc-72b52751c60abb327c73716259485d04b8eabe4f.tar.bz2 | |
tree-vect-patterns: Fix up ICE in upper_bound [PR109115]
As mentioned in the PR, range_of_expr returns false if the type
of the expression isn't suitable for corresponding range type,
but doesn't if the range is undefined for other reasons. Still,
lower/upper_bound is defined only for ranges which actually have
at least one pair of subranges, VR_UNDEFINED range doesn't have it.
2023-03-14 Jakub Jelinek <jakub@redhat.com>
PR tree-optimization/109115
* tree-vect-patterns.cc (vect_recog_divmod_pattern): Don't use
r.upper_bound () on r.undefined_p () range.
* gcc.dg/pr109115.c: New test.
Diffstat (limited to 'gcc/tree-vect-patterns.cc')
| -rw-r--r-- | gcc/tree-vect-patterns.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/tree-vect-patterns.cc b/gcc/tree-vect-patterns.cc index 887f02b..8802141 100644 --- a/gcc/tree-vect-patterns.cc +++ b/gcc/tree-vect-patterns.cc @@ -3973,7 +3973,7 @@ vect_recog_divmod_pattern (vec_info *vinfo, /* Check that no overflow will occur. If we don't have range information we can't perform the optimization. */ - if (ranger.range_of_expr (r, oprnd0, stmt)) + if (ranger.range_of_expr (r, oprnd0, stmt) && !r.undefined_p ()) { wide_int max = r.upper_bound (); wide_int one = wi::shwi (1, prec); |