Process do-while loop condition even if the loop always terminates

src/Analyser/NodeScopeResolver.php

@@ -983,6 +983,8 @@ private function processStmtNode(
 				$hasYield = $condResult->hasYield();
 				$throwPoints = $condResult->getThrowPoints();
 				$finalScope = $condResult->getFalseyScope();
+			} else {
+				$this->processExprNode($stmt->cond, $bodyScope, $nodeCallback, ExpressionContext::createDeep());
 			}
 			foreach ($bodyScopeResult->getExitPointsByType(Break_::class) as $breakExitPoint) {
 				$finalScope = $breakExitPoint->getScope()->mergeWith($finalScope);

tests/PHPStan/Rules/DeadCode/data/unused-private-constant.php

@@ -22,3 +22,25 @@ class TestExtension
 
 	private const UNUSED = 2;
 }
+
+
+final class P
+{
+
+	private const JSON_OBJECT_START = 17;
+	private const JSON_OBJECT_END   = 18;
+
+	public function ignoreObjectBlock(): void
+	{
+		do {
+			$code = doFoo();
+
+			// recursively ignore nested objects
+			if ($code !== self::JSON_OBJECT_START) {
+				continue;
+			}
+
+			$this->ignoreObjectBlock();
+		} while ($code !== self::JSON_OBJECT_END);
+	}
+}