Lines Matching full:getsval
365 SVal BufVal = state->getSVal(FirstBuf, LCtx);
377 SVal LengthVal = state->getSVal(Size, LCtx);
403 BufVal = state->getSVal(SecondBuf, LCtx);
442 SVal firstVal = state->getSVal(First, LCtx);
443 SVal secondVal = state->getSVal(Second, LCtx);
492 SVal LengthVal = state->getSVal(Size, LCtx);
841 SVal BufVal = state->getSVal(FirstBuf, LCtx);
843 SVal LengthVal = state->getSVal(Size, LCtx);
997 SVal sizeVal = state->getSVal(Size, LCtx);
1005 SVal destVal = state->getSVal(Dest, LCtx);
1026 SVal srcVal = state->getSVal(Source, LCtx);
1085 state = InvalidateBuffer(C, state, Dest, C.getSVal(Dest),
1090 state = InvalidateBuffer(C, state, Source, C.getSVal(Source),
1159 SVal sizeVal = state->getSVal(Size, LCtx);
1182 state->getSVal(Left, LCtx).castAs<DefinedOrUnknownSVal>();
1184 state->getSVal(Right, LCtx).castAs<DefinedOrUnknownSVal>();
1245 SVal maxlenVal = state->getSVal(maxlenExpr, LCtx);
1269 SVal ArgVal = state->getSVal(Arg, LCtx);
1293 SVal maxlenVal = state->getSVal(maxlenExpr, LCtx);
1420 SVal DstVal = state->getSVal(Dst, LCtx);
1428 SVal srcVal = state->getSVal(srcExpr, LCtx);
1455 SVal lenVal = state->getSVal(lenExpr, LCtx);
1780 SVal s1Val = state->getSVal(s1, LCtx);
1787 SVal s2Val = state->getSVal(s2, LCtx);
1844 SVal lenVal = state->getSVal(lenExpr, LCtx);
1914 SVal SearchStrVal = State->getSVal(SearchStrPtr, LCtx);
1921 SVal DelimStrVal = State->getSVal(DelimStr, LCtx);
1930 Result = State->getSVal(*SearchStrLoc, CharPtrTy);
2046 SVal StrVal = state->getSVal(Init, C.getLocationContext());
