Re: [PATCH] Fix wrong optimization of up-level reference to array with negative low bound

[Eric Botcazou]

> Yeah,    query->range_of_expr (vr_lb, low_bound) would be the generally
> accepted way to generate a range from an arbitrary tree...  including a
> constant.

Thanks.  Does the sequence

                    && !vr.varying_p ()
                    && !vr.undefined_p ()

need to be repeated after the call to fold_range succeeded, given that earlier 
calls passed for vr_expr and the low bound is a constant?  

-- 
Eric Botcazou