]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
ada: Add comment describing Partition_Elaboration_Policy dependency.
authorSteve Baird <baird@adacore.com>
Thu, 16 Nov 2023 23:01:59 +0000 (15:01 -0800)
committerMarc Poulhiès <poulhies@adacore.com>
Thu, 30 Nov 2023 10:12:47 +0000 (11:12 +0100)
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

gcc/ada/libgnarl/a-rttiev.ads

index cb272dfb75917a0b2fe2fbeb8ba905ddf32e79b6..3fa7d6097f63a43ad1762bb6d6eb0d1be9ea6b78 100644 (file)
@@ -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