From: Gary Dismukes Date: Thu, 10 Oct 2019 15:25:27 +0000 (+0000) Subject: [Ada] Add pragma Preelaborable_Initialization to Stream_IO.File_Type X-Git-Tag: upstream/12.2.0~21256 X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=96dd5bb6b75ca662fc038f2358059bfbbd609895;p=platform%2Fupstream%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. From-SVN: r276834 --- diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index ce35fcd..a0084fa 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 5314ce8..30be158 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);