Module cairo_lang_sierra_to_casm::environment::frame_state

Enums

FrameState

The frame state of the current function. This state keeps track of how many locals have been allocated and whether the frame has been finalized.

FrameStateError

Functions

handle_alloc_local

Returns the offset of the newly allocated variable and the new frame state.

handle_finalize_locals

Returns the number of slots that were allocated for locals and the new frame state.

validate_final_frame_state

Validates that the state at the end of a function is valid.