Searched refs:DIMPLIED (Results 1 – 1 of 1) sorted by relevance
| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | smatch_implied.c | 71 #define DIMPLIED(msg...) do { if (implied_debug) printf(msg); } while (0) macro
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()
535 DIMPLIED("%s: keep %s (%s, %s, %s): %s\n", __func__, sm->state->name, 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()
642 DIMPLIED("checking implications: (%s (%s) %s %s)\n", in separate_and_filter()
652 DIMPLIED("filtering true stack.\n"); in separate_and_filter()
[all …]
|