Optimize int-mask type handling with new TIntMaskVerifier to reduce memory usage

config.xsd

@@ -31,6 +31,7 @@
         <xs:attribute name="errorBaseline" type="xs:string" />
         <xs:attribute name="maxStringLength" type="xs:string" />
         <xs:attribute name="maxShapedArraySize" type="xs:integer" default="100" />
+        <xs:attribute name="maxIntMaskCombinations" type="xs:integer" default="10" />
         <xs:attribute name="longScanWarning" type="xs:float" default="10.0" />
         <xs:attribute name="name" type="xs:string" />
         <xs:attribute name="phpVersion" type="xs:string" />

docs/running_psalm/configuration.md

@@ -549,6 +549,17 @@ Arrays bigger than this value (100 by default) will be transformed in a generic
 
 Please note that changing this setting might introduce unwanted side effects and those side effects won't be considered as bugs.
 
+#### maxIntMaskCombinations
+```xml
+<psalm
+  maxIntMaskCombinations="10"
+>
+```
+
+This setting controls the maximum number of integer mask combinations that Psalm will process when analyzing bitwise operations with `TIntMaskVerifier` types. When the number of potential combinations exceeds this limit, Psalm will fall back to using a more generic type to avoid performance issues.
+
+The default value is 10. Increasing this value may provide more precise type analysis for complex bitwise operations but could negatively impact performance.
+
 #### longScanWarning
 ```xml
 <psalm

src/Psalm/Config.php

@@ -464,6 +464,8 @@ final class Config
 
     public int $max_string_length = 1_000;
 
+    public int $max_int_mask_combinations = 10;
+
     private ?IncludeCollector $include_collector = null;
 
     private ?TaintAnalysisFileFilter $taint_analysis_ignored_files = null;
@@ -1201,6 +1203,11 @@ private static function fromXmlAndPaths(
             $config->max_shaped_array_size = $attribute_text;
         }
 
+        if (isset($config_xml['maxIntMaskCombinations'])) {
+            $attribute_text = (int)$config_xml['maxIntMaskCombinations'];
+            $config->max_int_mask_combinations = $attribute_text;
+        }
+
         if (isset($config_xml['longScanWarning'])) {
             $attribute_text = (float)$config_xml['longScanWarning'];
             $config->long_scan_warning = $attribute_text;

src/Psalm/Internal/Analyzer/Statements/Expression/BinaryOp/ArithmeticOpAnalyzer.php

@@ -33,6 +33,7 @@
 use Psalm\Type\Atomic\TFalse;
 use Psalm\Type\Atomic\TFloat;
 use Psalm\Type\Atomic\TInt;
+use Psalm\Type\Atomic\TIntMaskVerifier;
 use Psalm\Type\Atomic\TIntRange;
 use Psalm\Type\Atomic\TKeyedArray;
 use Psalm\Type\Atomic\TLiteralFloat;
@@ -310,6 +311,18 @@ private static function analyzeOperands(
         bool &$has_string_increment,
         ?Union &$result_type = null,
     ): ?Union {
+        if ($left_type_part instanceof TIntMaskVerifier || $right_type_part instanceof TIntMaskVerifier) {
+            return TIntMaskVerifierAnalyzer::analyze(
+                $parent,
+                $left_type_part,
+                $right_type_part,
+                $has_valid_left_operand,
+                $has_valid_right_operand,
+                $result_type,
+                $config->max_int_mask_combinations,
+            );
+        }
+
         if (($left_type_part instanceof TLiteralInt || $left_type_part instanceof TLiteralFloat)
             && ($right_type_part instanceof TLiteralInt || $right_type_part instanceof TLiteralFloat)
             && (