Searched defs:vr0_max (Results 1 – 2 of 2) sorted by relevance
792 tree vr0_min = vr0.min (), vr0_max = vr0.max (); in extract_range_from_plus_minus_expr() local
973 tree vr0_min = vr0.min (), vr0_max = vr0.max (); in extract_range_from_plus_minus_expr() local