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

Lines Matching refs:castAs
287   DefinedOrUnknownSVal Size = Extent.castAs<DefinedOrUnknownSVal>();
290   DefinedOrUnknownSVal Idx = ER->getIndex().castAs<DefinedOrUnknownSVal>();
374   NonLoc One = svalBuilder.makeIntVal(1, sizeTy).castAs<NonLoc>();
376       .evalBinOpNN(state, BO_Sub, *Length, One, sizeTy).castAs<NonLoc>();
585       state->assume(willOverflow.castAs<DefinedOrUnknownSVal>());
690       state = state->assume(evalLength.castAs<DefinedOrUnknownSVal>(), true);
967       loc::MemRegionVal destRegVal = destVal.castAs<loc::MemRegionVal>();
1096         state->getSVal(Left, LCtx).castAs<DefinedOrUnknownSVal>();
1098         state->getSVal(Right, LCtx).castAs<DefinedOrUnknownSVal>();
1219               .castAs<DefinedOrUnknownSVal>());
1237       NonLoc resultNL = result.castAs<NonLoc>();
1242                                   .castAs<DefinedOrUnknownSVal>(), true);
1248                                   .castAs<DefinedOrUnknownSVal>(), true);
1254     result = strLength.castAs<DefinedOrUnknownSVal>();
1387               .castAs<DefinedOrUnknownSVal>());
1445         NonLoc one = svalBuilder.makeIntVal(1, sizeTy).castAs<NonLoc>();
1471               copiedLessThanBound.castAs<DefinedOrUnknownSVal>(), true);
1483               copiedLessThanSrc.castAs<DefinedOrUnknownSVal>(), true);
1542           state = state->assume(sourceInResult.castAs<DefinedOrUnknownSVal>(),
1555               state->assume(destInResult.castAs<DefinedOrUnknownSVal>(), true);
1718   DefinedOrUnknownSVal LV = s1Val.castAs<DefinedOrUnknownSVal>();
1719   DefinedOrUnknownSVal RV = s2Val.castAs<DefinedOrUnknownSVal>();
1966         getCStringLength(C, state, Init, StrVal).castAs<DefinedOrUnknownSVal>();
OpenGrok
