Symbol: debug_implied
usr/src/tools/smatch/src/smatch.h
221
bool debug_implied(void);
usr/src/tools/smatch/src/smatch_comparison.c
2729
if (debug_implied()) {
usr/src/tools/smatch/src/smatch_comparison.c
2792
if (debug_implied())