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

518

DIMPLIED("%s: implications taking too long: %s\n", __func__, sm_state_info(sm));

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

523

DIMPLIED("%s: recursed too far: %s\n", __func__, sm_state_info(sm));

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

529

DIMPLIED("%s: remove: %s\n", __func__, sm_state_info(sm));

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

535

DIMPLIED("%s: keep %s (%s, %s, %s): %s\n", __func__, sm->state->name,

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

548

DIMPLIED("%s: kept all: %s\n", __func__, sm_state_info(sm));

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

553

DIMPLIED("%s: removed all: %s\n", __func__, sm_state_info(sm));

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

583

DIMPLIED("%s: partial: %s\n", __func__, sm_state_info(sm));

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

642

DIMPLIED("checking implications: (%s (%s) %s %s)\n",

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

646

DIMPLIED("%d '%s' from line %d is not merged.\n", get_lineno(), sm->name, sm->line);

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

652

DIMPLIED("filtering true stack.\n");

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

654

DIMPLIED("filtering false stack.\n");