improvement(semantic/cfg): better break and continue flow.

crates/oxc_linter/src/rules/eslint/getter_return.rs

@@ -184,7 +184,7 @@ impl GetterReturn {
             &cfg.graph,
             node.cfg_id(),
             &|edge| match edge {
-                EdgeType::Normal => None,
+                EdgeType::Jump | EdgeType::Normal => None,
                 // We don't need to handle backedges because we would have already visited
                 // them on the forward pass
                 | EdgeType::Backedge
@@ -269,6 +269,7 @@ impl GetterReturn {
                         }
                         // Ignore irrelevant elements.
                         | InstructionKind::Break(_)
+                        | InstructionKind::Continue(_)
                         | InstructionKind::Statement => {}
                     }
                 }

crates/oxc_linter/src/rules/eslint/no_this_before_super.rs

@@ -103,7 +103,7 @@ impl Rule for NoThisBeforeSuper {
                 &cfg.graph,
                 node.cfg_id(),
                 &|edge| match edge {
-                    EdgeType::Normal => None,
+                    EdgeType::Jump | EdgeType::Normal => None,
                     EdgeType::Unreachable | EdgeType::Backedge | EdgeType::NewFunction => {
                         Some(DefinitelyCallsThisBeforeSuper::No)
                     }

crates/oxc_linter/src/rules/react/require_render_return.rs

@@ -98,7 +98,7 @@ fn contains_return_statement<'a>(node: &AstNode<'a>, ctx: &LintContext<'a>) -> b
         node.cfg_id(),
         &|edge| match edge {
             // We only care about normal edges having a return statement.
-            EdgeType::Normal => None,
+            EdgeType::Jump | EdgeType::Normal => None,
             // For these two type, we flag it as not found.
             EdgeType::Unreachable | EdgeType::NewFunction | EdgeType::Backedge => {
                 Some(FoundReturn::No)
@@ -122,6 +122,7 @@ fn contains_return_statement<'a>(node: &AstNode<'a>, ctx: &LintContext<'a>) -> b
                     }
                     InstructionKind::Return(ReturnInstructionKind::ImplicitUndefined)
                     | InstructionKind::Break(_)
+                    | InstructionKind::Continue(_)
                     | InstructionKind::Statement => {}
                 }
             }

crates/oxc_linter/src/rules/react/rules_of_hooks.rs

@@ -286,7 +286,7 @@ impl RulesOfHooks {
         // All nodes should be reachable from our hook, Otherwise we have a conditional/branching flow.
         petgraph::algo::dijkstra(graph, func_cfg_id, Some(node_cfg_id), |e| match e.weight() {
             EdgeType::NewFunction => 1,
-            EdgeType::Unreachable | EdgeType::Backedge | EdgeType::Normal => 0,
+            EdgeType::Jump | EdgeType::Unreachable | EdgeType::Backedge | EdgeType::Normal => 0,
         })
         .into_iter()
         .filter(|(_, val)| *val == 0)
@@ -305,7 +305,7 @@ impl RulesOfHooks {
             &cfg.graph,
             func_cfg_id,
             &|e| match e {
-                EdgeType::Normal => None,
+                EdgeType::Jump | EdgeType::Normal => None,
                 EdgeType::Unreachable | EdgeType::Backedge | EdgeType::NewFunction => {
                     Some(State::default())
                 }
@@ -324,7 +324,9 @@ impl RulesOfHooks {
                         InstructionKind::Unreachable
                         | InstructionKind::Throw
                         | InstructionKind::Return(_) => FoldWhile::Continue((acc.0, false)),
-                        InstructionKind::Statement => FoldWhile::Continue(acc),
+                        InstructionKind::Statement | InstructionKind::Continue(_) => {
+                            FoldWhile::Continue(acc)
+                        }
                     })
                     .into_inner();
 

crates/oxc_semantic/Cargo.toml

@@ -32,6 +32,7 @@ rustc-hash = { workspace = true }
 serde      = { workspace = true, features = ["derive"], optional = true }
 petgraph   = { workspace = true }
 itertools  = { workspace = true }
+bitflags   = { workspace = true }
 
 tsify        = { workspace = true, optional = true }
 wasm-bindgen = { workspace = true, optional = true }