| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | VLASizeChecker.cpp | 54 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()
174 reportBug(VLA_Zero, SizeE, StateZero, C); in checkVLAIndexSize()
196 reportBug(VLA_Negative, SizeE, State, C); in checkVLAIndexSize()
233 void VLASizeChecker::reportBug(VLASize_Kind Kind, const Expr *SizeE, in reportBug() function in VLASizeChecker
|
| H A 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
|
| H A D | DereferenceChecker.cpp | 42 void reportBug(DerefKind K, ProgramStateRef State, const Stmt *S,
156 void DereferenceChecker::reportBug(DerefKind K, ProgramStateRef State, in reportBug() function in DereferenceChecker
251 reportBug(DerefKind::UndefinedPointerValue, C.getState(), DerefExpr, C); in checkLocation()
272 reportBug(DerefKind::NullPointer, nullState, expr, C); in checkLocation()
299 reportBug(DerefKind::AddressOfLabel, C.getState(), S, C); in checkBind()
320 reportBug(DerefKind::NullPointer, StNull, expr, C); in checkBind()
|
| 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 | 172 void reportBug(StringRef Msg, ErrorKind Error, CheckKind CK, ExplodedNode *N, in reportBug() function in __anon414b416c0111::NullabilityChecker
494 reportBug(Msg, Error, CK, N, Region, C.getBugReporter(), ValueExpr); in reportBugIfInvariantHolds()
554 reportBug("Nullable pointer is dereferenced", in checkEvent()
558 reportBug("Nullable pointer is passed to a callee that requires a " in checkEvent()
|
| H A D | StdLibraryFunctionsChecker.cpp | 858 void reportBug(const CallEvent &Call, ExplodedNode *N, in reportBug() function in __anon4d759d9c0111::StdLibraryFunctionsChecker
1329 reportBug(Call, N, Constraint.get(), NegatedConstraint.get(), Summary, in checkPreCall()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/WebKit/ |
| H A D | UncountedLambdaCapturesChecker.cpp | 65 reportBug(C, CapturedVar, CapturedVarType); in visitLambdaExpr()
72 void reportBug(const LambdaCapture &Capture, ValueDecl *CapturedVar, in reportBug() function in __anon8cd8c3550111::UncountedLambdaCapturesChecker
|
| H A D | NoUncountedMembersChecker.cpp | 82 reportBug(Member, MemberType, MemberCXXRD, RD); in visitRecordDecl()
122 void reportBug(const FieldDecl *Member, const Type *MemberType, in reportBug() function in __anond0130fd50111::NoUncountedMemberChecker
|
| H A D | UncountedLocalVarsChecker.cpp | 243 reportBug(V, Value); in visitVarDecl()
252 void reportBug(const VarDecl *V, const Expr *Value) const { in reportBug() function in __anon053405140111::UncountedLocalVarsChecker
|
| H A D | UncountedCallArgsChecker.cpp | 123 reportBug(Arg, *P); in visitCallExpr()
244 void reportBug(const Expr *CallArg, const ParmVarDecl *Param) const { in reportBug() function in __anon75bc5c560111::UncountedCallArgsChecker
|
| H A D | RefCntblBaseVirtualDtorChecker.cpp | 282 reportBug(RD, ProblematicBaseSpecifier, ProblematicBaseClass); in visitCXXRecordDecl()
355 void reportBug(const CXXRecordDecl *DerivedClass, in reportBug() function in __anonf2028dc30111::RefCntblBaseVirtualDtorChecker
|