Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_function_hooks.c354 int true_side; member
703 if (db_info->true_side) { in db_compare_callback()
772 db_info.true_side = 1; in compare_db_return_states_callbacks()
797 db_info.true_side = 0; in compare_db_return_states_callbacks()