[Bug ipa/127162] [15/16/17 Regression] internal compiler error: in verify_mask, at value-range.cc:3125 with -O2

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

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2
                 CC|                            |jamborm at gcc dot gnu.org

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
2550                    = wi::bit_and_not (wi::mask (prec, false, prec),
2551                                       wide_int::from (align /
BITS_PER_UNIT - 1,
2552                                                       prec, UNSIGNED));
2553                  wide_int value = wide_int::from (bitpos / BITS_PER_UNIT,
prec,
2554                                                   UNSIGNED);
2555                  irange_bitmask bm (value, mask);

value is 0x1fffffff and mask 0xfffffffff0000000

3125      gcc_checking_assert (wi::bit_and (m_mask, m_value) == 0);