24   void analyzerEval(const CallExpr *CE, CheckerContext &C) const;
25   void analyzerCheckInlined(const CallExpr *CE, CheckerContext &C) const;
26   void analyzerWarnIfReached(const CallExpr *CE, CheckerContext &C) const;
27   void analyzerCrash(const CallExpr *CE, CheckerContext &C) const;
28   void analyzerWarnOnDeadSymbol(const CallExpr *CE, CheckerContext &C) const;
29   void analyzerExplain(const CallExpr *CE, CheckerContext &C) const;
30   void analyzerGetExtent(const CallExpr *CE, CheckerContext &C) const;
38   bool evalCall(const CallExpr *CE, CheckerContext &C) const;
45 bool ExprInspectionChecker::evalCall(const CallExpr *CE,  in REGISTER_SET_WITH_PROGRAMSTATE()
49   FnCheck Handler = llvm::StringSwitch<FnCheck>(C.getCalleeName(CE))  in REGISTER_SET_WITH_PROGRAMSTATE()
65   (this->*Handler)(CE, C);  in REGISTER_SET_WITH_PROGRAMSTATE()
69 static const char *getArgumentValueString(const CallExpr *CE,  in getArgumentValueString()  argument
71   if (CE->getNumArgs() == 0)  in getArgumentValueString()
78   const Expr *Assertion = CE->getArg(0);  in getArgumentValueString()
113 void ExprInspectionChecker::analyzerEval(const CallExpr *CE,  in analyzerEval()  argument
122   reportBug(getArgumentValueString(CE, C), C);  in analyzerEval()
125 void ExprInspectionChecker::analyzerWarnIfReached(const CallExpr *CE,  in analyzerWarnIfReached()  argument
130 void ExprInspectionChecker::analyzerCheckInlined(const CallExpr *CE,  in analyzerCheckInlined()  argument
142   reportBug(getArgumentValueString(CE, C), C);  in analyzerCheckInlined()
145 void ExprInspectionChecker::analyzerExplain(const CallExpr *CE,  in analyzerExplain()  argument
147   if (CE->getNumArgs() == 0)  in analyzerExplain()
150   SVal V = C.getSVal(CE->getArg(0));  in analyzerExplain()
155 void ExprInspectionChecker::analyzerGetExtent(const CallExpr *CE,  in analyzerGetExtent()  argument
157   if (CE->getNumArgs() == 0)  in analyzerGetExtent()
160   auto MR = dyn_cast_or_null<SubRegion>(C.getSVal(CE->getArg(0)).getAsRegion());  in analyzerGetExtent()
165   State = State->BindExpr(CE, C.getLocationContext(),  in analyzerGetExtent()
170 void ExprInspectionChecker::analyzerWarnOnDeadSymbol(const CallExpr *CE,  in analyzerWarnOnDeadSymbol()  argument
172   if (CE->getNumArgs() == 0)  in analyzerWarnOnDeadSymbol()
174   SVal Val = C.getSVal(CE->getArg(0));  in analyzerWarnOnDeadSymbol()
199 void ExprInspectionChecker::analyzerCrash(const CallExpr *CE,  in analyzerCrash()  argument