Merge pull request #7070 from ricardoboss/issue-6968-php-int-max-isnt…

…-positive Fix #6968: PHP_INT_MAX isn't positive
vimeo · Dec 5, 2021 · 09bcdb0 · 09bcdb0
2 parents eb4e9de + c35d294
commit 09bcdb0
Showing 1 changed file with 5 additions and 3 deletions.
diff --git a/src/Psalm/Internal/Analyzer/Statements/Expression/Fetch/ConstFetchAnalyzer.php b/src/Psalm/Internal/Analyzer/Statements/Expression/Fetch/ConstFetchAnalyzer.php
@@ -164,13 +164,15 @@ public static function getGlobalConstType(
                 case 'PHP_RELEASE_VERSION':
                 case 'PHP_DEBUG':
                 case 'PHP_FLOAT_DIG':
-                case 'PHP_INT_MAX':
                 case 'PHP_INT_MIN':
+                case 'PHP_ZTS':
+                    return Type::getInt();
+
+                case 'PHP_INT_MAX':
                 case 'PHP_INT_SIZE':
                 case 'PHP_MAXPATHLEN':
                 case 'PHP_VERSION_ID':
-                case 'PHP_ZTS':
-                    return Type::getInt();
+                    return Type::getPositiveInt();
 
                 case 'PHP_FLOAT_EPSILON':
                 case 'PHP_FLOAT_MAX':