class InlinedFunctionCallHandler

Declaration

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

Description

Adds a ReturnVisitor if the given statement represents a call that was inlined. This will search back through the ExplodedGraph, starting from the given node, looking for when the given statement was processed. If it turns out the statement is a call that was inlined, we add the visitor to the bug report, so it can print a note later.

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

Inherits from: ExpressionHandler

Member Variables

Method Overview

  • private 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:2241

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.