]>
Commit | Line | Data |
---|---|---|
a5b2e440 YM |
1 | 2018-01-11 Yannick Moy <moy@adacore.com> |
2 | ||
3 | * doc/gnat_rm/standard_and_implementation_defined_restrictions.rst: | |
4 | Update description of restriction SPARK_05 with SPARK 2014. | |
5 | * gnat_rm.texi: Regenerate. | |
6 | ||
151af7d2 VF |
7 | 2018-01-11 Vasiliy Fofanov <fofanov@adacore.com> |
8 | ||
9 | * doc/gnat_ugn/gnat_utility_programs.rst: Fix layout. | |
10 | ||
10fdda1c HK |
11 | 2018-01-11 Hristian Kirtchev <kirtchev@adacore.com> |
12 | ||
13 | * exp_aggr.adb, exp_ch9.adb, exp_util.adb, sem_aggr.adb, sem_ch3.adb, | |
14 | sem_res.adb, sem_util.adb: Minor reformatting. | |
15 | ||
4d6000d7 ES |
16 | 2018-01-11 Ed Schonberg <schonberg@adacore.com> |
17 | ||
18 | * sem_prag.adb (Analyze_Pragma, case Predicate): Indicate that the type | |
19 | has a delayed aspect which must be processed at the point the type is | |
20 | frozen. This mimics what is done when the predicate is provided by a | |
21 | source aspect. | |
22 | ||
19fb0439 DR |
23 | 2018-01-11 Doug Rupp <rupp@adacore.com> |
24 | ||
25 | * init.c (vxworks): Add macro checks for __aarch64__. | |
26 | ||
80631298 HK |
27 | 2018-01-11 Hristian Kirtchev <kirtchev@adacore.com> |
28 | ||
29 | * exp_util.adb (Add_Failure_Expression): New routine. | |
30 | (Make_Predicate_Check): Reimplement the handling of Predicate_Failure. | |
31 | * sem_util.adb (Is_Current_Instance): Code cleanup. | |
32 | ||
6a5e79b4 PB |
33 | 2018-01-11 Patrick Bernardi <bernardi@adacore.com> |
34 | ||
35 | * libgnat/s-parame*.adb, libgnat/s-parame*.ads: Remove unneeded | |
36 | Default_Sec_Stack_Size. | |
37 | * libgnat/s-secsta.adb (SS_Allocate): Handle the fixed secondary stack | |
38 | limit check so that the integer index does not overflow. Check the | |
39 | dynamic stack allocation does not cause the secondary stack pointer to | |
40 | overflow. | |
41 | (SS_Info): Align colons. | |
42 | (SS_Init): Cover the case when bootstraping with an old compiler that | |
43 | does not set Default_SS_Size. | |
44 | ||
5cb78fb8 ES |
45 | 2018-01-11 Ed Schonberg <schonberg@adacore.com> |
46 | ||
47 | * sem_ch3.adb (Add_Internal_Interface_Entities): When checking the | |
48 | legality of an inherited operation that may require overriding, ignore | |
49 | primitive_wrappers that correspond to explicit operations that override | |
50 | an interface primitive. | |
51 | * exp_util.adb (Build_Class_Wide_Expression, Replace_Entity): If the | |
52 | operation to which the class-wide expression applies is a protected op. | |
53 | with a primitive_wrapper, verify that the updated inherited expression | |
54 | does not contain an internal call to a protected function. This | |
55 | completes the implementation of AI12-0166. | |
56 | ||
94ce4941 HK |
57 | 2018-01-11 Hristian Kirtchev <kirtchev@adacore.com> |
58 | ||
59 | * ali.adb: Document the remaining letters available for ALI lines. | |
60 | (Scan_ALI): A with clause is internal when it is encoded on a 'Z' line. | |
61 | * ali.ads: Update type With_Record. Field | |
62 | Implicit_With_From_Instantiation is no longer in use. Add field | |
63 | Implicit_With. | |
64 | * csinfo.adb (CSinfo): Remove the setup for attribute | |
65 | Implicit_With_From_Instantiation. | |
66 | * lib-writ.adb (Collect_Withs): Correct the logic which marks a unit as | |
67 | either implicitly or explicitly withed. | |
68 | (Is_Implicit_With_Clause): New routine. | |
69 | (Write_ALI): Rename array Implicit_With to Has_Implicit_With to avoid | |
70 | confusion with the with clause attribute by the same name. | |
71 | (Write_With_Lines): Update the emission of 'W', 'Y', and 'Z' headers. | |
72 | * rtsfind.adb (Maybe_Add_With): Code cleanup. | |
73 | * sem_ch8.adb (Present_System_Aux): Code cleanup. | |
74 | * sem_ch10.adb (Expand_With_Clause): Mark the with clause as generated | |
75 | for a parent unit. | |
76 | (Implicit_With_On_Parent): Mark the with clause as generated for a | |
77 | parent unit. | |
78 | * sem_ch12.adb (Inherit_Context): With clauses inherited by an | |
79 | instantiation are no longer marked as Implicit_With_From_Instantiation | |
80 | because they are already marked as implicit. | |
81 | * sem_elab.adb (Ensure_Prior_Elaboration_Static): Remove the kludge | |
82 | which marks implicit with clauses as related to an instantiation. | |
83 | * sinfo.adb (Implicit_With_From_Instantiation): Removed. | |
84 | (Parent_With): New routine. | |
85 | (Set_Implicit_With_From_Instantiation): Removed. | |
86 | (Set_Parent_With): New routine. | |
87 | * sinfo.ads: Update the documentation of attribute Implicit_With. | |
88 | Remove attribute Implicit_With_From_Instantiation along with | |
89 | occurrences in nodes. Add attribute Parent_With along with occurrences | |
90 | in nodes. | |
91 | (Implicit_With_From_Instantiation): Removed along with pragma Inline. | |
92 | (Parent_With): New routine along with pragma Inline. | |
93 | (Set_Implicit_With_From_Instantiation): Removed along with pragma Inline. | |
94 | (Set_Parent_With): New routine along with pragma Inline. | |
95 | ||
77519270 HK |
96 | 2018-01-11 Hristian Kirtchev <kirtchev@adacore.com> |
97 | ||
98 | * sem_util.adb (Find_Enclosing_Scope): Return the unique defining | |
99 | entity when the enclosing construct is a body. | |
100 | ||
a40d9947 PB |
101 | 2018-01-11 Patrick Bernardi <bernardi@adacore.com> |
102 | ||
103 | * exp_ch9.adb (Expand_N_Task_Type_Declaration): Simplified | |
104 | Secondary_Stack_Size handling as a pragma is now generated for the | |
105 | corresponding aspect instead of an attribute. Pragma expression is | |
106 | relocated instead of evaluated. Discriminant of the corresponding | |
107 | record type is referenced rather than the type discriminant. | |
108 | (Create_Secondary_Stack_For_Task, Make_Task_Create_Call): Update | |
109 | Secondary_Stack_Size rep item checks to only look for the pragma rep. | |
110 | * sem_ch13.adb (Analyze_One_Aspect): Transform | |
111 | Aspect_Secondary_Stack_Size into a pragma instead of an attribute | |
112 | because the attribute does not have visibility on a task type's | |
113 | discriminants when the type's definition is expanded. | |
114 | (Analyze_Attribute_Definition_Clause): Remove handling of | |
115 | Attribute_Secondary_Stack_Size. | |
116 | * snames.adb-tmpl, snames.ads-tmpl: Remove | |
117 | Attribute_Secondary_Stack_Size, no longer used. | |
118 | ||
6b199a18 JS |
119 | 2018-01-11 Justin Squirek <squirek@adacore.com> |
120 | ||
121 | * sem_ch8.adb: Minor comment fix. | |
122 | ||
05344a33 HK |
123 | 2018-01-11 Hristian Kirtchev <kirtchev@adacore.com> |
124 | ||
125 | * exp_ch4.adb (Process_Action): Do not abandon the inspection of an | |
126 | individual action because the action may denote a complex expression, | |
127 | such as a case statement, which in turn may contain additional | |
128 | transient objects. | |
129 | ||
d940c627 ES |
130 | 2018-01-11 Ed Schonberg <schonberg@adacore.com> |
131 | ||
132 | * sem_aggr.adb (Resolve_Iterated_Component_Association): Perform | |
133 | analysis on a copy of the expression with a copy of the index variable, | |
134 | because full expansion will rewrite construct into a loop with the | |
135 | original loop variable. | |
136 | * exp_aggr.adb (Gen_Assign): Defer analysis and resolution if the | |
137 | expression is an iterated component association. Full analysis takes | |
138 | place when construct is rewritten as a loop. | |
139 | (In_Place_Assign_OK, Safe_Component): An iterated_component_association | |
140 | is not safe for in-place assignment. | |
141 | * sem_util.adb (Remove_Entity): Handle properly the case of an isolated | |
142 | entity with no homonym and no other entity in the scope. | |
143 | ||
c8f25817 JS |
144 | 2018-01-11 Justin Squirek <squirek@adacore.com> |
145 | ||
146 | * sem_prag.adb (Analyze_Pragma:Pragma_Loop_Variant): Modify error | |
147 | message to be printed on the pragma argument identifier. | |
148 | ||
51f3e4e1 HK |
149 | 2018-01-11 Hristian Kirtchev <kirtchev@adacore.com> |
150 | ||
151 | * exp_util.adb (Build_Invariant_Procedure_Declaration): Set the last | |
152 | entity of the generated invariant procedure in order to construct a | |
153 | proper entity chain. | |
154 | ||
593e3172 PT |
155 | 2018-01-11 Piotr Trojanek <trojanek@adacore.com> |
156 | ||
157 | * sem_ch13.adb (Build_Predicate_Functions): Fix minor issues in | |
158 | comment. | |
159 | ||
89a4fa68 AC |
160 | 2018-01-11 Arnaud Charlet <charlet@adacore.com> |
161 | ||
162 | * einfo.ads, einfo.adb (Activation_Record_Component, | |
163 | Set_Activation_Record_Component, Set_Is_Uplevel_Referenced_Entity): | |
164 | Allow E_Discriminant. | |
165 | ||
af95bb26 EB |
166 | 2018-01-10 Eric Botcazou <ebotcazou@adacore.com> |
167 | ||
168 | * gcc-interface/decl.c (gnat_to_gnu_component_type): Apply the check | |
169 | for atomic access once the component size is taken into account and | |
170 | also do it if the component type is Atomic or Volatile_Full_Access. | |
171 | ||
5d35675c EB |
172 | 2018-01-04 Eric Botcazou <ebotcazou@adacore.com> |
173 | ||
174 | * gnatvsn.ads: Bump copyright year. | |
175 | ||
73a699ae RS |
176 | 2018-01-03 Richard Sandiford <richard.sandiford@linaro.org> |
177 | Alan Hayward <alan.hayward@arm.com> | |
178 | David Sherwood <david.sherwood@arm.com> | |
179 | ||
180 | * gcc-interface/misc.c (enumerate_modes): Treat GET_MODE_BITSIZE | |
181 | as polynomial. | |
182 | ||
bb94ec76 RS |
183 | 2018-01-03 Richard Sandiford <richard.sandiford@linaro.org> |
184 | Alan Hayward <alan.hayward@arm.com> | |
185 | David Sherwood <david.sherwood@arm.com> | |
186 | ||
187 | * gcc-interface/misc.c (enumerate_modes): Treat GET_MODE_PRECISION | |
188 | as polynomial. | |
189 | ||
928686b1 RS |
190 | 2018-01-03 Richard Sandiford <richard.sandiford@linaro.org> |
191 | Alan Hayward <alan.hayward@arm.com> | |
192 | David Sherwood <david.sherwood@arm.com> | |
193 | ||
194 | * gcc-interface/utils.c (gnat_types_compatible_p): Handle | |
195 | polynomial TYPE_VECTOR_SUBPARTS. | |
196 | ||
7b777afa RS |
197 | 2018-01-03 Richard Sandiford <richard.sandiford@linaro.org> |
198 | Alan Hayward <alan.hayward@arm.com> | |
199 | David Sherwood <david.sherwood@arm.com> | |
200 | ||
201 | * gcc-interface/misc.c (enumerate_modes): Handle polynomial | |
202 | GET_MODE_NUNITS. | |
203 | ||
65e6aea3 | 204 | 2018-01-03 Jakub Jelinek <jakub@redhat.com> |
0e5b9de3 | 205 | |
85ec4feb JJ |
206 | Update copyright years. |
207 | ||
65e6aea3 JJ |
208 | * gnat_ugn.texi: Bump @copying's copyright year. |
209 | * gnat_rm.texi: Likewise. | |
ad41bd84 | 210 | \f |
65e6aea3 | 211 | Copyright (C) 2018 Free Software Foundation, Inc. |
ad41bd84 JM |
212 | |
213 | Copying and distribution of this file, with or without modification, | |
214 | are permitted in any medium without royalty provided the copyright | |
215 | notice and this notice are preserved. |