[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