Showing content from https://clang.llvm.org/doxygen/classclang_1_1ento_1_1PathSensitiveBugReporter.html below:
clang: clang::ento::PathSensitiveBugReporter Class Reference
GRBugReporter is used for generating path-sensitive reports. More...
#include "clang/StaticAnalyzer/Core/BugReporter/BugReporter.h"
PathSensitiveBugReporter (BugReporterData &d, ExprEngine &eng) const ExplodedGraph & getGraph () const getGraph - Get the exploded graph created by the analysis engine for the analyzed method or function.
ProgramStateManager & getStateManager () const getStateManager - Return the state manager used by the analysis engine.
std::unique_ptr< DiagnosticForConsumerMapTy > generatePathDiagnostics (ArrayRef< PathDiagnosticConsumer * > consumers, ArrayRef< PathSensitiveBugReport * > &bugReports) bugReports A set of bug reports within a single equivalence class
void emitReport (std::unique_ptr< BugReport > R) override Add the given report to the set of reports tracked by BugReporter.
BugReporter (BugReporterData &d) virtual ~BugReporter () void FlushReports () Generate and flush diagnostics for all bug reports.
ArrayRef< PathDiagnosticConsumer * > getPathDiagnosticConsumers () llvm::iterator_range< EQClasses_iterator > equivalenceClasses () ASTContext & getContext () const SourceManager & getSourceManager () const AnalyzerOptions & getAnalyzerOptions () Preprocessor & getPreprocessor () const Decl * getAnalysisEntryPoint () const Get the top-level entry point for the issue to be reported.
void setAnalysisEntryPoint (const Decl *EntryPoint) virtual void emitReport (std::unique_ptr< BugReport > R) Add the given report to the set of reports tracked by BugReporter.
void EmitBasicReport (const Decl *DeclWithIssue, const CheckerBase *Checker, StringRef BugName, StringRef BugCategory, StringRef BugStr, PathDiagnosticLocation Loc, ArrayRef< SourceRange > Ranges={}, ArrayRef< FixItHint > Fixits={}) void EmitBasicReport (const Decl *DeclWithIssue, CheckerNameRef CheckerName, StringRef BugName, StringRef BugCategory, StringRef BugStr, PathDiagnosticLocation Loc, ArrayRef< SourceRange > Ranges={}, ArrayRef< FixItHint > Fixits={})
GRBugReporter is used for generating path-sensitive reports.
Definition at line 679 of file BugReporter.h.
◆ PathSensitiveBugReporter() ◆ emitReport() void PathSensitiveBugReporter::emitReport ( std::unique_ptr< BugReport > R ) overridevirtual ◆ generatePathDiagnostics()
bugReports A set of bug reports within a single equivalence class
-
Returns
-
A mapping from consumers to the corresponding diagnostics. Iterates through the bug reports within a single equivalence class, stops at a first non-invalidated report.
Definition at line 2931 of file BugReporter.cpp.
◆ getGraph() const ExplodedGraph & PathSensitiveBugReporter::getGraph ( ) const ◆ getStateManager()
The documentation for this class was generated from the following files:
RetroSearch is an open source project built by @garambo
| Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4