[BUG] Throw exception via method causes missing coverage

[manuel-rw]

Describe the bug After throwing an exception via a method the method ending } is not being marked as covered.

To Reproduce

    public static void EnsureNull(int? value)
    {
        if (!value.HasValue)
        {
            return;
        }

        CustomException.Throw(value.Value);
    }

https://github.com/meggima/coverlet-reproductions/pull/5

Expected behavior All four lines are fully covered.

Actual behavior Last line is marked as not covered:

Configuration (please complete the following information): Please provide more information on your .NET configuration:

• Which coverlet package and version was used? coverlet.msbuild 3.1.2 (also tried coverlet.msbuild 6.0.)
• Which version of .NET is the code running on? .net 6
• What OS and version, and what distro if applicable? Windows 10, 22H2
• What is the architecture (x64, x86, ARM, ARM64)? x64
• Do you know whether it is specific to that configuration? not specific

Additional context Add any other context about the problem here.

:exclamation: Please also read Known Issues

[daveMueller]

Sorry for the late response. Even tho' you marked your Throw method with the DoesNotReturnAttribute, you still need to tell coverlet that statements after this method call should be excluded from coverage (methods-that-do-not-return).

Thus you just need to add this parameter to your test execution:

/p:DoesNotReturnAttribute="DoesNotReturnAttribute"

The complete call in your repro then will look like this:

dotnet test .\CoverletReproductions.sln --no-build --no-restore --configuration release --logger:trx -v minimal /p:DoesNotReturnAttribute="DoesNotReturnAttribute" /p:CollectCoverage=true /p:CoverletOutputFormat=opencover

which results in a 100% coverage.

[daveMueller]

I will close this as it is as-design and a duplicate of this #1265. @manuel-rw feel free to reopen if it doesn't help.