Lines Matching refs:makeIntVal

412             .makeIntVal(Ctx.getTypeSizeInChars(Ctx.WideCharTy).getQuantity(),  in CheckLocation()
497   NonLoc One = svalBuilder.makeIntVal(1, SizeTy).castAs<NonLoc>();  in CheckBufferAccess()
773   NonLoc maxVal = svalBuilder.makeIntVal(maxValInt);  in checkAdditionOverflow()
880       NonLoc maxLength = svalBuilder.makeIntVal(*maxLengthInt);  in getCStringLengthForRegion()
928     return svalBuilder.makeIntVal(strLit->getLength(), sizeTy);  in getCStringLength()
939           return SvalBuilder.makeIntVal(StrLit->getLength(), SizeTy);  in getCStringLength()
1021   NonLoc One = SB.makeIntVal(1, LengthTy).castAs<NonLoc>();  in isFirstBufInBound()
1831                                   svalBuilder.makeIntVal(1, sizeTy), sizeTy);  in evalStrcpyCommon()
1919         NonLoc one = svalBuilder.makeIntVal(1, sizeTy).castAs<NonLoc>();  in evalStrcpyCommon()
2250         resultVal = svalBuilder.makeIntVal(compareRes, Call.getResultType());  in evalStrcmpCommon()
2253         DefinedSVal zeroVal = svalBuilder.makeIntVal(0, Call.getResultType());  in evalStrcmpCommon()