ExprInspectionChecker.cpp - OpenGrok cross reference for /llvm-project/clang/lib/StaticAnalyzer/Checkers/ExprInspectionChecker.cpp

Lines Matching defs:CE
38   void analyzerEval(const CallExpr *CE, CheckerContext &C) const;
39   void analyzerCheckInlined(const CallExpr *CE, CheckerContext &C) const;
40   void analyzerWarnIfReached(const CallExpr *CE, CheckerContext &C) const;
41   void analyzerNumTimesReached(const CallExpr *CE, CheckerContext &C) const;
42   void analyzerCrash(const CallExpr *CE, CheckerContext &C) const;
43   void analyzerWarnOnDeadSymbol(const CallExpr *CE, CheckerContext &C) const;
44   void analyzerValue(const CallExpr *CE, CheckerContext &C) const;
45   void analyzerDumpSValType(const CallExpr *CE, CheckerContext &C) const;
46   void analyzerDump(const CallExpr *CE, CheckerContext &C) const;
47   void analyzerExplain(const CallExpr *CE, CheckerContext &C) const;
48   void analyzerPrintState(const CallExpr *CE, CheckerContext &C) const;
49   void analyzerGetExtent(const CallExpr *CE, CheckerContext &C) const;
50   void analyzerDumpExtent(const CallExpr *CE, CheckerContext &C) const;
51   void analyzerDumpElementCount(const CallExpr *CE, CheckerContext &C) const;
52   void analyzerHashDump(const CallExpr *CE, CheckerContext &C) const;
53   void analyzerDenote(const CallExpr *CE, CheckerContext &C) const;
54   void analyzerExpress(const CallExpr *CE, CheckerContext &C) const;
55   void analyzerIsTainted(const CallExpr *CE, CheckerContext &C) const;
67   const Expr *getArgExpr(const CallExpr *CE, CheckerContext &C) const;
68   const MemRegion *getArgRegion(const CallExpr *CE, CheckerContext &C) const;
83   const auto *CE = dyn_cast_or_null<CallExpr>(Call.getOriginExpr());
84   if (!CE)
90       llvm::StringSwitch<FnCheck>(C.getCalleeName(CE))
129   (this->*Handler)(CE, C);
133 static const char *getArgumentValueString(const CallExpr *CE,
135   if (CE->getNumArgs() == 0)
142   const Expr *Assertion = CE->getArg(0);
187 const Expr *ExprInspectionChecker::getArgExpr(const CallExpr *CE,
189   if (CE->getNumArgs() == 0) {
193   return CE->getArg(0);
196 const MemRegion *ExprInspectionChecker::getArgRegion(const CallExpr *CE,
198   const Expr *Arg = getArgExpr(CE, C);
211 void ExprInspectionChecker::analyzerEval(const CallExpr *CE,
220   reportBug(getArgumentValueString(CE, C), C);
223 void ExprInspectionChecker::analyzerWarnIfReached(const CallExpr *CE,
228 void ExprInspectionChecker::analyzerNumTimesReached(const CallExpr *CE,
230   ++ReachedStats[CE].NumTimesReached;
231   if (!ReachedStats[CE].ExampleNode) {
233     ReachedStats[CE].ExampleNode = C.generateNonFatalErrorNode();
237 void ExprInspectionChecker::analyzerCheckInlined(const CallExpr *CE,
249   reportBug(getArgumentValueString(CE, C), C);
252 void ExprInspectionChecker::analyzerExplain(const CallExpr *CE,
254   const Expr *Arg = getArgExpr(CE, C);
287 void ExprInspectionChecker::analyzerValue(const CallExpr *CE,
289   const Expr *Arg = getArgExpr(CE, C);
302 void ExprInspectionChecker::analyzerDumpSValType(const CallExpr *CE,
304   const Expr *Arg = getArgExpr(CE, C);
312 void ExprInspectionChecker::analyzerDump(const CallExpr *CE,
314   const Expr *Arg = getArgExpr(CE, C);
322 void ExprInspectionChecker::analyzerGetExtent(const CallExpr *CE,
324   const Expr *Arg = getArgExpr(CE, C);
331   State = State->BindExpr(CE, C.getLocationContext(), Size);
335 void ExprInspectionChecker::analyzerDumpExtent(const CallExpr *CE,
337   const Expr *Arg = getArgExpr(CE, C);
346 void ExprInspectionChecker::analyzerDumpElementCount(const CallExpr *CE,
348   const MemRegion *MR = getArgRegion(CE, C);
362       C.getState(), C.getSVal(getArgExpr(CE, C)), ElementTy);
366 void ExprInspectionChecker::analyzerPrintState(const CallExpr *CE,
371 void ExprInspectionChecker::analyzerWarnOnDeadSymbol(const CallExpr *CE,
373   const Expr *Arg = getArgExpr(CE, C);
422 void ExprInspectionChecker::analyzerCrash(const CallExpr *CE,
427 void ExprInspectionChecker::analyzerHashDump(const CallExpr *CE,
431   FullSourceLoc FL(CE->getArg(0)->getBeginLoc(), SM);
439 void ExprInspectionChecker::analyzerDenote(const CallExpr *CE,
441   if (CE->getNumArgs() < 2) {
447   SymbolRef Sym = C.getSVal(CE->getArg(0)).getAsSymbol();
453   const auto *E = dyn_cast<StringLiteral>(CE->getArg(1)->IgnoreParenCasts());
524 void ExprInspectionChecker::analyzerExpress(const CallExpr *CE,
526   const Expr *Arg = getArgExpr(CE, C);
530   SVal ArgVal = C.getSVal(CE->getArg(0));
547 void ExprInspectionChecker::analyzerIsTainted(const CallExpr *CE,
549   if (CE->getNumArgs() != 1) {
554       taint::isTainted(C.getState(), CE->getArg(0), C.getLocationContext());