120                        const LocationContext *LCtx,
543   const LocationContext *LCtx = C.getLocationContext();  in CheckOverlap()  local
544   SVal firstVal = state->getSVal(First.Expression, LCtx);  in CheckOverlap()
545   SVal secondVal = state->getSVal(Second.Expression, LCtx);  in CheckOverlap()
594   SVal LengthVal = state->getSVal(Size.Expression, LCtx);  in CheckOverlap()
1146     const LocationContext *LCtx = C.getPredecessor()->getLocationContext();  in invalidateBufferAux()  local
1150     return State->invalidateRegions(R, E, C.blockCount(), LCtx,  in invalidateBufferAux()
1299   const LocationContext *LCtx = C.getLocationContext();  in evalCopyCommon()  local
1300   SVal sizeVal = state->getSVal(Size.Expression, LCtx);  in evalCopyCommon()
1308   SVal destVal = state->getSVal(Dest.Expression, LCtx);  in evalCopyCommon()
1314         stateZeroSize->BindExpr(Call.getOriginExpr(), LCtx, destVal);  in evalCopyCommon()
1330     SVal srcVal = state->getSVal(Source.Expression, LCtx);  in evalCopyCommon()
1363             nullptr, Call.getOriginExpr(), LCtx, C.blockCount());  in evalCopyCommon()
1366       state = state->BindExpr(Call.getOriginExpr(), LCtx, lastElement);  in evalCopyCommon()
1370       state = state->BindExpr(Call.getOriginExpr(), LCtx, destVal);  in evalCopyCommon()
1458   const LocationContext *LCtx = C.getLocationContext();  in evalMemcmp()  local
1461   SVal sizeVal = State->getSVal(Size.Expression, LCtx);  in evalMemcmp()
1472     State = State->BindExpr(Call.getOriginExpr(), LCtx,  in evalMemcmp()
1484         State->getSVal(Left.Expression, LCtx).castAs<DefinedOrUnknownSVal>();  in evalMemcmp()
1486         State->getSVal(Right.Expression, LCtx).castAs<DefinedOrUnknownSVal>();  in evalMemcmp()
1499         State = SameBuffer->BindExpr(Call.getOriginExpr(), LCtx,  in evalMemcmp()
1513       SVal CmpV = Builder.conjureSymbolVal(nullptr, Call.getOriginExpr(), LCtx,  in evalMemcmp()
1515       State = State->BindExpr(Call.getOriginExpr(), LCtx, CmpV);  in evalMemcmp()
1538   const LocationContext *LCtx = C.getLocationContext();  in evalstrLengthCommon()  local
1542     SVal maxlenVal = state->getSVal(maxlenExpr, LCtx);  in evalstrLengthCommon()
1552       stateZeroSize = stateZeroSize->BindExpr(Call.getOriginExpr(), LCtx, zero);  in evalstrLengthCommon()
1566   SVal ArgVal = state->getSVal(Arg.Expression, LCtx);  in evalstrLengthCommon()
1589     SVal maxlenVal = state->getSVal(maxlenExpr, LCtx);  in evalstrLengthCommon()
1618           nullptr, Call.getOriginExpr(), LCtx, C.blockCount());  in evalstrLengthCommon()
1642           nullptr, Call.getOriginExpr(), LCtx, C.blockCount());  in evalstrLengthCommon()
1648   state = state->BindExpr(Call.getOriginExpr(), LCtx, result);  in evalstrLengthCommon()
1729   const LocationContext *LCtx = C.getLocationContext();  in evalStrcpyCommon()  local
1733   SVal DstVal = state->getSVal(Dst.Expression, LCtx);  in evalStrcpyCommon()
1740   SVal srcVal = state->getSVal(srcExpr.Expression, LCtx);  in evalStrcpyCommon()
1784     SVal lenVal = state->getSVal(lenExpr.Expression, LCtx);  in evalStrcpyCommon()
1898                 StateZeroSize->BindExpr(Call.getOriginExpr(), LCtx, DstVal);  in evalStrcpyCommon()
1903                                                       LCtx, strLength);  in evalStrcpyCommon()
1909                   StateZeroSize->BindExpr(Call.getOriginExpr(), LCtx, retSize);  in evalStrcpyCommon()
2109       Result = svalBuilder.conjureSymbolVal(nullptr, Call.getOriginExpr(), LCtx,  in evalStrcpyCommon()
2114   state = state->BindExpr(Call.getOriginExpr(), LCtx, Result);  in evalStrcpyCommon()
2146   const LocationContext *LCtx = C.getLocationContext();  in evalStrcmpCommon()  local
2150   SVal LeftVal = state->getSVal(Left.Expression, LCtx);  in evalStrcmpCommon()
2157   SVal RightVal = state->getSVal(Right.Expression, LCtx);  in evalStrcmpCommon()
2188         StSameBuf->BindExpr(Call.getOriginExpr(), LCtx,  in evalStrcmpCommon()
2210                                                 LCtx, C.blockCount());  in evalStrcmpCommon()
2219       SVal lenVal = state->getSVal(lenExpr, LCtx);  in evalStrcmpCommon()
2266   state = state->BindExpr(Call.getOriginExpr(), LCtx, resultVal);  in evalStrcmpCommon()
2285   const LocationContext *LCtx = C.getLocationContext();  in evalStrsep()  local
2289   SVal SearchStrVal = State->getSVal(SearchStrPtr.Expression, LCtx);  in evalStrsep()
2296   SVal DelimStrVal = State->getSVal(DelimStr.Expression, LCtx);  in evalStrsep()
2318                                             LCtx, CharPtrTy, C.blockCount()),  in evalStrsep()
2319                        LCtx);  in evalStrsep()
2323     Result = SVB.conjureSymbolVal(nullptr, Call.getOriginExpr(), LCtx,  in evalStrsep()
2328   State = State->BindExpr(Call.getOriginExpr(), LCtx, Result);  in evalStrsep()
2350   const LocationContext *LCtx = C.getLocationContext();  in evalStdCopyCommon()  local
2359   SVal DstVal = State->getSVal(Dst, LCtx);  in evalStdCopyCommon()
2368       SVB.conjureSymbolVal(nullptr, Call.getOriginExpr(), LCtx, C.blockCount());  in evalStdCopyCommon()
2369   State = State->BindExpr(Call.getOriginExpr(), LCtx, ResultVal);  in evalStdCopyCommon()
2386   const LocationContext *LCtx = C.getLocationContext();  in evalMemset()  local
2399     ZeroSize = ZeroSize->BindExpr(Call.getOriginExpr(), LCtx, BufferPtrVal);  in evalMemset()
2421   State = State->BindExpr(Call.getOriginExpr(), LCtx, BufferPtrVal);  in evalMemset()
2615     const LocationContext *LCtx,  in checkRegionChanges()  argument