class RefLeakReportVisitor

Declaration

class RefLeakReportVisitor : public RefCountReportVisitor { /* full declaration omitted */ };

Description

BugReporterVisitors are used to add custom diagnostics along a path.

Declared at: clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountDiagnostics.cpp:334

Inherits from: RefCountReportVisitor

Member Variables

private const clang::ento::MemRegion* LastBinding

Inherited from RefCountReportVisitor:

protected Sym

Method Overview

• public RefLeakReportVisitor(clang::ento::SymbolRef Sym, const clang::ento::MemRegion * LastBinding)
• public clang::ento::PathDiagnosticPieceRef getEndPath(clang::ento::BugReporterContext & BRC, const clang::ento::ExplodedNode * N, clang::ento::PathSensitiveBugReport & BR)

Inherited from RefCountReportVisitor:

• public Profile
• public VisitNode
• public getEndPath

Inherited from BugReporterVisitor:

• public Profile
• public VisitNode
• public finalizeVisitor
• public getDefaultEndPath
• public getEndPath

Inherited from FoldingSetBase::Node:

• public SetNextInBucket
• public getNextInBucket

Methods

¶RefLeakReportVisitor(
    clang::ento::SymbolRef Sym,
    const clang::ento::MemRegion* LastBinding)

Declared at: clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountDiagnostics.cpp:336

Parameters

clang::ento::SymbolRef Sym

const clang::ento::MemRegion* LastBinding

¶clang::ento::PathDiagnosticPieceRef getEndPath(
    clang::ento::BugReporterContext& BRC,
    const clang::ento::ExplodedNode* N,
    clang::ento::PathSensitiveBugReport& BR)

Description

Provide custom definition for the final diagnostic piece on the path - the piece, which is displayed before the path is expanded. NOTE that this function can be implemented on at most one used visitor, and otherwise it crahes at runtime.

Declared at: clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountDiagnostics.cpp:339

Parameters

clang::ento::BugReporterContext& BRC

const clang::ento::ExplodedNode* N

clang::ento::PathSensitiveBugReport& BR