diff options
-rw-r--r-- | gcc/range-op.cc | 5 | ||||
-rw-r--r-- | gcc/testsuite/gcc.dg/pr97467.c | 16 |
2 files changed, 21 insertions, 0 deletions
diff --git a/gcc/range-op.cc b/gcc/range-op.cc index 0efa001..30d2a4d 100644 --- a/gcc/range-op.cc +++ b/gcc/range-op.cc @@ -1579,6 +1579,11 @@ operator_lshift::op1_range (irange &r, wide_int shift = wi::to_wide (shift_amount); if (wi::lt_p (shift, 0, SIGNED)) return false; + if (shift == 0) + { + r = lhs; + return true; + } // Work completely in unsigned mode to start. tree utype = type; diff --git a/gcc/testsuite/gcc.dg/pr97467.c b/gcc/testsuite/gcc.dg/pr97467.c new file mode 100644 index 0000000..dcbd218 --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr97467.c @@ -0,0 +1,16 @@ +/* { dg-do compile } */ +/* { dg-options "-Os" } */ + +int a; +long b; +unsigned int c = 1; + +int main () { + int e; + for (; c <= 0; c++) { + int f = 0; + b = e; + a = f || b << c; + } + return 0; +} |