Symbol: bb_terminated
usr/src/tools/smatch/src/linearize.c
2012
if (active && !bb_terminated(active)) { // missing return
usr/src/tools/smatch/src/linearize.c
557
if (!bb_terminated(bb))
usr/src/tools/smatch/src/linearize.c
659
if (!bb_terminated(ep->active))