Symbol: save_constraint_required
usr/src/tools/smatch/src/smatch_constraints_required.c
209
save_constraint_required(pointer, SPECIAL_LTE, size->left);
usr/src/tools/smatch/src/smatch_constraints_required.c
211
save_constraint_required(pointer, '<', size);
usr/src/tools/smatch/src/smatch_constraints_required.c
249
save_constraint_required(pointer, '<', count);