| /freebsd-11.0-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | DivZeroChecker.cpp | 27 void reportBug(const char *Msg,
35 void DivZeroChecker::reportBug(const char *Msg, function in class:DivZeroChecker
75 reportBug("Division by zero", stateZero, C);
81 reportBug("Division by a tainted value, possibly zero", stateZero, C);
|
| H A D | VLASizeChecker.cpp | 35 void reportBug(VLASize_Kind Kind,
44 void VLASizeChecker::reportBug(VLASize_Kind Kind, function in class:VLASizeChecker
101 reportBug(VLA_Garbage, SE, state, C);
112 reportBug(VLA_Tainted, SE, nullptr, C);
123 reportBug(VLA_Zero, SE, stateZero, C);
148 reportBug(VLA_Negative, SE, state, C);
|
| H A D | VforkChecker.cpp | 56 void reportBug(const char *What, CheckerContext &C,
121 void VforkChecker::reportBug(const char *What, CheckerContext &C, function in class:VforkChecker
188 reportBug("This function call", C);
206 reportBug("This assignment", C);
213 reportBug("Return", C, "call _exit() instead");
|
| H A D | TestAfterDivZeroChecker.cpp | 83 void reportBug(SVal Val, CheckerContext &C) const;
169 void TestAfterDivZeroChecker::reportBug(SVal Val, CheckerContext &C) const { function in class:TestAfterDivZeroChecker
231 reportBug(Val, C);
241 reportBug(Val, C);
245 reportBug(Val, C);
253 reportBug(Val, C);
258 reportBug(Val, C);
|
| H A D | DereferenceChecker.cpp | 37 void reportBug(ProgramStateRef State, const Stmt *S, CheckerContext &C) const;
114 void DereferenceChecker::reportBug(ProgramStateRef State, const Stmt *S, function in class:DereferenceChecker
223 reportBug(nullState, expr, C);
265 reportBug(StNull, expr, C);
|
| H A D | NullabilityChecker.cpp | 177 void reportBug(ErrorKind Error, ExplodedNode *N, const MemRegion *Region, function in class:__anon4192::NullabilityChecker
403 reportBug(Error, N, Region, C.getBugReporter(), ValueExpr);
457 reportBug(ErrorKind::NullableDereferenced, Event.SinkNode, Region, BR);
459 reportBug(ErrorKind::NullablePassedToNonnull, Event.SinkNode, Region, BR);
|