class PRValueHandler

Declaration

class PRValueHandler : public ExpressionHandler { /* full declaration omitted */ };

Description

Attempts to add visitors to track an RValue expression back to its point of origin.

Declared at: clang/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp:2384

Inherits from: ExpressionHandler

Member Variables

Method Overview

  • public Tracker::Result handle(const clang::Expr * E, const clang::ento::ExplodedNode * InputNode, const clang::ento::ExplodedNode * ExprNode, clang::ento::bugreporter::TrackingOptions Opts)

Inherited from ExpressionHandler:

Methods

ΒΆTracker::Result handle(
    const clang::Expr* E,
    const clang::ento::ExplodedNode* InputNode,
    const clang::ento::ExplodedNode* ExprNode,
    clang::ento::bugreporter::TrackingOptions
        Opts)

Description

Handle the given expression from the given node.

Declared at: clang/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp:2388

Parameters

const clang::Expr* E
The expression value which we are tracking
const clang::ento::ExplodedNode* InputNode
const clang::ento::ExplodedNode* ExprNode
A node where the evaluation of \c E actually happens.
clang::ento::bugreporter::TrackingOptions Opts
Tracking options specifying how we are tracking the value.