run-dataflow-analysis ( cfg dfa -- in-sets out-sets )


Vocabulary
compiler.cfg.dataflow-analysis.private

Inputs
cfga cfg
dfaa dataflow analysis symbol


Outputs
in-setsinputs
out-setsoutputs


Word description
Runs the given dataflow analysis on the cfg.

Definition