Searched refs:mkvar (Results 1 – 1 of 1) sorted by relevance
| /third_party/ltp/tools/sparse/sparse-src/ |
| D | scheck.c | 51 static BoolectorNode *mkvar(Btor *btor, BoolectorSort s, pseudo_t pseudo) in mkvar() function
80 return mkvar(btor, s, arg); in get_arg()
108 a = mkvar(btor, s, insn->src1); in binary()
109 b = mkvar(btor, s, insn->src2); in binary()
160 a = mkvar(btor, s, insn->src1); in unop()
181 a = mkvar(btor, s, insn->src1); in ternop()
182 b = mkvar(btor, s, insn->src2); in ternop()
183 c = mkvar(btor, s, insn->src3); in ternop()
|