https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85929
--- Comment #4 from Marc Glisse <glisse at gcc dot gnu.org> --- (In reply to Richard Biener from comment #2) > So somehow we need to enhance the code in VRP that registers additional > asserts to also handle symbolic ranges and thus register not only > i_4 < count_8 but also (long int) i_4 < _16 in a usable form. (long int) i_4 < _16 may not hold, _16 could easily be negative.
