sdfg::analysis::EscapePolicy Concept Reference

Concept for policies that handle pointer usages. More...

#include <sdfg/analysis/pointer_analyzers.h>

Concept definition

template<typename P>
concept sdfg::analysis::EscapePolicy =  requires(P& p, const std::string& container, const ControlFlowNode* node, const Element* user) {
    p.on_escape(container, node, user);
}

Detailed Description

Concept for policies that handle pointer usages.

This is somewhat named inaccurately, as it is more of a "pointer direct usage"

An EscapePolicy receives notifications when a pointer-typed container is used for anything other than indirect writes. This includes using this pointer in some pointer-math symbolic expressions or passing it to any code node.