37   void analyzerEval(const CallExpr *CE, CheckerContext &C) const;
38   void analyzerCheckInlined(const CallExpr *CE, CheckerContext &C) const;
39   void analyzerWarnIfReached(const CallExpr *CE, CheckerContext &C) const;
40   void analyzerNumTimesReached(const CallExpr *CE, CheckerContext &C) const;
41   void analyzerCrash(const CallExpr *CE, CheckerContext &C) const;
42   void analyzerWarnOnDeadSymbol(const CallExpr *CE, CheckerContext &C) const;
43   void analyzerValue(const CallExpr *CE, CheckerContext &C) const;
44   void analyzerDumpSValType(const CallExpr *CE, CheckerContext &C) const;
45   void analyzerDump(const CallExpr *CE, CheckerContext &C) const;
46   void analyzerExplain(const CallExpr *CE, CheckerContext &C) const;
47   void analyzerPrintState(const CallExpr *CE, CheckerContext &C) const;
48   void analyzerGetExtent(const CallExpr *CE, CheckerContext &C) const;
49   void analyzerDumpExtent(const CallExpr *CE, CheckerContext &C) const;
50   void analyzerDumpElementCount(const CallExpr *CE, CheckerContext &C) const;
51   void analyzerHashDump(const CallExpr *CE, CheckerContext &C) const;
52   void analyzerDenote(const CallExpr *CE, CheckerContext &C) const;
53   void analyzerExpress(const CallExpr *CE, CheckerContext &C) const;
54   void analyzerIsTainted(const CallExpr *CE, CheckerContext &C) const;
66   const Expr *getArgExpr(const CallExpr *CE, CheckerContext &C) const;
67   const MemRegion *getArgRegion(const CallExpr *CE, CheckerContext &C) const;
82   const auto *CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr());  in REGISTER_SET_WITH_PROGRAMSTATE()  local
83   if (!CE)  in REGISTER_SET_WITH_PROGRAMSTATE()
89       llvm::StringSwitch<FnCheck>(C.getCalleeName(CE))  in REGISTER_SET_WITH_PROGRAMSTATE()
127   (this->*Handler)(CE, C);  in REGISTER_SET_WITH_PROGRAMSTATE()
131 static const char *getArgumentValueString(const CallExpr *CE,  in getArgumentValueString()  argument
133   if (CE->getNumArgs() == 0)  in getArgumentValueString()
140   const Expr *Assertion = CE->getArg(0);  in getArgumentValueString()
188 const Expr *ExprInspectionChecker::getArgExpr(const CallExpr *CE,  in getArgExpr()  argument
190   if (CE->getNumArgs() == 0) {  in getArgExpr()
194   return CE->getArg(0);  in getArgExpr()
197 const MemRegion *ExprInspectionChecker::getArgRegion(const CallExpr *CE,  in getArgRegion()  argument
199   const Expr *Arg = getArgExpr(CE, C);  in getArgRegion()
212 void ExprInspectionChecker::analyzerEval(const CallExpr *CE,  in analyzerEval()  argument
221   reportBug(getArgumentValueString(CE, C), C);  in analyzerEval()
224 void ExprInspectionChecker::analyzerWarnIfReached(const CallExpr *CE,  in analyzerWarnIfReached()  argument
229 void ExprInspectionChecker::analyzerNumTimesReached(const CallExpr *CE,  in analyzerNumTimesReached()  argument
231   ++ReachedStats[CE].NumTimesReached;  in analyzerNumTimesReached()
232   if (!ReachedStats[CE].ExampleNode) {  in analyzerNumTimesReached()
234     ReachedStats[CE].ExampleNode = C.generateNonFatalErrorNode();  in analyzerNumTimesReached()
238 void ExprInspectionChecker::analyzerCheckInlined(const CallExpr *CE,  in analyzerCheckInlined()  argument
250   reportBug(getArgumentValueString(CE, C), C);  in analyzerCheckInlined()
253 void ExprInspectionChecker::analyzerExplain(const CallExpr *CE,  in analyzerExplain()  argument
255   const Expr *Arg = getArgExpr(CE, C);  in analyzerExplain()
288 void ExprInspectionChecker::analyzerValue(const CallExpr *CE,  in analyzerValue()  argument
290   const Expr *Arg = getArgExpr(CE, C);  in analyzerValue()
303 void ExprInspectionChecker::analyzerDumpSValType(const CallExpr *CE,  in analyzerDumpSValType()  argument
305   const Expr *Arg = getArgExpr(CE, C);  in analyzerDumpSValType()
313 void ExprInspectionChecker::analyzerDump(const CallExpr *CE,  in analyzerDump()  argument
315   const Expr *Arg = getArgExpr(CE, C);  in analyzerDump()
323 void ExprInspectionChecker::analyzerGetExtent(const CallExpr *CE,  in analyzerGetExtent()  argument
325   const MemRegion *MR = getArgRegion(CE, C);  in analyzerGetExtent()
332   State = State->BindExpr(CE, C.getLocationContext(), Size);  in analyzerGetExtent()
336 void ExprInspectionChecker::analyzerDumpExtent(const CallExpr *CE,  in analyzerDumpExtent()  argument
338   const MemRegion *MR = getArgRegion(CE, C);  in analyzerDumpExtent()
347 void ExprInspectionChecker::analyzerDumpElementCount(const CallExpr *CE,  in analyzerDumpElementCount()  argument
349   const MemRegion *MR = getArgRegion(CE, C);  in analyzerDumpElementCount()
368 void ExprInspectionChecker::analyzerPrintState(const CallExpr *CE,  in analyzerPrintState()  argument
373 void ExprInspectionChecker::analyzerWarnOnDeadSymbol(const CallExpr *CE,  in analyzerWarnOnDeadSymbol()  argument
375   const Expr *Arg = getArgExpr(CE, C);  in analyzerWarnOnDeadSymbol()
425 void ExprInspectionChecker::analyzerCrash(const CallExpr *CE,  in analyzerCrash()  argument
430 void ExprInspectionChecker::analyzerHashDump(const CallExpr *CE,  in analyzerHashDump()  argument
434   FullSourceLoc FL(CE->getArg(0)->getBeginLoc(), SM);  in analyzerHashDump()
442 void ExprInspectionChecker::analyzerDenote(const CallExpr *CE,  in analyzerDenote()  argument
444   if (CE->getNumArgs() < 2) {  in analyzerDenote()
450   SymbolRef Sym = C.getSVal(CE->getArg(0)).getAsSymbol();  in analyzerDenote()
456   const auto *E = dyn_cast<StringLiteral>(CE->getArg(1)->IgnoreParenCasts());  in analyzerDenote()
525 void ExprInspectionChecker::analyzerExpress(const CallExpr *CE,  in analyzerExpress()  argument
527   const Expr *Arg = getArgExpr(CE, C);  in analyzerExpress()
531   SVal ArgVal = C.getSVal(CE->getArg(0));  in analyzerExpress()
548 void ExprInspectionChecker::analyzerIsTainted(const CallExpr *CE,  in analyzerIsTainted()  argument
550   if (CE->getNumArgs() != 1) {  in analyzerIsTainted()
555       taint::isTainted(C.getState(), CE->getArg(0), C.getLocationContext());  in analyzerIsTainted()