http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58280
--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> --- (In reply to Jakub Jelinek from comment #1) > We still don't preserve VRP info (patches exist) and furthermore, don't > record non-zero bits bitmask there either. Only after we do that we could > perhaps handle it IMHO. CCP computes bitmasks but remembers them only for pointers in the form of alignment/misalignment info.
