diff options
| author | Aldy Hernandez <aldyh@redhat.com> | 2022-03-07 14:48:58 +0100 |
|---|---|---|
| committer | Aldy Hernandez <aldyh@redhat.com> | 2022-04-29 10:41:59 +0200 |
| commit | 71f2928e282eb7863de8426e41c38a90c436d41d (patch) | |
| tree | db2aca75b24be42a435b32cf72bebead8e8443a4 /gcc/gimple-range-cache.h | |
| parent | 7259481f0ece6283a6e2943448e8d28ffffc40f9 (diff) | |
| download | gcc-71f2928e282eb7863de8426e41c38a90c436d41d.zip gcc-71f2928e282eb7863de8426e41c38a90c436d41d.tar.gz gcc-71f2928e282eb7863de8426e41c38a90c436d41d.tar.bz2 | |
Make irange::intersect(wide_int, wide_int) private.
This method should have been private, and somehow seeped into the API.
Tested and benchmarked on x86-64 Linux.
gcc/ChangeLog:
* gimple-range-cache.h (non_null_ref::adjust_range): Do not use
irange::intersect (wide_int, wide_int).
* gimple-range-fold.cc (adjust_pointer_diff_expr): Same.
(adjust_imagpart_expr): Same.
* value-range.h (irange::intersect (wide_int, wide_int)): Make
private.
Diffstat (limited to 'gcc/gimple-range-cache.h')
| -rw-r--r-- | gcc/gimple-range-cache.h | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/gcc/gimple-range-cache.h b/gcc/gimple-range-cache.h index 589b649..a0244e4 100644 --- a/gcc/gimple-range-cache.h +++ b/gcc/gimple-range-cache.h @@ -64,8 +64,10 @@ non_null_ref::adjust_range (irange &r, tree name, basic_block bb, if (non_null_deref_p (name, bb, search_dom)) { // Remove zero from the range. - unsigned prec = TYPE_PRECISION (TREE_TYPE (name)); - r.intersect (wi::one (prec), wi::max_value (prec, UNSIGNED)); + gcc_checking_assert (TYPE_UNSIGNED (TREE_TYPE (name))); + int_range<2> nz; + nz.set_nonzero (TREE_TYPE (name)); + r.intersect (nz); return true; } return false; |