Searched defs:true_state (Results 1 – 7 of 7) sorted by relevance
| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | check_check_deref.c | 137 struct smatch_state *true_state = NULL; in match_condition() local
|
| H A D | smatch_stored_conditions.c | 194 struct smatch_state *true_state, *false_state; in __stored_condition() local
|
| H A D | smatch_param_compare_limit.c | 129 struct smatch_state *true_state, struct smatch_state *false_state) in __compare_param_limit_hook()
|
| H A D | smatch_states.c | 43 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 D | smatch_strlen.c | 103 struct smatch_state *true_state = NULL; in match_strlen_condition() local
|
| H A D | smatch_extra.c | 503 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 D | smatch_comparison.c | 1032 struct smatch_state *true_state, *false_state; in update_tf_links() local
1268 struct smatch_state *true_state, *false_state; in handle_comparison() local
|