Symbol: get_cur_stmt
usr/src/tools/smatch/src/check_double_checking.c
84
if (!get_cur_stmt())
usr/src/tools/smatch/src/check_double_checking.c
86
parent = get_cur_stmt()->parent;
usr/src/tools/smatch/src/check_double_checking.c
95
if (parent->if_false != get_cur_stmt())