Function cfgFindAllReachable

cfgFindAllReachable(cfg: ControlFlowInformation): Set<NodeId>
Uses visitCfgInOrder to find all nodes that are reachable from the control flow graph's ControlFlowInformation.entryPoints and returns them as a set.
Parameters
- cfg: ControlFlowInformation
  The control flow graph whose reachable nodes to find.
Returns Set<NodeId>
- Defined in src/control-flow/cfg-simplification.ts:81