Skip to content

Commit 84a94d1

Browse files
committed
Do not allocate MC/DC bits for decision uninstrumented for MC/DC
1 parent 6763b57 commit 84a94d1

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)