Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_strlen.c104 struct smatch_state *false_state = NULL; in match_strlen_condition() local
150 false_state = size_to_estate(sval.value); in match_strlen_condition()
154 false_state = size_to_estate(sval.value - 1); in match_strlen_condition()
158 false_state = size_to_estate(sval.value); in match_strlen_condition()
162 set_true_false_states_expr(my_strlen_id, str, true_state, false_state); in match_strlen_condition()
H A Dsmatch_stored_conditions.c194 struct smatch_state *true_state, *false_state; in __stored_condition() local
208 false_state = alloc_state(expr, FALSE); in __stored_condition()
209 set_true_false_states(my_id, name, NULL, true_state, false_state); in __stored_condition()
H A Dsmatch_comparison.c1032 struct smatch_state *true_state, *false_state; in update_tf_links() local
1097 false_state = alloc_compare_state( in update_tf_links()
1102 false_state = NULL; in update_tf_links()
1198 data = false_state->data; in handle_for_loops()
1199 false_state = alloc_compare_state( in handle_for_loops()
1268 struct smatch_state *true_state, *false_state; in handle_comparison() local
1337 false_state = alloc_compare_state( in handle_comparison()
1352 *_false_state = false_state; in handle_comparison()
1363 struct smatch_state *false_state = NULL; in __comparison_match_condition() local
1371 if (false_state && state_name) in __comparison_match_condition()
[all …]
H A Dsmatch_states.c44 struct smatch_state false_state = { .name = "false" }; variable
558 struct smatch_state *false_state) in set_true_false_states() argument
569 show_state(true_state), show_state(false_state)); in set_true_false_states()
582 if (false_state) in set_true_false_states()
583 set_state_stree_stack(&cond_false_stack, owner, name, sym, false_state); in set_true_false_states()
588 struct smatch_state *false_state) in set_true_false_states_expr() argument
597 set_true_false_states(owner, name, sym, true_state, false_state); in set_true_false_states_expr()
H A Dsmatch_extra.c504 struct smatch_state *false_state) in set_extra_true_false() argument
511 if (!true_state && !false_state) in set_extra_true_false()
531 if (false_state) in set_extra_true_false()
532 set_related(false_state, estate_related(orig_state)); in set_extra_true_false()
536 true_state, false_state); in set_extra_true_false()
542 struct smatch_state *false_state) in set_extra_chunk_true_false() argument
566 clone_estate(false_state)); in set_extra_chunk_true_false()
573 struct smatch_state *false_state) in set_extra_expr_true_false() argument
579 if (!true_state && !false_state) in set_extra_expr_true_false()
592 set_extra_true_false(name, sym, true_state, false_state); in set_extra_expr_true_false()
[all …]
H A Dsmatch_param_compare_limit.c129 struct smatch_state *true_state, struct smatch_state *false_state) in __compare_param_limit_hook() argument
166 set_true_false_states(compare_id, state_name, NULL, true_state, false_state); in __compare_param_limit_hook()
H A Dsmatch.h58 extern struct smatch_state false_state;
368 struct smatch_state *false_state);
371 struct smatch_state *false_state);
728 struct sm_state *false_state);
1143 struct smatch_state *true_state, struct smatch_state *false_state);