#include <llvmexpr/analysis/passes/StaticAllocReachabilityPass.hpp>

Inheritance diagram for analysis::StaticAllocReachabilityPass:

[legend]

Collaboration diagram for analysis::StaticAllocReachabilityPass:

[legend]

Public Types
using	Result = StaticAllocReachabilityResult
Public Types inherited from analysis::AnalysisPass< StaticAllocReachabilityPass, StaticAllocReachabilityResult >
using	Result

Public Member Functions
const char *	getName () const override
Result	run (const std::vector< Token > &tokens, AnalysisManager &am) override
Public Member Functions inherited from analysis::Pass
	Pass ()=default
virtual	~Pass ()=default
	Pass (const Pass &)=delete
Pass &	operator= (const Pass &)=delete
	Pass (Pass &&)=delete
Pass &	operator= (Pass &&)=delete

Detailed Description

Tracks which arrays have been allocated as static (ARRAY_ALLOC_STATIC) on all paths reaching each program point. This is used by ValidationPass to detect illegal re-allocation of statically allocated arrays. Depends on: BlockAnalysisPass

Definition at line 43 of file StaticAllocReachabilityPass.hpp.

Member Typedef Documentation

◆ Result

using analysis::StaticAllocReachabilityPass::Result = StaticAllocReachabilityResult

Definition at line 47 of file StaticAllocReachabilityPass.hpp.

Member Function Documentation

◆ getName()

const char * analysis::StaticAllocReachabilityPass::getName ( ) const

inlinenodiscardoverridevirtual

Implements analysis::Pass.

Definition at line 49 of file StaticAllocReachabilityPass.hpp.

                                                       {
        return "Static Allocation Reachability Pass";
    }

◆ run()

StaticAllocReachabilityPass::Result analysis::StaticAllocReachabilityPass::run	(	const std::vector< Token > &	tokens,
		AnalysisManager &	am )

overridevirtual

Implements analysis::AnalysisPass< StaticAllocReachabilityPass, StaticAllocReachabilityResult >.

Definition at line 73 of file StaticAllocReachabilityPass.cpp.

                                                      {
    const auto& block_result = am.getResult<BlockAnalysisPass>();
    const auto& cfg_blocks = block_result.cfg_blocks;
 
    Result result;
 
    StaticAllocReachabilityAnalysis analysis;
    auto [in_sets, out_sets] = analysis.analyze(tokens, cfg_blocks);
 
    result.static_alloc_in = std::move(in_sets);
    result.static_alloc_out = std::move(out_sets);
 
    return result;
}

References analysis::AnalysisManager::getResult(), analysis::StaticAllocReachabilityResult::static_alloc_in, and analysis::StaticAllocReachabilityResult::static_alloc_out.

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

llvmexpr/analysis/passes/StaticAllocReachabilityPass.hpp
llvmexpr/analysis/passes/StaticAllocReachabilityPass.cpp