value-flow-forget ( values state -- )

Vocabulary

compiler.cfg.register-allocation.verifier

Inputs

values	an object
state	an object

Outputs

None

Definition

USING: assocs sequences sets ;

IN: compiler.cfg.register-allocation.verifier

:: value-flow-forget ( values state -- )
    state keys [| location |
        location state at values diff location state set-at
    ] each ;