Symbol: get_stored_condition
usr/src/tools/smatch/src/check_double_checking.c
182
state = get_stored_condition(expr);
usr/src/tools/smatch/src/smatch.h
1203
struct smatch_state *get_stored_condition(struct expression *expr);