Re: vr_values::{get,update}_value_range: use value_range API
On Thu, Nov 8, 2018 at 1:01 PM Aldy Hernandez wrote: > > As per $SUBJECT. > > Depends on get_range_info() API changes I have just submitted. > > OK for trunk? OK
vr_values::{get,update}_value_range: use value_range API
As per $SUBJECT. Depends on get_range_info() API changes I have just submitted. OK for trunk? commit 01b8d323f896692d2e999b607f4464861d9ccd8f Author: Aldy Hernandez Date: Thu Nov 8 12:56:41 2018 +0100 * vr-values.c (vr_values::get_value_range): Use value_range API in