300   DefinedOrUnknownSVal Size = Extent.castAs<DefinedOrUnknownSVal>();  in CheckLocation()
303   DefinedOrUnknownSVal Idx = ER->getIndex().castAs<DefinedOrUnknownSVal>();  in CheckLocation()
387   NonLoc One = svalBuilder.makeIntVal(1, sizeTy).castAs<NonLoc>();  in CheckBufferAccess()
389       .evalBinOpNN(state, BO_Sub, *Length, One, sizeTy).castAs<NonLoc>();  in CheckBufferAccess()
597       state->assume(willOverflow.castAs<DefinedOrUnknownSVal>());  in checkAdditionOverflow()
702       state = state->assume(evalLength.castAs<DefinedOrUnknownSVal>(), true);  in getCStringLengthForRegion()
853   NonLoc One = svalBuilder.makeIntVal(1, sizeTy).castAs<NonLoc>();  in IsFirstBufInBound()
856           .castAs<NonLoc>();  in IsFirstBufInBound()
883   DefinedOrUnknownSVal ExtentSize = Extent.castAs<DefinedOrUnknownSVal>();  in IsFirstBufInBound()
886   DefinedOrUnknownSVal Idx = ER->getIndex().castAs<DefinedOrUnknownSVal>();  in IsFirstBufInBound()
1052       loc::MemRegionVal destRegVal = destVal.castAs<loc::MemRegionVal>();  in evalCopyCommon()
1061           CharPtrTy, Dest->getType()).castAs<loc::MemRegionVal>();  in evalCopyCommon()
1186         state->getSVal(Left, LCtx).castAs<DefinedOrUnknownSVal>();  in evalMemcmp()
1188         state->getSVal(Right, LCtx).castAs<DefinedOrUnknownSVal>();  in evalMemcmp()
1309               .castAs<DefinedOrUnknownSVal>());  in evalstrLengthCommon()
1327       NonLoc resultNL = result.castAs<NonLoc>();  in evalstrLengthCommon()
1332                                   .castAs<DefinedOrUnknownSVal>(), true);  in evalstrLengthCommon()
1338                                   .castAs<DefinedOrUnknownSVal>(), true);  in evalstrLengthCommon()
1344     result = strLength.castAs<DefinedOrUnknownSVal>();  in evalstrLengthCommon()
1477               .castAs<DefinedOrUnknownSVal>());  in evalStrcpyCommon()
1535         NonLoc one = svalBuilder.makeIntVal(1, sizeTy).castAs<NonLoc>();  in evalStrcpyCommon()
1561               copiedLessThanBound.castAs<DefinedOrUnknownSVal>(), true);  in evalStrcpyCommon()
1573               copiedLessThanSrc.castAs<DefinedOrUnknownSVal>(), true);  in evalStrcpyCommon()
1632           state = state->assume(sourceInResult.castAs<DefinedOrUnknownSVal>(),  in evalStrcpyCommon()
1645               state->assume(destInResult.castAs<DefinedOrUnknownSVal>(), true);  in evalStrcpyCommon()
1809   DefinedOrUnknownSVal LV = s1Val.castAs<DefinedOrUnknownSVal>();  in evalStrcmpCommon()
1810   DefinedOrUnknownSVal RV = s2Val.castAs<DefinedOrUnknownSVal>();  in evalStrcmpCommon()
1891         DefinedSVal compareWithZeroVal = compareWithZero.castAs<DefinedSVal>();  in evalStrcmpCommon()
2107         getCStringLength(C, state, Init, StrVal).castAs<DefinedOrUnknownSVal>();  in checkPreStmt()