]>
Commit | Line | Data |
---|---|---|
c9e80306 JL |
1 | 2018-01-11 Jerome Lambourg <lambourg@adacore.com> |
2 | ||
3 | * libgnat/g-soliop__qnx.ads: New. | |
4 | * adaint.c, adaint.h, cstreams.c, s-oscons-tmplt.c, sysdep.c: Update | |
5 | for QNX. | |
6 | ||
4727f693 BD |
7 | 2018-01-11 Bob Duff <duff@adacore.com> |
8 | ||
9 | * par-ch9.adb (P_Protected_Operation_Declaration_Opt): Give an error if | |
10 | a null procedure occurs in a protected definition. | |
11 | ||
1ceee6a1 BD |
12 | 2018-01-11 Bob Duff <duff@adacore.com> |
13 | ||
14 | * binderr.ads, namet.ads: Minor reformatting. | |
15 | ||
e22e7f06 BD |
16 | 2018-01-11 Bob Duff <duff@adacore.com> |
17 | ||
18 | * doc/gnat_ugn/gnat_utility_programs.rst: Improve documentation of | |
19 | xml2gnat. | |
20 | ||
8207dc23 BD |
21 | 2018-01-11 Bob Duff <duff@adacore.com> |
22 | ||
23 | * binde.adb (Force_Elab_Order): Give an error if there are duplicate | |
24 | unit names. | |
25 | ||
52c5090a ES |
26 | 2018-01-11 Ed Schonberg <schonberg@adacore.com> |
27 | ||
28 | * sem_ch6.adb (Freeze_Expr_Types): If an access value is the | |
29 | controlling argument of a dispatching call. freeze the corresponding | |
30 | designated type. | |
31 | ||
2e01b698 BB |
32 | 2018-01-11 Ben Brosgol <brosgol@adacore.com> |
33 | ||
34 | * doc/Makefile: Add Sphinx option -W to treat warnings as errors. | |
35 | ||
f5c31a46 BB |
36 | 2018-01-11 Ben Brosgol <brosgol@adacore.com> |
37 | ||
38 | * doc/gnat_rm/implementation_defined_aspects.rst: Minor type/wording | |
39 | corrections. | |
40 | * gnat_rm.texi: Regenerate. | |
41 | ||
07733aa1 ES |
42 | 2018-01-11 Ed Schonberg <schonberg@adacore.com> |
43 | ||
44 | * sem_ch12.adb (Check_Fixed_Point_Type): Do not apply check if the | |
45 | formsl type corresponding to the actual fixed point type is private, | |
46 | because in this case there can be no suspicious arithmetic operations | |
47 | in the generic unless they reference a formal subprogram. Clarify | |
48 | warning. | |
49 | ||
78cac738 JM |
50 | 2018-01-11 Javier Miranda <miranda@adacore.com> |
51 | ||
52 | * exp_util.adb (Remove_Side_Effects): No action done for functions | |
53 | returning class-wide types since it requires generating code using | |
54 | 'reference and the CCG target has no secondary stack. | |
55 | * gnat1drv.adb: Disable building static dispatch tables when generating | |
56 | C code. | |
57 | ||
210fef2d PT |
58 | 2018-01-11 Piotr Trojanek <trojanek@adacore.com> |
59 | ||
60 | * libgnat/a-direio.ads, libgnat/a-sequio.ads, libgnat/a-ststio.ads, | |
61 | libgnat/a-textio.ads, libgnat/a-witeio.ads, libgnat/a-ztexio.ads | |
62 | (File_Type): Add Default_Initial_Condition aspect. | |
63 | ||
7d1553e2 PO |
64 | 2018-01-11 Pascal Obry <obry@adacore.com> |
65 | ||
66 | * libgnat/s-os_lib.adb (Normalize_Pathname): New implementation. | |
67 | ||
1646b09f BD |
68 | 2018-01-11 Bob Duff <duff@adacore.com> |
69 | ||
70 | * doc/gnat_ugn/gnat_utility_programs.rst: Rewrite gnatpp documentation | |
71 | to match what the Libadalang-based version does. | |
72 | * doc/gnat_ugn/about_this_guide.rst: Update reference. | |
73 | ||
7460ccc7 HK |
74 | 2018-01-11 Hristian Kirtchev <kirtchev@adacore.com> |
75 | ||
76 | * sem_res.adb (Uses_SS): A controlled type requires the secondary stack | |
77 | if it contains at least one component declaration employing a function | |
78 | call returning on the secondary stack. | |
79 | ||
a5b2e440 YM |
80 | 2018-01-11 Yannick Moy <moy@adacore.com> |
81 | ||
82 | * doc/gnat_rm/standard_and_implementation_defined_restrictions.rst: | |
83 | Update description of restriction SPARK_05 with SPARK 2014. | |
84 | * gnat_rm.texi: Regenerate. | |
85 | ||
151af7d2 VF |
86 | 2018-01-11 Vasiliy Fofanov <fofanov@adacore.com> |
87 | ||
88 | * doc/gnat_ugn/gnat_utility_programs.rst: Fix layout. | |
89 | ||
10fdda1c HK |
90 | 2018-01-11 Hristian Kirtchev <kirtchev@adacore.com> |
91 | ||
92 | * exp_aggr.adb, exp_ch9.adb, exp_util.adb, sem_aggr.adb, sem_ch3.adb, | |
93 | sem_res.adb, sem_util.adb: Minor reformatting. | |
94 | ||
4d6000d7 ES |
95 | 2018-01-11 Ed Schonberg <schonberg@adacore.com> |
96 | ||
97 | * sem_prag.adb (Analyze_Pragma, case Predicate): Indicate that the type | |
98 | has a delayed aspect which must be processed at the point the type is | |
99 | frozen. This mimics what is done when the predicate is provided by a | |
100 | source aspect. | |
101 | ||
19fb0439 DR |
102 | 2018-01-11 Doug Rupp <rupp@adacore.com> |
103 | ||
104 | * init.c (vxworks): Add macro checks for __aarch64__. | |
105 | ||
80631298 HK |
106 | 2018-01-11 Hristian Kirtchev <kirtchev@adacore.com> |
107 | ||
108 | * exp_util.adb (Add_Failure_Expression): New routine. | |
109 | (Make_Predicate_Check): Reimplement the handling of Predicate_Failure. | |
110 | * sem_util.adb (Is_Current_Instance): Code cleanup. | |
111 | ||
6a5e79b4 PB |
112 | 2018-01-11 Patrick Bernardi <bernardi@adacore.com> |
113 | ||
114 | * libgnat/s-parame*.adb, libgnat/s-parame*.ads: Remove unneeded | |
115 | Default_Sec_Stack_Size. | |
116 | * libgnat/s-secsta.adb (SS_Allocate): Handle the fixed secondary stack | |
117 | limit check so that the integer index does not overflow. Check the | |
118 | dynamic stack allocation does not cause the secondary stack pointer to | |
119 | overflow. | |
120 | (SS_Info): Align colons. | |
121 | (SS_Init): Cover the case when bootstraping with an old compiler that | |
122 | does not set Default_SS_Size. | |
123 | ||
5cb78fb8 ES |
124 | 2018-01-11 Ed Schonberg <schonberg@adacore.com> |
125 | ||
126 | * sem_ch3.adb (Add_Internal_Interface_Entities): When checking the | |
127 | legality of an inherited operation that may require overriding, ignore | |
128 | primitive_wrappers that correspond to explicit operations that override | |
129 | an interface primitive. | |
130 | * exp_util.adb (Build_Class_Wide_Expression, Replace_Entity): If the | |
131 | operation to which the class-wide expression applies is a protected op. | |
132 | with a primitive_wrapper, verify that the updated inherited expression | |
133 | does not contain an internal call to a protected function. This | |
134 | completes the implementation of AI12-0166. | |
135 | ||
94ce4941 HK |
136 | 2018-01-11 Hristian Kirtchev <kirtchev@adacore.com> |
137 | ||
138 | * ali.adb: Document the remaining letters available for ALI lines. | |
139 | (Scan_ALI): A with clause is internal when it is encoded on a 'Z' line. | |
140 | * ali.ads: Update type With_Record. Field | |
141 | Implicit_With_From_Instantiation is no longer in use. Add field | |
142 | Implicit_With. | |
143 | * csinfo.adb (CSinfo): Remove the setup for attribute | |
144 | Implicit_With_From_Instantiation. | |
145 | * lib-writ.adb (Collect_Withs): Correct the logic which marks a unit as | |
146 | either implicitly or explicitly withed. | |
147 | (Is_Implicit_With_Clause): New routine. | |
148 | (Write_ALI): Rename array Implicit_With to Has_Implicit_With to avoid | |
149 | confusion with the with clause attribute by the same name. | |
150 | (Write_With_Lines): Update the emission of 'W', 'Y', and 'Z' headers. | |
151 | * rtsfind.adb (Maybe_Add_With): Code cleanup. | |
152 | * sem_ch8.adb (Present_System_Aux): Code cleanup. | |
153 | * sem_ch10.adb (Expand_With_Clause): Mark the with clause as generated | |
154 | for a parent unit. | |
155 | (Implicit_With_On_Parent): Mark the with clause as generated for a | |
156 | parent unit. | |
157 | * sem_ch12.adb (Inherit_Context): With clauses inherited by an | |
158 | instantiation are no longer marked as Implicit_With_From_Instantiation | |
159 | because they are already marked as implicit. | |
160 | * sem_elab.adb (Ensure_Prior_Elaboration_Static): Remove the kludge | |
161 | which marks implicit with clauses as related to an instantiation. | |
162 | * sinfo.adb (Implicit_With_From_Instantiation): Removed. | |
163 | (Parent_With): New routine. | |
164 | (Set_Implicit_With_From_Instantiation): Removed. | |
165 | (Set_Parent_With): New routine. | |
166 | * sinfo.ads: Update the documentation of attribute Implicit_With. | |
167 | Remove attribute Implicit_With_From_Instantiation along with | |
168 | occurrences in nodes. Add attribute Parent_With along with occurrences | |
169 | in nodes. | |
170 | (Implicit_With_From_Instantiation): Removed along with pragma Inline. | |
171 | (Parent_With): New routine along with pragma Inline. | |
172 | (Set_Implicit_With_From_Instantiation): Removed along with pragma Inline. | |
173 | (Set_Parent_With): New routine along with pragma Inline. | |
174 | ||
77519270 HK |
175 | 2018-01-11 Hristian Kirtchev <kirtchev@adacore.com> |
176 | ||
177 | * sem_util.adb (Find_Enclosing_Scope): Return the unique defining | |
178 | entity when the enclosing construct is a body. | |
179 | ||
a40d9947 PB |
180 | 2018-01-11 Patrick Bernardi <bernardi@adacore.com> |
181 | ||
182 | * exp_ch9.adb (Expand_N_Task_Type_Declaration): Simplified | |
183 | Secondary_Stack_Size handling as a pragma is now generated for the | |
184 | corresponding aspect instead of an attribute. Pragma expression is | |
185 | relocated instead of evaluated. Discriminant of the corresponding | |
186 | record type is referenced rather than the type discriminant. | |
187 | (Create_Secondary_Stack_For_Task, Make_Task_Create_Call): Update | |
188 | Secondary_Stack_Size rep item checks to only look for the pragma rep. | |
189 | * sem_ch13.adb (Analyze_One_Aspect): Transform | |
190 | Aspect_Secondary_Stack_Size into a pragma instead of an attribute | |
191 | because the attribute does not have visibility on a task type's | |
192 | discriminants when the type's definition is expanded. | |
193 | (Analyze_Attribute_Definition_Clause): Remove handling of | |
194 | Attribute_Secondary_Stack_Size. | |
195 | * snames.adb-tmpl, snames.ads-tmpl: Remove | |
196 | Attribute_Secondary_Stack_Size, no longer used. | |
197 | ||
6b199a18 JS |
198 | 2018-01-11 Justin Squirek <squirek@adacore.com> |
199 | ||
200 | * sem_ch8.adb: Minor comment fix. | |
201 | ||
05344a33 HK |
202 | 2018-01-11 Hristian Kirtchev <kirtchev@adacore.com> |
203 | ||
204 | * exp_ch4.adb (Process_Action): Do not abandon the inspection of an | |
205 | individual action because the action may denote a complex expression, | |
206 | such as a case statement, which in turn may contain additional | |
207 | transient objects. | |
208 | ||
d940c627 ES |
209 | 2018-01-11 Ed Schonberg <schonberg@adacore.com> |
210 | ||
211 | * sem_aggr.adb (Resolve_Iterated_Component_Association): Perform | |
212 | analysis on a copy of the expression with a copy of the index variable, | |
213 | because full expansion will rewrite construct into a loop with the | |
214 | original loop variable. | |
215 | * exp_aggr.adb (Gen_Assign): Defer analysis and resolution if the | |
216 | expression is an iterated component association. Full analysis takes | |
217 | place when construct is rewritten as a loop. | |
218 | (In_Place_Assign_OK, Safe_Component): An iterated_component_association | |
219 | is not safe for in-place assignment. | |
220 | * sem_util.adb (Remove_Entity): Handle properly the case of an isolated | |
221 | entity with no homonym and no other entity in the scope. | |
222 | ||
c8f25817 JS |
223 | 2018-01-11 Justin Squirek <squirek@adacore.com> |
224 | ||
225 | * sem_prag.adb (Analyze_Pragma:Pragma_Loop_Variant): Modify error | |
226 | message to be printed on the pragma argument identifier. | |
227 | ||
51f3e4e1 HK |
228 | 2018-01-11 Hristian Kirtchev <kirtchev@adacore.com> |
229 | ||
230 | * exp_util.adb (Build_Invariant_Procedure_Declaration): Set the last | |
231 | entity of the generated invariant procedure in order to construct a | |
232 | proper entity chain. | |
233 | ||
593e3172 PT |
234 | 2018-01-11 Piotr Trojanek <trojanek@adacore.com> |
235 | ||
236 | * sem_ch13.adb (Build_Predicate_Functions): Fix minor issues in | |
237 | comment. | |
238 | ||
89a4fa68 AC |
239 | 2018-01-11 Arnaud Charlet <charlet@adacore.com> |
240 | ||
241 | * einfo.ads, einfo.adb (Activation_Record_Component, | |
242 | Set_Activation_Record_Component, Set_Is_Uplevel_Referenced_Entity): | |
243 | Allow E_Discriminant. | |
244 | ||
af95bb26 EB |
245 | 2018-01-10 Eric Botcazou <ebotcazou@adacore.com> |
246 | ||
247 | * gcc-interface/decl.c (gnat_to_gnu_component_type): Apply the check | |
248 | for atomic access once the component size is taken into account and | |
249 | also do it if the component type is Atomic or Volatile_Full_Access. | |
250 | ||
5d35675c EB |
251 | 2018-01-04 Eric Botcazou <ebotcazou@adacore.com> |
252 | ||
253 | * gnatvsn.ads: Bump copyright year. | |
254 | ||
73a699ae RS |
255 | 2018-01-03 Richard Sandiford <richard.sandiford@linaro.org> |
256 | Alan Hayward <alan.hayward@arm.com> | |
257 | David Sherwood <david.sherwood@arm.com> | |
258 | ||
259 | * gcc-interface/misc.c (enumerate_modes): Treat GET_MODE_BITSIZE | |
260 | as polynomial. | |
261 | ||
bb94ec76 RS |
262 | 2018-01-03 Richard Sandiford <richard.sandiford@linaro.org> |
263 | Alan Hayward <alan.hayward@arm.com> | |
264 | David Sherwood <david.sherwood@arm.com> | |
265 | ||
266 | * gcc-interface/misc.c (enumerate_modes): Treat GET_MODE_PRECISION | |
267 | as polynomial. | |
268 | ||
928686b1 RS |
269 | 2018-01-03 Richard Sandiford <richard.sandiford@linaro.org> |
270 | Alan Hayward <alan.hayward@arm.com> | |
271 | David Sherwood <david.sherwood@arm.com> | |
272 | ||
273 | * gcc-interface/utils.c (gnat_types_compatible_p): Handle | |
274 | polynomial TYPE_VECTOR_SUBPARTS. | |
275 | ||
7b777afa RS |
276 | 2018-01-03 Richard Sandiford <richard.sandiford@linaro.org> |
277 | Alan Hayward <alan.hayward@arm.com> | |
278 | David Sherwood <david.sherwood@arm.com> | |
279 | ||
280 | * gcc-interface/misc.c (enumerate_modes): Handle polynomial | |
281 | GET_MODE_NUNITS. | |
282 | ||
65e6aea3 | 283 | 2018-01-03 Jakub Jelinek <jakub@redhat.com> |
0e5b9de3 | 284 | |
85ec4feb JJ |
285 | Update copyright years. |
286 | ||
65e6aea3 JJ |
287 | * gnat_ugn.texi: Bump @copying's copyright year. |
288 | * gnat_rm.texi: Likewise. | |
ad41bd84 | 289 | \f |
65e6aea3 | 290 | Copyright (C) 2018 Free Software Foundation, Inc. |
ad41bd84 JM |
291 | |
292 | Copying and distribution of this file, with or without modification, | |
293 | are permitted in any medium without royalty provided the copyright | |
294 | notice and this notice are preserved. |