Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_function_hooks.c41 implication_hook *ranged; member
217 (tmp->u.ranged)(fn, call_expr, assign_expr, tmp->info); in call_ranged_call_backs()
330 (tmp->u.ranged)(fn, expr, NULL, tmp->info); in call_implies_callbacks()
343 (tmp->u.ranged)(fn, expr, NULL, tmp->info); in call_implies_callbacks()
903 (tmp->u.ranged)(fn, expr, db_info->expr, tmp->info); in call_ranged_return_hooks()