Home
last modified time | relevance | path

Searched refs:set_true_false_states (Results 1 – 11 of 11) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_impossible.c50 set_true_false_states(my_id, "impossible", NULL, in handle_compare()
57 set_true_false_states(my_return_id, "impossible", NULL, in handle_compare()
H A Dsmatch_integer_overflow.c92 set_true_false_states(my_id, name, sym, NULL, safe_state(binop)); in match_divide()
127 set_true_false_states(my_id, name, sym, NULL, safe_state(left)); in match_overflow_to_less_than()
H A Dsmatch_parsed_conditions.c60 set_true_false_states(my_id, name, NULL, &true_path, &false_path); in record_condition()
H A Dcheck_readl_infinite_loops.c88 set_true_false_states(my_id, "depends on", NULL, &readl_ff, &readl_00); in check_condition()
H A Dsmatch_stored_conditions.c209 set_true_false_states(my_id, name, NULL, true_state, false_state); in __stored_condition()
H A Dcheck_uninitialized.c127 set_true_false_states(my_id, sm->name, sm->sym, NULL, &initialized); in match_negative_comparison()
H A Dsmatch_param_compare_limit.c166 set_true_false_states(compare_id, state_name, NULL, true_state, false_state); in __compare_param_limit_hook()
H A Dsmatch_states.c556 void set_true_false_states(int owner, const char *name, struct symbol *sym, in set_true_false_states() function
597 set_true_false_states(owner, name, sym, true_state, false_state); in set_true_false_states_expr()
H A Dsmatch_extra.c519 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()
535 set_true_false_states(SMATCH_EXTRA, rel->name, rel->sym, in set_extra_true_false()
564 set_true_false_states(SMATCH_EXTRA, name, sym, in set_extra_chunk_true_false()
H A Dsmatch_comparison.c1105 set_true_false_states(comparison_id, state_name, NULL, true_state, false_state); in update_tf_links()
1205 set_true_false_states(comparison_id, state_name, NULL, NULL, false_state); in handle_for_loops()
1346 set_true_false_states(comparison_id, state_name, NULL, true_state, false_state); in handle_comparison()
H A Dsmatch.h366 void set_true_false_states(int owner, const char *name, struct symbol *sym,