jlm::llvm::aa::EscapeFlagConstraint Class Reference

#include <PointerObjectSet.hpp>

Public Member Functions
	EscapeFlagConstraint ()=delete

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

Detailed Description

Helper class representing the global constraint: For all PointerObjects x marked as PointeesEscaping, all pointees in P(x) are escaping

Definition at line 803 of file PointerObjectSet.hpp.

Constructor & Destructor Documentation

EscapeFlagConstraint()

jlm::llvm::aa::EscapeFlagConstraint::EscapeFlagConstraint ( )

delete

Member Function Documentation

PropagateEscapedFlagsDirectly()

bool jlm::llvm::aa::EscapeFlagConstraint::PropagateEscapedFlagsDirectly ( 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 796 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