Skip to content

Commit e80b41a

Browse files
committed
GNATcov_RTS: add missing pragma Pure/Ada 95 notices
1 parent 5571092 commit e80b41a

File tree

4 files changed

+10
-0
lines changed

4 files changed

+10
-0
lines changed

tools/gnatcov/rts/gcvrt.ads

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -17,6 +17,8 @@
1717
------------------------------------------------------------------------------
1818

1919
-- Namespace for units generated for instrumentation purposes
20+
--
21+
-- This unit needs to be compilable with Ada 95 compilers
2022

2123
package GCVRT is
2224
pragma Pure;

tools/gnatcov/rts/gnatcov_rts-strings.ads

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -23,6 +23,8 @@
2323
------------------------------------------------------------------------------
2424

2525
-- Ada bindings for gnatcov_rts_c-strings.h
26+
--
27+
-- This unit needs to be compilable with Ada 95 compilers
2628

2729
with Interfaces.C; use Interfaces.C;
2830

tools/gnatcov/rts/gnatcov_rts-traces-output.ads

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -23,7 +23,11 @@
2323
------------------------------------------------------------------------------
2424

2525
-- Namespace for all support packages required to dump traces
26+
--
27+
-- This unit needs to be compilable with Ada 95 compilers
2628

2729
package GNATcov_RTS.Traces.Output is
2830

31+
pragma Pure;
32+
2933
end GNATcov_RTS.Traces.Output;

tools/gnatcov/rts/gnatcov_rts-traces.ads

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -22,6 +22,8 @@
2222
-- --
2323
------------------------------------------------------------------------------
2424

25+
-- This unit needs to be compilable with Ada 95 compilers
26+
2527
package GNATcov_RTS.Traces is
2628

2729
pragma Pure;

0 commit comments

Comments
 (0)