124                        const LocationContext *LCtx,
687   const LocationContext *LCtx = C.getLocationContext();  in CheckOverlap()  local
688   SVal firstVal = state->getSVal(First.Expression, LCtx);  in CheckOverlap()
689   SVal secondVal = state->getSVal(Second.Expression, LCtx);  in CheckOverlap()
738   SVal LengthVal = state->getSVal(Size.Expression, LCtx);  in CheckOverlap()
1291     const LocationContext *LCtx = C.getPredecessor()->getLocationContext();  in invalidateBufferAux()  local
1295     return State->invalidateRegions(R, E, C.blockCount(), LCtx,  in invalidateBufferAux()
1444   const LocationContext *LCtx = C.getLocationContext();  in evalCopyCommon()  local
1445   SVal sizeVal = state->getSVal(Size.Expression, LCtx);  in evalCopyCommon()
1453   SVal destVal = state->getSVal(Dest.Expression, LCtx);  in evalCopyCommon()
1459         stateZeroSize->BindExpr(Call.getOriginExpr(), LCtx, destVal);  in evalCopyCommon()
1478     SVal srcVal = state->getSVal(Source.Expression, LCtx);  in evalCopyCommon()
1511             nullptr, Call.getOriginExpr(), LCtx, C.blockCount());  in evalCopyCommon()
1514       state = state->BindExpr(Call.getOriginExpr(), LCtx, lastElement);  in evalCopyCommon()
1518       state = state->BindExpr(Call.getOriginExpr(), LCtx, destVal);  in evalCopyCommon()
1606   const LocationContext *LCtx = C.getLocationContext();  in evalMemcmp()  local
1609   SVal sizeVal = State->getSVal(Size.Expression, LCtx);  in evalMemcmp()
1620     State = State->BindExpr(Call.getOriginExpr(), LCtx,  in evalMemcmp()
1632         State->getSVal(Left.Expression, LCtx).castAs<DefinedOrUnknownSVal>();  in evalMemcmp()
1634         State->getSVal(Right.Expression, LCtx).castAs<DefinedOrUnknownSVal>();  in evalMemcmp()
1647         State = SameBuffer->BindExpr(Call.getOriginExpr(), LCtx,  in evalMemcmp()
1661       SVal CmpV = Builder.conjureSymbolVal(nullptr, Call.getOriginExpr(), LCtx,  in evalMemcmp()
1663       State = State->BindExpr(Call.getOriginExpr(), LCtx, CmpV);  in evalMemcmp()
1686   const LocationContext *LCtx = C.getLocationContext();  in evalstrLengthCommon()  local
1690     SVal maxlenVal = state->getSVal(maxlenExpr, LCtx);  in evalstrLengthCommon()
1700       stateZeroSize = stateZeroSize->BindExpr(Call.getOriginExpr(), LCtx, zero);  in evalstrLengthCommon()
1714   SVal ArgVal = state->getSVal(Arg.Expression, LCtx);  in evalstrLengthCommon()
1737     SVal maxlenVal = state->getSVal(maxlenExpr, LCtx);  in evalstrLengthCommon()
1766           nullptr, Call.getOriginExpr(), LCtx, C.blockCount());  in evalstrLengthCommon()
1790           nullptr, Call.getOriginExpr(), LCtx, C.blockCount());  in evalstrLengthCommon()
1796   state = state->BindExpr(Call.getOriginExpr(), LCtx, result);  in evalstrLengthCommon()
1877   const LocationContext *LCtx = C.getLocationContext();  in evalStrcpyCommon()  local
1881   SVal DstVal = state->getSVal(Dst.Expression, LCtx);  in evalStrcpyCommon()
1888   SVal srcVal = state->getSVal(srcExpr.Expression, LCtx);  in evalStrcpyCommon()
1932     SVal lenVal = state->getSVal(lenExpr.Expression, LCtx);  in evalStrcpyCommon()
2046                 StateZeroSize->BindExpr(Call.getOriginExpr(), LCtx, DstVal);  in evalStrcpyCommon()
2051                                                       LCtx, strLength);  in evalStrcpyCommon()
2057                   StateZeroSize->BindExpr(Call.getOriginExpr(), LCtx, retSize);  in evalStrcpyCommon()
2257       Result = svalBuilder.conjureSymbolVal(nullptr, Call.getOriginExpr(), LCtx,  in evalStrcpyCommon()
2262   state = state->BindExpr(Call.getOriginExpr(), LCtx, Result);  in evalStrcpyCommon()
2294   const LocationContext *LCtx = C.getLocationContext();  in evalStrcmpCommon()  local
2298   SVal LeftVal = state->getSVal(Left.Expression, LCtx);  in evalStrcmpCommon()
2305   SVal RightVal = state->getSVal(Right.Expression, LCtx);  in evalStrcmpCommon()
2336         StSameBuf->BindExpr(Call.getOriginExpr(), LCtx,  in evalStrcmpCommon()
2358                                                 LCtx, C.blockCount());  in evalStrcmpCommon()
2367       SVal lenVal = state->getSVal(lenExpr, LCtx);  in evalStrcmpCommon()
2414   state = state->BindExpr(Call.getOriginExpr(), LCtx, resultVal);  in evalStrcmpCommon()
2433   const LocationContext *LCtx = C.getLocationContext();  in evalStrsep()  local
2437   SVal SearchStrVal = State->getSVal(SearchStrPtr.Expression, LCtx);  in evalStrsep()
2444   SVal DelimStrVal = State->getSVal(DelimStr.Expression, LCtx);  in evalStrsep()
2466                                             LCtx, CharPtrTy, C.blockCount()),  in evalStrsep()
2467                        LCtx);  in evalStrsep()
2471     Result = SVB.conjureSymbolVal(nullptr, Call.getOriginExpr(), LCtx,  in evalStrsep()
2476   State = State->BindExpr(Call.getOriginExpr(), LCtx, Result);  in evalStrsep()
2498   const LocationContext *LCtx = C.getLocationContext();  in evalStdCopyCommon()  local
2507   SVal DstVal = State->getSVal(Dst, LCtx);  in evalStdCopyCommon()
2516       SVB.conjureSymbolVal(nullptr, Call.getOriginExpr(), LCtx, C.blockCount());  in evalStdCopyCommon()
2517   State = State->BindExpr(Call.getOriginExpr(), LCtx, ResultVal);  in evalStdCopyCommon()
2534   const LocationContext *LCtx = C.getLocationContext();  in evalMemset()  local
2547     ZeroSize = ZeroSize->BindExpr(Call.getOriginExpr(), LCtx, BufferPtrVal);  in evalMemset()
2569   State = State->BindExpr(Call.getOriginExpr(), LCtx, BufferPtrVal);  in evalMemset()
2762     const LocationContext *LCtx,  in checkRegionChanges()  argument