Skip to content

Commit 8de347f

Browse files
committed
Do not check for object code when processing source traces
1 parent ba060bf commit 8de347f

File tree

1 file changed

+4
-1
lines changed

1 file changed

+4
-1
lines changed

tools/gnatcov/gnatcov_bits_specific.adb

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2323,7 +2323,10 @@ begin
23232323
end if;
23242324
end if;
23252325

2326-
if Source_Coverage_Enabled and then SCOs_Trace.Is_Active then
2326+
if Source_Coverage_Enabled
2327+
and then SCOs_Trace.Is_Active
2328+
and then Currently_Accepted_Trace_Kind = Binary_Trace_File
2329+
then
23272330
SC_Obligations.Report_Units_Without_Code;
23282331
end if;
23292332

0 commit comments

Comments
 (0)