[CFG] Initial for Foreach

src/ControlFlow/ControlFlowGraph.php

@@ -83,6 +83,9 @@ protected function passNodes(array $nodes, Block $block)
                 case \PhpParser\Node\Stmt\Return_::class:
                     $block = $this->passReturn($stmt, $block);
                     break;
+                case \PhpParser\Node\Stmt\Foreach_::class:
+                    $block = $this->passForeach($stmt, $block);
+                    break;
                 case \PhpParser\Node\Stmt\For_::class:
                     $block = $this->passFor($stmt, $block);
                     break;
@@ -218,6 +221,32 @@ protected function passIf(\PhpParser\Node\Stmt\If_ $if, Block $block)
         return $exitBlock;
     }
 
+    /**
+     * @param \PhpParser\Node\Stmt\Foreach_ $foreach
+     * @param Block $block
+     * @return Block
+     */
+    protected function passForeach(\PhpParser\Node\Stmt\Foreach_ $foreach, Block $block)
+    {
+        $block->setExit(
+            $next = new Block($this->lastBlockId++)
+        );
+
+        $next->setExit(
+            $loop = new Block($this->lastBlockId++)
+        );
+
+        $this->passNodes($foreach->stmts, $loop);
+
+        $loop->addChildren(new Node\JumpNode($next));
+
+        $loop->setExit(
+            $after = new Block($this->lastBlockId++)
+        );
+
+        return $after;
+    }
+
     /**
      * @param \PhpParser\Node\Stmt\For_ $for
      * @param Block $block