Searched refs:add_constraint (Results 1 – 1 of 1) sorted by relevance
| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | smatch_constraints.c | 52 static void add_constraint(struct constraint_list **list, int op, int constraint) in add_constraint() function
92 add_constraint(&ret, tmp->op, tmp->id); in merge_constraint_lists()
96 add_constraint(&ret, tmp->op, tmp->id); in merge_constraint_lists()
108 add_constraint(&ret, tmp->op, tmp->id); in clone_constraint_list()
376 add_constraint(&constraints, remove_unsigned_from_comparison(op), constraint_id); in handle_comparison()
448 add_constraint(&list, op, id); in constraint_str_to_state()
|