Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_function_hooks.c826 __set_true_false_sm(sm, NULL); in compare_db_return_states_callbacks()
829 __set_true_false_sm(NULL, sm); in compare_db_return_states_callbacks()
838 __set_true_false_sm(sm, NULL); in compare_db_return_states_callbacks()
841 __set_true_false_sm(NULL, sm); in compare_db_return_states_callbacks()
H A Dsmatch_conditions.c340 __set_true_false_sm(sm, NULL); in handle_select()
343 __set_true_false_sm(NULL, sm); in handle_select()
H A Dsmatch_states.c602 void __set_true_false_sm(struct sm_state *true_sm, struct sm_state *false_sm) in __set_true_false_sm() function
795 __set_true_false_sm(sm, sm); in __fold_in_set_states()
H A Dsmatch_implied.c991 __set_true_false_sm(sm, NULL); in set_implied_states()
996 __set_true_false_sm(NULL, sm); in set_implied_states()
H A Dsmatch.h727 void __set_true_false_sm(struct sm_state *true_state,