improvement(semantic/cfg): CFG API for detecting conditional paths.

crates/oxc_semantic/src/control_flow/mod.rs

@@ -214,6 +214,18 @@ impl ControlFlowGraph {
         })
         .is_err()
     }
+
+    pub fn has_conditional_path(&self, from: BasicBlockId, to: BasicBlockId) -> bool {
+        let graph = &self.graph;
+        // All nodes should be able to reach the `to` node, Otherwise we have a conditional/branching flow.
+        petgraph::algo::dijkstra(graph, from, Some(to), |e| match e.weight() {
+            EdgeType::NewFunction => 1,
+            EdgeType::Jump | EdgeType::Unreachable | EdgeType::Backedge | EdgeType::Normal => 0,
+        })
+        .into_iter()
+        .filter(|(_, val)| *val == 0)
+        .any(|(f, _)| !self.is_reachabale(f, to))
+    }
 }
 
 pub struct PreservedExpressionState {