Regression test

Author: ondrejmirtes

tests/PHPStan/Rules/Functions/CallToFunctionParametersRuleTest.php

@@ -2817,4 +2817,15 @@ public function testConstantParameterCheck(): void
 		]);
 	}
 
+	#[RequiresPhp('>= 8.0')]
+	public function testBug12850(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-12850.php'], [
+			[
+				'Constants LOCK_EX, LOCK_SH cannot be combined for parameter #2 $operation of function flock.',
+				9,
+			],
+		]);
+	}
+
 }

tests/PHPStan/Rules/Functions/data/bug-12850.php

@@ -0,0 +1,18 @@
+<?php declare(strict_types = 1);
+
+namespace Bug12850;
+
+$handle = fopen(__FILE__, 'r');
+assert($handle !== false);
+
+// exclusive group violation - LOCK_SH and LOCK_EX cannot be combined
+flock($handle, LOCK_EX|LOCK_SH);
+
+// ok - single lock type
+flock($handle, LOCK_EX);
+flock($handle, LOCK_SH);
+flock($handle, LOCK_UN);
+
+// ok - lock type with LOCK_NB modifier
+flock($handle, LOCK_EX|LOCK_NB);
+flock($handle, LOCK_SH|LOCK_NB);