reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
648 uint64_t RBitWidth = Ctx.getTypeSize(RTy); 650 assert(!LTy.isNull() && !RTy.isNull() && "Input type is null!"); 660 if (RTy->isPromotableIntegerType()) { 661 QualType NewTy = Ctx.getPromotedIntegerType(RTy); 663 RHS = (*doCast)(Solver, RHS, NewTy, NewBitWidth, RTy, RBitWidth); 664 RTy = NewTy; 668 if (LTy == RTy) 674 bool isRSignedTy = RTy->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); 715 RTy = NewTy; 716 LHS = (doCast)(Solver, LHS, RTy, RBitWidth, LTy, LBitWidth);