Closes #1150

Author: sebastianbergmann

ChangeLog-12.5.md

@@ -2,6 +2,12 @@
 
 All notable changes are documented in this file using the [Keep a CHANGELOG](http://keepachangelog.com/) principles.
 
+## [12.5.6] - 2026-MM-DD
+
+### Fixed
+
+* [#1150](https://github.com/sebastianbergmann/php-code-coverage/issues/1150): Abstract method declarations are incorrectly counted as executable lines
+
 ## [12.5.5] - 2026-04-13
 
 ### Fixed
@@ -47,6 +53,7 @@ All notable changes are documented in this file using the [Keep a CHANGELOG](htt
 * [#1126](https://github.com/sebastianbergmann/php-code-coverage/issues/1126): Add test execution time to `<test>` elements under `projects/tests` in the XML reports index file
 * [#1127](https://github.com/sebastianbergmann/php-code-coverage/issues/1127): Add SHA-1 hash of content of SUT source file to XML report
 
+[12.5.6]: https://github.com/sebastianbergmann/php-code-coverage/compare/12.5.5...12.5
 [12.5.5]: https://github.com/sebastianbergmann/php-code-coverage/compare/12.5.4...12.5.5
 [12.5.4]: https://github.com/sebastianbergmann/php-code-coverage/compare/12.5.3...12.5.4
 [12.5.3]: https://github.com/sebastianbergmann/php-code-coverage/compare/12.5.2...12.5.3

src/StaticAnalysis/Visitor/ExecutableLinesFindingVisitor.php

@@ -142,6 +142,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

@@ -0,0 +1,14 @@
+<?php declare(strict_types=1);
+namespace SebastianBergmann\CodeCoverage\TestFixture;
+
+abstract class AbstractClassWithAbstractMethod
+{
+    abstract public function abstractMethod(): string;
+
+    abstract protected function anotherAbstractMethod(int $value): int;
+
+    public function concreteMethod(): string
+    {
+        return 'concrete';
+    }
+}

tests/tests/StaticAnalysis/Visitor/ExecutableLinesFindingVisitorTest.php

@@ -40,6 +40,26 @@ public function testExecutableLinesAreGroupedByBranchPhp82(): void
         $this->doTestSelfDescribingAssert(TEST_FILES_PATH . 'source_for_branched_exec_lines_php82.php');
     }
 
+    #[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
     {