update-out-set ( bb in-sets out-sets dfa -- ? )

Vocabulary

compiler.cfg.dataflow-analysis.private

Inputs

bb	an object
in-sets	an object
out-sets	an object
dfa	an object

Outputs

?

an object

Definition

USING: assocs ;

IN: compiler.cfg.dataflow-analysis.private

:: update-out-set ( bb in-sets out-sets dfa -- ? )
    bb in-sets dfa compute-out-set bb out-sets maybe-set-at ;
    inline