https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79159
--- Comment #6 from amker at gcc dot gnu.org --- (In reply to amker from comment #5) > (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? Testing a patch in tree-ssa-loop-niter.c.
