Symbol: alloc_state
usr/src/tools/smatch/src/smatch_stored_conditions.c
207
true_state = alloc_state(expr, TRUE);
usr/src/tools/smatch/src/smatch_stored_conditions.c
208
false_state = alloc_state(expr, FALSE);