| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | ExprInspectionChecker.cpp | 61 ExplodedNode *reportBug(llvm::StringRef Msg, CheckerContext &C, 63 ExplodedNode *reportBug(llvm::StringRef Msg, BugReporter &BR, ExplodedNode *N, 166 ExprInspectionChecker::reportBug(llvm::StringRef Msg, CheckerContext &C, in reportBug() function in ExprInspectionChecker 169 reportBug(Msg, C.getBugReporter(), N, ExprVal); in reportBug() 174 ExprInspectionChecker::reportBug(llvm::StringRef Msg, BugReporter &BR, in reportBug() function in ExprInspectionChecker 190 reportBug("Missing argument", C); in getArgExpr() 204 reportBug("Cannot obtain the region", C); in getArgRegion() 220 reportBug(getArgumentValueString(CE, C), C); in analyzerEval() 225 reportBug("REACHABLE", C); in analyzerWarnIfReached() 250 reportBug(getArgumentValueString(CE, C), C); in analyzerCheckInlined() [all …]
|
| H A D | TestAfterDivZeroChecker.cpp | 79 void reportBug(SVal Val, CheckerContext &C) const; 163 void TestAfterDivZeroChecker::reportBug(SVal Val, CheckerContext &C) const { in reportBug() function in TestAfterDivZeroChecker 221 reportBug(Val, C); in checkBranchCondition() 231 reportBug(Val, C); in checkBranchCondition() 235 reportBug(Val, C); in checkBranchCondition() 243 reportBug(Val, C); in checkBranchCondition() 248 reportBug(Val, C); in checkBranchCondition()
|
| H A D | DereferenceChecker.cpp | 39 void reportBug(DerefKind K, ProgramStateRef State, const Stmt *S, 161 void DereferenceChecker::reportBug(DerefKind K, ProgramStateRef State, in reportBug() function in DereferenceChecker 278 reportBug(DerefKind::UndefinedPointerValue, C.getState(), DerefExpr, C); in checkLocation() 299 reportBug(DerefKind::NullPointer, nullState, expr, C); in checkLocation() 317 reportBug(DerefKind::FixedAddress, notNullState, DerefExpr, C); in checkLocation() 333 reportBug(DerefKind::AddressOfLabel, C.getState(), S, C); in checkBind() 354 reportBug(DerefKind::NullPointer, StNull, expr, C); in checkBind() 372 reportBug(DerefKind::FixedAddress, State, DerefExpr, C); in checkBind()
|
| H A D | MismatchedIteratorChecker.cpp | 39 void reportBug(StringRef Message, SVal Val1, SVal Val2, CheckerContext &C, 41 void reportBug(StringRef Message, SVal Val, const MemRegion *Reg, 232 reportBug("Container accessed using foreign iterator argument.", in verifyMatch() 270 reportBug("Iterators of different containers used where the " in verifyMatch() 275 void MismatchedIteratorChecker::reportBug(StringRef Message, SVal Val1, in reportBug() function in MismatchedIteratorChecker 285 void MismatchedIteratorChecker::reportBug(StringRef Message, SVal Val, in reportBug() function in MismatchedIteratorChecker
|
| H A D | VLASizeChecker.cpp | 52 void reportBug(VLASize_Kind Kind, const Expr *SizeE, ProgramStateRef State, 137 reportBug(VLA_Overflow, SizeE, State, C); in checkVLA() 156 reportBug(VLA_Garbage, SizeE, State, C); in checkVLAIndexSize() 172 reportBug(VLA_Zero, SizeE, StateZero, C); in checkVLAIndexSize() 194 reportBug(VLA_Negative, SizeE, State, C); in checkVLAIndexSize() 231 void VLASizeChecker::reportBug(VLASize_Kind Kind, const Expr *SizeE, in reportBug() function in VLASizeChecker
|
| H A D | SmartPtrChecker.cpp | 38 void reportBug(CheckerContext &C, const MemRegion *DerefRegion, 71 reportBug(C, ThisRegion, Call); in checkPreCall() 75 void SmartPtrChecker::reportBug(CheckerContext &C, const MemRegion *DerefRegion, in reportBug() function in SmartPtrChecker
|
| H A D | DivZeroChecker.cpp | 29 void reportBug(StringRef Msg, ProgramStateRef StateZero, 55 void DivZeroChecker::reportBug(StringRef Msg, ProgramStateRef StateZero, in reportBug() function in DivZeroChecker 109 reportBug("Division by zero", stateZero, C); in checkPreStmt()
|
| H A D | InvalidatedIteratorChecker.cpp | 38 void reportBug(StringRef Message, SVal Val, CheckerContext &C, 121 reportBug("Invalidated iterator accessed.", Val, C, N); in verifyAccess() 125 void InvalidatedIteratorChecker::reportBug(StringRef Message, SVal Val, in reportBug() function in InvalidatedIteratorChecker
|
| H A D | PthreadLockChecker.cpp | 204 void reportBug(CheckerContext &C, std::unique_ptr<BugType> BT[], 444 reportBug(C, BT_doublelock, MtxExpr, CheckKind, in AcquireLockAux() 448 reportBug(C, BT_destroylock, MtxExpr, CheckKind, in AcquireLockAux() 522 reportBug(C, BT_doubleunlock, MtxExpr, CheckKind, in ReleaseLockAux() 526 reportBug(C, BT_destroylock, MtxExpr, CheckKind, in ReleaseLockAux() 537 reportBug(C, BT_lor, MtxExpr, CheckKind, in ReleaseLockAux() 615 reportBug(C, BT_destroylock, MtxExpr, CheckKind, Message); in DestroyLockAux() 650 reportBug(C, BT_initlock, MtxExpr, CheckKind, Message); in InitLockAux() 653 void PthreadLockChecker::reportBug(CheckerContext &C, in reportBug() function in PthreadLockChecker
|
| H A D | IteratorRangeChecker.cpp | 46 void reportBug(StringRef Message, SVal Val, CheckerContext &C, 203 reportBug("Past-the-end iterator dereferenced.", Val, C, N); in verifyDereference() 250 reportBug("Iterator decremented ahead of its valid range.", LHS, in verifyRandomIncrOrDecr() 257 reportBug("Iterator incremented behind the past-the-end " in verifyRandomIncrOrDecr() 277 void IteratorRangeChecker::reportBug(StringRef Message, SVal Val, in reportBug() function in IteratorRangeChecker
|
| H A D | NullabilityChecker.cpp | 170 void reportBug(StringRef Msg, ErrorKind Error, const BugType &BT, in reportBug() function in __anon414b416c0111::NullabilityChecker 491 reportBug(Msg, Error, BT, N, Region, C.getBugReporter(), ValueExpr); in reportBugIfInvariantHolds() 551 reportBug("Nullable pointer is dereferenced", in checkEvent() 555 reportBug("Nullable pointer is passed to a callee that requires a " in checkEvent()
|
| H A D | StdLibraryFunctionsChecker.cpp | 856 void reportBug(const CallEvent &Call, ExplodedNode *N, in reportBug() function in __anon4d759d9c0111::StdLibraryFunctionsChecker 1330 reportBug(Call, N, Constraint.get(), NegatedConstraint.get(), Summary, in checkPreCall()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/WebKit/ |
| H A D | RawPtrRefMemberChecker.cpp | 110 reportBug(Member, MemberType, MemberCXXRD, RD); in visitMember() 112 reportBug(Member, MemberType, ObjCDecl, RD); in visitMember() 171 reportBug(Ivar, IvarType, MemberCXXRD, CD); in visitIvarDecl() 173 reportBug(Ivar, IvarType, ObjCDecl, CD); in visitIvarDecl() 192 reportBug(PD, PropType, MemberCXXRD, CD); in visitObjCPropertyDecl() 194 reportBug(PD, PropType, ObjCDecl, CD); in visitObjCPropertyDecl() 216 reportBug(PropDecl, PropType, MemberCXXRD, CD); in visitPropImpl() 218 reportBug(PropDecl, PropType, ObjCDecl, CD); in visitPropImpl() 273 void reportBug(const DeclType *Member, const Type *MemberType, in reportBug() function in __anonc7fb0b0d0111::RawPtrRefMemberChecker
|
| H A D | ForwardDeclChecker.cpp | 203 reportBug(V->getBeginLoc(), V->getSourceRange(), DeclWithIssue, Os.str(), in visitVarDecl() 306 reportBug(CA->getExprLoc(), CA->getSourceRange(), DeclWithIssue, Os.str(), in reportUnknownArgType() 313 reportBug(Receiver->getExprLoc(), Receiver->getSourceRange(), DeclWithIssue, in reportUnknownRecieverType() 317 void reportBug(const SourceLocation &SrcLoc, const SourceRange &SrcRange, in reportBug() function in __anonae48f2c50111::ForwardDeclChecker
|
| H A D | RawPtrRefCallArgsChecker.cpp | 155 reportBug(Arg, *P, D); in visitCallExpr() 170 reportBug(Arg, nullptr, D); in visitCallExpr() 208 reportBug(Arg, Param, D); in visitObjCMessageExpr() 337 void reportBug(const Expr *CallArg, const ParmVarDecl *Param, in reportBug() function in __anon77df98de0111::RawPtrRefCallArgsChecker
|
| H A D | RefCntblBaseVirtualDtorChecker.cpp | 322 reportBug(RD, ProblematicBaseSpecifier, ProblematicBaseClass); in visitCXXRecordDecl() 395 void reportBug(const CXXRecordDecl *DerivedClass, in reportBug() function in __anonf2028dc30111::RefCntblBaseVirtualDtorChecker
|
| H A D | RawPtrRefLocalVarsChecker.cpp | 342 reportBug(V, Value, DeclWithIssue); in visitVarDecl() 353 void reportBug(const VarDecl *V, const Expr *Value, in reportBug() function in __anon4bbed29c0111::RawPtrRefLocalVarsChecker
|
| H A D | RawPtrRefLambdaCapturesChecker.cpp | 396 reportBug(C, CapturedVar, CapturedVarQualType, L); in visitLambdaExpr() 405 void reportBug(const LambdaCapture &Capture, ValueDecl *CapturedVar, in reportBug() function in __anone86945dd0111::RawPtrRefLambdaCapturesChecker
|