From 96dd5bb6b75ca662fc038f2358059bfbbd609895 Mon Sep 17 00:00:00 2001 From: Gary Dismukes Date: Thu, 10 Oct 2019 15:25:27 +0000 Subject: [PATCH] [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 --- gcc/ada/ChangeLog | 6 +++--- gcc/ada/libgnat/a-ststio.ads | 1 + 2 files changed, 4 insertions(+), 3 deletions(-) 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); -- 2.7.4