Symbol: alloc_constraint_state
usr/src/tools/smatch/src/smatch_constraints.c
144
return alloc_constraint_state(list);
usr/src/tools/smatch/src/smatch_constraints.c
377
state = alloc_constraint_state(constraints);
usr/src/tools/smatch/src/smatch_constraints.c
456
return alloc_constraint_state(list);