reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
647 uint64_t LBitWidth = Ctx.getTypeSize(LTy); 650 assert(!LTy.isNull() && !RTy.isNull() && "Input type is null!"); 653 if (LTy->isPromotableIntegerType()) { 654 QualType NewTy = Ctx.getPromotedIntegerType(LTy); 656 LHS = (*doCast)(Solver, LHS, NewTy, NewBitWidth, LTy, LBitWidth); 657 LTy = NewTy; 668 if (LTy == RTy) 673 bool isLSignedTy = LTy->isSignedIntegerOrEnumerationType(); 676 int order = Ctx.getIntegerTypeOrder(LTy, RTy); 680 RHS = (*doCast)(Solver, RHS, LTy, LBitWidth, RTy, RBitWidth); 681 RTy = LTy; 683 LHS = (*doCast)(Solver, LHS, RTy, RBitWidth, LTy, LBitWidth); 684 LTy = RTy; 690 RHS = (*doCast)(Solver, RHS, LTy, LBitWidth, RTy, RBitWidth); 691 RTy = LTy; 693 LHS = (*doCast)(Solver, LHS, RTy, RBitWidth, LTy, LBitWidth); 694 LTy = RTy; 701 RHS = (doCast)(Solver, RHS, LTy, LBitWidth, RTy, RBitWidth); 702 RTy = LTy; 704 LHS = (*doCast)(Solver, LHS, RTy, RBitWidth, LTy, LBitWidth); 705 LTy = RTy; 713 Ctx.getCorrespondingUnsignedType(isLSignedTy ? LTy : RTy); 714 RHS = (*doCast)(Solver, RHS, LTy, LBitWidth, RTy, RBitWidth); 716 LHS = (doCast)(Solver, LHS, RTy, RBitWidth, LTy, LBitWidth); 717 LTy = NewTy;