/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 | 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 | 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 | 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 | 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 | 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()
|
/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 __anon8fdd980c0111::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 __anon840b562c0111::NoUncountedMemberChecker
|
D | RefCntblBaseVirtualDtorChecker.cpp | 96 reportBug(RD, ProblematicBaseSpecifier, ProblematicBaseClass); in visitCXXRecordDecl() 128 void reportBug(const CXXRecordDecl *DerivedClass, in reportBug() function in __anonf507627a0111::RefCntblBaseVirtualDtorChecker
|
D | UncountedCallArgsChecker.cpp | 116 reportBug(Arg, *P); in visitCallExpr() 164 void reportBug(const Expr *CallArg, const ParmVarDecl *Param) const { in reportBug() function in __anone009b3cd0111::UncountedCallArgsChecker
|
D | UncountedLocalVarsChecker.cpp | 213 reportBug(V); in visitVarDecl() 228 void reportBug(const VarDecl *V) const { in reportBug() function in __anonb92c4b6b0111::UncountedLocalVarsChecker
|