usr/src/tools/smatch/src/check_debug.c

557

sm_msg("%s", show_sm(sm));

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

2737

show_sm(sm));

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

2793

sm_msg("implications from comparison: (%s)", show_sm(sm));

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

109

printf("%s: %d: does not exist.\n", show_sm(sm), sm->line);

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

404

sm_msg("TRUE %s [stree %d]", show_sm(sm), get_stree_id(sm->pool));

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

409

show_sm(sm), sm->merged ? "(merged) ": "", get_stree_id(sm->pool));

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

413

sm_msg("FALSE %s [stree %d]", show_sm(sm), get_stree_id(sm->pool));

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

477

n += snprintf(buf + n, sizeof(buf) - n, "%s ", show_sm(sm));

usr/src/tools/smatch/src/smatch_return_to_param.c

111

__func__, name, show_sm(sm));

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

460

sm_msg("dynamic state: %s", show_sm(one));

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

84

sm_printf("%s\n", show_sm(sm));

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

21

const char *show_sm(struct sm_state *sm);

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

276

sm_msg("%s new %s", __func__, show_sm(sm));

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

278

sm_msg("%s change %s (was %s)", __func__, show_sm(sm),

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

302

sm_msg("%s new %s", __func__, show_sm(sm));

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

305

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

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

325

sm_msg("%s new %s", __func__, show_sm(sm));

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

328

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

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

88

sm_msg("%s", show_sm(sm));