Struct ObjectCondBranch 

pub struct ObjectCondBranch {
    pub pc: u32,
    pub wasm_op_index: Option<usize>,
    pub instruction_offset: Option<u32>,
    pub resolved: bool,
    pub origin: Option<String>,
    pub note: Option<String>,
}

One object-level conditional branch, and whether it reconciled to a covered source condition. This is the (a)-clause carrier: derived from the REAL object-branch side-table, so a branch synth emitted that no covered source op explains shows up here with resolved: false (surfaced, not hidden).

Fields

pc: u32

Function-relative machine offset of the conditional branch.

wasm_op_index: Option<usize>

The wasm op index this branch traces back to (via line_map), if any.

instruction_offset: Option<u32>

Absolute wasm byte offset of that source op, if resolvable.

resolved: bool

True iff this branch resolves to a covered source condition (br_if / br_table / if). False = a compiler-introduced object branch — surfaced not hidden, and carrying origin when its introducing op family is in the verified classification (#944).

origin: Option<String>

#944: machine-readable origin for a compiler-introduced branch (resolved: false), derived from the source op the branch’s encode-time line_map entry traces to — never guessed. None for a resolved branch, and for an introduced branch whose op family is not in the verified map (declared-unattributed; the gate pins that count). Additive field: absent on the wire when None, so pre-#944 consumers are unaffected.

note: Option<String>

Human note when resolved is false.

Trait Implementations

impl Clone for ObjectCondBranch

fn clone(&self) -> ObjectCondBranch

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ObjectCondBranch

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ObjectCondBranch

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for ObjectCondBranch

impl PartialEq for ObjectCondBranch

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for ObjectCondBranch

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for ObjectCondBranch