Cross Reference: /external/clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp

Lines Matching refs:castAs
283   DefinedOrUnknownSVal Size = Extent.castAs<DefinedOrUnknownSVal>();
286   DefinedOrUnknownSVal Idx = ER->getIndex().castAs<DefinedOrUnknownSVal>();
369   NonLoc One = svalBuilder.makeIntVal(1, sizeTy).castAs<NonLoc>();
371       .evalBinOpNN(state, BO_Sub, *Length, One, sizeTy).castAs<NonLoc>();
579       state->assume(willOverflow.castAs<DefinedOrUnknownSVal>());
932       loc::MemRegionVal destRegVal = destVal.castAs<loc::MemRegionVal>();
1054         state->getSVal(Left, LCtx).castAs<DefinedOrUnknownSVal>();
1056         state->getSVal(Right, LCtx).castAs<DefinedOrUnknownSVal>();
1176                             .castAs<DefinedOrUnknownSVal>());
1193       NonLoc resultNL = result.castAs<NonLoc>();
1198                                   .castAs<DefinedOrUnknownSVal>(), true);
1204                                   .castAs<DefinedOrUnknownSVal>(), true);
1210     result = strLength.castAs<DefinedOrUnknownSVal>();
1342               .castAs<DefinedOrUnknownSVal>());
1400         NonLoc one = svalBuilder.makeIntVal(1, sizeTy).castAs<NonLoc>();
1426               copiedLessThanBound.castAs<DefinedOrUnknownSVal>(), true);
1438               copiedLessThanSrc.castAs<DefinedOrUnknownSVal>(), true);
1497           state = state->assume(sourceInResult.castAs<DefinedOrUnknownSVal>(),
1510               state->assume(destInResult.castAs<DefinedOrUnknownSVal>(), true);
1667   DefinedOrUnknownSVal LV = s1Val.castAs<DefinedOrUnknownSVal>();
1668   DefinedOrUnknownSVal RV = s2Val.castAs<DefinedOrUnknownSVal>();
1914         getCStringLength(C, state, Init, StrVal).castAs<DefinedOrUnknownSVal>();
OpenGrok
