diff options
| author | Steve Baird <baird@adacore.com> | 2023-11-16 15:01:59 -0800 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-11-30 11:12:47 +0100 |
| commit | 769e5925f6a076436981ba64335979b19106f828 (patch) | |
| tree | dd0142a9da28d5f1ef3124386c20bd6fac0f14d2 /gcc/ada/libgnarl | |
| parent | 6a5eb72be832d308be93ea9f6a07087aa49024e9 (diff) | |
| download | gcc-769e5925f6a076436981ba64335979b19106f828.zip gcc-769e5925f6a076436981ba64335979b19106f828.tar.gz gcc-769e5925f6a076436981ba64335979b19106f828.tar.bz2 | |
ada: Add comment describing Partition_Elaboration_Policy dependency.
Add a comment in the spec for the default (as opposed to hie) version of
Ada.Real_Time.Timing_Events indicating that it is incompatible with a
a Partition_Elaboration_Policy specification specifying a policy other than
Concurrent.
gcc/ada/
* libgnarl/a-rttiev.ads: add a comment
Diffstat (limited to 'gcc/ada/libgnarl')
| -rw-r--r-- | gcc/ada/libgnarl/a-rttiev.ads | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gcc/ada/libgnarl/a-rttiev.ads b/gcc/ada/libgnarl/a-rttiev.ads index cb272df..3fa7d60 100644 --- a/gcc/ada/libgnarl/a-rttiev.ads +++ b/gcc/ada/libgnarl/a-rttiev.ads @@ -61,6 +61,12 @@ package Ada.Real_Time.Timing_Events is function Time_Of_Event (Event : Timing_Event) return Time; + -- The compilation closure of this version (as opposed to the hie version) + -- of Ada.Real_TIme.Timing_Events includes a specification of a + -- Concurrent Partition_Elaboration_Policy. Thus, a bind-time error + -- will result if this unit occurs in the same partition as a conflicting + -- Partition_Elaboration_Policy specification. + private type Timing_Event is new Ada.Finalization.Limited_Controlled with record |