Searched refs:sm_state_info (Results 1 – 1 of 1) sorted by relevance
| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | smatch_implied.c | 468 static char *sm_state_info(struct sm_state *sm) in sm_state_info() function
518 DIMPLIED("%s: implications taking too long: %s\n", __func__, sm_state_info(sm)); in filter_pools()
523 DIMPLIED("%s: recursed too far: %s\n", __func__, sm_state_info(sm)); in filter_pools()
529 DIMPLIED("%s: remove: %s\n", __func__, sm_state_info(sm)); in filter_pools()
539 sm_state_info(sm)); in filter_pools()
548 DIMPLIED("%s: kept all: %s\n", __func__, sm_state_info(sm)); in filter_pools()
553 DIMPLIED("%s: removed all: %s\n", __func__, sm_state_info(sm)); in filter_pools()
583 DIMPLIED("%s: partial: %s\n", __func__, sm_state_info(sm)); in filter_pools()
|