| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | ExprInspectionChecker.cpp | 35 void reportBug(llvm::StringRef Msg, CheckerContext &C) const;
101 void ExprInspectionChecker::reportBug(llvm::StringRef Msg, in reportBug() function in ExprInspectionChecker
122 reportBug(getArgumentValueString(CE, C), C); in analyzerEval()
127 reportBug("REACHABLE", C); in analyzerWarnIfReached()
142 reportBug(getArgumentValueString(CE, C), C); in analyzerCheckInlined()
148 reportBug("Missing argument for explaining", C); in analyzerExplain()
152 reportBug(Ex.Visit(V), C); in analyzerExplain()
158 reportBug("Missing region for obtaining extent", C); in analyzerGetExtent()
162 reportBug("Obtaining extent of a non-region", C); in analyzerGetExtent()
193 reportBug("SYMBOL DEAD", C); in checkDeadSymbols()
|
| D | VLASizeChecker.cpp | 35 void reportBug(VLASize_Kind Kind,
44 void VLASizeChecker::reportBug(VLASize_Kind Kind, in reportBug() function in VLASizeChecker
100 reportBug(VLA_Garbage, SE, state, C); in checkPreStmt()
111 reportBug(VLA_Tainted, SE, nullptr, C); in checkPreStmt()
122 reportBug(VLA_Zero, SE, stateZero, C); in checkPreStmt()
147 reportBug(VLA_Negative, SE, state, C); in checkPreStmt()
|
| D | DivZeroChecker.cpp | 27 void reportBug(const char *Msg,
35 void DivZeroChecker::reportBug(const char *Msg, in reportBug() function in DivZeroChecker
75 reportBug("Division by zero", stateZero, C); in checkPreStmt()
81 reportBug("Division by a tainted value, possibly zero", stateZero, C); in checkPreStmt()
|
| D | VforkChecker.cpp | 56 void reportBug(const char *What, CheckerContext &C,
121 void VforkChecker::reportBug(const char *What, CheckerContext &C, in reportBug() function in VforkChecker
188 reportBug("This function call", C); in checkPreCall()
206 reportBug("This assignment", C); in checkBind()
213 reportBug("Return", C, "call _exit() instead"); in checkPreStmt()
|
| D | TestAfterDivZeroChecker.cpp | 83 void reportBug(SVal Val, CheckerContext &C) const;
169 void TestAfterDivZeroChecker::reportBug(SVal Val, CheckerContext &C) const { in reportBug() function in TestAfterDivZeroChecker
231 reportBug(Val, C); in checkBranchCondition()
241 reportBug(Val, C); in checkBranchCondition()
245 reportBug(Val, C); in checkBranchCondition()
253 reportBug(Val, C); in checkBranchCondition()
258 reportBug(Val, C); in checkBranchCondition()
|
| D | DereferenceChecker.cpp | 37 void reportBug(ProgramStateRef State, const Stmt *S, CheckerContext &C) const;
114 void DereferenceChecker::reportBug(ProgramStateRef State, const Stmt *S, in reportBug() function in DereferenceChecker
223 reportBug(nullState, expr, C); in checkLocation()
265 reportBug(StNull, expr, C); in checkBind()
|
| D | NullabilityChecker.cpp | 177 void reportBug(StringRef Msg, ErrorKind Error, ExplodedNode *N, in reportBug() function in __anon1908aaed0111::NullabilityChecker
470 reportBug(Msg, Error, N, Region, C.getBugReporter(), ValueExpr); in reportBugIfInvariantHolds()
524 reportBug("Nullable pointer is dereferenced", in checkEvent()
527 reportBug("Nullable pointer is passed to a callee that requires a " in checkEvent()
|