Skip to content

Commit 5f6bcbc

Browse files
committed
Merge branch 'eyraud/fix_regr' into 'master'
Do not allocate MC/DC bits for decision uninstrumented for MC/DC See merge request eng/cov/gnatcoverage!248 Ref: eng/cov/gnatcoverage#101
2 parents 6763b57 + 84a94d1 commit 5f6bcbc

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

tools/gnatcov/instrument-common.adb

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -206,6 +206,7 @@ package body Instrument.Common is
206206
if Coverage.MCDC_Coverage_Enabled
207207
and then Length (State_Variable) > 0
208208
and then Path_Count > 0
209+
and then Path_Count < Get_Path_Count_Limit
209210
then
210211
Result.Path_Bits_Base := Unit_Bits.Last_Path_Bit + 1;
211212
Unit_Bits.Last_Path_Bit :=

0 commit comments

Comments
 (0)