Lines Matching full:getsval
356 SVal BufVal = state->getSVal(FirstBuf, LCtx);
368 SVal LengthVal = state->getSVal(Size, LCtx);
394 BufVal = state->getSVal(SecondBuf, LCtx);
433 SVal firstVal = state->getSVal(First, LCtx);
434 SVal secondVal = state->getSVal(Second, LCtx);
483 SVal LengthVal = state->getSVal(Size, LCtx);
916 SVal sizeVal = state->getSVal(Size, LCtx);
924 SVal destVal = state->getSVal(Dest, LCtx);
945 SVal srcVal = state->getSVal(Source, LCtx);
1004 state = InvalidateBuffer(C, state, Dest, C.getSVal(Dest),
1009 state = InvalidateBuffer(C, state, Source, C.getSVal(Source),
1078 SVal sizeVal = state->getSVal(Size, LCtx);
1101 state->getSVal(Left, LCtx).castAs<DefinedOrUnknownSVal>();
1103 state->getSVal(Right, LCtx).castAs<DefinedOrUnknownSVal>();
1164 SVal maxlenVal = state->getSVal(maxlenExpr, LCtx);
1188 SVal ArgVal = state->getSVal(Arg, LCtx);
1212 SVal maxlenVal = state->getSVal(maxlenExpr, LCtx);
1339 SVal DstVal = state->getSVal(Dst, LCtx);
1347 SVal srcVal = state->getSVal(srcExpr, LCtx);
1374 SVal lenVal = state->getSVal(lenExpr, LCtx);
1698 SVal s1Val = state->getSVal(s1, LCtx);
1705 SVal s2Val = state->getSVal(s2, LCtx);
1762 SVal lenVal = state->getSVal(lenExpr, LCtx);
1832 SVal SearchStrVal = State->getSVal(SearchStrPtr, LCtx);
1839 SVal DelimStrVal = State->getSVal(DelimStr, LCtx);
1848 Result = State->getSVal(*SearchStrLoc, CharPtrTy);
1968 SVal StrVal = state->getSVal(Init, C.getLocationContext());
