[llvm-branch-commits] [clang] [MC/DC] Introduce `-fmcdc-single-conditions` to include also single conditions (PR #125484)
Alan Phipps via llvm-branch-commits
llvm-branch-commits at lists.llvm.org
Mon Feb 3 12:37:36 PST 2025
evodius96 wrote:
This is pertinent to #109930 from Validas as well, and they would like something like this to be included by default to make it less confusing for users of MC/DC. On the other hand, as I point out in the issue, I think introducing MC/DC for single-conditions is redundant (given branch coverage) and introduces unnecessary overhead. So, that's an argument for keeping it as a separate option and perhaps finding another way to work branch coverage into the overall MC/DC metric.
Also, Branch Coverage gives you counts for switch statement cases, whereas I'm not sure that makes sense for single-condition MC/DC, though perhaps that's overkill.
https://github.com/llvm/llvm-project/pull/125484
More information about the llvm-branch-commits
mailing list