Do not report do-while-false loops that are interrupted by a break statement

Author: claudepache

src/Rules/Comparison/DoWhileLoopConstantConditionRule.php

@@ -65,6 +65,13 @@ public function processNode(Node $node, Scope $scope): array
 						return [];
 					}
 				}
+			} else {
+				foreach ($node->getExitPoints() as $exitPoint) {
+					$statement = $exitPoint->getStatement();
+					if ($statement instanceof Break_) {
+						return [];
+					}
+				}
 			}
 
 			$addTip = function (RuleErrorBuilder $ruleErrorBuilder) use ($scope, $node): RuleErrorBuilder {

tests/PHPStan/Rules/Comparison/DoWhileLoopConstantConditionRuleTest.php

@@ -43,10 +43,6 @@ public function testRule(): void
 				'Do-while loop condition is always false.',
 				46,
 			],
-			[
-				'Do-while loop condition is always false.',
-				55,
-			],
 			[
 				'Do-while loop condition is always true.',
 				64,
@@ -55,6 +51,14 @@ public function testRule(): void
 				'Do-while loop condition is always false.',
 				73,
 			],
+			[
+				'Do-while loop condition is always false.',
+				105,
+			],
+			[
+				'Do-while loop condition is always false.',
+				115,
+			],
 		]);
 	}
 

tests/PHPStan/Rules/Comparison/data/do-while-loop.php

@@ -52,7 +52,7 @@ public function doBar3()
 			if (rand(0, 1)) {
 				break;
 			}
-		} while (false); // report
+		} while (false); // do not report
 	}
 
 	public function doFoo4()
@@ -95,4 +95,33 @@ public function doFoo6(array $a)
 		}
 	}
 
+	public function doFoo8(array $a)
+	{
+		foreach ($a as $v) {
+			do {
+				if (rand(0, 1)) {
+					continue 2;
+				}
+			} while (false); // report
+		}
+	}
+
+	public function doFoo9(array $a)
+	{
+		do {
+			foreach ($a as $v) {
+				break;
+			}
+		} while (false); // report
+	}
+
+	public function doFoo10(array $a)
+	{
+		do {
+			foreach ($a as $v) {
+				break 2;
+			}
+		} while (false); // do not report
+	}
+
 }