Lines Matching refs:makeIntVal
420 SVB.makeIntVal(Ctx.getTypeSizeInChars(Ctx.WideCharTy).getQuantity(), in getIndex()
487 SVB.makeIntVal(Ctx.getTypeSizeInChars(ElemTy).getQuantity(), IdxTy) in checkInit()
514 const NonLoc One = SVB.makeIntVal(1, IdxTy).castAs<NonLoc>(); in checkInit()
639 NonLoc One = svalBuilder.makeIntVal(1, SizeTy).castAs<NonLoc>(); in CheckBufferAccess()
918 NonLoc maxVal = svalBuilder.makeIntVal(maxValInt); in checkAdditionOverflow()
1025 NonLoc maxLength = svalBuilder.makeIntVal(*maxLengthInt); in getCStringLengthForRegion()
1073 return svalBuilder.makeIntVal(strLit->getLength(), sizeTy); in getCStringLength()
1084 return SvalBuilder.makeIntVal(StrLit->getLength(), SizeTy); in getCStringLength()
1166 NonLoc One = SB.makeIntVal(1, LengthTy).castAs<NonLoc>(); in isFirstBufInBound()
1979 svalBuilder.makeIntVal(1, sizeTy), sizeTy); in evalStrcpyCommon()
2067 NonLoc one = svalBuilder.makeIntVal(1, sizeTy).castAs<NonLoc>(); in evalStrcpyCommon()
2398 resultVal = svalBuilder.makeIntVal(compareRes, Call.getResultType()); in evalStrcmpCommon()
2401 DefinedSVal zeroVal = svalBuilder.makeIntVal(0, Call.getResultType()); in evalStrcmpCommon()