[Bug tree-optimization/97467] [11 Regression] ICE in verify_range, at value-range.cc:369 (-Os and above) since r11-3685-gfcae5121154d1c33

[cvs-commit at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97467

--- Comment #3 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Aldy Hernandez <al...@gcc.gnu.org>:

https://gcc.gnu.org/g:5b80069c7e65a3ed60ee16deac4a450a9c32efa6

commit r11-4035-g5b80069c7e65a3ed60ee16deac4a450a9c32efa6
Author: Aldy Hernandez <al...@redhat.com>
Date:   Mon Oct 19 09:48:27 2020 +0200

    Handle right shifts by zero in range-ops.

    If the shift amount in operator_lshift::op1_range was zero, an invalid
range
    of [1, 0] was being created.

    gcc/ChangeLog:

            PR tree-optimization/97467
            * range-op.cc (operator_lshift::op1_range): Handle shifts by 0.

    gcc/testsuite/ChangeLog:

            * gcc.dg/pr97467.c: New test.