Searched refs:show_sm (Results 1 – 7 of 7) sorted by relevance
| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | smatch_states.c | 88 sm_msg("%s", show_sm(sm)); in __print_states()
276 sm_msg("%s new %s", __func__, show_sm(sm)); in __set_sm()
278 sm_msg("%s change %s (was %s)", __func__, show_sm(sm), in __set_sm()
302 sm_msg("%s new %s", __func__, show_sm(sm)); in __set_sm_cur_stree()
305 __func__, show_sm(sm), show_state(s)); in __set_sm_cur_stree()
325 sm_msg("%s new %s", __func__, show_sm(sm)); in __set_sm_fake_stree()
328 __func__, show_sm(sm), show_state(s)); in __set_sm_fake_stree()
|
| H A D | smatch_implied.c | 109 printf("%s: %d: does not exist.\n", show_sm(sm), sm->line); in print_debug_tf()
404 sm_msg("TRUE %s [stree %d]", show_sm(sm), get_stree_id(sm->pool)); in separate_pools()
409 show_sm(sm), sm->merged ? "(merged) ": "", get_stree_id(sm->pool)); in separate_pools()
413 sm_msg("FALSE %s [stree %d]", show_sm(sm), get_stree_id(sm->pool)); in separate_pools()
477 n += snprintf(buf + n, sizeof(buf) - n, "%s ", show_sm(sm)); in sm_state_info()
|
| H A D | smatch_slist.h | 21 const char *show_sm(struct sm_state *sm);
|
| H A D | smatch_return_to_param.c | 111 __func__, name, show_sm(sm)); in map_long_to_short_name_sym()
|
| H A D | smatch_slist.c | 34 const char *show_sm(struct sm_state *sm) in show_sm() function
84 sm_printf("%s\n", show_sm(sm)); in __print_stree()
460 sm_msg("dynamic state: %s", show_sm(one)); in merge_sm_states()
|
| H A D | check_debug.c | 557 sm_msg("%s", show_sm(sm)); in match_about()
|
| H A D | smatch_comparison.c | 2737 show_sm(sm)); in filter_by_sm()
2793 sm_msg("implications from comparison: (%s)", show_sm(sm)); in comparison_implication_hook()
|