From: pmderodat Date: Thu, 10 Oct 2019 15:25:27 +0000 (+0000) Subject: [Ada] Add pragma Preelaborable_Initialization to Stream_IO.File_Type X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=29bdb3aa2bbd03dfff6e20cc320b3573aff5a782;p=thirdparty%2Fgcc.git [Ada] Add pragma Preelaborable_Initialization to Stream_IO.File_Type 2019-10-10 Gary Dismukes gcc/ada/ * libgnat/a-ststio.ads (File_Type): Apply pragma Preelaborable_Initialization to the type. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276834 138bc75d-0d04-0410-961f-82ee72b054a4 --- diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index ce35fcdbd332..a0084fa94319 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,4 +1,4 @@ -2019-10-10 Yannick Moy +2019-10-10 Gary Dismukes - * 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 5314ce85305d..30be1586bd08 100644 --- 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);