Handle re-used Sierra var IDs

For certain Sierra instructions (store_temp, store_local, dup), produced and consumed variables re-use the same IDs. For example: store_temp([0]) -> [0].

Re-used ids result in shadowing of variables. For example, in function:

fn foo(x: felt252) {
    let mut y = x;
    y += 1;
}

we show only y in Variables.

In general, this results in bugs in aliasing and re-binding.

The shadowing mainly occurs for params, which is fixed by the logic related to FunctionDebugInfo.parameters field. The broader explanation can be found here

Navigation Menu

Repository navigation

Handle re-used Sierra var IDs #129

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Handle re-used Sierra var IDs #129

Description

Activity

piotmag769 commented on Jul 24, 2026

Metadata

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Issue actions