214   DefinedOrUnknownSVal zero = svalBuilder.makeZeroVal(Ty);  in REGISTER_MAP_WITH_PROGRAMSTATE()
287   DefinedOrUnknownSVal Size = Extent.castAs<DefinedOrUnknownSVal>();  in CheckLocation()
290   DefinedOrUnknownSVal Idx = ER->getIndex().castAs<DefinedOrUnknownSVal>();  in CheckLocation()
463   Optional<DefinedOrUnknownSVal> reverseTest =  in CheckOverlap()
464       reverse.getAs<DefinedOrUnknownSVal>();  in CheckOverlap()
508   Optional<DefinedOrUnknownSVal> OverlapTest =  in CheckOverlap()
509       Overlap.getAs<DefinedOrUnknownSVal>();  in CheckOverlap()
585       state->assume(willOverflow.castAs<DefinedOrUnknownSVal>());  in checkAdditionOverflow()
690       state = state->assume(evalLength.castAs<DefinedOrUnknownSVal>(), true);  in getCStringLengthForRegion()
1100     DefinedOrUnknownSVal LV =  in evalMemcmp()
1101         state->getSVal(Left, LCtx).castAs<DefinedOrUnknownSVal>();  in evalMemcmp()
1102     DefinedOrUnknownSVal RV =  in evalMemcmp()
1103         state->getSVal(Right, LCtx).castAs<DefinedOrUnknownSVal>();  in evalMemcmp()
1106     DefinedOrUnknownSVal SameBuf = svalBuilder.evalEQ(state, LV, RV);  in evalMemcmp()
1202   DefinedOrUnknownSVal result = UnknownVal();  in evalstrLengthCommon()
1224               .castAs<DefinedOrUnknownSVal>());  in evalstrLengthCommon()
1247                                   .castAs<DefinedOrUnknownSVal>(), true);  in evalstrLengthCommon()
1253                                   .castAs<DefinedOrUnknownSVal>(), true);  in evalstrLengthCommon()
1259     result = strLength.castAs<DefinedOrUnknownSVal>();  in evalstrLengthCommon()
1392               .castAs<DefinedOrUnknownSVal>());  in evalStrcpyCommon()
1476               copiedLessThanBound.castAs<DefinedOrUnknownSVal>(), true);  in evalStrcpyCommon()
1488               copiedLessThanSrc.castAs<DefinedOrUnknownSVal>(), true);  in evalStrcpyCommon()
1547           state = state->assume(sourceInResult.castAs<DefinedOrUnknownSVal>(),  in evalStrcpyCommon()
1560               state->assume(destInResult.castAs<DefinedOrUnknownSVal>(), true);  in evalStrcpyCommon()
1723   DefinedOrUnknownSVal LV = s1Val.castAs<DefinedOrUnknownSVal>();  in evalStrcmpCommon()
1724   DefinedOrUnknownSVal RV = s2Val.castAs<DefinedOrUnknownSVal>();  in evalStrcmpCommon()
1728   DefinedOrUnknownSVal SameBuf = svalBuilder.evalEQ(state, LV, RV);  in evalStrcmpCommon()
1970     DefinedOrUnknownSVal strLength =  in checkPreStmt()
1971         getCStringLength(C, state, Init, StrVal).castAs<DefinedOrUnknownSVal>();  in checkPreStmt()