Home
last modified time | relevance | path

Searched refs:PathSensitiveBugReport (Results 1 – 25 of 81) sorted by relevance

1234

/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/BugReporter/
H A DBugReporterVisitors.h41 class PathSensitiveBugReport; variable
74 PathSensitiveBugReport &BR) = 0;
80 PathSensitiveBugReport &BR);
89 PathSensitiveBugReport &BR);
96 const PathSensitiveBugReport &BR);
178 PathSensitiveBugReport &Report;
184 Tracker(PathSensitiveBugReport &Report);
189 static TrackerRef create(PathSensitiveBugReport &Report) { in create()
193 PathSensitiveBugReport &getReport() { return Report; } in getReport()
371 PathSensitiveBugReport &R, TrackingOptions Opts = {});
[all …]
H A DBugReporter.h289 class PathSensitiveBugReport : public BugReport {
369 PathSensitiveBugReport(const BugType &bt, StringRef desc, in PathSensitiveBugReport() function
371 : PathSensitiveBugReport(bt, desc, desc, errorNode) {} in PathSensitiveBugReport()
373 PathSensitiveBugReport(const BugType &bt, StringRef shortDesc, StringRef desc, in PathSensitiveBugReport() function
375 : PathSensitiveBugReport(bt, shortDesc, desc, errorNode, in PathSensitiveBugReport()
386 PathSensitiveBugReport(const BugType &bt, StringRef desc, in PathSensitiveBugReport() function
390 : PathSensitiveBugReport(bt, desc, desc, errorNode, LocationToUnique, in PathSensitiveBugReport()
393 PathSensitiveBugReport(const BugType &bt, StringRef shortDesc, StringRef desc,
715 ArrayRef<PathSensitiveBugReport *> &bugReports);
787 PathSensitiveBugReport &)>;
[all …]
H A DZ3CrosscheckVisitor.h38 PathSensitiveBugReport &BR) override;
41 PathSensitiveBugReport &BR) override;
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
H A DMPIBugReporter.cpp32 auto Report = std::make_unique<PathSensitiveBugReport>( in reportDoubleNonblocking()
55 auto Report = std::make_unique<PathSensitiveBugReport>(MissingWaitBugType, in reportMissingWait()
75 auto Report = std::make_unique<PathSensitiveBugReport>(UnmatchedWaitBugType, in reportUnmatchedWait()
89 PathSensitiveBugReport &BR) { in VisitNode()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DNonNullParamChecker.cpp42 std::unique_ptr<PathSensitiveBugReport>
45 std::unique_ptr<PathSensitiveBugReport>
278 std::unique_ptr<PathSensitiveBugReport>
289 std::make_unique<PathSensitiveBugReport>(BTAttrNonNull, SBuf, ErrorNode); in genReportNullAttrNonNull()
296 std::unique_ptr<PathSensitiveBugReport>
299 auto R = std::make_unique<PathSensitiveBugReport>( in genReportReferenceToNullPointer()
H A DNoOwnershipChangeVisitor.h40 PathDiagnosticPieceRef maybeEmitNoteForObjCSelf(PathSensitiveBugReport &R, in maybeEmitNoteForObjCSelf()
47 PathDiagnosticPieceRef maybeEmitNoteForCXXThis(PathSensitiveBugReport &R, in maybeEmitNoteForCXXThis()
56 maybeEmitNoteForParameters(PathSensitiveBugReport &R, const CallEvent &Call,
H A DMacOSKeychainAPIChecker.cpp112 std::unique_ptr<PathSensitiveBugReport>
118 void markInteresting(PathSensitiveBugReport *R, in markInteresting()
143 PathSensitiveBugReport &BR) override;
236 auto Report = std::make_unique<PathSensitiveBugReport>(BT, os.str(), N); in generateDeallocatorMismatchReport()
279 auto Report = std::make_unique<PathSensitiveBugReport>(BT, os.str(), N); in checkPreStmt()
332 auto Report = std::make_unique<PathSensitiveBugReport>( in checkPreStmt()
463 std::unique_ptr<PathSensitiveBugReport>
484 auto Report = std::make_unique<PathSensitiveBugReport>( in generateAllocatedDataNotReleasedReport()
612 PathSensitiveBugReport &BR) { in VisitNode()
H A DCXXDeleteChecker.cpp52 PathSensitiveBugReport &BR) override;
128 auto R = std::make_unique<PathSensitiveBugReport>(BT, BT.getDescription(), N); in checkTypedDeleteExpr()
171 auto R = std::make_unique<PathSensitiveBugReport>(BT, OS.str(), N); in checkTypedDeleteExpr()
182 PathSensitiveBugReport &BR) { in VisitNode()
H A DArrayBoundChecker.cpp105 std::string getMessage(PathSensitiveBugReport &BR) const;
122 PathSensitiveBugReport &BR);
124 PathSensitiveBugReport &BR) { in providesInformationAboutInteresting()
152 static void markPartsInteresting(PathSensitiveBugReport &BR,
489 return C.getNoteTag([*this](PathSensitiveBugReport &BR) -> std::string { in createNoteTag()
494 std::string StateUpdateReporter::getMessage(PathSensitiveBugReport &BR) const { in getMessage()
551 SymbolRef Sym, PathSensitiveBugReport &BR) { in providesInformationAboutInteresting()
720 void ArrayBoundChecker::markPartsInteresting(PathSensitiveBugReport &BR, in markPartsInteresting()
752 auto BR = std::make_unique<PathSensitiveBugReport>( in reportOOB()
H A DCallAndMessageChecker.cpp139 auto R = std::make_unique<PathSensitiveBugReport>(*BT, BT->getDescription(), N); in emitBadCall()
222 auto R = std::make_unique<PathSensitiveBugReport>(*BT, Os.str(), N); in uninitRefOrPointer()
305 auto R = std::make_unique<PathSensitiveBugReport>(*BT, Os.str(), N); in PreVisitProcessArg()
352 auto R = std::make_unique<PathSensitiveBugReport>(*BT, os.str(), N); in PreVisitProcessArg()
438 std::make_unique<PathSensitiveBugReport>(*BT_call_few_args, os.str(), N)); in checkParameterCount()
503 std::make_unique<PathSensitiveBugReport>(*BT_cxx_delete_undef, Desc, N); in checkCXXDeallocation()
609 auto R = std::make_unique<PathSensitiveBugReport>(*BT, BT->getDescription(), N); in checkPreObjCMessage()
657 std::make_unique<PathSensitiveBugReport>(*BT_msg_ret, os.str(), N); in emitNilReceiverBug()
H A DCXXSelfAssignmentChecker.cpp56 C.getNoteTag([MD](PathSensitiveBugReport &BR) -> std::string { in checkBeginFunction()
66 C.getNoteTag([MD](PathSensitiveBugReport &BR) -> std::string { in checkBeginFunction()
H A DDynamicTypeChecker.cpp45 PathSensitiveBugReport &BR) override;
75 auto R = std::make_unique<PathSensitiveBugReport>( in reportTypeError()
84 const ExplodedNode *N, BugReporterContext &BRC, PathSensitiveBugReport &) { in VisitNode() argument
H A DStringChecker.cpp80 const auto Callback = [Param](PathSensitiveBugReport &BR) -> std::string { in checkPreCall()
92 auto R = std::make_unique<PathSensitiveBugReport>( in checkPreCall()
H A DSmartPtrModeling.cpp391 State, C.getNoteTag([ThisRegion](PathSensitiveBugReport &BR, in evalCall()
408 ArgVal](PathSensitiveBugReport &BR, in evalCall()
614 State, C.getNoteTag([ThisRegion, TrackingExpr](PathSensitiveBugReport &BR, in handleReset()
650 C.addTransition(State, C.getNoteTag([ThisRegion](PathSensitiveBugReport &BR, in handleRelease()
692 PathSensitiveBugReport &BR, in handleSwap()
755 C.addTransition(State, C.getNoteTag([ThisRegion](PathSensitiveBugReport &BR, in handleAssignOp()
795 PathSensitiveBugReport &BR, llvm::raw_ostream &OS) { in updateMovedSmartPointers()
819 ThisRegion](PathSensitiveBugReport &BR, in updateMovedSmartPointers()
888 [ThisRegion](PathSensitiveBugReport &BR, in handleBoolConversion()
901 [ThisRegion](PathSensitiveBugReport &BR, llvm::raw_ostream &OS) { in handleBoolConversion()
H A DValistChecker.cpp83 PathSensitiveBugReport &BR) override { in getEndPath()
94 PathSensitiveBugReport &BR) override;
257 auto R = std::make_unique<PathSensitiveBugReport>(*BT_uninitaccess, Msg, N); in reportUninitializedAccess()
298 auto R = std::make_unique<PathSensitiveBugReport>( in reportLeakedVALists()
378 const ExplodedNode *N, BugReporterContext &BRC, PathSensitiveBugReport &) { in VisitNode() argument
H A DObjCSuperDeallocChecker.cpp75 PathSensitiveBugReport &BR) override;
192 auto BR = std::make_unique<PathSensitiveBugReport>(DoubleSuperDeallocBugType, in reportUseAfterDealloc()
242 PathSensitiveBugReport &) { in VisitNode() argument
H A DDebugContainerModeling.cpp95 [Cont, Field](PathSensitiveBugReport &BR) -> std::string { in analyzerContainerDataField()
134 std::make_unique<PathSensitiveBugReport>(DebugMsgBugType, Msg, N)); in reportDebugMsg()
H A DDivZeroChecker.cpp61 std::make_unique<PathSensitiveBugReport>(DivideZeroChecker, Msg, N); in reportBug()
74 std::make_unique<PathSensitiveBugReport>(TaintedDivChecker, Msg, N); in reportTaintBug()
H A DTestAfterDivZeroChecker.cpp72 PathSensitiveBugReport &BR) override;
95 PathSensitiveBugReport &BR) { in REGISTER_SET_WITH_PROGRAMSTATE()
165 auto R = std::make_unique<PathSensitiveBugReport>( in reportBug()
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCheckerContext.h300 *getNoteTag(std::function<std::string(PathSensitiveBugReport &)> &&Cb,
304 PathSensitiveBugReport &BR) { return Cb(BR); },
318 PathSensitiveBugReport &) { return Cb(); },
331 PathSensitiveBugReport &) { return Note; },
343 std::function<void(PathSensitiveBugReport &BR, llvm::raw_ostream &OS)> &&Cb,
346 [Cb](PathSensitiveBugReport &BR) -> std::string {
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DBugReporter.cpp144 const PathSensitiveBugReport *R,
219 const PathSensitiveBugReport *R;
232 findValidReport(ArrayRef<PathSensitiveBugReport *> &bugReports,
237 PathSensitiveBugReport *r, const ExplodedNode *ErrorNode,
281 const PathSensitiveBugReport *getBugReport() const { return R; } in getBugReport()
457 const PathSensitiveBugReport *R, in removeUnneededCalls()
1364 generateEmptyDiagnosticForReport(const PathSensitiveBugReport *R, in generateEmptyDiagnosticForReport()
2008 const PathSensitiveBugReport *R, const Decl *AnalysisEntryPoint) in PathDiagnosticConstruct()
2018 PathSensitiveBugReport *r, const ExplodedNode *ErrorNode, in PathDiagnosticBuilder()
2160 PathSensitiveBugReport::PathSensitiveBugReport( in PathSensitiveBugReport() function in PathSensitiveBugReport
[all …]
H A DBugReporterVisitors.cpp269 const PathSensitiveBugReport *B) { in isVarAnInterestingCondition()
285 const PathSensitiveBugReport *B) { in isInterestingExpr()
351 PathSensitiveBugReport &) { in getEndPath() argument
357 PathSensitiveBugReport &) {} in finalizeVisitor() argument
362 const PathSensitiveBugReport &BR) { in getDefaultEndPath()
467 const ExplodedNode *N, BugReporterContext &BR, PathSensitiveBugReport &R) { in VisitNode()
613 NoStoreFuncVisitor::maybeEmitNoteForObjCSelf(PathSensitiveBugReport &R, in maybeEmitNoteForObjCSelf()
628 NoStoreFuncVisitor::maybeEmitNoteForCXXThis(PathSensitiveBugReport &R, in maybeEmitNoteForCXXThis()
648 PathSensitiveBugReport &R, const CallEvent &Call, const ExplodedNode *N) { in maybeEmitNoteForParameters()
695 PathSensitiveBugReport &R, const CallEvent &Call, const ExplodedNode *N, in maybeEmitNote()
[all …]
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountDiagnostics.h49 class RefCountReport : public PathSensitiveBugReport {
65 return PathSensitiveBugReport::getRanges(); in getRanges()
95 return PathSensitiveBugReport::getLocation(); in getEndOfPath()
H A DRetainCountDiagnostics.cpp327 PathSensitiveBugReport &BR) override;
331 PathSensitiveBugReport &BR) override;
341 PathSensitiveBugReport &BR) override;
454 PathSensitiveBugReport &BR) { in VisitNode()
756 PathSensitiveBugReport &BR) { in getEndPath()
764 PathSensitiveBugReport &BR) { in getEndPath()
840 : PathSensitiveBugReport(D, D.getDescription(), n), Sym(sym), in RefCountReport()
849 : PathSensitiveBugReport(D, D.getDescription(), endText, n) { in RefCountReport()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/cert/
H A DInvalidPtrChecker.cpp130 PathSensitiveBugReport &BR, llvm::raw_ostream &Out) { in REGISTER_SET_WITH_PROGRAMSTATE()
193 Note = C.getNoteTag([this, PrevReg, FD](PathSensitiveBugReport &BR, in postPreviousReturnInvalidatingCall()
224 [this, MR](PathSensitiveBugReport &BR, llvm::raw_ostream &Out) { in postPreviousReturnInvalidatingCall()
304 auto Report = std::make_unique<PathSensitiveBugReport>( in checkPostCall()
347 auto Report = std::make_unique<PathSensitiveBugReport>( in checkLocation()

1234