Struct CppTemporaryFreeCallIndex 

pub struct CppTemporaryFreeCallIndex<'a> { /* private fields */ }

The per-file index answering whether a call expression provably materializes no automatic object that needs destruction.

Implementations

impl<'a> CppTemporaryFreeCallIndex<'a>

pub fn build(source: &'a str, root: Node<'a>) -> Self

Build the index from a parsed C++ translation unit.

pub fn visited_nodes(&self) -> usize

Named nodes visited while building, for lowering work accounting.

pub fn call_is_provably_temporary_free(&self, call: Node<'_>) -> bool

Whether call provably materializes no automatic object that needs destruction: the callee is one exact, unshadowed, non-template local free function whose return and parameter types are provably trivially destructible, and every argument is a trivially shaped expression. Nested call arguments are accepted here because the caller’s scan classifies each nested call expression on its own.