Lines Matching refs:CheckerContext
287 RetainSummaryManager &getSummaryManager(CheckerContext &C) const { in getSummaryManager()
294 void checkBind(SVal loc, SVal val, const Stmt *S, CheckerContext &C) const;
295 void checkPostStmt(const BlockExpr *BE, CheckerContext &C) const;
296 void checkPostStmt(const CastExpr *CE, CheckerContext &C) const;
298 void checkPostStmt(const ObjCArrayLiteral *AL, CheckerContext &C) const;
299 void checkPostStmt(const ObjCDictionaryLiteral *DL, CheckerContext &C) const;
300 void checkPostStmt(const ObjCBoxedExpr *BE, CheckerContext &C) const;
302 void checkPostStmt(const ObjCIvarRefExpr *IRE, CheckerContext &C) const;
304 void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
307 CheckerContext &C) const;
311 CheckerContext &C) const;
313 bool evalCall(const CallEvent &Call, CheckerContext &C) const;
326 ExplodedNode* checkReturnWithRetEffect(const ReturnStmt *S, CheckerContext &C,
330 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
331 void checkBeginFunction(CheckerContext &C) const;
332 void checkEndFunction(const ReturnStmt *RS, CheckerContext &C) const;
336 CheckerContext &C) const;
343 CheckerContext &C) const;
345 void processObjCLiterals(CheckerContext &C, const Expr *Ex) const;
353 const ProgramPointTag *Tag, CheckerContext &Ctx,
360 CheckerContext &Ctx,
373 ExplodedNode * processReturn(const ReturnStmt *S, CheckerContext &C) const;