Home | History | Annotate | Download | only in Checkers

Lines Matching defs:LCtx

410   const LocationContext *LCtx = C.getLocationContext();
411   SVal TheTypeVal = state->getSVal(CE->getArg(1), LCtx);
431   SVal TheValueExpr = state->getSVal(CE->getArg(2), LCtx);
876   const LocationContext *LCtx = C.getLocationContext();
884     ElementLoc = State->getLValue(ElemDecl, LCtx);
886     ElementLoc = State->getSVal(Element, LCtx).getAs<Loc>();