[Ada] Add pragma Preelaborable_Initialization to Stream_IO.File_Type

2019-10-10  Gary Dismukes  <dismukes@adacore.com>

gcc/ada/

	* libgnat/a-ststio.ads (File_Type): Apply pragma
	Preelaborable_Initialization to the type.

From-SVN: r276834

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index ce35fcdbd3323737bfcb6f5686337fe79cdb0ee2..a0084fa9431922ea2a0d3e80fca8f2230e9bf0ff 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,4 +1,4 @@
-2019-10-10  Yannick Moy  <moy@adacore.com>
+2019-10-10  Gary Dismukes  <dismukes@adacore.com>
 
-       * inline.adb (Can_Be_Inlined_In_GNATprove_Mode): Do not peek
-       under private types whose completion is SPARK_Mode Off.
\ No newline at end of file
+       * libgnat/a-ststio.ads (File_Type): Apply pragma
+       Preelaborable_Initialization to the type.
\ No newline at end of file

diff --git a/gcc/ada/libgnat/a-ststio.ads b/gcc/ada/libgnat/a-ststio.ads
index 5314ce85305d5a31aaa43973bbdf9fa1588ce319..30be1586bd08a49a3552e77c56f964948052ccde 100644 (file)
--- a/gcc/ada/libgnat/a-ststio.ads
+++ b/gcc/ada/libgnat/a-ststio.ads
@@ -42,6 +42,7 @@ package Ada.Streams.Stream_IO is
    type Stream_Access is access all Root_Stream_Type'Class;
 
    type File_Type is limited private with Default_Initial_Condition;
+   pragma Preelaborable_Initialization (File_Type);
 
    type File_Mode is (In_File, Out_File, Append_File);