From: Steve Baird <baird@adacore.com>
Date: Thu, 16 Nov 2023 23:01:59 +0000 (-0800)
Subject: ada: Add comment describing Partition_Elaboration_Policy dependency.
X-Git-Tag: basepoints/gcc-15~4141
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=769e5925f6a076436981ba64335979b19106f828;p=thirdparty%2Fgcc.git

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
---

diff --git a/gcc/ada/libgnarl/a-rttiev.ads b/gcc/ada/libgnarl/a-rttiev.ads
index cb272dfb7591..3fa7d6097f63 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