projects
/
platform
/
upstream
/
gcc.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
785d39a
)
[Ada] Missing Preelaborate_Initialization on Ada.Containers.Ordered_Maps.Map
author
Arnaud Charlet
<charlet@adacore.com>
Fri, 1 Jan 2021 18:26:28 +0000
(13:26 -0500)
committer
Pierre-Marie de Rodat
<derodat@adacore.com>
Mon, 3 May 2021 09:28:29 +0000
(
05:28
-0400)
gcc/ada/
* libgnat/a-coorma.ads (Map): Add missing
Preelaborate_Initialization.
gcc/ada/libgnat/a-coorma.ads
patch
|
blob
|
history
diff --git
a/gcc/ada/libgnat/a-coorma.ads
b/gcc/ada/libgnat/a-coorma.ads
index
472d249
..
735b0b1
100644
(file)
--- a/
gcc/ada/libgnat/a-coorma.ads
+++ b/
gcc/ada/libgnat/a-coorma.ads
@@
-61,6
+61,7
@@
is
Iterator_Element => Element_Type,
Aggregate => (Empty => Empty,
Add_Named => Insert);
+ pragma Preelaborable_Initialization (Map);
type Cursor is private;
pragma Preelaborable_Initialization (Cursor);