| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | ExprInspectionChecker.cpp | 134 reportBug(Msg, C.getBugReporter(), N); in reportBug()
160 reportBug(getArgumentValueString(CE, C), C); in analyzerEval()
165 reportBug("REACHABLE", C); in analyzerWarnIfReached()
201 reportBug(Ex.Visit(V), C); in analyzerExplain()
216 reportBug(OS.str(), C); in analyzerDump()
307 reportBug(HashContent, C); in analyzerHashDump()
320 reportBug("Not a symbol", C); in analyzerDenote()
326 reportBug("Not a string literal", C); in analyzerDenote()
395 reportBug("Not a symbol", C); in analyzerExpress()
402 reportBug("Unable to express", C); in analyzerExpress()
[all …]
|
| H A D | VirtualCallChecker.cpp | 57 void reportBug(StringRef Msg, bool PureError, const MemRegion *Reg,
198 reportBug("Call to pure virtual function during construction", true, Reg, in checkPreCall()
201 reportBug("Call to virtual function during construction", false, Reg, C); in checkPreCall()
203 reportBug("Call to pure virtual function during construction", false, Reg, in checkPreCall()
209 reportBug("Call to pure virtual function during destruction", true, Reg, in checkPreCall()
212 reportBug("Call to virtual function during destruction", false, Reg, C); in checkPreCall()
214 reportBug("Call to pure virtual function during construction", false, Reg, in checkPreCall()
258 void VirtualCallChecker::reportBug(StringRef Msg, bool IsSink, in reportBug() function in VirtualCallChecker
|
| H A D | VLASizeChecker.cpp | 35 void reportBug(VLASize_Kind Kind, const Expr *SizeE, ProgramStateRef State,
44 void VLASizeChecker::reportBug( in reportBug() function in VLASizeChecker
100 reportBug(VLA_Garbage, SE, state, C); in checkPreStmt()
111 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()
|
| H A D | DivZeroChecker.cpp | 27 void reportBug(const char *Msg, ProgramStateRef StateZero, CheckerContext &C,
42 void DivZeroChecker::reportBug( in reportBug() function in DivZeroChecker
83 reportBug("Division by zero", stateZero, C); in checkPreStmt()
89 reportBug("Division by a tainted value, possibly zero", stateZero, C, in checkPreStmt()
|
| H A D | TestAfterDivZeroChecker.cpp | 82 void reportBug(SVal Val, CheckerContext &C) const;
166 void TestAfterDivZeroChecker::reportBug(SVal Val, CheckerContext &C) const { in reportBug() function in TestAfterDivZeroChecker
229 reportBug(Val, C); in checkBranchCondition()
239 reportBug(Val, C); in checkBranchCondition()
243 reportBug(Val, C); in checkBranchCondition()
251 reportBug(Val, C); in checkBranchCondition()
256 reportBug(Val, C); in checkBranchCondition()
|
| H A 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()
|
| H A D | ConversionChecker.cpp | 53 void reportBug(ExplodedNode *N, CheckerContext &C, const char Msg[]) const;
112 reportBug(N, C, "Loss of sign in implicit conversion"); in checkPreStmt()
114 reportBug(N, C, "Loss of precision in implicit conversion"); in checkPreStmt()
118 void ConversionChecker::reportBug(ExplodedNode *N, CheckerContext &C, in reportBug() function in ConversionChecker
|
| H A D | DereferenceChecker.cpp | 37 void reportBug(ProgramStateRef State, const Stmt *S, CheckerContext &C) const;
120 void DereferenceChecker::reportBug(ProgramStateRef State, const Stmt *S, in reportBug() function in DereferenceChecker
228 reportBug(nullState, expr, C); in checkLocation()
270 reportBug(StNull, expr, C); in checkBind()
|
| H A D | MoveChecker.cpp | 212 ExplodedNode *reportBug(const MemRegion *Region, const CXXRecordDecl *RD,
363 ExplodedNode *N = reportBug(Region, RD, C, MK); in modelUse()
373 ExplodedNode *MoveChecker::reportBug(const MemRegion *Region, in reportBug() function in MoveChecker
|
| H A D | NullabilityChecker.cpp | 161 void reportBug(StringRef Msg, ErrorKind Error, ExplodedNode *N, in reportBug() function in __anon18dbe65b0111::NullabilityChecker
448 reportBug(Msg, Error, N, Region, C.getBugReporter(), ValueExpr); in reportBugIfInvariantHolds()
499 reportBug("Nullable pointer is dereferenced", in checkEvent()
502 reportBug("Nullable pointer is passed to a callee that requires a " in checkEvent()
|