diff options
| author | Aldy Hernandez <aldyh@redhat.com> | 2018-10-17 12:31:58 +0000 |
|---|---|---|
| committer | Aldy Hernandez <aldyh@gcc.gnu.org> | 2018-10-17 12:31:58 +0000 |
| commit | fa6b20f32c28aa34efc3c0ab609303d8371b57dd (patch) | |
| tree | e8781870b88d8bbf90c3f28bcc688cbb94665b04 /gcc/tree-vrp.c | |
| parent | cd1e244a1ced255fb0a5651bdab443fa254d9472 (diff) | |
| download | gcc-fa6b20f32c28aa34efc3c0ab609303d8371b57dd.zip gcc-fa6b20f32c28aa34efc3c0ab609303d8371b57dd.tar.gz gcc-fa6b20f32c28aa34efc3c0ab609303d8371b57dd.tar.bz2 | |
wide-int-range.h (wide_int_range_shift_undefined_p): Adjust to use sign as argument.
* wide-int-range.h (wide_int_range_shift_undefined_p): Adjust to
use sign as argument.
* tree-vrp.c (extract_range_from_binary_expr_1): Pass sign to
wide_int_range_shift_undefined_p.
From-SVN: r265237
Diffstat (limited to 'gcc/tree-vrp.c')
| -rw-r--r-- | gcc/tree-vrp.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index cbc2ea2..c519613 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -1521,7 +1521,8 @@ extract_range_from_binary_expr_1 (value_range *vr, || code == LSHIFT_EXPR) { if (range_int_cst_p (&vr1) - && !wide_int_range_shift_undefined_p (prec, + && !wide_int_range_shift_undefined_p (TYPE_SIGN (TREE_TYPE (vr1.min)), + prec, wi::to_wide (vr1.min), wi::to_wide (vr1.max))) { |