Lines Matching full:getsval
349 SVal BufVal = state->getSVal(FirstBuf, LCtx);
361 SVal LengthVal = state->getSVal(Size, LCtx);
387 BufVal = state->getSVal(SecondBuf, LCtx);
426 SVal firstVal = state->getSVal(First, LCtx);
427 SVal secondVal = state->getSVal(Second, LCtx);
476 SVal LengthVal = state->getSVal(Size, LCtx);
879 SVal sizeVal = state->getSVal(Size, LCtx);
887 SVal destVal = state->getSVal(Dest, LCtx);
908 SVal srcVal = state->getSVal(Source, LCtx);
962 state->getSVal(Dest, C.getLocationContext()));
1029 SVal sizeVal = state->getSVal(Size, LCtx);
1052 state->getSVal(Left, LCtx).castAs<DefinedOrUnknownSVal>();
1054 state->getSVal(Right, LCtx).castAs<DefinedOrUnknownSVal>();
1114 SVal maxlenVal = state->getSVal(maxlenExpr, LCtx);
1138 SVal ArgVal = state->getSVal(Arg, LCtx);
1162 SVal maxlenVal = state->getSVal(maxlenExpr, LCtx);
1287 SVal DstVal = state->getSVal(Dst, LCtx);
1295 SVal srcVal = state->getSVal(srcExpr, LCtx);
1322 SVal lenVal = state->getSVal(lenExpr, LCtx);
1640 SVal s1Val = state->getSVal(s1, LCtx);
1647 SVal s2Val = state->getSVal(s2, LCtx);
1704 SVal lenVal = state->getSVal(lenExpr, LCtx);
1849 SVal StrVal = state->getSVal(Init, C.getLocationContext());
