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;
57   bool evalCall(const CallExpr *CE, CheckerContext &C) const;
67 bool ExprInspectionChecker::evalCall(const CallExpr *CE,  in REGISTER_SET_WITH_PROGRAMSTATE()
71   FnCheck Handler = llvm::StringSwitch<FnCheck>(C.getCalleeName(CE))  in REGISTER_SET_WITH_PROGRAMSTATE()
95   (this->*Handler)(CE, C);  in REGISTER_SET_WITH_PROGRAMSTATE()
99 static const char *getArgumentValueString(const CallExpr *CE,  in getArgumentValueString()  argument
101   if (CE->getNumArgs() == 0)  in getArgumentValueString()
108   const Expr *Assertion = CE->getArg(0);  in getArgumentValueString()
151 void ExprInspectionChecker::analyzerEval(const CallExpr *CE,  in analyzerEval()  argument
160   reportBug(getArgumentValueString(CE, C), C);  in analyzerEval()
163 void ExprInspectionChecker::analyzerWarnIfReached(const CallExpr *CE,  in analyzerWarnIfReached()  argument
168 void ExprInspectionChecker::analyzerNumTimesReached(const CallExpr *CE,  in analyzerNumTimesReached()  argument
170   ++ReachedStats[CE].NumTimesReached;  in analyzerNumTimesReached()
171   if (!ReachedStats[CE].ExampleNode) {  in analyzerNumTimesReached()
173     ReachedStats[CE].ExampleNode = C.generateNonFatalErrorNode();  in analyzerNumTimesReached()
177 void ExprInspectionChecker::analyzerCheckInlined(const CallExpr *CE,  in analyzerCheckInlined()  argument
189   reportBug(getArgumentValueString(CE, C), C);  in analyzerCheckInlined()
192 void ExprInspectionChecker::analyzerExplain(const CallExpr *CE,  in analyzerExplain()  argument
194   if (CE->getNumArgs() == 0) {  in analyzerExplain()
199   SVal V = C.getSVal(CE->getArg(0));  in analyzerExplain()
204 void ExprInspectionChecker::analyzerDump(const CallExpr *CE,  in analyzerDump()  argument
206   if (CE->getNumArgs() == 0) {  in analyzerDump()
211   SVal V = C.getSVal(CE->getArg(0));  in analyzerDump()
219 void ExprInspectionChecker::analyzerGetExtent(const CallExpr *CE,  in analyzerGetExtent()  argument
221   if (CE->getNumArgs() == 0) {  in analyzerGetExtent()
226   auto MR = dyn_cast_or_null<SubRegion>(C.getSVal(CE->getArg(0)).getAsRegion());  in analyzerGetExtent()
233   State = State->BindExpr(CE, C.getLocationContext(),  in analyzerGetExtent()
238 void ExprInspectionChecker::analyzerPrintState(const CallExpr *CE,  in analyzerPrintState()  argument
243 void ExprInspectionChecker::analyzerWarnOnDeadSymbol(const CallExpr *CE,  in analyzerWarnOnDeadSymbol()  argument
245   if (CE->getNumArgs() == 0)  in analyzerWarnOnDeadSymbol()
247   SVal Val = C.getSVal(CE->getArg(0));  in analyzerWarnOnDeadSymbol()
293 void ExprInspectionChecker::analyzerCrash(const CallExpr *CE,  in analyzerCrash()  argument
298 void ExprInspectionChecker::analyzerHashDump(const CallExpr *CE,  in analyzerHashDump()  argument
302   FullSourceLoc FL(CE->getArg(0)->getBeginLoc(), SM);  in analyzerHashDump()
310 void ExprInspectionChecker::analyzerDenote(const CallExpr *CE,  in analyzerDenote()  argument
312   if (CE->getNumArgs() < 2) {  in analyzerDenote()
318   SymbolRef Sym = C.getSVal(CE->getArg(0)).getAsSymbol();  in analyzerDenote()
324   const auto *E = dyn_cast<StringLiteral>(CE->getArg(1)->IgnoreParenCasts());  in analyzerDenote()
386 void ExprInspectionChecker::analyzerExpress(const CallExpr *CE,  in analyzerExpress()  argument
388   if (CE->getNumArgs() == 0) {  in analyzerExpress()
393   SymbolRef Sym = C.getSVal(CE->getArg(0)).getAsSymbol();  in analyzerExpress()