Bleeding edge - More precise file() flags args

Author: staabm

resources/functionMap_bleedingEdge.php

@@ -107,6 +107,7 @@
 		'ImagickKernel::scale' => ['void', 'scale'=>'float', 'normalizeFlag'=>'Imagick::NORMALIZE_KERNEL_*'],
 		'max' => ['', '...arg1'=>'non-empty-array'],
 		'min' => ['', '...arg1'=>'non-empty-array'],
+		'file' => ['list<string>|false', 'filename'=>'string', 'flags='=>'0|FILE_USE_INCLUDE_PATH|FILE_IGNORE_NEW_LINES|FILE_SKIP_EMPTY_LINES', 'context='=>'resource'],
 	],
 	'old' => [
 

tests/PHPStan/Rules/Functions/CallToFunctionParametersRuleTest.php

@@ -1368,4 +1368,14 @@ public function testBenevolentSuperglobalKeys(): void
 		$this->analyse([__DIR__ . '/data/benevolent-superglobal-keys.php'], []);
 	}
 
+	public function testFileParams(): void
+	{
+		$this->analyse([__DIR__ . '/data/file.php'], [
+			[
+				'Parameter #2 $flags of function file expects 0|1|2|4, 8 given.',
+				16,
+			],
+		]);
+	}
+
 }

tests/PHPStan/Rules/Functions/data/file.php

@@ -0,0 +1,18 @@
+<?php
+
+namespace fileFlags;
+
+class Foo {
+	public function ok():void {
+		$lines = file('http://www.example.com/');
+		$lines1 = file('http://www.example.com/', 0);
+
+		$f1 = file(__FILE__, FILE_USE_INCLUDE_PATH);
+		$f2 = file(__FILE__, FILE_IGNORE_NEW_LINES);
+		$f3 = file(__FILE__, FILE_SKIP_EMPTY_LINES);
+	}
+
+	public function error():void {
+		$f = file(__FILE__, FILE_APPEND);
+	}
+}