Home
last modified time | relevance | path

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

/src/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DExprInspectionChecker.cpp61 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()
249 reportBug(getArgumentValueString(CE, C), C); in analyzerCheckInlined()
[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 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()
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 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.cpp42 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 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 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.cpp204 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 DIteratorRangeChecker.cpp46 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 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 __anon995922e10111::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 __anonfeb424110111::StdLibraryFunctionsChecker
1329 reportBug(Call, N, Constraint.get(), NegatedConstraint.get(), Summary, in checkPreCall()
/src/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 __anonfd7136aa0111::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 __anon21fbda0a0111::NoUncountedMemberChecker
H A DUncountedCallArgsChecker.cpp123 reportBug(Arg, *P); in visitCallExpr()
244 void reportBug(const Expr *CallArg, const ParmVarDecl *Param) const { in reportBug() function in __anon41ea33eb0111::UncountedCallArgsChecker
H A DUncountedLocalVarsChecker.cpp243 reportBug(V, Value); in visitVarDecl()
252 void reportBug(const VarDecl *V, const Expr *Value) const { in reportBug() function in __anon571ccf490111::UncountedLocalVarsChecker
H A DRefCntblBaseVirtualDtorChecker.cpp282 reportBug(RD, ProblematicBaseSpecifier, ProblematicBaseClass); in visitCXXRecordDecl()
355 void reportBug(const CXXRecordDecl *DerivedClass, in reportBug() function in __anon629b01180111::RefCntblBaseVirtualDtorChecker