clang  14.0.0git
Public Types | Public Member Functions | Static Public Member Functions | Protected Types | Protected Member Functions | Protected Attributes | List of all members
clang::ento::PathSensitiveBugReport Class Reference

#include "clang/StaticAnalyzer/Core/BugReporter/BugReporter.h"

Inheritance diagram for clang::ento::PathSensitiveBugReport:
Inheritance graph
[legend]
Collaboration diagram for clang::ento::PathSensitiveBugReport:
Collaboration graph
[legend]

Public Types

using VisitorList = SmallVector< std::unique_ptr< BugReporterVisitor >, 8 >
 
using visitor_iterator = VisitorList::iterator
 
using visitor_range = llvm::iterator_range< visitor_iterator >
 
- Public Types inherited from clang::ento::BugReport
enum  Kind { Kind::Basic, Kind::PathSensitive }
 

Public Member Functions

 PathSensitiveBugReport (const BugType &bt, StringRef desc, const ExplodedNode *errorNode)
 
 PathSensitiveBugReport (const BugType &bt, StringRef shortDesc, StringRef desc, const ExplodedNode *errorNode)
 
 PathSensitiveBugReport (const BugType &bt, StringRef desc, const ExplodedNode *errorNode, PathDiagnosticLocation LocationToUnique, const Decl *DeclToUnique)
 Create a PathSensitiveBugReport with a custom uniqueing location. More...
 
 PathSensitiveBugReport (const BugType &bt, StringRef shortDesc, StringRef desc, const ExplodedNode *errorNode, PathDiagnosticLocation LocationToUnique, const Decl *DeclToUnique)
 
const ExplodedNodegetErrorNode () const
 
bool shouldPrunePath () const
 Indicates whether or not any path pruning should take place when generating a PathDiagnostic from this BugReport. More...
 
void disablePathPruning ()
 Disable all path pruning when generating a PathDiagnostic. More...
 
PathDiagnosticLocation getUniqueingLocation () const override
 Get the location on which the report should be uniqued. More...
 
const DeclgetUniqueingDecl () const override
 Get the declaration containing the uniqueing location. More...
 
const DeclgetDeclWithIssue () const override
 The smallest declaration that contains the bug location. More...
 
ArrayRef< SourceRangegetRanges () const override
 Get the SourceRanges associated with the report. More...
 
PathDiagnosticLocation getLocation () const override
 The primary location of the bug report that points at the undesirable behavior in the code. More...
 
void markInteresting (SymbolRef sym, bugreporter::TrackingKind TKind=bugreporter::TrackingKind::Thorough)
 Marks a symbol as interesting. More...
 
void markNotInteresting (SymbolRef sym)
 
void markInteresting (const MemRegion *R, bugreporter::TrackingKind TKind=bugreporter::TrackingKind::Thorough)
 Marks a region as interesting. More...
 
void markNotInteresting (const MemRegion *R)
 
void markInteresting (SVal V, bugreporter::TrackingKind TKind=bugreporter::TrackingKind::Thorough)
 Marks a symbolic value as interesting. More...
 
void markInteresting (const LocationContext *LC)
 
bool isInteresting (SymbolRef sym) const
 
bool isInteresting (const MemRegion *R) const
 
bool isInteresting (SVal V) const
 
bool isInteresting (const LocationContext *LC) const
 
Optional< bugreporter::TrackingKindgetInterestingnessKind (SymbolRef sym) const
 
Optional< bugreporter::TrackingKindgetInterestingnessKind (const MemRegion *R) const
 
Optional< bugreporter::TrackingKindgetInterestingnessKind (SVal V) const
 
bool isValid () const
 Returns whether or not this report should be considered valid. More...
 
void markInvalid (const void *Tag, const void *Data)
 Marks the current report as invalid, meaning that it is probably a false positive and should not be reported to the user. More...
 
void Profile (llvm::FoldingSetNodeID &hash) const override
 Profile to identify equivalent bug reports for error report coalescing. More...
 
void clearVisitors ()
 Remove all visitors attached to this bug report. More...
 
visitor_iterator visitor_begin ()
 Iterators through the custom diagnostic visitors. More...
 
visitor_iterator visitor_end ()
 
visitor_range visitors ()
 
bool addTrackedCondition (const ExplodedNode *Cond)
 Notes that the condition of the CFGBlock associated with Cond is being tracked. More...
 
void addCallStackHint (PathDiagnosticPieceRef Piece, std::unique_ptr< StackHintGenerator > StackHint)
 
bool hasCallStackHint (PathDiagnosticPieceRef Piece) const
 
std::string getCallStackMessage (PathDiagnosticPieceRef Piece, const ExplodedNode *N) const
 Produce the hint for the given node. More...
 
void addVisitor (std::unique_ptr< BugReporterVisitor > visitor)
 Add custom or predefined bug report visitors to this report. More...
 
template<class VisitorType , class... Args>
void addVisitor (Args &&... ConstructorArgs)
 
- Public Member Functions inherited from clang::ento::BugReport
virtual ~BugReport ()=default
 
Kind getKind () const
 
const BugTypegetBugType () const
 
StringRef getDescription () const
 A verbose warning message that is appropriate for displaying next to the source code that introduces the problem. More...
 
StringRef getShortDescription (bool UseFallback=true) const
 A short general warning message that is appropriate for displaying in the list of all reported bugs. More...
 
void addNote (StringRef Msg, const PathDiagnosticLocation &Pos, ArrayRef< SourceRange > Ranges={})
 Add new item to the list of additional notes that need to be attached to this report. More...
 
ArrayRef< std::shared_ptr< PathDiagnosticNotePiece > > getNotes ()
 
void addRange (SourceRange R)
 Add a range to a bug report. More...
 
void addFixItHint (const FixItHint &F)
 Add a fix-it hint to the bug report. More...
 
llvm::ArrayRef< FixItHintgetFixits () const
 

Static Public Member Functions

static bool classof (const BugReport *R)
 

Protected Types

using InvalidationRecord = std::pair< const void *, const void * >
 Used to track unique reasons why a bug report might be invalid. More...
 

Protected Member Functions

const StmtgetStmt () const
 
- Protected Member Functions inherited from clang::ento::BugReport
 BugReport (Kind kind, const BugType &bt, StringRef desc)
 
 BugReport (Kind K, const BugType &BT, StringRef ShortDescription, StringRef Description)
 

Protected Attributes

const ExplodedNodeErrorNode = nullptr
 The ExplodedGraph node against which the report was thrown. More...
 
const SourceRange ErrorNodeRange
 The range that corresponds to ErrorNode's program point. More...
 
llvm::DenseMap< SymbolRef, bugreporter::TrackingKindInterestingSymbols
 Profile to identify equivalent bug reports for error report coalescing. More...
 
llvm::DenseMap< const MemRegion *, bugreporter::TrackingKindInterestingRegions
 A (stack of) set of regions that are registered with this report as being "interesting", and thus used to help decide which diagnostics to include when constructing the final path diagnostic. More...
 
llvm::SmallSet< const LocationContext *, 2 > InterestingLocationContexts
 A set of location contexts that correspoind to call sites which should be considered "interesting". More...
 
VisitorList Callbacks
 A set of custom visitors which generate "event" diagnostics at interesting points in the path. More...
 
llvm::FoldingSet< BugReporterVisitorCallbacksSet
 Used for ensuring the visitors are only added once. More...
 
bool DoNotPrunePath = false
 When set, this flag disables all callstack pruning from a diagnostic path. More...
 
llvm::SmallSet< InvalidationRecord, 4 > Invalidations
 If non-empty, this bug report is likely a false positive and should not be shown to the user. More...
 
llvm::SmallSet< const ExplodedNode *, 4 > TrackedConditions
 Conditions we're already tracking. More...
 
PathDiagnosticLocation UniqueingLocation
 Reports with different uniqueing locations are considered to be different for the purposes of deduplication. More...
 
const DeclUniqueingDecl
 
std::map< PathDiagnosticPieceRef, std::unique_ptr< StackHintGenerator > > StackHints
 If an event occurs in a different frame than the final diagnostic, supply a message that will be used to construct an extra hint on the returns from all the calls on the stack from this event to the final diagnostic. More...
 
- Protected Attributes inherited from clang::ento::BugReport
Kind K
 
const BugTypeBT
 
std::string ShortDescription
 
std::string Description
 
SmallVector< SourceRange, 4 > Ranges
 
SmallVector< std::shared_ptr< PathDiagnosticNotePiece >, 4 > Notes
 
SmallVector< FixItHint, 4 > Fixits
 

Detailed Description

Definition at line 291 of file BugReporter.h.

Member Typedef Documentation

◆ InvalidationRecord

using clang::ento::PathSensitiveBugReport::InvalidationRecord = std::pair<const void *, const void *>
protected

Used to track unique reasons why a bug report might be invalid.

See also
markInvalid
removeInvalidation

Definition at line 343 of file BugReporter.h.

◆ visitor_iterator

Definition at line 294 of file BugReporter.h.

◆ visitor_range

Definition at line 295 of file BugReporter.h.

◆ VisitorList

Definition at line 293 of file BugReporter.h.

Constructor & Destructor Documentation

◆ PathSensitiveBugReport() [1/4]

clang::ento::PathSensitiveBugReport::PathSensitiveBugReport ( const BugType bt,
StringRef  desc,
const ExplodedNode errorNode 
)
inline

Definition at line 371 of file BugReporter.h.

◆ PathSensitiveBugReport() [2/4]

clang::ento::PathSensitiveBugReport::PathSensitiveBugReport ( const BugType bt,
StringRef  shortDesc,
StringRef  desc,
const ExplodedNode errorNode 
)
inline

Definition at line 375 of file BugReporter.h.

◆ PathSensitiveBugReport() [3/4]

clang::ento::PathSensitiveBugReport::PathSensitiveBugReport ( const BugType bt,
StringRef  desc,
const ExplodedNode errorNode,
PathDiagnosticLocation  LocationToUnique,
const Decl DeclToUnique 
)
inline

Create a PathSensitiveBugReport with a custom uniqueing location.

The reports that have the same report location, description, bug type, and ranges are uniqued - only one of the equivalent reports will be presented to the user. This method allows to rest the location which should be used for uniquing reports. For example, memory leaks checker, could set this to the allocation site, rather then the location where the bug is reported.

Definition at line 388 of file BugReporter.h.

◆ PathSensitiveBugReport() [4/4]

PathSensitiveBugReport::PathSensitiveBugReport ( const BugType bt,
StringRef  shortDesc,
StringRef  desc,
const ExplodedNode errorNode,
PathDiagnosticLocation  LocationToUnique,
const Decl DeclToUnique 
)

Member Function Documentation

◆ addCallStackHint()

void clang::ento::PathSensitiveBugReport::addCallStackHint ( PathDiagnosticPieceRef  Piece,
std::unique_ptr< StackHintGenerator StackHint 
)
inline

Definition at line 521 of file BugReporter.h.

References StackHints.

◆ addTrackedCondition()

bool clang::ento::PathSensitiveBugReport::addTrackedCondition ( const ExplodedNode Cond)
inline

Notes that the condition of the CFGBlock associated with Cond is being tracked.

Returns
false if the condition is already being tracked.

Definition at line 517 of file BugReporter.h.

References TrackedConditions.

◆ addVisitor() [1/2]

template<class VisitorType , class... Args>
void clang::ento::PathSensitiveBugReport::addVisitor ( Args &&...  ConstructorArgs)
inline

Definition at line 500 of file BugReporter.h.

References addVisitor().

◆ addVisitor() [2/2]

void PathSensitiveBugReport::addVisitor ( std::unique_ptr< BugReporterVisitor visitor)

Add custom or predefined bug report visitors to this report.

The visitors should be used when the default trace is not sufficient. For example, they allow constructing a more elaborate trace.

Definition at line 2157 of file BugReporter.cpp.

References Callbacks, and CallbacksSet.

Referenced by addVisitor().

◆ classof()

static bool clang::ento::PathSensitiveBugReport::classof ( const BugReport R)
inlinestatic

◆ clearVisitors()

void PathSensitiveBugReport::clearVisitors ( )

Remove all visitors attached to this bug report.

Definition at line 2173 of file BugReporter.cpp.

References Callbacks.

◆ disablePathPruning()

void clang::ento::PathSensitiveBugReport::disablePathPruning ( )
inline

Disable all path pruning when generating a PathDiagnostic.

Definition at line 411 of file BugReporter.h.

References DoNotPrunePath.

◆ getCallStackMessage()

std::string clang::ento::PathSensitiveBugReport::getCallStackMessage ( PathDiagnosticPieceRef  Piece,
const ExplodedNode N 
) const
inline

Produce the hint for the given node.

The node contains information about the call for which the diagnostic can be generated.

Definition at line 533 of file BugReporter.h.

References StackHints.

◆ getDeclWithIssue()

const Decl * PathSensitiveBugReport::getDeclWithIssue ( ) const
overridevirtual

The smallest declaration that contains the bug location.

This is purely cosmetic; the declaration can be displayed to the user but it does not affect whether the report is emitted.

Implements clang::ento::BugReport.

Definition at line 2177 of file BugReporter.cpp.

References clang::LocationContext::getDecl(), getErrorNode(), clang::ento::ExplodedNode::getLocationContext(), and clang::LocationContext::getStackFrame().

◆ getErrorNode()

const ExplodedNode* clang::ento::PathSensitiveBugReport::getErrorNode ( ) const
inline

◆ getInterestingnessKind() [1/3]

Optional< bugreporter::TrackingKind > PathSensitiveBugReport::getInterestingnessKind ( const MemRegion R) const

◆ getInterestingnessKind() [2/3]

Optional< bugreporter::TrackingKind > PathSensitiveBugReport::getInterestingnessKind ( SVal  V) const

◆ getInterestingnessKind() [3/3]

Optional< bugreporter::TrackingKind > PathSensitiveBugReport::getInterestingnessKind ( SymbolRef  sym) const

Definition at line 2339 of file BugReporter.cpp.

References InterestingSymbols.

Referenced by getInterestingnessKind(), and isInteresting().

◆ getLocation()

PathDiagnosticLocation PathSensitiveBugReport::getLocation ( ) const
overridevirtual

The primary location of the bug report that points at the undesirable behavior in the code.

UIs should attach the warning description to this location. The warning description should describe the bad behavior at this location.

Implements clang::ento::BugReport.

Reimplemented in clang::ento::retaincountchecker::RefLeakReport.

Definition at line 2412 of file BugReporter.cpp.

References ErrorNode.

Referenced by clang::ento::BugReporterVisitor::getDefaultEndPath(), and clang::ento::retaincountchecker::RefLeakReport::getEndOfPath().

◆ getRanges()

ArrayRef< SourceRange > PathSensitiveBugReport::getRanges ( ) const
overridevirtual

◆ getStmt()

const Stmt * PathSensitiveBugReport::getStmt ( ) const
protected

Definition at line 2383 of file BugReporter.cpp.

References ErrorNode, and clang::ento::ExplodedNode::getLocation().

Referenced by getRanges().

◆ getUniqueingDecl()

const Decl* clang::ento::PathSensitiveBugReport::getUniqueingDecl ( ) const
inlineoverridevirtual

Get the declaration containing the uniqueing location.

Implements clang::ento::BugReport.

Definition at line 419 of file BugReporter.h.

References UniqueingDecl.

◆ getUniqueingLocation()

PathDiagnosticLocation clang::ento::PathSensitiveBugReport::getUniqueingLocation ( ) const
inlineoverridevirtual

Get the location on which the report should be uniqued.

Implements clang::ento::BugReport.

Definition at line 414 of file BugReporter.h.

References UniqueingLocation.

Referenced by Profile().

◆ hasCallStackHint()

bool clang::ento::PathSensitiveBugReport::hasCallStackHint ( PathDiagnosticPieceRef  Piece) const
inline

Definition at line 526 of file BugReporter.h.

References StackHints.

◆ isInteresting() [1/4]

bool PathSensitiveBugReport::isInteresting ( const LocationContext LC) const

Definition at line 2377 of file BugReporter.cpp.

References InterestingLocationContexts.

◆ isInteresting() [2/4]

bool PathSensitiveBugReport::isInteresting ( const MemRegion R) const

Definition at line 2373 of file BugReporter.cpp.

References getInterestingnessKind().

◆ isInteresting() [3/4]

bool PathSensitiveBugReport::isInteresting ( SVal  V) const

Definition at line 2365 of file BugReporter.cpp.

References getInterestingnessKind(), and V.

◆ isInteresting() [4/4]

bool PathSensitiveBugReport::isInteresting ( SymbolRef  sym) const

Definition at line 2369 of file BugReporter.cpp.

References getInterestingnessKind().

Referenced by clang::ento::ConditionBRVisitor::patternMatch().

◆ isValid()

bool clang::ento::PathSensitiveBugReport::isValid ( ) const
inline

Returns whether or not this report should be considered valid.

Invalid reports are those that have been classified as likely false positives after the fact.

Definition at line 470 of file BugReporter.h.

References Invalidations.

◆ markInteresting() [1/4]

void PathSensitiveBugReport::markInteresting ( const LocationContext LC)

Definition at line 2307 of file BugReporter.cpp.

References InterestingLocationContexts.

◆ markInteresting() [2/4]

void clang::ento::PathSensitiveBugReport::markInteresting ( const MemRegion R,
bugreporter::TrackingKind  TKind = bugreporter::TrackingKind::Thorough 
)

Marks a region as interesting.

Different kinds of interestingness will be processed differently by visitors (e.g. if the tracking kind is condition, will append "will be used as a condition" to the message).

◆ markInteresting() [3/4]

void clang::ento::PathSensitiveBugReport::markInteresting ( SVal  V,
bugreporter::TrackingKind  TKind = bugreporter::TrackingKind::Thorough 
)

Marks a symbolic value as interesting.

Different kinds of interestingness will be processed differently by visitors (e.g. if the tracking kind is condition, will append "will be used as a condition" to the message).

◆ markInteresting() [4/4]

void clang::ento::PathSensitiveBugReport::markInteresting ( SymbolRef  sym,
bugreporter::TrackingKind  TKind = bugreporter::TrackingKind::Thorough 
)

Marks a symbol as interesting.

Different kinds of interestingness will be processed differently by visitors (e.g. if the tracking kind is condition, will append "will be used as a condition" to the message).

Referenced by clang::ento::retaincountchecker::RefCountReportVisitor::getEndPath(), clang::ento::retaincountchecker::RefLeakReportVisitor::getEndPath(), and clang::ento::UndefOrNullArgVisitor::VisitNode().

◆ markInvalid()

void clang::ento::PathSensitiveBugReport::markInvalid ( const void *  Tag,
const void *  Data 
)
inline

Marks the current report as invalid, meaning that it is probably a false positive and should not be reported to the user.

The Tag and Data arguments are intended to be opaque identifiers for this particular invalidation, where Tag represents the visitor responsible for invalidation, and Data represents the reason this visitor decided to invalidate the bug report.

See also
removeInvalidation

Definition at line 483 of file BugReporter.h.

References Invalidations.

Referenced by clang::ento::FalsePositiveRefutationBRVisitor::finalizeVisitor(), clang::ento::SuppressInlineDefensiveChecksVisitor::VisitNode(), and clang::ento::NoStateChangeFuncVisitor::VisitNode().

◆ markNotInteresting() [1/2]

void PathSensitiveBugReport::markNotInteresting ( const MemRegion R)

◆ markNotInteresting() [2/2]

void PathSensitiveBugReport::markNotInteresting ( SymbolRef  sym)

Definition at line 2266 of file BugReporter.cpp.

References InterestingSymbols.

Referenced by markNotInteresting().

◆ Profile()

void PathSensitiveBugReport::Profile ( llvm::FoldingSetNodeID &  hash) const
overridevirtual

◆ shouldPrunePath()

bool clang::ento::PathSensitiveBugReport::shouldPrunePath ( ) const
inline

Indicates whether or not any path pruning should take place when generating a PathDiagnostic from this BugReport.

Definition at line 408 of file BugReporter.h.

References DoNotPrunePath.

◆ visitor_begin()

visitor_iterator clang::ento::PathSensitiveBugReport::visitor_begin ( )
inline

Iterators through the custom diagnostic visitors.

Definition at line 510 of file BugReporter.h.

References Callbacks.

Referenced by visitors().

◆ visitor_end()

visitor_iterator clang::ento::PathSensitiveBugReport::visitor_end ( )
inline

Definition at line 511 of file BugReporter.h.

References Callbacks.

Referenced by visitors().

◆ visitors()

visitor_range clang::ento::PathSensitiveBugReport::visitors ( )
inline

Definition at line 512 of file BugReporter.h.

References visitor_begin(), and visitor_end().

Member Data Documentation

◆ Callbacks

VisitorList clang::ento::PathSensitiveBugReport::Callbacks
protected

A set of custom visitors which generate "event" diagnostics at interesting points in the path.

Definition at line 329 of file BugReporter.h.

Referenced by addVisitor(), clearVisitors(), visitor_begin(), and visitor_end().

◆ CallbacksSet

llvm::FoldingSet<BugReporterVisitor> clang::ento::PathSensitiveBugReport::CallbacksSet
protected

Used for ensuring the visitors are only added once.

Definition at line 332 of file BugReporter.h.

Referenced by addVisitor().

◆ DoNotPrunePath

bool clang::ento::PathSensitiveBugReport::DoNotPrunePath = false
protected

When set, this flag disables all callstack pruning from a diagnostic path.

This is useful for some reports that want maximum fidelty when reporting an issue.

Definition at line 337 of file BugReporter.h.

Referenced by disablePathPruning(), and shouldPrunePath().

◆ ErrorNode

const ExplodedNode* clang::ento::PathSensitiveBugReport::ErrorNode = nullptr
protected

The ExplodedGraph node against which the report was thrown.

It corresponds to the end of the execution path that demonstrates the bug.

Definition at line 300 of file BugReporter.h.

Referenced by getErrorNode(), getLocation(), getStmt(), PathSensitiveBugReport(), and Profile().

◆ ErrorNodeRange

const SourceRange clang::ento::PathSensitiveBugReport::ErrorNodeRange
protected

The range that corresponds to ErrorNode's program point.

It is usually highlighted in the report.

Definition at line 304 of file BugReporter.h.

Referenced by getRanges().

◆ InterestingLocationContexts

llvm::SmallSet<const LocationContext *, 2> clang::ento::PathSensitiveBugReport::InterestingLocationContexts
protected

A set of location contexts that correspoind to call sites which should be considered "interesting".

Definition at line 325 of file BugReporter.h.

Referenced by isInteresting(), and markInteresting().

◆ InterestingRegions

llvm::DenseMap<const MemRegion *, bugreporter::TrackingKind> clang::ento::PathSensitiveBugReport::InterestingRegions
protected

A (stack of) set of regions that are registered with this report as being "interesting", and thus used to help decide which diagnostics to include when constructing the final path diagnostic.

The stack is largely used by BugReporter when generating PathDiagnostics for multiple PathDiagnosticConsumers.

Definition at line 321 of file BugReporter.h.

Referenced by getInterestingnessKind(), and markNotInteresting().

◆ InterestingSymbols

llvm::DenseMap<SymbolRef, bugreporter::TrackingKind> clang::ento::PathSensitiveBugReport::InterestingSymbols
protected

Profile to identify equivalent bug reports for error report coalescing.

A (stack of) a set of symbols that are registered with this report as being "interesting", and thus used to help decide which diagnostics to include when constructing the final path diagnostic. The stack is largely used by BugReporter when generating PathDiagnostics for multiple PathDiagnosticConsumers.

Definition at line 313 of file BugReporter.h.

Referenced by getInterestingnessKind(), and markNotInteresting().

◆ Invalidations

llvm::SmallSet<InvalidationRecord, 4> clang::ento::PathSensitiveBugReport::Invalidations
protected

If non-empty, this bug report is likely a false positive and should not be shown to the user.

See also
markInvalid
removeInvalidation

Definition at line 350 of file BugReporter.h.

Referenced by isValid(), and markInvalid().

◆ StackHints

std::map<PathDiagnosticPieceRef, std::unique_ptr<StackHintGenerator> > clang::ento::PathSensitiveBugReport::StackHints
protected

If an event occurs in a different frame than the final diagnostic, supply a message that will be used to construct an extra hint on the returns from all the calls on the stack from this event to the final diagnostic.

Definition at line 368 of file BugReporter.h.

Referenced by addCallStackHint(), getCallStackMessage(), and hasCallStackHint().

◆ TrackedConditions

llvm::SmallSet<const ExplodedNode *, 4> clang::ento::PathSensitiveBugReport::TrackedConditions
protected

Conditions we're already tracking.

Definition at line 353 of file BugReporter.h.

Referenced by addTrackedCondition().

◆ UniqueingDecl

const Decl* clang::ento::PathSensitiveBugReport::UniqueingDecl
protected

Definition at line 358 of file BugReporter.h.

Referenced by getUniqueingDecl().

◆ UniqueingLocation

PathDiagnosticLocation clang::ento::PathSensitiveBugReport::UniqueingLocation
protected

Reports with different uniqueing locations are considered to be different for the purposes of deduplication.

Definition at line 357 of file BugReporter.h.

Referenced by getUniqueingLocation().


The documentation for this class was generated from the following files: