Symbol: is_forever_loop
usr/src/tools/smatch/src/smatch_flow.c
650
if (is_forever_loop(stmt)) {
usr/src/tools/smatch/src/smatch_flow.c
710
if (is_forever_loop(stmt)) {