Merge branch '12.5'

* 12.5:
  Closes #1150

Author: sebastianbergmann

ChangeLog-14.1.md

@@ -2,6 +2,12 @@
 
 All notable changes are documented in this file using the [Keep a CHANGELOG](http://keepachangelog.com/) principles.
 
+## [14.1.2] - 2026-MM-DD
+
+### Fixed
+
+* [#1150](https://github.com/sebastianbergmann/php-code-coverage/issues/1150): Abstract method declarations are incorrectly counted as executable lines
+
 ## [14.1.1] - 2026-04-13
 
 ### Fixed
@@ -22,5 +28,6 @@ All notable changes are documented in this file using the [Keep a CHANGELOG](htt
 
 * [#1147](https://github.com/sebastianbergmann/php-code-coverage/pull/1147): `CoversClass` does not transitively target traits used by enumerations
 
+[14.1.2]: https://github.com/sebastianbergmann/php-code-coverage/compare/14.1.1...main
 [14.1.1]: https://github.com/sebastianbergmann/php-code-coverage/compare/14.1.0...14.1.1
 [14.1.0]: https://github.com/sebastianbergmann/php-code-coverage/compare/14.0.0...14.1.0

src/StaticAnalysis/Visitor/ExecutableLinesFindingVisitor.php

@@ -144,6 +144,10 @@ public function enterNode(Node $node): null
             $node instanceof Node\Stmt\ClassMethod ||
             $node instanceof Node\Expr\Closure ||
             $node instanceof Node\Stmt\Trait_) {
+            if ($node instanceof Node\Stmt\ClassMethod && $node->isAbstract()) {
+                return null;
+            }
+
             if ($node instanceof Node\Stmt\Function_ || $node instanceof Node\Stmt\ClassMethod) {
                 $unsets = [];
 

tests/_files/source_with_abstract_method.php

@@ -5,7 +5,10 @@ abstract class ClassWithAbstractMethod
 {
     abstract public function abstractMethod(): void;
 
+    abstract protected function anotherAbstractMethod(): void;
+
     public function concreteMethod(): void
     {
+        echo 'x';
     }
 }

tests/tests/StaticAnalysis/Visitor/ExecutableLinesFindingVisitorTest.php

@@ -77,6 +77,26 @@ public function testEmptyForLoopIsProcessedCorrectly(): void
         $this->assertNotEmpty($result);
     }
 
+    #[Ticket('https://github.com/sebastianbergmann/phpunit/issues/6442')]
+    public function testAbstractMethodDeclarationsAreNotExecutable(): void
+    {
+        $source                        = file_get_contents(__DIR__ . '/../../../_files/source_with_abstract_method.php');
+        $parser                        = (new ParserFactory)->createForHostVersion();
+        $nodes                         = $parser->parse($source);
+        $executableLinesFindingVisitor = new ExecutableLinesFindingVisitor($source);
+
+        $traverser = new NodeTraverser;
+        $traverser->addVisitor($executableLinesFindingVisitor);
+        $traverser->traverse($nodes);
+
+        $executableLines = $executableLinesFindingVisitor->executableLinesGroupedByBranch();
+
+        $this->assertArrayNotHasKey(6, $executableLines);
+        $this->assertArrayNotHasKey(8, $executableLines);
+
+        $this->assertArrayHasKey(12, $executableLines);
+    }
+
     #[Ticket('https://github.com/sebastianbergmann/php-code-coverage/issues/967')]
     public function testMatchArmsAreProcessedCorrectly(): void
     {