diff options
| author | Gary Dismukes <dismukes@adacore.com> | 2019-10-10 15:25:27 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-10-10 15:25:27 +0000 |
| commit | 96dd5bb6b75ca662fc038f2358059bfbbd609895 (patch) | |
| tree | 6f33cf5b398d23b44da84f84f74e8890fa461b9b | |
| parent | 5913d1b7c060ba061e912850bec290c83b06c7aa (diff) | |
| download | gcc-96dd5bb6b75ca662fc038f2358059bfbbd609895.zip gcc-96dd5bb6b75ca662fc038f2358059bfbbd609895.tar.gz gcc-96dd5bb6b75ca662fc038f2358059bfbbd609895.tar.bz2 | |
[Ada] Add pragma Preelaborable_Initialization to Stream_IO.File_Type
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
| -rw-r--r-- | gcc/ada/ChangeLog | 6 | ||||
| -rw-r--r-- | 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 <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 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); |