Home | History | Annotate | Download | only in Checkers

Lines Matching refs:getLocationContext

345   const LocationContext *LCtx = C.getLocationContext();
427   const LocationContext *LCtx = C.getLocationContext();
819     const LocationContext *LCtx = C.getPredecessor()->getLocationContext();
880   const LocationContext *LCtx = C.getLocationContext();
964                              state->getSVal(Dest, C.getLocationContext()));
1030   const LocationContext *LCtx = C.getLocationContext();
1112   const LocationContext *LCtx = C.getLocationContext();
1285   const LocationContext *LCtx = C.getLocationContext();
1638   const LocationContext *LCtx = C.getLocationContext();
1771   const LocationContext *LCtx = C.getLocationContext();
1906     Loc VarLoc = state->getLValue(D, C.getLocationContext());
1911     SVal StrVal = state->getSVal(Init, C.getLocationContext());