| /external/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| D | ExprInspectionChecker.cpp | 56 ExplodedNode *reportBug(llvm::StringRef Msg, CheckerContext &C,
58 ExplodedNode *reportBug(llvm::StringRef Msg, BugReporter &BR,
149 ExplodedNode *ExprInspectionChecker::reportBug(llvm::StringRef Msg, in reportBug() function in ExprInspectionChecker
153 reportBug(Msg, C.getBugReporter(), N, ExprVal); in reportBug()
157 ExplodedNode *ExprInspectionChecker::reportBug(llvm::StringRef Msg, in reportBug() function in ExprInspectionChecker
184 reportBug(getArgumentValueString(CE, C), C); in analyzerEval()
189 reportBug("REACHABLE", C); in analyzerWarnIfReached()
213 reportBug(getArgumentValueString(CE, C), C); in analyzerCheckInlined()
219 reportBug("Missing argument for explaining", C); in analyzerExplain()
225 reportBug(Ex.Visit(V), C); in analyzerExplain()
[all …]
|
| D | DivZeroChecker.cpp | 28 void reportBug(const char *Msg, ProgramStateRef StateZero, CheckerContext &C,
43 void DivZeroChecker::reportBug( in reportBug() function in DivZeroChecker
84 reportBug("Division by zero", stateZero, C); in checkPreStmt()
90 reportBug("Division by a tainted value, possibly zero", stateZero, C, in checkPreStmt()
|
| D | VLASizeChecker.cpp | 56 void reportBug(VLASize_Kind Kind, const Expr *SizeE, ProgramStateRef State,
139 reportBug(VLA_Overflow, SizeE, State, C); in checkVLA()
158 reportBug(VLA_Garbage, SizeE, State, C); in checkVLAIndexSize()
169 reportBug(VLA_Tainted, SizeE, nullptr, C, in checkVLAIndexSize()
181 reportBug(VLA_Zero, SizeE, StateZero, C); in checkVLAIndexSize()
202 reportBug(VLA_Negative, SizeE, State, C); in checkVLAIndexSize()
211 void VLASizeChecker::reportBug( in reportBug() function in VLASizeChecker
|
| D | TestAfterDivZeroChecker.cpp | 81 void reportBug(SVal Val, CheckerContext &C) const;
165 void TestAfterDivZeroChecker::reportBug(SVal Val, CheckerContext &C) const { in reportBug() function in TestAfterDivZeroChecker
228 reportBug(Val, C); in checkBranchCondition()
238 reportBug(Val, C); in checkBranchCondition()
242 reportBug(Val, C); in checkBranchCondition()
250 reportBug(Val, C); in checkBranchCondition()
255 reportBug(Val, C); in checkBranchCondition()
|
| D | VforkChecker.cpp | 55 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 | MismatchedIteratorChecker.cpp | 39 void reportBug(const StringRef &Message, const SVal &Val1,
42 void reportBug(const StringRef &Message, const SVal &Val,
234 reportBug("Container accessed using foreign iterator argument.", in verifyMatch()
273 reportBug("Iterators of different containers used where the " in verifyMatch()
278 void MismatchedIteratorChecker::reportBug(const StringRef &Message, in reportBug() function in MismatchedIteratorChecker
290 void MismatchedIteratorChecker::reportBug(const StringRef &Message, in reportBug() function in MismatchedIteratorChecker
|
| D | SmartPtrChecker.cpp | 42 void reportBug(CheckerContext &C, const MemRegion *DerefRegion,
75 reportBug(C, ThisRegion, Call); in checkPreCall()
79 void SmartPtrChecker::reportBug(CheckerContext &C, const MemRegion *DerefRegion, in reportBug() function in SmartPtrChecker
|
| D | ConversionChecker.cpp | 52 void reportBug(ExplodedNode *N, CheckerContext &C, const char Msg[]) const;
111 reportBug(N, C, "Loss of sign in implicit conversion"); in checkPreStmt()
113 reportBug(N, C, "Loss of precision in implicit conversion"); in checkPreStmt()
117 void ConversionChecker::reportBug(ExplodedNode *N, CheckerContext &C, in reportBug() function in ConversionChecker
|
| D | DereferenceChecker.cpp | 39 void reportBug(DerefKind K, ProgramStateRef State, const Stmt *S,
123 void DereferenceChecker::reportBug(DerefKind K, ProgramStateRef State, in reportBug() function in DereferenceChecker
213 reportBug(DerefKind::UndefinedPointerValue, C.getState(), DerefExpr, C); in checkLocation()
234 reportBug(DerefKind::NullPointer, nullState, expr, C); in checkLocation()
276 reportBug(DerefKind::NullPointer, StNull, expr, C); in checkBind()
|
| D | InvalidatedIteratorChecker.cpp | 37 void reportBug(const StringRef &Message, const SVal &Val,
125 reportBug("Invalidated iterator accessed.", Val, C, N); in verifyAccess()
129 void InvalidatedIteratorChecker::reportBug(const StringRef &Message, in reportBug() function in InvalidatedIteratorChecker
|
| D | PthreadLockChecker.cpp | 170 void reportBug(CheckerContext &C, std::unique_ptr<BugType> BT[],
404 reportBug(C, BT_doublelock, MtxExpr, CheckKind, in AcquireLockAux()
408 reportBug(C, BT_destroylock, MtxExpr, CheckKind, in AcquireLockAux()
482 reportBug(C, BT_doubleunlock, MtxExpr, CheckKind, in ReleaseLockAux()
486 reportBug(C, BT_destroylock, MtxExpr, CheckKind, in ReleaseLockAux()
497 reportBug(C, BT_lor, MtxExpr, CheckKind, in ReleaseLockAux()
575 reportBug(C, BT_destroylock, MtxExpr, CheckKind, Message); in DestroyLockAux()
610 reportBug(C, BT_initlock, MtxExpr, CheckKind, Message); in InitLockAux()
613 void PthreadLockChecker::reportBug(CheckerContext &C, in reportBug() function in PthreadLockChecker
|
| D | IteratorRangeChecker.cpp | 45 void reportBug(const StringRef &Message, SVal Val, CheckerContext &C,
204 reportBug("Past-the-end iterator dereferenced.", Val, C, N); in verifyDereference()
251 reportBug("Iterator decremented ahead of its valid range.", LHS, in verifyRandomIncrOrDecr()
258 reportBug("Iterator incremented behind the past-the-end " in verifyRandomIncrOrDecr()
278 void IteratorRangeChecker::reportBug(const StringRef &Message, SVal Val, in reportBug() function in IteratorRangeChecker
|
| /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 | 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 | 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 | 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()
|
| /external/llvm-project/clang-tools-extra/clang-tidy/bugprone/ |
| D | SignalHandlerCheck.cpp | 117 reportBug(F, CallOrRef, SignalCall, HandlerDecl); in check()
125 reportBug(F, CallOrRef, SignalCall, HandlerDecl); in check()
170 void SignalHandlerCheck::reportBug(const FunctionDecl *CalledFunction, in reportBug() function in clang::tidy::bugprone::SignalHandlerCheck
|
| /external/llvm-project/clang/unittests/StaticAnalyzer/ |
| D | CallEventTest.cpp | 29 void reportBug(const CheckerBase *Checker, const CallEvent &Call, in reportBug() function
55 reportBug(this, *DC, C, WarningBuf); in checkPreCall()
|
| /external/llvm-project/clang/lib/StaticAnalyzer/Checkers/WebKit/ |
| D | UncountedLambdaCapturesChecker.cpp | 64 reportBug(C, CapturedVar, CapturedVarType); in visitLambdaExpr()
71 void reportBug(const LambdaCapture &Capture, VarDecl *CapturedVar, in reportBug() function in __anon4f2ab2450111::UncountedLambdaCapturesChecker
|
| D | NoUncountedMembersChecker.cpp | 82 reportBug(Member, MemberType, MemberCXXRD, RD); in visitRecordDecl()
122 void reportBug(const FieldDecl *Member, const Type *MemberType, in reportBug() function in __anon97c7e8c50111::NoUncountedMemberChecker
|
| D | RefCntblBaseVirtualDtorChecker.cpp | 96 reportBug(RD, ProblematicBaseSpecifier, ProblematicBaseClass); in visitCXXRecordDecl()
128 void reportBug(const CXXRecordDecl *DerivedClass, in reportBug() function in __anonb4547cb30111::RefCntblBaseVirtualDtorChecker
|
| D | UncountedCallArgsChecker.cpp | 116 reportBug(Arg, *P); in visitCallExpr()
164 void reportBug(const Expr *CallArg, const ParmVarDecl *Param) const { in reportBug() function in __anon5cc1d7460111::UncountedCallArgsChecker
|
| D | UncountedLocalVarsChecker.cpp | 213 reportBug(V); in visitVarDecl()
228 void reportBug(const VarDecl *V) const { in reportBug() function in __anoncce8de040111::UncountedLocalVarsChecker
|