120                        const LocationContext *LCtx,
498   const LocationContext *LCtx = C.getLocationContext();  in CheckOverlap()  local
499   SVal firstVal = state->getSVal(First.Expression, LCtx);  in CheckOverlap()
500   SVal secondVal = state->getSVal(Second.Expression, LCtx);  in CheckOverlap()
549   SVal LengthVal = state->getSVal(Size.Expression, LCtx);  in CheckOverlap()
949   const LocationContext *LCtx = C.getLocationContext();  in IsFirstBufInBound()  local
953   SVal BufVal = state->getSVal(FirstBuf, LCtx);  in IsFirstBufInBound()
955   SVal LengthVal = state->getSVal(Size, LCtx);  in IsFirstBufInBound()
1025     const LocationContext *LCtx = C.getPredecessor()->getLocationContext();  in InvalidateBuffer()  local
1048     return state->invalidateRegions(R, E, C.blockCount(), LCtx,  in InvalidateBuffer()
1197   const LocationContext *LCtx = C.getLocationContext();  in evalCopyCommon()  local
1198   SVal sizeVal = state->getSVal(Size.Expression, LCtx);  in evalCopyCommon()
1206   SVal destVal = state->getSVal(Dest.Expression, LCtx);  in evalCopyCommon()
1211     stateZeroSize = stateZeroSize->BindExpr(CE, LCtx, destVal);  in evalCopyCommon()
1227     SVal srcVal = state->getSVal(Source.Expression, LCtx);  in evalCopyCommon()
1259         lastElement = C.getSValBuilder().conjureSymbolVal(nullptr, CE, LCtx,  in evalCopyCommon()
1263       state = state->BindExpr(CE, LCtx, lastElement);  in evalCopyCommon()
1267       state = state->BindExpr(CE, LCtx, destVal);  in evalCopyCommon()
1354   const LocationContext *LCtx = C.getLocationContext();  in evalMemcmp()  local
1357   SVal sizeVal = State->getSVal(Size.Expression, LCtx);  in evalMemcmp()
1368     State = State->BindExpr(CE, LCtx, Builder.makeZeroVal(CE->getType()));  in evalMemcmp()
1379         State->getSVal(Left.Expression, LCtx).castAs<DefinedOrUnknownSVal>();  in evalMemcmp()
1381         State->getSVal(Right.Expression, LCtx).castAs<DefinedOrUnknownSVal>();  in evalMemcmp()
1395             SameBuffer->BindExpr(CE, LCtx, Builder.makeZeroVal(CE->getType()));  in evalMemcmp()
1408       SVal CmpV = Builder.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount());  in evalMemcmp()
1409       State = State->BindExpr(CE, LCtx, CmpV);  in evalMemcmp()
1431   const LocationContext *LCtx = C.getLocationContext();  in evalstrLengthCommon()  local
1435     SVal maxlenVal = state->getSVal(maxlenExpr, LCtx);  in evalstrLengthCommon()
1445       stateZeroSize = stateZeroSize->BindExpr(CE, LCtx, zero);  in evalstrLengthCommon()
1459   SVal ArgVal = state->getSVal(Arg.Expression, LCtx);  in evalstrLengthCommon()
1482     SVal maxlenVal = state->getSVal(maxlenExpr, LCtx);  in evalstrLengthCommon()
1510       result = C.getSValBuilder().conjureSymbolVal(nullptr, CE, LCtx,  in evalstrLengthCommon()
1534       result = C.getSValBuilder().conjureSymbolVal(nullptr, CE, LCtx,  in evalstrLengthCommon()
1541   state = state->BindExpr(CE, LCtx, result);  in evalstrLengthCommon()
1615   const LocationContext *LCtx = C.getLocationContext();  in evalStrcpyCommon()  local
1619   SVal DstVal = state->getSVal(Dst.Expression, LCtx);  in evalStrcpyCommon()
1626   SVal srcVal = state->getSVal(srcExpr.Expression, LCtx);  in evalStrcpyCommon()
1669     SVal lenVal = state->getSVal(lenExpr.Expression, LCtx);  in evalStrcpyCommon()
1782             StateZeroSize = StateZeroSize->BindExpr(CE, LCtx, DstVal);  in evalStrcpyCommon()
1786               StateZeroSize = StateZeroSize->BindExpr(CE, LCtx, strLength);  in evalStrcpyCommon()
1791               StateZeroSize = StateZeroSize->BindExpr(CE, LCtx, retSize);  in evalStrcpyCommon()
1979       Result = svalBuilder.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount());  in evalStrcpyCommon()
1983   state = state->BindExpr(CE, LCtx, Result);  in evalStrcpyCommon()
2013   const LocationContext *LCtx = C.getLocationContext();  in evalStrcmpCommon()  local
2017   SVal LeftVal = state->getSVal(Left.Expression, LCtx);  in evalStrcmpCommon()
2024   SVal RightVal = state->getSVal(Right.Expression, LCtx);  in evalStrcmpCommon()
2054     StSameBuf = StSameBuf->BindExpr(CE, LCtx,  in evalStrcmpCommon()
2075   SVal resultVal = svalBuilder.conjureSymbolVal(nullptr, CE, LCtx,  in evalStrcmpCommon()
2085       SVal lenVal = state->getSVal(lenExpr, LCtx);  in evalStrcmpCommon()
2132   state = state->BindExpr(CE, LCtx, resultVal);  in evalStrcmpCommon()
2150   const LocationContext *LCtx = C.getLocationContext();  in evalStrsep()  local
2154   SVal SearchStrVal = State->getSVal(SearchStrPtr.Expression, LCtx);  in evalStrsep()
2161   SVal DelimStrVal = State->getSVal(DelimStr.Expression, LCtx);  in evalStrsep()
2182           LCtx,  in evalStrsep()
2185         LCtx);  in evalStrsep()
2189     Result = SVB.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount());  in evalStrsep()
2193   State = State->BindExpr(CE, LCtx, Result);  in evalStrsep()
2214   const LocationContext *LCtx = C.getLocationContext();  in evalStdCopyCommon()  local
2223   SVal DstVal = State->getSVal(Dst, LCtx);  in evalStdCopyCommon()
2229   SVal ResultVal = SVB.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount());  in evalStdCopyCommon()
2230   State = State->BindExpr(CE, LCtx, ResultVal);  in evalStdCopyCommon()
2246   const LocationContext *LCtx = C.getLocationContext();  in evalMemset()  local
2259     ZeroSize = ZeroSize->BindExpr(CE, LCtx, BufferPtrVal);  in evalMemset()
2281   State = State->BindExpr(CE, LCtx, BufferPtrVal);  in evalMemset()
2424     const LocationContext *LCtx,  in checkRegionChanges()  argument