usr/src/tools/smatch/src/check_readl_infinite_loops.c

88

set_true_false_states(my_id, "depends on", NULL, &readl_ff, &readl_00);

usr/src/tools/smatch/src/check_uninitialized.c

127

set_true_false_states(my_id, sm->name, sm->sym, NULL, &initialized);

usr/src/tools/smatch/src/smatch.h

366

void set_true_false_states(int owner, const char *name, struct symbol *sym,

usr/src/tools/smatch/src/smatch_comparison.c

1105

set_true_false_states(comparison_id, state_name, NULL, true_state, false_state);

usr/src/tools/smatch/src/smatch_comparison.c

1205

set_true_false_states(comparison_id, state_name, NULL, NULL, false_state);

usr/src/tools/smatch/src/smatch_comparison.c

1346

set_true_false_states(comparison_id, state_name, NULL, true_state, false_state);

usr/src/tools/smatch/src/smatch_extra.c

519

set_true_false_states(SMATCH_EXTRA, new_name, new_sym, true_state, false_state);

usr/src/tools/smatch/src/smatch_extra.c

525

set_true_false_states(SMATCH_EXTRA, name, sym, true_state, false_state);

usr/src/tools/smatch/src/smatch_extra.c

535

set_true_false_states(SMATCH_EXTRA, rel->name, rel->sym,

usr/src/tools/smatch/src/smatch_extra.c

564

set_true_false_states(SMATCH_EXTRA, name, sym,

usr/src/tools/smatch/src/smatch_impossible.c

50

set_true_false_states(my_id, "impossible", NULL,

usr/src/tools/smatch/src/smatch_impossible.c

57

set_true_false_states(my_return_id, "impossible", NULL,

usr/src/tools/smatch/src/smatch_integer_overflow.c

127

set_true_false_states(my_id, name, sym, NULL, safe_state(left));

usr/src/tools/smatch/src/smatch_integer_overflow.c

92

set_true_false_states(my_id, name, sym, NULL, safe_state(binop));

usr/src/tools/smatch/src/smatch_param_compare_limit.c

166

set_true_false_states(compare_id, state_name, NULL, true_state, false_state);

usr/src/tools/smatch/src/smatch_parsed_conditions.c

60

set_true_false_states(my_id, name, NULL, &true_path, &false_path);

usr/src/tools/smatch/src/smatch_states.c

597

set_true_false_states(owner, name, sym, true_state, false_state);

usr/src/tools/smatch/src/smatch_stored_conditions.c

209

set_true_false_states(my_id, name, NULL, true_state, false_state);