[clang] [llvm] [MC/DC][Coverage] Loosen the limit of NumConds from 6 (PR #82448)

via cfe-commits cfe-commits at lists.llvm.org
Wed Feb 28 08:31:21 PST 2024


================
@@ -983,7 +979,7 @@ void CodeGenPGO::mapRegionCounters(const Decl *D) {
   // for most embedded applications. Setting a maximum value prevents the
   // bitmap footprint from growing too large without the user's knowledge. In
   // the future, this value could be adjusted with a command-line option.
-  unsigned MCDCMaxConditions = (CGM.getCodeGenOpts().MCDCCoverage) ? 6 : 0;
+  unsigned MCDCMaxConditions = (CGM.getCodeGenOpts().MCDCCoverage) ? 32767 : 0;
----------------
Jugst3r wrote:

FYI in GNATcoverage, we actually have a 
```
  --path-count-limit POSITIVE
    [instrument]
    Limit beyond which enumeration of BDD paths stops. If a decision has more
    paths in its BDD than the limit, MC/DC coverage will not be assessed for that
    decision, resulting in violations in the report.
```
It is probably better to have a limit in terms of paths in the BDD, rather than number of conditions. What do you think?

https://github.com/llvm/llvm-project/pull/82448


More information about the cfe-commits mailing list