Searched refs:get_sort (Results 1 – 1 of 1) sorted by relevance
| /third_party/ltp/tools/sparse/sparse-src/ |
| D | scheck.c | 42 static BoolectorSort get_sort(Btor *btor, struct symbol *type, struct position pos) in get_sort() function
78 BoolectorSort s = get_sort(btor, type, insn->pos); in get_arg()
145 BoolectorSort s = get_sort(btor, insn->type, insn->pos); in binop()
151 BoolectorSort s = get_sort(btor, insn->itype, insn->pos); in icmp()
157 BoolectorSort s = get_sort(btor, insn->type, insn->pos); in unop()
178 BoolectorSort s = get_sort(btor, insn->type, insn->pos); in ternop()
|