Home | History | Annotate | Download | only in Checkers

Lines Matching full:getsval

369   SVal BufVal = state->getSVal(FirstBuf, LCtx);
381 SVal LengthVal = state->getSVal(Size, LCtx);
407 BufVal = state->getSVal(SecondBuf, LCtx);
446 SVal firstVal = state->getSVal(First, LCtx);
447 SVal secondVal = state->getSVal(Second, LCtx);
496 SVal LengthVal = state->getSVal(Size, LCtx);
845 SVal BufVal = state->getSVal(FirstBuf, LCtx);
847 SVal LengthVal = state->getSVal(Size, LCtx);
1001 SVal sizeVal = state->getSVal(Size, LCtx);
1009 SVal destVal = state->getSVal(Dest, LCtx);
1030 SVal srcVal = state->getSVal(Source, LCtx);
1089 state = InvalidateBuffer(C, state, Dest, C.getSVal(Dest),
1094 state = InvalidateBuffer(C, state, Source, C.getSVal(Source),
1163 SVal sizeVal = state->getSVal(Size, LCtx);
1186 state->getSVal(Left, LCtx).castAs<DefinedOrUnknownSVal>();
1188 state->getSVal(Right, LCtx).castAs<DefinedOrUnknownSVal>();
1249 SVal maxlenVal = state->getSVal(maxlenExpr, LCtx);
1273 SVal ArgVal = state->getSVal(Arg, LCtx);
1297 SVal maxlenVal = state->getSVal(maxlenExpr, LCtx);
1424 SVal DstVal = state->getSVal(Dst, LCtx);
1432 SVal srcVal = state->getSVal(srcExpr, LCtx);
1459 SVal lenVal = state->getSVal(lenExpr, LCtx);
1784 SVal s1Val = state->getSVal(s1, LCtx);
1791 SVal s2Val = state->getSVal(s2, LCtx);
1850 SVal lenVal = state->getSVal(lenExpr, LCtx);
1921 SVal SearchStrVal = State->getSVal(SearchStrPtr, LCtx);
1928 SVal DelimStrVal = State->getSVal(DelimStr, LCtx);
1937 Result = State->getSVal(*SearchStrLoc, CharPtrTy);
1986 SVal DstVal = State->getSVal(Dst, LCtx);
2104 SVal StrVal = state->getSVal(Init, C.getLocationContext());