class MPIBugReporter::RequestNodeVisitor

Declaration

class MPIBugReporter::RequestNodeVisitor : public BugReporterVisitor { /* full declaration omitted */ };

Description

Bug visitor class to find the node where the request region was previously used in order to include it into the BugReport path.

Declared at: clang/lib/StaticAnalyzer/Checkers/MPI-Checker/MPIBugReporter.h:80

Inherits from: BugReporterVisitor

Member Variables

private const clang::ento::MemRegion* const RequestRegion

private bool IsNodeFound = false

private std::string ErrorText

Method Overview

• public void Profile(llvm::FoldingSetNodeID & ID) const
• public RequestNodeVisitor(const clang::ento::MemRegion *const MemoryRegion, const std::string & ErrText)
• public clang::ento::PathDiagnosticPieceRef VisitNode(const clang::ento::ExplodedNode * N, clang::ento::BugReporterContext & BRC, clang::ento::PathSensitiveBugReport & BR)

Inherited from BugReporterVisitor:

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

Inherited from FoldingSetBase::Node:

• public SetNextInBucket
• public getNextInBucket

Methods

¶void Profile(llvm::FoldingSetNodeID& ID) const

Declared at: clang/lib/StaticAnalyzer/Checkers/MPI-Checker/MPIBugReporter.h:86

Parameters

llvm::FoldingSetNodeID& ID

¶RequestNodeVisitor(
    const clang::ento::MemRegion* const
        MemoryRegion,
    const std::string& ErrText)

Declared at: clang/lib/StaticAnalyzer/Checkers/MPI-Checker/MPIBugReporter.h:82

Parameters

const clang::ento::MemRegion* const MemoryRegion

const std::string& ErrText

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

Description

Return a diagnostic piece which should be associated with the given node. Note that this function does *not* get run on the very last node of the report, as the PathDiagnosticPiece associated with the last node should be unique. Use \ref getEndPath to customize the note associated with the report end instead. The last parameter can be used to register a new visitor with the given BugReport while processing a node.

Declared at: clang/lib/StaticAnalyzer/Checkers/MPI-Checker/MPIBugReporter.h:92

Parameters

const clang::ento::ExplodedNode* N

clang::ento::BugReporterContext& BRC

clang::ento::PathSensitiveBugReport& BR