Add tests

Author: VincentLanglet

tests/PHPStan/Analyser/data/bug-8803.php

@@ -11,6 +11,9 @@ public function sayHello(): void
 		$from = new \DateTimeImmutable('2023-01-30');
 		for ($offset = 1; $offset <= 14; $offset++) {
 			$value = $from->format('N') + $offset;
+			if ($value > 7) {
+			}
+
 			$value2 = $offset + $from->format('N');
 			$value3 = '1e3' + $offset;
 			$value4 = $offset + '1e3';

tests/PHPStan/Rules/Comparison/NumberComparisonOperatorsConstantConditionRuleTest.php

@@ -207,6 +207,12 @@ public function testBug7075(): void
 		$this->analyse([__DIR__ . '/data/bug-7075.php'], []);
 	}
 
+	public function testBug8803(): void
+	{
+		$this->treatPhpDocTypesAsCertain = true;
+		$this->analyse([__DIR__ . '/../../Analyser/data/bug-8803.php'], []);
+	}
+
 	public function testBug8938(): void
 	{
 		$this->treatPhpDocTypesAsCertain = true;

tests/PHPStan/Rules/Operators/InvalidBinaryOperationRuleTest.php

@@ -259,6 +259,11 @@ public function testBug3515(): void
 		$this->analyse([__DIR__ . '/data/bug-3515.php'], []);
 	}
 
+	public function testBug8827(): void
+	{
+		$this->analyse([__DIR__ . '/../../Analyser/data/bug-8827.php'], []);
+	}
+
 	public function testRuleWithNullsafeVariant(): void
 	{
 		if (PHP_VERSION_ID < 80000) {