http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58280
Jakub Jelinek <jakub at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |jakub at gcc dot gnu.org --- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> --- 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.