Lines Matching refs:LCtx
206 ProgramStateRef BindExpr(const Stmt *S, const LocationContext *LCtx,
239 unsigned BlockCount, const LocationContext *LCtx,
246 unsigned BlockCount, const LocationContext *LCtx,
275 SVal getSVal(const Stmt *S, const LocationContext *LCtx) const;
277 SVal getSValAsScalarOrLoc(const Stmt *Ex, const LocationContext *LCtx) const;
321 ProgramStateRef addTaint(const Stmt *S, const LocationContext *LCtx,
333 bool isTainted(const Stmt *S, const LocationContext *LCtx,
425 const LocationContext *LCtx,
513 const StackFrameContext *LCtx,
693 const LocationContext *LCtx) const{
694 return Env.getSVal(EnvironmentEntry(Ex, LCtx),
700 const LocationContext *LCtx) const {
705 return getSVal(S, LCtx);