Test switch instrumentation

n-peugnet · Aug 27, 2023 · 366df89 · 366df89
1 parent 7a5f0d8
commit 366df89
Showing 1 changed file with 22 additions and 1 deletion.
diff --git a/test/Instrumentation/InstrumentorTest.php b/test/Instrumentation/InstrumentorTest.php
@@ -38,6 +38,13 @@ function test() {
         1, 2 => $y,
         default => $z,
     };
+    switch ($x) {
+        case 1:
+        case 2:
+            $x;
+        default:
+            $x;
+    }
 }
 interface Foo {
     public function bar();
@@ -47,7 +54,7 @@ public function bar();
         $expected = <<<'CODE'
 <?php
 function test() {
-    { $___key = (\InstrumentationContext::$prevBlock << 28) | 23; \InstrumentationContext::$edges[$___key] = (\InstrumentationContext::$edges[$___key] ?? 0) + 1; \InstrumentationContext::$prevBlock = 23; $x; }
+    { $___key = (\InstrumentationContext::$prevBlock << 28) | 27; \InstrumentationContext::$edges[$___key] = (\InstrumentationContext::$edges[$___key] ?? 0) + 1; \InstrumentationContext::$prevBlock = 27; $x; }
     if ($x && \InstrumentationContext::traceBlock(1, $y)) {
         { $___key = (\InstrumentationContext::$prevBlock << 28) | 3; \InstrumentationContext::$edges[$___key] = (\InstrumentationContext::$edges[$___key] ?? 0) + 1; \InstrumentationContext::$prevBlock = 3; \InstrumentationContext::traceBlock(2, yield $x); }
     } $___key = (\InstrumentationContext::$prevBlock << 28) | 4; \InstrumentationContext::$edges[$___key] = (\InstrumentationContext::$edges[$___key] ?? 0) + 1; \InstrumentationContext::$prevBlock = 4;
@@ -73,6 +80,13 @@ function test() {
         1, 2 => \InstrumentationContext::traceBlock(21, $y),
         default => \InstrumentationContext::traceBlock(22, $z),
     };
+    switch ($x) {
+        case 1: $___key = (\InstrumentationContext::$prevBlock << 28) | 23; \InstrumentationContext::$edges[$___key] = (\InstrumentationContext::$edges[$___key] ?? 0) + 1; \InstrumentationContext::$prevBlock = 23;
+        case 2:
+            { $___key = (\InstrumentationContext::$prevBlock << 28) | 24; \InstrumentationContext::$edges[$___key] = (\InstrumentationContext::$edges[$___key] ?? 0) + 1; \InstrumentationContext::$prevBlock = 24; $x; }
+        default:
+            { $___key = (\InstrumentationContext::$prevBlock << 28) | 25; \InstrumentationContext::$edges[$___key] = (\InstrumentationContext::$edges[$___key] ?? 0) + 1; \InstrumentationContext::$prevBlock = 25; $x; }
+    } $___key = (\InstrumentationContext::$prevBlock << 28) | 26; \InstrumentationContext::$edges[$___key] = (\InstrumentationContext::$edges[$___key] ?? 0) + 1; \InstrumentationContext::$prevBlock = 26;
 }
 interface Foo {
     public function bar();
@@ -108,6 +122,13 @@ public function bar();
         1, 2 => !$y,
         default => !$z,
     };
+    switch ($x) {
+        !case 1:
+        !case 2:
+            $x;
+        !default:
+            $x;
+    !}
 }
 interface Foo {
     public function bar();