Skip to main content

scan_kill_event

Function scan_kill_event 

Source
pub fn scan_kill_event<L: Lang>(
    lang: &L,
    node: L::Id,
    name: &str,
    dominating: bool,
) -> StmtKill<L::Id>
Expand description

扫描一个节点在 name 上的事件。 dominating:当前子树是否在必经路径上(If/While 的 cond、Ternary 的 cond、For 的 init/cond、非短路二元两侧 = true;分支体/循环体 = false)。

语言侧若提供语句级预计算索引(Lang::stmt_kill_event),调用方 应优先查询;本函数是未索引节点的回退路径。