https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114331
--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Actually, looking at value-range.h, irange_bitmask doesn't have just the mask but also value, so I wonder why it isn't able to figure this out. I'd think m_mask should be ~0xffff and value 111.
