Home
last modified time | relevance | path

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

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DExprInspectionChecker.cpp191 reportBug("Missing argument", C); in getArgExpr()
226 reportBug("REACHABLE", C); in analyzerWarnIfReached()
261 reportBug(Ex.Visit(V), C); in analyzerExplain()
285 reportBug(OS.str(), C); in printAndReport()
300 reportBug("n/a", C); in analyzerValue()
310 reportBug(Ty.getAsString(), C); in analyzerDumpSValType()
439 reportBug(HashContent, C); in analyzerHashDump()
452 reportBug("Not a symbol", C); in analyzerDenote()
534 reportBug("Not a symbol", C); in analyzerExpress()
541 reportBug("Unable to express", C); in analyzerExpress()
[all …]
H A DDivZeroChecker.cpp28 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()
H A DVLASizeChecker.cpp56 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
H A DVforkChecker.cpp56 void reportBug(const char *What, CheckerContext &C,
122 void VforkChecker::reportBug(const char *What, CheckerContext &C, in reportBug() function in VforkChecker
190 reportBug("This function call", C); in checkPreCall()
208 reportBug("This assignment", C); in checkBind()
215 reportBug("Return", C, "call _exit() instead"); in checkPreStmt()
H A DTestAfterDivZeroChecker.cpp81 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()
H A DMismatchedIteratorChecker.cpp39 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
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 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 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.cpp37 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
H A DPthreadLockChecker.cpp171 void reportBug(CheckerContext &C, std::unique_ptr<BugType> BT[],
414 reportBug(C, BT_doublelock, MtxExpr, CheckKind, in AcquireLockAux()
418 reportBug(C, BT_destroylock, MtxExpr, CheckKind, in AcquireLockAux()
492 reportBug(C, BT_doubleunlock, MtxExpr, CheckKind, in ReleaseLockAux()
496 reportBug(C, BT_destroylock, MtxExpr, CheckKind, in ReleaseLockAux()
507 reportBug(C, BT_lor, MtxExpr, CheckKind, in ReleaseLockAux()
585 reportBug(C, BT_destroylock, MtxExpr, CheckKind, Message); in DestroyLockAux()
620 reportBug(C, BT_initlock, MtxExpr, CheckKind, Message); in InitLockAux()
623 void PthreadLockChecker::reportBug(CheckerContext &C, in reportBug() function in PthreadLockChecker
H A DIteratorRangeChecker.cpp45 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
H A DFuchsiaHandleChecker.cpp221 void reportBug(SymbolRef Sym, ExplodedNode *ErrorNode, CheckerContext &C,
614 reportBug(LeakedHandle, ErrNode, C, nullptr, LeakBugType, in reportLeaks()
624 reportBug(HandleSym, ErrNode, C, &Range, DoubleReleaseBugType, in reportDoubleRelease()
632 reportBug(HandleSym, ErrNode, C, &Range, ReleaseUnownedBugType, in reportUnownedRelease()
640 reportBug(HandleSym, ErrNode, C, &Range, UseAfterReleaseBugType, in reportUseAfterFree()
644 void FuchsiaHandleChecker::reportBug(SymbolRef Sym, ExplodedNode *ErrorNode, in reportBug() function in FuchsiaHandleChecker
H A DMoveChecker.cpp216 ExplodedNode *reportBug(const MemRegion *Region, const CXXRecordDecl *RD,
380 ExplodedNode *N = reportBug(Region, RD, C, MK); in modelUse()
390 ExplodedNode *MoveChecker::reportBug(const MemRegion *Region, in reportBug() function in MoveChecker
H A DNullabilityChecker.cpp166 void reportBug(StringRef Msg, ErrorKind Error, CheckKind CK, ExplodedNode *N, in reportBug() function in __anon0e3a3a9c0111::NullabilityChecker
450 reportBug(Msg, Error, CK, N, Region, C.getBugReporter(), ValueExpr); in reportBugIfInvariantHolds()
501 reportBug("Nullable pointer is dereferenced", in checkEvent()
505 reportBug("Nullable pointer is passed to a callee that requires a " in checkEvent()
H A DStdLibraryFunctionsChecker.cpp728 void reportBug(const CallEvent &Call, ExplodedNode *N, in reportBug() function in __anon09a2c6cc0111::StdLibraryFunctionsChecker
980 reportBug(Call, N, Constraint.get(), Summary, C); in checkPreCall()
/llvm-project-15.0.7/clang/unittests/StaticAnalyzer/
H A DCallEventTest.cpp29 void reportBug(const CheckerBase *Checker, const CallEvent &Call, in reportBug() function
55 reportBug(this, *DC, C, WarningBuf); in checkPreCall()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/WebKit/
H A DUncountedLambdaCapturesChecker.cpp64 reportBug(C, CapturedVar, CapturedVarType); in visitLambdaExpr()
71 void reportBug(const LambdaCapture &Capture, VarDecl *CapturedVar, in reportBug() function in __anon5a7bce850111::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 __anonbca65d050111::NoUncountedMemberChecker
H A DRefCntblBaseVirtualDtorChecker.cpp96 reportBug(RD, ProblematicBaseSpecifier, ProblematicBaseClass); in visitCXXRecordDecl()
128 void reportBug(const CXXRecordDecl *DerivedClass, in reportBug() function in __anonbfa598f30111::RefCntblBaseVirtualDtorChecker
H A DUncountedCallArgsChecker.cpp115 reportBug(Arg, *P); in visitCallExpr()
163 void reportBug(const Expr *CallArg, const ParmVarDecl *Param) const { in reportBug() function in __anone982c3860111::UncountedCallArgsChecker
H A DUncountedLocalVarsChecker.cpp213 reportBug(V); in visitVarDecl()
228 void reportBug(const VarDecl *V) const { in reportBug() function in __anonf1c752440111::UncountedLocalVarsChecker