Searched refs:value_range (Results 1 – 1 of 1) sorted by relevance
308 struct data_range *value_range; in call_implies_callbacks() local321 value_range = alloc_range(sval, sval); in call_implies_callbacks()328 if (!true_comparison_range_LR(comparison, tmp->range, value_range, left)) in call_implies_callbacks()341 if (!false_comparison_range_LR(comparison, tmp->range, value_range, left)) in call_implies_callbacks()