https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80974
--- Comment #3 from Marc Glisse <glisse at gcc dot gnu.org> --- According to the previous dump (crited1): # RANGE [1, 9] NONZERO 15 h_11 = h_43 + 1; but when we call get_nonzero_bits on h_11 in PRE, we get 7 ???