115                        const LocationContext *LCtx,
452   const LocationContext *LCtx = C.getLocationContext();  in CheckOverlap()  local
453   SVal firstVal = state->getSVal(First.Expression, LCtx);  in CheckOverlap()
454   SVal secondVal = state->getSVal(Second.Expression, LCtx);  in CheckOverlap()
503   SVal LengthVal = state->getSVal(Size.Expression, LCtx);  in CheckOverlap()
883   const LocationContext *LCtx = C.getLocationContext();  in IsFirstBufInBound()  local
887   SVal BufVal = state->getSVal(FirstBuf, LCtx);  in IsFirstBufInBound()
889   SVal LengthVal = state->getSVal(Size, LCtx);  in IsFirstBufInBound()
959     const LocationContext *LCtx = C.getPredecessor()->getLocationContext();  in InvalidateBuffer()  local
982     return state->invalidateRegions(R, E, C.blockCount(), LCtx,  in InvalidateBuffer()
1134   const LocationContext *LCtx = C.getLocationContext();  in evalCopyCommon()  local
1135   SVal sizeVal = state->getSVal(Size.Expression, LCtx);  in evalCopyCommon()
1143   SVal destVal = state->getSVal(Dest.Expression, LCtx);  in evalCopyCommon()
1148     stateZeroSize = stateZeroSize->BindExpr(CE, LCtx, destVal);  in evalCopyCommon()
1164     SVal srcVal = state->getSVal(Source.Expression, LCtx);  in evalCopyCommon()
1196         lastElement = C.getSValBuilder().conjureSymbolVal(nullptr, CE, LCtx,  in evalCopyCommon()
1200       state = state->BindExpr(CE, LCtx, lastElement);  in evalCopyCommon()
1204       state = state->BindExpr(CE, LCtx, destVal);  in evalCopyCommon()
1286   const LocationContext *LCtx = C.getLocationContext();  in evalMemcmp()  local
1289   SVal sizeVal = State->getSVal(Size.Expression, LCtx);  in evalMemcmp()
1300     State = State->BindExpr(CE, LCtx, Builder.makeZeroVal(CE->getType()));  in evalMemcmp()
1311         State->getSVal(Left.Expression, LCtx).castAs<DefinedOrUnknownSVal>();  in evalMemcmp()
1313         State->getSVal(Right.Expression, LCtx).castAs<DefinedOrUnknownSVal>();  in evalMemcmp()
1327             SameBuffer->BindExpr(CE, LCtx, Builder.makeZeroVal(CE->getType()));  in evalMemcmp()
1340       SVal CmpV = Builder.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount());  in evalMemcmp()
1341       State = State->BindExpr(CE, LCtx, CmpV);  in evalMemcmp()
1363   const LocationContext *LCtx = C.getLocationContext();  in evalstrLengthCommon()  local
1367     SVal maxlenVal = state->getSVal(maxlenExpr, LCtx);  in evalstrLengthCommon()
1377       stateZeroSize = stateZeroSize->BindExpr(CE, LCtx, zero);  in evalstrLengthCommon()
1391   SVal ArgVal = state->getSVal(Arg.Expression, LCtx);  in evalstrLengthCommon()
1414     SVal maxlenVal = state->getSVal(maxlenExpr, LCtx);  in evalstrLengthCommon()
1442       result = C.getSValBuilder().conjureSymbolVal(nullptr, CE, LCtx,  in evalstrLengthCommon()
1466       result = C.getSValBuilder().conjureSymbolVal(nullptr, CE, LCtx,  in evalstrLengthCommon()
1473   state = state->BindExpr(CE, LCtx, result);  in evalstrLengthCommon()
1547   const LocationContext *LCtx = C.getLocationContext();  in evalStrcpyCommon()  local
1551   SVal DstVal = state->getSVal(Dst.Expression, LCtx);  in evalStrcpyCommon()
1558   SVal srcVal = state->getSVal(srcExpr.Expression, LCtx);  in evalStrcpyCommon()
1601     SVal lenVal = state->getSVal(lenExpr.Expression, LCtx);  in evalStrcpyCommon()
1714             StateZeroSize = StateZeroSize->BindExpr(CE, LCtx, DstVal);  in evalStrcpyCommon()
1718               StateZeroSize = StateZeroSize->BindExpr(CE, LCtx, strLength);  in evalStrcpyCommon()
1723               StateZeroSize = StateZeroSize->BindExpr(CE, LCtx, retSize);  in evalStrcpyCommon()
1911       Result = svalBuilder.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount());  in evalStrcpyCommon()
1915   state = state->BindExpr(CE, LCtx, Result);  in evalStrcpyCommon()
1945   const LocationContext *LCtx = C.getLocationContext();  in evalStrcmpCommon()  local
1949   SVal LeftVal = state->getSVal(Left.Expression, LCtx);  in evalStrcmpCommon()
1956   SVal RightVal = state->getSVal(Right.Expression, LCtx);  in evalStrcmpCommon()
1986     StSameBuf = StSameBuf->BindExpr(CE, LCtx,  in evalStrcmpCommon()
2007   SVal resultVal = svalBuilder.conjureSymbolVal(nullptr, CE, LCtx,  in evalStrcmpCommon()
2017       SVal lenVal = state->getSVal(lenExpr, LCtx);  in evalStrcmpCommon()
2064   state = state->BindExpr(CE, LCtx, resultVal);  in evalStrcmpCommon()
2082   const LocationContext *LCtx = C.getLocationContext();  in evalStrsep()  local
2086   SVal SearchStrVal = State->getSVal(SearchStrPtr.Expression, LCtx);  in evalStrsep()
2093   SVal DelimStrVal = State->getSVal(DelimStr.Expression, LCtx);  in evalStrsep()
2114           LCtx,  in evalStrsep()
2117         LCtx);  in evalStrsep()
2121     Result = SVB.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount());  in evalStrsep()
2125   State = State->BindExpr(CE, LCtx, Result);  in evalStrsep()
2146   const LocationContext *LCtx = C.getLocationContext();  in evalStdCopyCommon()  local
2155   SVal DstVal = State->getSVal(Dst, LCtx);  in evalStdCopyCommon()
2161   SVal ResultVal = SVB.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount());  in evalStdCopyCommon()
2162   State = State->BindExpr(CE, LCtx, ResultVal);  in evalStdCopyCommon()
2178   const LocationContext *LCtx = C.getLocationContext();  in evalMemset()  local
2191     ZeroSize = ZeroSize->BindExpr(CE, LCtx, BufferPtrVal);  in evalMemset()
2213   State = State->BindExpr(CE, LCtx, BufferPtrVal);  in evalMemset()
2357     const LocationContext *LCtx,  in checkRegionChanges()  argument