size and error in $_FILES more specific

vimeo · Oct 10, 2022 · 1e6019d · 1e6019d
1 parent fa53050
commit 1e6019d
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/Psalm/Internal/Analyzer/Statements/Expression/Fetch/VariableFetchAnalyzer.php b/src/Psalm/Internal/Analyzer/Statements/Expression/Fetch/VariableFetchAnalyzer.php
@@ -746,15 +746,15 @@ public static function getGlobalType(string $var_id, int $codebase_analysis_php_
                     new TNonEmptyList(Type::getString()),
                 ]),
                 'size' => new Union([
-                    new TInt(),
+                    new TIntRange(0, null),
                     new TNonEmptyList(Type::getInt()),
                 ]),
                 'tmp_name' => new Union([
                     new TString(),
                     new TNonEmptyList(Type::getString()),
                 ]),
                 'error' => new Union([
-                    new TInt(),
+                    new TIntRange(0, 8),
                     new TNonEmptyList(Type::getInt()),
                 ]),
             ];