452   const LocationContext *LCtx = C.getLocationContext();  in CheckOverlap()  local
883   const LocationContext *LCtx = C.getLocationContext();  in IsFirstBufInBound()  local
959     const LocationContext *LCtx = C.getPredecessor()->getLocationContext();  in InvalidateBuffer()  local
1134   const LocationContext *LCtx = C.getLocationContext();  in evalCopyCommon()  local
1286   const LocationContext *LCtx = C.getLocationContext();  in evalMemcmp()  local
1363   const LocationContext *LCtx = C.getLocationContext();  in evalstrLengthCommon()  local
1547   const LocationContext *LCtx = C.getLocationContext();  in evalStrcpyCommon()  local
1945   const LocationContext *LCtx = C.getLocationContext();  in evalStrcmpCommon()  local
2082   const LocationContext *LCtx = C.getLocationContext();  in evalStrsep()  local
2146   const LocationContext *LCtx = C.getLocationContext();  in evalStdCopyCommon()  local
2178   const LocationContext *LCtx = C.getLocationContext();  in evalMemset()  local
2357     const LocationContext *LCtx,  in checkRegionChanges()