Home
last modified time | relevance | path

Searched defs:false_state (Results 1 – 6 of 6) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_stored_conditions.c194 struct smatch_state *true_state, *false_state; in __stored_condition() local
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_states.c44 struct smatch_state false_state = { .name = "false" }; variable
558 struct smatch_state *false_state) in set_true_false_states()
588 struct smatch_state *false_state) in set_true_false_states_expr()
H A Dsmatch_strlen.c104 struct smatch_state *false_state = NULL; in match_strlen_condition() local
H A Dsmatch_comparison.c1032 struct smatch_state *true_state, *false_state; in update_tf_links() local
1148 … void handle_for_loops(struct expression *expr, char *state_name, struct smatch_state *false_state) in handle_for_loops()
1268 struct smatch_state *true_state, *false_state; in handle_comparison() local
1363 struct smatch_state *false_state = NULL; in __comparison_match_condition() local
H A Dsmatch_extra.c504 struct smatch_state *false_state) in set_extra_true_false()
542 struct smatch_state *false_state) in set_extra_chunk_true_false()
573 struct smatch_state *false_state) in set_extra_expr_true_false()
1429 struct smatch_state *true_state, *false_state; in handle_postop_inc() local