yggdrasil/gcc
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

[Ada] Add pragma Preelaborable_Initialization to Stream_IO.File_Type

Browse Source 
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
This commit is contained in:
Gary Dismukes
2019-10-10 15:25:27 +00:00
committed by Pierre-Marie de Rodat
parent 5913d1b7c0
commit 96dd5bb6b7
2 changed files with 4 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
gcc/ada/ChangeLog
+3 -3
View File
@@ -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.
* libgnat/a-ststio.ads (File_Type): Apply pragma
Preelaborable_Initialization to the type.
gcc/ada/libgnat/a-ststio.ads
+1
View File
@@ -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);