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

1654

set_activeblock(ep, bb_false);

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

1657

set_activeblock(ep, merge);

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

1679

set_activeblock(ep, bb_true);

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

1684

set_activeblock(ep, bb_false);

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

1687

set_activeblock(ep, merge);

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

1730

set_activeblock(ep, other);

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

1737

set_activeblock(ep, merge);

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

1814

set_activeblock(ep, next);

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

2211

set_activeblock(ep, active);

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

2251

set_activeblock(ep, switch_end);

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

2288

set_activeblock(ep, loop_top);

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

2297

set_activeblock(ep, loop_body);

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

2301

set_activeblock(ep, loop_continue);

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

2307

set_activeblock(ep, loop_end);

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

2422

set_activeblock(ep, bb_true);

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

2428

set_activeblock(ep, bb_false);

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

2431

set_activeblock(ep, endif);

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

2466

set_activeblock(ep, bb);

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

739

set_activeblock(ep, bb);

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

745

set_activeblock(ep, bb);