From a441bef349e751652ca84d0bf2b6a4e92a61a192 Mon Sep 17 00:00:00 2001
From: Matthew Brown <github@muglug.com>
Date: Tue, 30 Aug 2016 00:04:54 -0400
Subject: [PATCH] Add more tests for switch fallthrough

---
 tests/ScopeTest.php | 48 +++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 48 insertions(+)

diff --git a/tests/ScopeTest.php b/tests/ScopeTest.php
index f0bb2ca01..b4cf4f518 100644
--- a/tests/ScopeTest.php
+++ b/tests/ScopeTest.php
@@ -195,6 +195,54 @@ class ScopeTest extends PHPUnit_Framework_TestCase
         $file_checker->check();
     }
 
+    public function testSwitchVariableWithFallthrough()
+    {
+        $stmts = self::$_parser->parse('<?php
+        foreach ([\'a\', \'b\', \'c\'] as $letter) {
+            switch ($letter) {
+                case \'a\':
+                case \'b\':
+                    $foo = 2;
+                    break;
+
+                default:
+                    $foo = 3;
+                    break;
+            }
+
+            $moo = $foo;
+        }
+        ');
+
+        $file_checker = new \Psalm\Checker\FileChecker('somefile.php', $stmts);
+        $file_checker->check();
+    }
+
+    public function testSwitchVariableWithFallthroughStatement()
+    {
+        $stmts = self::$_parser->parse('<?php
+        foreach ([\'a\', \'b\', \'c\'] as $letter) {
+            switch ($letter) {
+                case \'a\':
+                    $bar = 1;
+
+                case \'b\':
+                    $foo = 2;
+                    break;
+
+                default:
+                    $foo = 3;
+                    break;
+            }
+
+            $moo = $foo;
+        }
+        ');
+
+        $file_checker = new \Psalm\Checker\FileChecker('somefile.php', $stmts);
+        $file_checker->check();
+    }
+
     public function testTryCatchVar()
     {
         $stmts = self::$_parser->parse('<?php