[Bug tree-optimization/79159] [7 regression] spurious array-bounds warning

[amker at gcc dot gnu.org]

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?