| /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
157 true_state = &ok; in match_condition()
159 set_true_false_states_expr(my_id, expr, true_state, &null); in match_condition()
|
| H A D | smatch_strlen.c | 103 struct smatch_state *true_state = NULL; in match_strlen_condition() local
140 true_state = size_to_estate(sval.value - 1); in match_strlen_condition()
144 true_state = size_to_estate(sval.value); in match_strlen_condition()
147 true_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 D | smatch_states.c | 43 struct smatch_state true_state = { .name = "true" }; variable
557 struct smatch_state *true_state, in set_true_false_states() argument
569 show_state(true_state), show_state(false_state)); in set_true_false_states()
580 if (true_state) in set_true_false_states()
581 set_state_stree_stack(&cond_true_stack, owner, name, sym, true_state); in set_true_false_states()
587 struct smatch_state *true_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()
662 set_state(-1, "unnull_path", NULL, &true_state); in __unnullify_path()
1188 set_state_stree_stack(&default_stack, 0, "has_default", NULL, &true_state); in __set_default()
|
| H A D | smatch_stored_conditions.c | 194 struct smatch_state *true_state, *false_state; in __stored_condition() local
207 true_state = alloc_state(expr, TRUE); in __stored_condition()
209 set_true_false_states(my_id, name, NULL, true_state, false_state); in __stored_condition()
|
| H A D | smatch_extra.c | 503 struct smatch_state *true_state, in set_extra_true_false() argument
511 if (!true_state && !false_state) in set_extra_true_false()
519 set_true_false_states(SMATCH_EXTRA, new_name, new_sym, true_state, false_state); in set_extra_true_false()
525 set_true_false_states(SMATCH_EXTRA, name, sym, true_state, false_state); in set_extra_true_false()
529 if (true_state) in set_extra_true_false()
530 set_related(true_state, estate_related(orig_state)); in set_extra_true_false()
536 true_state, false_state); in set_extra_true_false()
541 struct smatch_state *true_state, in set_extra_chunk_true_false() argument
565 clone_estate(true_state), in set_extra_chunk_true_false()
572 struct smatch_state *true_state, in set_extra_expr_true_false() argument
[all …]
|
| H A D | smatch_param_compare_limit.c | 129 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 D | smatch_comparison.c | 1032 struct smatch_state *true_state, *false_state; in update_tf_links() local
1090 true_state = alloc_compare_state( in update_tf_links()
1095 true_state = NULL; in update_tf_links()
1105 set_true_false_states(comparison_id, state_name, NULL, true_state, false_state); in update_tf_links()
1268 struct smatch_state *true_state, *false_state; in handle_comparison() local
1333 true_state = alloc_compare_state( in handle_comparison()
1346 set_true_false_states(comparison_id, state_name, NULL, true_state, false_state); in handle_comparison()
1347 __compare_param_limit_hook(left_expr, right_expr, state_name, true_state, false_state); in handle_comparison()
|
| H A D | smatch.h | 57 extern struct smatch_state true_state;
367 struct smatch_state *true_state,
370 struct smatch_state *true_state,
727 void __set_true_false_sm(struct sm_state *true_state,
1143 struct smatch_state *true_state, struct smatch_state *false_state);
|
| H A D | smatch_function_hooks.c | 722 set_state(-1, "unnull_path", NULL, &true_state); in db_compare_callback()
963 set_state(-1, "unnull_path", NULL, &true_state); in db_assign_return_states_callback()
1152 set_state(-1, "unnull_path", NULL, &true_state); in db_return_states_callback()
|