Invalidate filesize

Author: VincentLanglet

src/Analyser/NodeScopeResolver.php

@@ -2398,8 +2398,10 @@ static function (): void {
 				&& $functionReflection->getName() === 'file_put_contents'
 				&& count($expr->getArgs()) > 0
 			) {
-				$scope = $scope->invalidateExpression(new FuncCall(new Name('file_get_contents'), [$expr->getArgs()[0]]))
-					->invalidateExpression(new FuncCall(new Name\FullyQualified('file_get_contents'), [$expr->getArgs()[0]]));
+				foreach (['file_get_contents', 'filesize'] as $functionToInvalidate) {
+					$scope = $scope->invalidateExpression(new FuncCall(new Name($functionToInvalidate), [$expr->getArgs()[0]]))
+						->invalidateExpression(new FuncCall(new Name\FullyQualified($functionToInvalidate), [$expr->getArgs()[0]]));
+				}
 			}
 
 			if (

tests/PHPStan/Rules/Comparison/NumberComparisonOperatorsConstantConditionRuleTest.php

@@ -231,4 +231,9 @@ public function testBug6467(): void
 		$this->analyse([__DIR__ . '/data/bug-6467.php'], []);
 	}
 
+	public function testBug11484(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-11484.php'], []);
+	}
+
 }

tests/PHPStan/Rules/Comparison/data/bug-11484.php

@@ -0,0 +1,17 @@
+<?php declare(strict_types = 1);
+
+namespace Bug11484;
+
+class HelloWorld
+{
+	public function sayHello(): void
+	{
+		if (filesize("file.txt") > 100) {
+			file_put_contents("file.txt", str_repeat('aaaaaaa', rand(1,100)));
+			if (filesize("file.txt") > 50) {
+
+			}
+		}
+
+	}
+}