Searched refs:NewRInt (Results 1 – 1 of 1) sorted by relevance
380 llvm::APSInt NewRInt; in getSymBinExpr() local381 std::tie(NewRInt, RTy) = fixAPSInt(Ctx, SIE->getRHS()); in getSymBinExpr()382 SMTExprRef RHS = Solver->mkBitvector(NewRInt, NewRInt.getBitWidth()); in getSymBinExpr()