Home
last modified time | relevance | path

Searched refs:value_range (Results 1 – 1 of 1) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_function_hooks.c308 struct data_range *value_range; in call_implies_callbacks() local
321 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()