usr/src/tools/smatch/src/flow.c

735

if (!bb_reachable(bb))

usr/src/tools/smatch/src/linearize.c

1767

if (!expr || !bb_reachable(ep->active))

usr/src/tools/smatch/src/linearize.c

2369

if (!bb_reachable(active))

usr/src/tools/smatch/src/linearize.c

629

if (bb_reachable(src))

usr/src/tools/smatch/src/linearize.c

636

if (bb_reachable(src)) {

usr/src/tools/smatch/src/linearize.c

651

if (bb_reachable(bb)) {

usr/src/tools/smatch/src/linearize.c

663

if (bb_reachable(bb))

usr/src/tools/smatch/src/linearize.c

743

if (!bb_reachable(bb) || !bb_empty(bb)) {

usr/src/tools/smatch/src/linearize.c

756

if (bb_reachable(bb)) {