Symbol: __has_breaks
usr/src/tools/smatch/src/smatch.h
775
int __has_breaks(void);
usr/src/tools/smatch/src/smatch_extra.c
885
if (!estate_has_hard_max(sm->state) && !__has_breaks()) {