Symbol: definitely_inside_loop
usr/src/tools/smatch/src/check_double_checking.c
195
if (definitely_inside_loop()) {
usr/src/tools/smatch/src/check_double_checking.c
243
if (definitely_inside_loop())
usr/src/tools/smatch/src/smatch.h
547
int definitely_inside_loop(void);