live-location ( state insn -- state' )


Vocabulary
compiler.cfg.stacks.padding

Inputs
statean object
insnan object


Outputs
state'an object


Definition