Searched refs:NewLInt (Results 1 – 1 of 1) sorted by relevance
387 llvm::APSInt NewLInt; in getSymBinExpr() local388 std::tie(NewLInt, LTy) = fixAPSInt(Ctx, ISE->getLHS()); in getSymBinExpr()389 SMTExprRef LHS = Solver->mkBitvector(NewLInt, NewLInt.getBitWidth()); in getSymBinExpr()