Struct VarFacts 

pub struct VarFacts {
    pub single_def: bool,
    pub single_use: bool,
    pub bool_valued: bool,
}

单个局部变量的事实集（全部缺省 false = 未知/不成立）。

Fields

single_def: bool

源码外无隐藏写，可见写恰为一次（单一定义）。

single_use: bool

读点恰为一次（前端权威计数）。

bool_valued: bool

静态类型为原始 boolean（寄存器复用 demux 的真值）。

Trait Implementations

impl Clone for VarFacts

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for VarFacts

impl Debug for VarFacts

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for VarFacts

fn default() -> Self

Returns the “default value” for a type.

impl Eq for VarFacts

impl PartialEq for VarFacts

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for VarFacts