342              const llvm::SMTExprRef &LHS, QualType LTy,  in getBinExpr()  argument
347     doTypeConversion(Solver, Ctx, NewLHS, NewRHS, LTy, RTy);  in getBinExpr()
358         *RetTy = LTy;  in getBinExpr()
363       if (LTy->isAnyPointerType() && RTy->isAnyPointerType() && Op == BO_Sub) {  in getBinExpr()
368     return LTy->isRealFloatingType()  in getBinExpr()
371                            LTy->isSignedIntegerOrEnumerationType());  in getBinExpr()
381     QualType LTy, RTy;  in getSymBinExpr()  local
386           getSymExpr(Solver, Ctx, SIE->getLHS(), &LTy, hasComparison);  in getSymBinExpr()
391       return getBinExpr(Solver, Ctx, LHS, LTy, Op, RHS, RTy, RetTy);  in getSymBinExpr()
396       std::tie(NewLInt, LTy) = fixAPSInt(Ctx, ISE->getLHS());  in getSymBinExpr()
401       return getBinExpr(Solver, Ctx, LHS, LTy, Op, RHS, RTy, RetTy);  in getSymBinExpr()
406           getSymExpr(Solver, Ctx, SSM->getLHS(), &LTy, hasComparison);  in getSymBinExpr()
409       return getBinExpr(Solver, Ctx, LHS, LTy, Op, RHS, RTy, RetTy);  in getSymBinExpr()
569                                       llvm::SMTExprRef &RHS, QualType &LTy,  in doTypeConversion()  argument
571     assert(!LTy.isNull() && !RTy.isNull() && "Input type is null!");  in doTypeConversion()
574     if ((LTy->isIntegralOrEnumerationType() &&  in doTypeConversion()
576         (LTy->isArithmeticType() && RTy->isArithmeticType())) {  in doTypeConversion()
578           Solver, Ctx, LHS, LTy, RHS, RTy);  in doTypeConversion()
582     if (LTy->isRealFloatingType() || RTy->isRealFloatingType()) {  in doTypeConversion()
584           Solver, Ctx, LHS, LTy, RHS, RTy);  in doTypeConversion()
588     if ((LTy->isAnyPointerType() || RTy->isAnyPointerType()) ||  in doTypeConversion()
589         (LTy->isBlockPointerType() || RTy->isBlockPointerType()) ||  in doTypeConversion()
590         (LTy->isReferenceType() || RTy->isReferenceType())) {  in doTypeConversion()
594       uint64_t LBitWidth = Ctx.getTypeSize(LTy);  in doTypeConversion()
599       if ((LTy->isAnyPointerType() ^ RTy->isAnyPointerType()) ||  in doTypeConversion()
600           (LTy->isBlockPointerType() ^ RTy->isBlockPointerType()) ||  in doTypeConversion()
601           (LTy->isReferenceType() ^ RTy->isReferenceType())) {  in doTypeConversion()
602         if (LTy->isNullPtrType() || LTy->isBlockPointerType() ||  in doTypeConversion()
603             LTy->isReferenceType()) {  in doTypeConversion()
604           LHS = fromCast(Solver, LHS, RTy, RBitWidth, LTy, LBitWidth);  in doTypeConversion()
605           LTy = RTy;  in doTypeConversion()
607           RHS = fromCast(Solver, RHS, LTy, LBitWidth, RTy, RBitWidth);  in doTypeConversion()
608           RTy = LTy;  in doTypeConversion()
616       if (LTy->isVoidPointerType() ^ RTy->isVoidPointerType()) {  in doTypeConversion()
617         assert((Ctx.getTypeSize(LTy) == Ctx.getTypeSize(RTy)) &&  in doTypeConversion()
620           RTy = LTy;  in doTypeConversion()
622           LTy = RTy;  in doTypeConversion()
625       if (LTy == RTy)  in doTypeConversion()
630     if ((LTy.getCanonicalType() == RTy.getCanonicalType()) ||  in doTypeConversion()
631         (LTy->isObjCObjectPointerType() && RTy->isObjCObjectPointerType())) {  in doTypeConversion()
632       LTy = RTy;  in doTypeConversion()
645                                          ASTContext &Ctx, T &LHS, QualType &LTy,  in doIntTypeConversion()  argument
647     uint64_t LBitWidth = Ctx.getTypeSize(LTy);  in doIntTypeConversion()
650     assert(!LTy.isNull() && !RTy.isNull() && "Input type is null!");  in doIntTypeConversion()
653     if (LTy->isPromotableIntegerType()) {  in doIntTypeConversion()
654       QualType NewTy = Ctx.getPromotedIntegerType(LTy);  in doIntTypeConversion()
656       LHS = (*doCast)(Solver, LHS, NewTy, NewBitWidth, LTy, LBitWidth);  in doIntTypeConversion()
657       LTy = NewTy;  in doIntTypeConversion()
668     if (LTy == RTy)  in doIntTypeConversion()
673     bool isLSignedTy = LTy->isSignedIntegerOrEnumerationType();  in doIntTypeConversion()
676     int order = Ctx.getIntegerTypeOrder(LTy, RTy);  in doIntTypeConversion()
680         RHS = (*doCast)(Solver, RHS, LTy, LBitWidth, RTy, RBitWidth);  in doIntTypeConversion()
681         RTy = LTy;  in doIntTypeConversion()
683         LHS = (*doCast)(Solver, LHS, RTy, RBitWidth, LTy, LBitWidth);  in doIntTypeConversion()
684         LTy = RTy;  in doIntTypeConversion()
690         RHS = (*doCast)(Solver, RHS, LTy, LBitWidth, RTy, RBitWidth);  in doIntTypeConversion()
691         RTy = LTy;  in doIntTypeConversion()
693         LHS = (*doCast)(Solver, LHS, RTy, RBitWidth, LTy, LBitWidth);  in doIntTypeConversion()
694         LTy = RTy;  in doIntTypeConversion()
701         RHS = (doCast)(Solver, RHS, LTy, LBitWidth, RTy, RBitWidth);  in doIntTypeConversion()
702         RTy = LTy;  in doIntTypeConversion()
704         LHS = (*doCast)(Solver, LHS, RTy, RBitWidth, LTy, LBitWidth);  in doIntTypeConversion()
705         LTy = RTy;  in doIntTypeConversion()
713           Ctx.getCorrespondingUnsignedType(isLSignedTy ? LTy : RTy);  in doIntTypeConversion()
714       RHS = (*doCast)(Solver, RHS, LTy, LBitWidth, RTy, RBitWidth);  in doIntTypeConversion()
716       LHS = (doCast)(Solver, LHS, RTy, RBitWidth, LTy, LBitWidth);  in doIntTypeConversion()
717       LTy = NewTy;  in doIntTypeConversion()
728                         QualType &LTy, T &RHS, QualType &RTy) {  in doFloatTypeConversion()  argument
729     uint64_t LBitWidth = Ctx.getTypeSize(LTy);  in doFloatTypeConversion()
733     if (!LTy->isRealFloatingType()) {  in doFloatTypeConversion()
734       LHS = (*doCast)(Solver, LHS, RTy, RBitWidth, LTy, LBitWidth);  in doFloatTypeConversion()
735       LTy = RTy;  in doFloatTypeConversion()
739       RHS = (*doCast)(Solver, RHS, LTy, LBitWidth, RTy, RBitWidth);  in doFloatTypeConversion()
740       RTy = LTy;  in doFloatTypeConversion()
744     if (LTy == RTy)  in doFloatTypeConversion()
750     int order = Ctx.getFloatingTypeOrder(LTy, RTy);  in doFloatTypeConversion()
752       RHS = (*doCast)(Solver, RHS, LTy, LBitWidth, RTy, RBitWidth);  in doFloatTypeConversion()
753       RTy = LTy;  in doFloatTypeConversion()
755       LHS = (*doCast)(Solver, LHS, RTy, RBitWidth, LTy, LBitWidth);  in doFloatTypeConversion()
756       LTy = RTy;  in doFloatTypeConversion()