diff options
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/range-op.cc | 3 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/pr97462.c | 10 |
2 files changed, 12 insertions, 1 deletions
diff --git a/gcc/range-op.cc b/gcc/range-op.cc index 6108de3..de4cfe4 100644 --- a/gcc/range-op.cc +++ b/gcc/range-op.cc @@ -1577,7 +1577,8 @@ operator_lshift::op1_range (irange &r, if (op2.singleton_p (&shift_amount)) { wide_int shift = wi::to_wide (shift_amount); - gcc_checking_assert (wi::gt_p (shift, 0, SIGNED)); + if (wi::lt_p (shift, 0, SIGNED)) + return false; // Work completely in unsigned mode to start. tree utype = type; diff --git a/gcc/testsuite/gcc.dg/pr97462.c b/gcc/testsuite/gcc.dg/pr97462.c new file mode 100644 index 0000000..52c0533 --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr97462.c @@ -0,0 +1,10 @@ +/* { dg-do compile } */ +/* { dg-options "-O2 -w" } */ + +int a, b; + +void d () +{ + a << ~0 && b; + b = a; +} |