jlm::llvm::aa::EscapedFunctionConstraint Class Reference

#include <PointerObjectSet.hpp>

Public Member Functions
	EscapedFunctionConstraint ()=delete

Static Public Member Functions
static bool	PropagateEscapedFunctionsDirectly (PointerObjectSet &set)

Detailed Description

Helper class representing the global constraint: For each function x marked as escaped, all parameters point to external, and all results escape Parameters and results that do not have PointerObjects corresponding to them are ignored.

Definition at line 822 of file PointerObjectSet.hpp.

Constructor & Destructor Documentation

EscapedFunctionConstraint()

jlm::llvm::aa::EscapedFunctionConstraint::EscapedFunctionConstraint ( )

delete

Member Function Documentation

PropagateEscapedFunctionsDirectly()

bool jlm::llvm::aa::EscapedFunctionConstraint::PropagateEscapedFunctionsDirectly ( PointerObjectSet &  set )

static

Performs the minimum set of changes required to satisfy the constraint.

Parameters

set	the PointerObjectSet representing this module

Returns

true if the function modified any flags

Definition at line 913 of file PointerObjectSet.cpp.

---

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

• jlm/llvm/opt/alias-analyses/PointerObjectSet.hpp
• jlm/llvm/opt/alias-analyses/PointerObjectSet.cpp