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

435

const char *show_state(struct smatch_state *state);

usr/src/tools/smatch/src/smatch_implied.c

111

printf("'%s = %s' from %d is true. %s[stree %d]\n", sm->name, show_state(sm->state),

usr/src/tools/smatch/src/smatch_implied.c

115

printf("'%s = %s' from %d is false. %s[stree %d]\n", sm->name, show_state(sm->state),

usr/src/tools/smatch/src/smatch_implied.c

121

show_state(sm->state), sm->line,

usr/src/tools/smatch/src/smatch_slist.c

45

check_name(sm->owner), sm->name, show_state(sm->state),

usr/src/tools/smatch/src/smatch_slist.c

505

show_state(one->state), one->line,

usr/src/tools/smatch/src/smatch_slist.c

506

show_state(two->state), two->line,

usr/src/tools/smatch/src/smatch_slist.c

507

show_state(s));

usr/src/tools/smatch/src/smatch_slist.c

512

printf("%s", show_state(tmp->state));

usr/src/tools/smatch/src/smatch_slist.c

63

show_state(tmp->state));

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

167

check_name(owner), name, show_state(state));

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

170

__func__, check_name(owner), name, show_state(s),

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

171

show_state(state));

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

279

show_state(s));

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

305

__func__, show_sm(sm), show_state(s));

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

328

__func__, show_sm(sm), show_state(s));

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

568

check_name(owner), name, show_state(tmp),

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

569

show_state(true_state), show_state(false_state));

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

622

check_name(owner), name, show_state(tmp),

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

623

show_state(true_sm ? true_sm->state : NULL),

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

624

show_state(false_sm ? false_sm->state : NULL));