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