Symbol: unmet_constraint
usr/src/tools/smatch/src/check_index_overflow.c
193
unmet = unmet_constraint(array_expr, offset);
usr/src/tools/smatch/src/smatch.h
1275
char *unmet_constraint(struct expression *data, struct expression *offset);