| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | VLASizeChecker.cpp | 35 void reportBug(VLASize_Kind Kind,
44 void VLASizeChecker::reportBug(VLASize_Kind Kind, in reportBug() function in VLASizeChecker
101 reportBug(VLA_Garbage, SE, state, C); in checkPreStmt()
112 reportBug(VLA_Tainted, SE, nullptr, C); in checkPreStmt()
123 reportBug(VLA_Zero, SE, stateZero, C); in checkPreStmt()
148 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,
92 void DereferenceChecker::reportBug(ProgramStateRef State, const Stmt *S, in reportBug() function in DereferenceChecker
212 reportBug(nullState, S, C); in checkLocation()
251 reportBug(StNull, S, C, /*isBind=*/true); in checkBind()
|
| D | NullabilityChecker.cpp | 177 void reportBug(ErrorKind Error, ExplodedNode *N, const MemRegion *Region, in reportBug() function in __anone2538ef30111::NullabilityChecker
403 reportBug(Error, N, Region, C.getBugReporter(), ValueExpr); in reportBugIfPreconditionHolds()
457 reportBug(ErrorKind::NullableDereferenced, Event.SinkNode, Region, BR); in checkEvent()
459 reportBug(ErrorKind::NullablePassedToNonnull, Event.SinkNode, Region, BR); in checkEvent()
|