Home | History | Annotate | Download | only in Checkers

Lines Matching defs:LCtx

756   const LocationContext *LCtx = C.getPredecessor()->getLocationContext();
757   DefinedSVal RetVal = svalBuilder.getConjuredHeapSymbolVal(CE, LCtx, Count)
1413   const LocationContext *LCtx = C.getLocationContext();
1414   SVal Arg0Val = state->getSVal(arg0Expr, LCtx);
1430   SVal Arg1ValG = state->getSVal(Arg1, LCtx);
1463   SVal RetVal = state->getSVal(CE, LCtx);
1513   const LocationContext *LCtx = C.getLocationContext();
1514   SVal count = state->getSVal(CE->getArg(0), LCtx);
1515   SVal elementSize = state->getSVal(CE->getArg(1), LCtx);