Searched refs:delete_gate_sm_equiv (Results 1 – 1 of 1) sorted by relevance
| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | smatch_implied.c | 712 static void delete_gate_sm_equiv(struct stree **stree, const char *name, struct symbol *sym) in delete_gate_sm_equiv() function
768 delete_gate_sm_equiv(implied_true, sm->name, sm->sym); in handle_comparison()
769 delete_gate_sm_equiv(implied_false, sm->name, sm->sym); in handle_comparison()
806 delete_gate_sm_equiv(implied_true, sm->name, sm->sym); in handle_zero_comparison()
807 delete_gate_sm_equiv(implied_false, sm->name, sm->sym); in handle_zero_comparison()
|