add tests for null error case

vimeo · Mar 16, 2024 · bb40f12 · bb40f12
1 parent 83b6c98
commit bb40f12
Showing 1 changed file with 16 additions and 0 deletions.
diff --git a/tests/BinaryOperationTest.php b/tests/BinaryOperationTest.php
@@ -1327,6 +1327,22 @@ function foo(string $s1, string $s2): string {
                     }',
                 'error_message' => 'PossiblyInvalidOperand',
             ],
+            'greaterEqualIntNull' => [
+                'code' => '<?php
+                    $a = $a = rand(0, 1) > 0 ? rand(0) : null;
+                    if ($a >= 0) {
+                        echo "can be null";
+                    }',
+                'error_message' => 'PossiblyInvalidOperand',
+            ],
+            'smallerIntNull' => [
+                'code' => '<?php
+                    $a = $a = rand(0, 1) > 0 ? rand(0) : null;
+                    if ($a < rand(0)) {
+                        echo "can be null";
+                    }',
+                'error_message' => 'PossiblyInvalidOperand',
+            ],
         ];
     }
 }