StaticAnalyzer/Checkers/ExprInspectionChecker.cpp

35   void analyzerEval(const CallExpr *CE, CheckerContext &C) const;
36   void analyzerCheckInlined(const CallExpr *CE, CheckerContext &C) const;
37   void analyzerWarnIfReached(const CallExpr *CE, CheckerContext &C) const;
38   void analyzerNumTimesReached(const CallExpr *CE, CheckerContext &C) const;
39   void analyzerCrash(const CallExpr *CE, CheckerContext &C) const;
40   void analyzerWarnOnDeadSymbol(const CallExpr *CE, CheckerContext &C) const;
41   void analyzerDump(const CallExpr *CE, CheckerContext &C) const;
42   void analyzerExplain(const CallExpr *CE, CheckerContext &C) const;
43   void analyzerPrintState(const CallExpr *CE, CheckerContext &C) const;
44   void analyzerGetExtent(const CallExpr *CE, CheckerContext &C) const;
45   void analyzerHashDump(const CallExpr *CE, CheckerContext &C) const;
46   void analyzerDenote(const CallExpr *CE, CheckerContext &C) const;
47   void analyzerExpress(const CallExpr *CE, CheckerContext &C) const;
69   const auto *CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr());
70   if (!CE)
75   FnCheck Handler = llvm::StringSwitch<FnCheck>(C.getCalleeName(CE))
99   (this->*Handler)(CE, C);
103 static const char *getArgumentValueString(const CallExpr *CE,
105   if (CE->getNumArgs() == 0)
112   const Expr *Assertion = CE->getArg(0);
155 void ExprInspectionChecker::analyzerEval(const CallExpr *CE,
164   reportBug(getArgumentValueString(CE, C), C);
167 void ExprInspectionChecker::analyzerWarnIfReached(const CallExpr *CE,
172 void ExprInspectionChecker::analyzerNumTimesReached(const CallExpr *CE,
174   ++ReachedStats[CE].NumTimesReached;
175   if (!ReachedStats[CE].ExampleNode) {
177     ReachedStats[CE].ExampleNode = C.generateNonFatalErrorNode();
181 void ExprInspectionChecker::analyzerCheckInlined(const CallExpr *CE,
193   reportBug(getArgumentValueString(CE, C), C);
196 void ExprInspectionChecker::analyzerExplain(const CallExpr *CE,
198   if (CE->getNumArgs() == 0) {
203   SVal V = C.getSVal(CE->getArg(0));
208 void ExprInspectionChecker::analyzerDump(const CallExpr *CE,
210   if (CE->getNumArgs() == 0) {
215   SVal V = C.getSVal(CE->getArg(0));
223 void ExprInspectionChecker::analyzerGetExtent(const CallExpr *CE,
225   if (CE->getNumArgs() == 0) {
230   auto MR = dyn_cast_or_null<SubRegion>(C.getSVal(CE->getArg(0)).getAsRegion());
237   State = State->BindExpr(CE, C.getLocationContext(),
242 void ExprInspectionChecker::analyzerPrintState(const CallExpr *CE,
247 void ExprInspectionChecker::analyzerWarnOnDeadSymbol(const CallExpr *CE,
249   if (CE->getNumArgs() == 0)
251   SVal Val = C.getSVal(CE->getArg(0));
297 void ExprInspectionChecker::analyzerCrash(const CallExpr *CE,
302 void ExprInspectionChecker::analyzerHashDump(const CallExpr *CE,
306   FullSourceLoc FL(CE->getArg(0)->getBeginLoc(), SM);
314 void ExprInspectionChecker::analyzerDenote(const CallExpr *CE,
316   if (CE->getNumArgs() < 2) {
322   SymbolRef Sym = C.getSVal(CE->getArg(0)).getAsSymbol();
328   const auto *E = dyn_cast<StringLiteral>(CE->getArg(1)->IgnoreParenCasts());
390 void ExprInspectionChecker::analyzerExpress(const CallExpr *CE,
392   if (CE->getNumArgs() == 0) {
397   SymbolRef Sym = C.getSVal(CE->getArg(0)).getAsSymbol();