Skip to content

Handle zero-Sierra variables #130

Open
Open

Description

@integraledelebesgue

Sometimes, especially in simple functions, we have assignments that produce no Sierra statements. For example, the function:

fn foo(x: felt252) -> felt252 {
    let y = x;
    0 
}

has Sierra:

f1:
drop<felt252>([0]);
const_as_immediate<felt252, 0>() -> [1];
return([1]);

the binding is not hittable and y does not exist in Sierra, which makes y impossible to show

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    Projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions