Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

coverage: Support match statements in branch coverage #130744

Open
wants to merge 16 commits into
base: master
Choose a base branch
from
Open

coverage: Support match statements in branch coverage #130744

wants to merge 16 commits into from
+868 −224

Commits on Sep 29, 2024

  1. coverage: Add another simple test for guarded match arms

    @Zalathar @ranger-ross
    Zalathar authored and ranger-ross committed Sep 29, 2024
    Configuration menu
    Copy the full SHA
    fb7e610 View commit details
    Browse the repository at this point in the history

  2. coverage: Represent branches as a list of arms 

    Within the `InstrumentCoverage` pass, we now represent branches as a list of
arms, instead of a true/false pair, until we prepare the final table of
mappings to be attached to the MIR body.

(We then flatten the list into two-way branches by treating each arm as a
branch between its success block, and the total of all later arms.)

Currently all of the branches produced by MIR building are still two-way, but
this is a step towards allowing many-way branches.
    @Zalathar @ranger-ross
    Zalathar authored and ranger-ross committed Sep 29, 2024
    Configuration menu
    Copy the full SHA
    f2d7e25 View commit details
    Browse the repository at this point in the history

  3. coverage: Represent branches as a list of arms during MIR building, too

    @Zalathar @ranger-ross
    Zalathar authored and ranger-ross committed Sep 29, 2024
    Configuration menu
    Copy the full SHA
    413011d View commit details
    Browse the repository at this point in the history

  4. coverage: Treat each match arm as a "branch" for branch coverage

    @Zalathar @ranger-ross
    Zalathar authored and ranger-ross committed Sep 29, 2024
    Configuration menu
    Copy the full SHA
    50b7157 View commit details
    Browse the repository at this point in the history

  5. Added primative support for or-patterns in match arm branch-coverage

    @ranger-ross
    ranger-ross committed Sep 29, 2024
    Configuration menu
    Copy the full SHA
    791e544 View commit details
    Browse the repository at this point in the history

  6. tidy

    @ranger-ross
    ranger-ross committed Sep 29, 2024
    Configuration menu
    Copy the full SHA
    5ab184a View commit details
    Browse the repository at this point in the history

  7. tidy

    @ranger-ross
    ranger-ross committed Sep 29, 2024
    Configuration menu
    Copy the full SHA
    ff1825e View commit details
    Browse the repository at this point in the history

  8. Bug fixes for or-patterns in match statement coverage

    @ranger-ross
    ranger-ross committed Sep 29, 2024
    Configuration menu
    Copy the full SHA
    1a0a2c2 View commit details
    Browse the repository at this point in the history

  9. Reverted test that was incorrectly rebased

    @ranger-ross
    ranger-ross committed Sep 29, 2024
    Configuration menu
    Copy the full SHA
    578af76 View commit details
    Browse the repository at this point in the history

  10. Fixed a bug that prevent MCDC coverage from running if branch coverag… 

    …e is not also enabled
    @ranger-ross
    ranger-ross committed Sep 29, 2024
    Configuration menu
    Copy the full SHA
    ad74b3a View commit details
    Browse the repository at this point in the history

  11. Avoid adding duplicate coverage markers for match guards

    @ranger-ross
    ranger-ross committed Sep 29, 2024
    Configuration menu
    Copy the full SHA
    d46e6c5 View commit details
    Browse the repository at this point in the history

  12. Added match or-pattern branch coverage test

    @ranger-ross
    ranger-ross committed Sep 29, 2024
    Configuration menu
    Copy the full SHA
    78a7fe1 View commit details
    Browse the repository at this point in the history

  13. Added smarter match guard branch coverage handling

    @ranger-ross
    ranger-ross committed Sep 29, 2024
    Configuration menu
    Copy the full SHA
    d6a25eb View commit details
    Browse the repository at this point in the history

  14. blessed match-arm branch coverage test

    @ranger-ross
    ranger-ross committed Sep 29, 2024
    Configuration menu
    Copy the full SHA
    c0dcdc9 View commit details
    Browse the repository at this point in the history

  15. Added nested or-pattern test

    @ranger-ross
    ranger-ross committed Sep 29, 2024
    Configuration menu
    Copy the full SHA
    5ccfda9 View commit details
    Browse the repository at this point in the history

  16. More test branch coverage fixes

    @ranger-ross
    ranger-ross committed Sep 29, 2024
    Configuration menu
    Copy the full SHA
    0fab23d View commit details
    Browse the repository at this point in the history