RFR: 7903842: Negative coverage in report for records

[Alexandre Iline]

On Fri, 20 Dec 2024 19:56:01 GMT, Leonid Kuskov <lkuskov at openjdk.org> wrote:

>> The Javap report had several issues marked in the picture below, which have been fixed:
>> ![defectReport](https://github.com/user-attachments/assets/b8de7fc9-c59b-41f9-8300-700a1e24b533)
>> The expected report is:
>> ![fixedReport](https://github.com/user-attachments/assets/e7aa1ef4-3bed-46d8-80eb-a6e2c87a6da2)
>
> The term 'code line' (line of 4.7.3. The Code Attribute) or the simplified 'line' is intuitively clear and sufficient to be used there. All lines that can't be covered in the javap report don't have green or red markings like comment lines in Java sources and are clearly excluded from the meaning of covered/non-covered.

Also created https://bugs.openjdk.org/browse/CODETOOLS-7903939 so it is not forgotten. @lkuskov

-------------

PR Comment: https://git.openjdk.org/jcov/pull/48#issuecomment-2610789099