https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79159
--- Comment #5 from amker at gcc dot gnu.org --- (In reply to amker from comment #4) > Discussed with richi, and conclusion is that vrp issue is hard to fix at the > moment. Easy way out is to investigate why cunrolli peels one additional > > There are two possible fixes here. One is to investigate why evrp doesn't > compute correct range for j_11: > > _1: VARYING > _3: VARYING > i_4: [0, +INF] > j_5: [j_13, +INF] > n_12(D): ~[0, 0] > j_13: VARYING <----inaccurate. > j_15: [-2147483647, +INF] > Looks like evrp only computes vrp for parameters or like?