71                        const LocationContext *LCtx,
349   const LocationContext *LCtx = C.getLocationContext();  in CheckBufferAccess()  local
395     BufVal = state->getSVal(SecondBuf, LCtx);  in CheckBufferAccess()
433   const LocationContext *LCtx = C.getLocationContext();  in CheckOverlap()  local
434   SVal firstVal = state->getSVal(First, LCtx);  in CheckOverlap()
435   SVal secondVal = state->getSVal(Second, LCtx);  in CheckOverlap()
484   SVal LengthVal = state->getSVal(Size, LCtx);  in CheckOverlap()
860   const LocationContext *LCtx = C.getLocationContext();  in IsFirstBufInBound()  local
864   SVal BufVal = state->getSVal(FirstBuf, LCtx);  in IsFirstBufInBound()
866   SVal LengthVal = state->getSVal(Size, LCtx);  in IsFirstBufInBound()
938     const LocationContext *LCtx = C.getPredecessor()->getLocationContext();  in InvalidateBuffer()  local
961     return state->invalidateRegions(R, E, C.blockCount(), LCtx,  in InvalidateBuffer()
1110   const LocationContext *LCtx = C.getLocationContext();  in evalCopyCommon()  local
1111   SVal sizeVal = state->getSVal(Size, LCtx);  in evalCopyCommon()
1119   SVal destVal = state->getSVal(Dest, LCtx);  in evalCopyCommon()
1124     stateZeroSize = stateZeroSize->BindExpr(CE, LCtx, destVal);  in evalCopyCommon()
1140     SVal srcVal = state->getSVal(Source, LCtx);  in evalCopyCommon()
1173         lastElement = C.getSValBuilder().conjureSymbolVal(nullptr, CE, LCtx,  in evalCopyCommon()
1177       state = state->BindExpr(CE, LCtx, lastElement);  in evalCopyCommon()
1181       state = state->BindExpr(CE, LCtx, destVal);  in evalCopyCommon()
1263   const LocationContext *LCtx = C.getLocationContext();  in evalMemcmp()  local
1264   SVal sizeVal = state->getSVal(Size, LCtx);  in evalMemcmp()
1275     state = state->BindExpr(CE, LCtx,  in evalMemcmp()
1287         state->getSVal(Left, LCtx).castAs<DefinedOrUnknownSVal>();  in evalMemcmp()
1289         state->getSVal(Right, LCtx).castAs<DefinedOrUnknownSVal>();  in evalMemcmp()
1302         state = StSameBuf->BindExpr(CE, LCtx,  in evalMemcmp()
1315         SVal CmpV = svalBuilder.conjureSymbolVal(nullptr, CE, LCtx,  in evalMemcmp()
1317         state = state->BindExpr(CE, LCtx, CmpV);  in evalMemcmp()
1346   const LocationContext *LCtx = C.getLocationContext();  in evalstrLengthCommon()  local
1350     SVal maxlenVal = state->getSVal(maxlenExpr, LCtx);  in evalstrLengthCommon()
1360       stateZeroSize = stateZeroSize->BindExpr(CE, LCtx, zero);  in evalstrLengthCommon()
1374   SVal ArgVal = state->getSVal(Arg, LCtx);  in evalstrLengthCommon()
1398     SVal maxlenVal = state->getSVal(maxlenExpr, LCtx);  in evalstrLengthCommon()
1426       result = C.getSValBuilder().conjureSymbolVal(nullptr, CE, LCtx,  in evalstrLengthCommon()
1450       result = C.getSValBuilder().conjureSymbolVal(nullptr, CE, LCtx,  in evalstrLengthCommon()
1457   state = state->BindExpr(CE, LCtx, result);  in evalstrLengthCommon()
1545   const LocationContext *LCtx = C.getLocationContext();  in evalStrcpyCommon()  local
1549   SVal DstVal = state->getSVal(Dst, LCtx);  in evalStrcpyCommon()
1557   SVal srcVal = state->getSVal(srcExpr, LCtx);  in evalStrcpyCommon()
1589     SVal lenVal = state->getSVal(lenExpr, LCtx);  in evalStrcpyCommon()
1658             StateZeroSize = StateZeroSize->BindExpr(CE, LCtx, DstVal);  in evalStrcpyCommon()
1660             StateZeroSize = StateZeroSize->BindExpr(CE, LCtx, *lenValNL);  in evalStrcpyCommon()
1875       Result = svalBuilder.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount());  in evalStrcpyCommon()
1879   state = state->BindExpr(CE, LCtx, Result);  in evalStrcpyCommon()
1921   const LocationContext *LCtx = C.getLocationContext();  in evalStrcmpCommon()  local
1925   SVal s1Val = state->getSVal(s1, LCtx);  in evalStrcmpCommon()
1932   SVal s2Val = state->getSVal(s2, LCtx);  in evalStrcmpCommon()
1962     StSameBuf = StSameBuf->BindExpr(CE, LCtx,  in evalStrcmpCommon()
1981   SVal resultVal = svalBuilder.conjureSymbolVal(nullptr, CE, LCtx,  in evalStrcmpCommon()
1991       SVal lenVal = state->getSVal(lenExpr, LCtx);  in evalStrcmpCommon()
2038   state = state->BindExpr(CE, LCtx, resultVal);  in evalStrcmpCommon()
2058   const LocationContext *LCtx = C.getLocationContext();  in evalStrsep()  local
2062   SVal SearchStrVal = State->getSVal(SearchStrPtr, LCtx);  in evalStrsep()
2069   SVal DelimStrVal = State->getSVal(DelimStr, LCtx);  in evalStrsep()
2090           LCtx,  in evalStrsep()
2093         LCtx);  in evalStrsep()
2097     Result = SVB.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount());  in evalStrsep()
2101   State = State->BindExpr(CE, LCtx, Result);  in evalStrsep()
2122   const LocationContext *LCtx = C.getLocationContext();  in evalStdCopyCommon()  local
2131   SVal DstVal = State->getSVal(Dst, LCtx);  in evalStdCopyCommon()
2137   SVal ResultVal = SVB.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount());  in evalStdCopyCommon()
2138   State = State->BindExpr(CE, LCtx, ResultVal);  in evalStdCopyCommon()
2155   const LocationContext *LCtx = C.getLocationContext();  in evalMemset()  local
2156   SVal SizeVal = State->getSVal(Size, LCtx);  in evalMemset()
2164   SVal MemVal = State->getSVal(Mem, LCtx);  in evalMemset()
2169     StateZeroSize = StateZeroSize->BindExpr(CE, LCtx, MemVal);  in evalMemset()
2190   State = State->BindExpr(CE, LCtx, MemVal);  in evalMemset()
2394     const LocationContext *LCtx,  in checkRegionChanges()  argument