Home
last modified time | relevance | path

Searched refs:reportBug (Results 1 – 20 of 20) sorted by relevance

/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DExprInspectionChecker.cpp190 reportBug("Missing argument", C); in getArgExpr()
225 reportBug("REACHABLE", C); in analyzerWarnIfReached()
260 reportBug(Ex.Visit(V), C); in analyzerExplain()
284 reportBug(OS.str(), C); in printAndReport()
299 reportBug("n/a", C); in analyzerValue()
309 reportBug(Ty.getAsString(), C); in analyzerDumpSValType()
436 reportBug(HashContent, C); in analyzerHashDump()
449 reportBug("Not a symbol", C); in analyzerDenote()
455 reportBug("Not a string literal", C); in analyzerDenote()
533 reportBug("Not a symbol", C, ArgVal); in analyzerExpress()
[all …]
H A DTestAfterDivZeroChecker.cpp82 void reportBug(SVal Val, CheckerContext &C) const;
166 void TestAfterDivZeroChecker::reportBug(SVal Val, CheckerContext &C) const { in reportBug() function in TestAfterDivZeroChecker
224 reportBug(Val, C); in checkBranchCondition()
234 reportBug(Val, C); in checkBranchCondition()
238 reportBug(Val, C); in checkBranchCondition()
246 reportBug(Val, C); in checkBranchCondition()
251 reportBug(Val, C); in checkBranchCondition()
H A DVforkChecker.cpp57 void reportBug(const char *What, CheckerContext &C,
123 void VforkChecker::reportBug(const char *What, CheckerContext &C, in reportBug() function in VforkChecker
187 reportBug("This function call", C); in checkPreCall()
205 reportBug("This assignment", C); in checkBind()
212 reportBug("Return", C, "call _exit() instead"); in checkPreStmt()
H A DMismatchedIteratorChecker.cpp39 void reportBug(StringRef Message, SVal Val1, SVal Val2, CheckerContext &C,
41 void reportBug(StringRef Message, SVal Val, const MemRegion *Reg,
226 reportBug("Container accessed using foreign iterator argument.", in verifyMatch()
264 reportBug("Iterators of different containers used where the " in verifyMatch()
269 void MismatchedIteratorChecker::reportBug(StringRef Message, SVal Val1, in reportBug() function in MismatchedIteratorChecker
279 void MismatchedIteratorChecker::reportBug(StringRef Message, SVal Val, in reportBug() function in MismatchedIteratorChecker
H A DSmartPtrChecker.cpp42 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 DVLASizeChecker.cpp54 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()
180 reportBug(VLA_Zero, SizeE, StateZero, C); in checkVLAIndexSize()
202 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 DConversionChecker.cpp52 void reportBug(ExplodedNode *N, const Expr *E, CheckerContext &C,
121 reportBug(N, Cast, C, "Loss of sign in implicit conversion"); in checkPreStmt()
123 reportBug(N, Cast, C, "Loss of precision in implicit conversion"); in checkPreStmt()
127 void ConversionChecker::reportBug(ExplodedNode *N, const Expr *E, in reportBug() function in ConversionChecker
H A DDivZeroChecker.cpp31 void reportBug(StringRef Msg, ProgramStateRef StateZero,
49 void DivZeroChecker::reportBug(StringRef Msg, ProgramStateRef StateZero, in reportBug() function in DivZeroChecker
97 reportBug("Division by zero", stateZero, C); in checkPreStmt()
H A DDereferenceChecker.cpp40 void reportBug(DerefKind K, ProgramStateRef State, const Stmt *S,
154 void DereferenceChecker::reportBug(DerefKind K, ProgramStateRef State, in reportBug() function in DereferenceChecker
244 reportBug(DerefKind::UndefinedPointerValue, C.getState(), DerefExpr, C); in checkLocation()
265 reportBug(DerefKind::NullPointer, nullState, expr, C); in checkLocation()
307 reportBug(DerefKind::NullPointer, StNull, expr, C); in checkBind()
H A DInvalidatedIteratorChecker.cpp38 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 DPthreadLockChecker.cpp171 void reportBug(CheckerContext &C, std::unique_ptr<BugType> BT[],
415 reportBug(C, BT_doublelock, MtxExpr, CheckKind, in AcquireLockAux()
419 reportBug(C, BT_destroylock, MtxExpr, CheckKind, in AcquireLockAux()
493 reportBug(C, BT_doubleunlock, MtxExpr, CheckKind, in ReleaseLockAux()
497 reportBug(C, BT_destroylock, MtxExpr, CheckKind, in ReleaseLockAux()
508 reportBug(C, BT_lor, MtxExpr, CheckKind, in ReleaseLockAux()
586 reportBug(C, BT_destroylock, MtxExpr, CheckKind, Message); in DestroyLockAux()
621 reportBug(C, BT_initlock, MtxExpr, CheckKind, Message); in InitLockAux()
624 void PthreadLockChecker::reportBug(CheckerContext &C, in reportBug() function in PthreadLockChecker
H A DIteratorRangeChecker.cpp46 void reportBug(StringRef Message, SVal Val, CheckerContext &C,
198 reportBug("Past-the-end iterator dereferenced.", Val, C, N); in verifyDereference()
245 reportBug("Iterator decremented ahead of its valid range.", LHS, in verifyRandomIncrOrDecr()
252 reportBug("Iterator incremented behind the past-the-end " in verifyRandomIncrOrDecr()
272 void IteratorRangeChecker::reportBug(StringRef Message, SVal Val, in reportBug() function in IteratorRangeChecker
H A DFuchsiaHandleChecker.cpp222 void reportBug(SymbolRef Sym, ExplodedNode *ErrorNode, CheckerContext &C,
615 reportBug(LeakedHandle, ErrNode, C, nullptr, LeakBugType, in reportLeaks()
625 reportBug(HandleSym, ErrNode, C, &Range, DoubleReleaseBugType, in reportDoubleRelease()
633 reportBug(HandleSym, ErrNode, C, &Range, ReleaseUnownedBugType, in reportUnownedRelease()
641 reportBug(HandleSym, ErrNode, C, &Range, UseAfterReleaseBugType, in reportUseAfterFree()
645 void FuchsiaHandleChecker::reportBug(SymbolRef Sym, ExplodedNode *ErrorNode, in reportBug() function in FuchsiaHandleChecker
H A DNullabilityChecker.cpp172 void reportBug(StringRef Msg, ErrorKind Error, CheckKind CK, ExplodedNode *N, in reportBug() function in __anon46141a620111::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 DStdLibraryFunctionsChecker.cpp858 void reportBug(const CallEvent &Call, ExplodedNode *N, in reportBug() function in __anon892b0c920111::StdLibraryFunctionsChecker
1329 reportBug(Call, N, Constraint.get(), NegatedConstraint.get(), Summary, in checkPreCall()
/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/WebKit/
H A DUncountedLambdaCapturesChecker.cpp65 reportBug(C, CapturedVar, CapturedVarType); in visitLambdaExpr()
72 void reportBug(const LambdaCapture &Capture, ValueDecl *CapturedVar, in reportBug() function in __anon89692c8b0111::UncountedLambdaCapturesChecker
H A DNoUncountedMembersChecker.cpp82 reportBug(Member, MemberType, MemberCXXRD, RD); in visitRecordDecl()
122 void reportBug(const FieldDecl *Member, const Type *MemberType, in reportBug() function in __anonbe195f4b0111::NoUncountedMemberChecker
H A DUncountedCallArgsChecker.cpp115 reportBug(Arg, *P); in visitCallExpr()
163 void reportBug(const Expr *CallArg, const ParmVarDecl *Param) const { in reportBug() function in __anon1fdb950c0111::UncountedCallArgsChecker
H A DRefCntblBaseVirtualDtorChecker.cpp135 reportBug(RD, ProblematicBaseSpecifier, ProblematicBaseClass); in visitCXXRecordDecl()
167 void reportBug(const CXXRecordDecl *DerivedClass, in reportBug() function in __anonee92f6f90111::RefCntblBaseVirtualDtorChecker
H A DUncountedLocalVarsChecker.cpp213 reportBug(V); in visitVarDecl()
228 void reportBug(const VarDecl *V) const { in reportBug() function in __anonf33a548a0111::UncountedLocalVarsChecker