Home
last modified time | relevance | path

Searched defs:true_state (Results 1 – 7 of 7) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_check_deref.c137 struct smatch_state *true_state = NULL; in match_condition() local
H A Dsmatch_stored_conditions.c194 struct smatch_state *true_state, *false_state; in __stored_condition() local
H A Dsmatch_states.c43 struct smatch_state true_state = { .name = "true" }; variable
557 struct smatch_state *true_state, in set_true_false_states()
587 struct smatch_state *true_state, in set_true_false_states_expr()
H A Dsmatch_param_compare_limit.c129 struct smatch_state *true_state, struct smatch_state *false_state) in __compare_param_limit_hook()
H A Dsmatch_strlen.c103 struct smatch_state *true_state = NULL; in match_strlen_condition() local
H A Dsmatch_extra.c503 struct smatch_state *true_state, in set_extra_true_false()
541 struct smatch_state *true_state, in set_extra_chunk_true_false()
572 struct smatch_state *true_state, in set_extra_expr_true_false()
1429 struct smatch_state *true_state, *false_state; in handle_postop_inc() local
H A Dsmatch_comparison.c1032 struct smatch_state *true_state, *false_state; in update_tf_links() local
1268 struct smatch_state *true_state, *false_state; in handle_comparison() local