]>
Commit | Line | Data |
---|---|---|
fc6d9796 AC |
1 | 2015-01-06 Ed Schonberg <schonberg@adacore.com> |
2 | ||
3 | * sem_ch12.adb, sem_ch12.ads, sem_ch8.adb: Ongoing work for wrappers | |
4 | for operators in SPARK. | |
5 | ||
6 | 2015-01-06 Javier Miranda <miranda@adacore.com> | |
7 | ||
8 | * exp_disp.adb: Revert previous patch again. | |
9 | ||
10 | 2015-01-06 Ed Schonberg <schonberg@adacore.com> | |
11 | ||
12 | * sem_aggr.adb (Get_Value): In ASIS mode, preanalyze the | |
13 | expression in an others association before making copies for | |
14 | separate resolution and accessibility checks. This ensures that | |
15 | the type of the expression is available to ASIS in all cases, | |
16 | in particular if the expression is itself an aggregate. | |
17 | ||
28fa5430 AC |
18 | 2015-01-06 Eric Botcazou <ebotcazou@adacore.com> |
19 | ||
20 | * einfo.ads (Has_Independent_Components): Document extended | |
21 | usage. | |
22 | * einfo.adb (Has_Independent_Components): Remove obsolete assertion. | |
23 | (Set_Has_Independent_Components): Adjust assertion. | |
24 | * sem_prag.adb (Analyze_Pragma): Also set Has_Independent_Components | |
25 | for pragma Atomic_Components. Set Has_Independent_Components | |
26 | on the object instead of the type for an object declaration with | |
27 | pragma Independent_Components. | |
28 | ||
29 | 2015-01-06 Olivier Hainque <hainque@adacore.com> | |
30 | ||
31 | * set_targ.adb (Read_Target_Dependent_Values): Set | |
32 | Long_Double_Index when "long double" is read. | |
33 | (elaboration code): Register_Back_End_Types only when not reading from | |
34 | config files. Doing otherwise is pointless and error prone. | |
35 | ||
36 | 2015-01-06 Robert Dewar <dewar@adacore.com> | |
37 | ||
38 | * s-valrea.adb (Value_Real): Check for Str'Last = Positive'Last | |
39 | ||
40 | 2015-01-06 Robert Dewar <dewar@adacore.com> | |
41 | ||
42 | * a-wtgeau.adb, a-ztgeau.adb, a-tigeau.adb (String_Skip): Raise PE if | |
43 | Str'Last = Positive'Last. | |
44 | ||
45 | 2015-01-06 Ed Schonberg <schonberg@adacore.com> | |
46 | ||
47 | * sem_ch6.adb (Matches_Limited_View): Handle properly the case | |
48 | where the non-limited type is a generic actual and appears as | |
49 | a subtype of the non-limited view of the other. | |
50 | * freeze.adb (Build_Renamed_Body): If the return type of the | |
51 | declaration that is being completed is a limited view and the | |
52 | non-limited view is available, use it in the specification of | |
53 | the generated body. | |
54 | ||
55 | 2015-01-06 Javier Miranda <miranda@adacore.com> | |
56 | ||
57 | * exp_disp.adb: Reapplying reversed patch. | |
58 | ||
59 | 2015-01-06 Ed Schonberg <schonberg@adacore.com> | |
60 | ||
61 | * sem_ch3.adb (Find_Type_Name): If there is a previous tagged | |
62 | incomplete view, the type of the classwide type common to both | |
63 | views is the type being declared. | |
64 | ||
8a52daee EB |
65 | 2015-01-06 Eric Botcazou <ebotcazou@adacore.com> |
66 | ||
67 | * einfo.ads (Is_Independent): Further document extended usage. | |
68 | ||
6ced6aa2 EB |
69 | 2015-01-06 Eric Botcazou <ebotcazou@adacore.com> |
70 | ||
71 | * einfo.ads (Is_Independent): Document extended usage. | |
72 | * einfo.adb (Is_Independent): Remove obsolete assertion. | |
73 | (Set_Is_Independent): Likewise. | |
74 | * sem_prag.adb (Process_Atomic_Shared_Volatile): Rename into... | |
75 | (Process_Atomic_Independent_Shared_Volatile): ...this. | |
76 | Deal with pragma Independent here. | |
77 | (Analyze_Pragma): Adjust | |
78 | to above renaming and also invoke it for pragma Independent. | |
79 | Adjust comment for Independent_Components. | |
80 | ||
61ae296d RD |
81 | 2015-01-06 Robert Dewar <dewar@adacore.com> |
82 | ||
83 | * snames.ads-tmpl: Remove entries for attribute Enum_Image. | |
84 | * exp_attr.adb: Remove reference to Attribute_Enum_Image. | |
85 | ||
86 | 2015-01-06 Robert Dewar <dewar@adacore.com> | |
87 | ||
88 | * s-vallli.adb (Value_Long_Long_Integer): Handle case of Str'Last | |
89 | = Positive'Last. | |
90 | * s-valllu.adb (Value_Long_Long_Unsigned): Handle case of | |
91 | Str'Last = Positive'Last. | |
92 | ||
93 | 2015-01-06 Robert Dewar <dewar@adacore.com> | |
94 | ||
95 | * sem_prag.adb (Process_Inline): Remove redundant construct | |
96 | warning (-gnatw.r) for an ineffective pragma Inline. | |
97 | ||
21db8699 RD |
98 | 2015-01-06 Robert Dewar <dewar@adacore.com> |
99 | ||
100 | * s-valint.adb: Fix typo in last checkin. | |
101 | * s-valuns.adb (Value_Unsigned): More efficient fix for | |
102 | Positive'Last case. | |
103 | * sem_attr.adb (Analyze_Attribute): Minor reformatting | |
104 | (Eval_Attribute): Static ervaluation of 'Img for enumeration types. | |
105 | ||
8d1359c7 AC |
106 | 2015-01-06 Robert Dewar <dewar@adacore.com> |
107 | ||
108 | * s-valint.adb, s-valuns.adb (Value_Integer): Deal with case where | |
109 | Str'Last = Positive'Last | |
110 | ||
111 | 2015-01-06 Thomas Quinot <quinot@adacore.com> | |
112 | ||
113 | * xoscons.adb: Display exception information and return non-zero | |
114 | exit status in top level exception handler. | |
115 | ||
a1954e97 AC |
116 | 2015-01-06 Ed Schonberg <schonberg@adacore.com> |
117 | ||
118 | * sem_ch8.adb: Code clean up. | |
119 | ||
120 | 2015-01-06 Tristan Gingold <gingold@adacore.com> | |
121 | ||
122 | * targparm.ads: Remove obsolete comment. | |
123 | ||
f72a845b OH |
124 | 2015-01-06 Olivier Hainque <hainque@adacore.com> |
125 | ||
126 | * gcc-interface/decl.c (gnat_to_gnu_entity, case E_Variable): When | |
127 | constructing a ref to variable, update inner_const_flag from the | |
128 | variable TREE_READONLY attribute. | |
129 | * gcc-interface/targtyps.c (WIDEST_HARDWARE_FP_SIZE): Remove default | |
130 | definition. | |
131 | (get_target_float_size): Remove. | |
132 | (get_target_double_size): Remove. | |
133 | (get_target_long_double_size): Remove. | |
134 | ||
07e188be PO |
135 | 2015-01-06 Pascal Obry <obry@adacore.com> |
136 | ||
137 | * adaint.c (ProcListEvt): Set to NULL. | |
138 | * rtinit.c: New file. | |
139 | (__gnat_rt_init_count): New reference counter set to 0. | |
140 | (__gnat_runtime_initialize): Move code here from __gnat_initialize when | |
141 | this code is actually needed for the runtime initialization. This | |
142 | routine returns immediately if the initialization has already been done. | |
143 | * final.c: Revert previous change. | |
144 | * rtfinal.c: New file. | |
145 | (__gnat_runtime_finalize)[Win32]: Add finalization of the critical | |
146 | section and event. The default version of this routine is empty (except | |
147 | for the reference counting code). This routine returns immediately if | |
148 | some others libraries are referencing the runtime. | |
149 | * bindgen.adb (Gen_Adainit): Generate call to Runtime_Initialize | |
150 | remove circuitry to initialize the signal handler as this is | |
151 | now done by the runtime initialization routine. | |
152 | (Gen_Adafinal): Generate call to Runtime_Finalize. | |
153 | * gnat_ugn.texi: Update documentation about concurrency and | |
154 | initialization/finalization of the run-time. | |
155 | * gcc-interface/Makefile.in, gcc-interface/Make-lang.in: Add | |
156 | references to rtfinal.o and rtinit.o | |
157 | ||
4199e8c6 RD |
158 | 2015-01-06 Robert Dewar <dewar@adacore.com> |
159 | ||
160 | * exp_attr.adb (Expand_N_Attribute_Reference): Add dummy entry | |
161 | for Enum_Image. | |
162 | * sem_attr.adb: Implement Enum_Image attribute. | |
163 | * snames.ads-tmpl: Add entries for Enum_Image attribute. | |
164 | ||
db761fee AC |
165 | 2015-01-06 Robert Dewar <dewar@adacore.com> |
166 | ||
167 | * namet.ads: Document use of Boolean2 for No_Use_Of_Entity. | |
168 | * restrict.ads (No_Use_Of_Entity): New table. | |
169 | * sem_prag.adb (Process_Restrictions_Or_Restriction_Warnings): | |
170 | Ignore No_Use_Of_Entity (will be processed in parser). | |
171 | * snames.ads-tmpl: Add entry for Name_No_Use_Of_Entity. | |
172 | ||
173 | 2015-01-06 Vincent Celier <celier@adacore.com> | |
174 | ||
175 | * prj-tree.adb (Imported_Or_Extended_Project_Of): Do not try | |
176 | to check for an extended project, if a project does not have | |
177 | yet a project declaration. | |
178 | ||
0566484a AC |
179 | 2015-01-06 Pierre-Marie Derodat <derodat@adacore.com> |
180 | ||
181 | * scos.ads: Update documentation about the SCO table build | |
182 | process and about table records format. | |
183 | * par_sco.ads (SCO_Record): Rename to SCO_Record_Raw. | |
184 | (SCO_Record_Filtered): New procedure. | |
185 | (Set_SCO_Logical_Operator): New procedure. | |
186 | (dsco): Update documentation. | |
187 | * par_sco.adb: Update library-level comments. | |
188 | (SCO_Generation_State_Type): New type. | |
189 | (SCO_Generation_State): New variable. | |
190 | (SCO_Raw_Table): New package instanciation. | |
191 | (Condition_Pragma_Hash_Table): Rename to SCO_Raw_Hash_Table. | |
192 | ("<"): New. | |
193 | (Tristate): New type. | |
194 | (Is_Logical_Operator): Return Tristate and update documentation. | |
195 | (Has_Decision): Update call to Is_Logical_Operator and complete | |
196 | documentation. | |
197 | (Set_Table_Entry): Rename to Set_Raw_Table_Entry, update | |
198 | comment, add an assertion for state checking and change | |
199 | references to SCO_Table into SCO_Raw_Table. | |
200 | (dsco): Refactor to dump the raw and the filtered tables. | |
201 | (Process_Decisions.Output_Decision_Operand): Handle putative | |
202 | short-circuit operators. | |
203 | (Process_Decisions.Output_Element): Update references | |
204 | to Set_Table_Entry and to Condition_Pragma_Hash_Table. | |
205 | (Process_Decisions.Process_Decision_Operand): Update call | |
206 | to Is_Logical_Operator. | |
207 | (Process_Decisions.Process_Node): Handle putative short-circuit | |
208 | operators and change references to | |
209 | SCO_Table into SCO_Raw_Table. | |
210 | (SCO_Output): Add an assertion | |
211 | for state checking and remove code that used to stamp out SCO entries. | |
212 | (SCO_Pragma_Disabled): Change reference to SCO_Table | |
213 | into SCO_Raw_Table. | |
214 | (SCO_Record): Rename to SCO_Record_Raw, | |
215 | add an assertion for state checking and change references | |
216 | to SCO_Table into SCO_Raw_Table. | |
217 | (Set_SCO_Condition): Add an assertion for state checking, update | |
218 | references to Condition_Pragma_Hash_Table and change references to | |
219 | SCO_Table into SCO_Raw_Table. | |
220 | (Set_SCO_Pragma_Enabled): Add an assertion for state checking and | |
221 | change references to SCO_Table into SCO_Raw_Table. | |
222 | (Set_SCO_Logical_Operator): New procedure. | |
223 | (Traverse_Declarations_Or_Statements.Set_Statement_Entry): Update | |
224 | references to Set_Table_Entry and to Condition_Pragma_Hash_Table. | |
225 | (SCO_Record_Fildered): New procedure. | |
226 | * gnat1drv.adb (Gnat1drv): Invoke the SCO filtering pass. | |
227 | * lib-writ.adb (Write_ALI): Invoke the SCO filtering pass and | |
228 | output SCOs. | |
229 | * par-load.adb (Load): Update reference to SCO_Record. | |
230 | * par.adb (Par): Update reference to SCO_Record. | |
231 | * put_scos.adb (Put_SCOs): Add an assertion to check that no | |
232 | putative SCO condition reaches this end. | |
233 | * sem_ch10.adb (Analyze_Proper_Body): Update reference to SCO_Record. | |
234 | * sem_res.adb (Resolve_Logical_Op): Validate putative SCOs | |
235 | when corresponding to an "and"/"or" operator affected by the | |
236 | Short_Circuit_And_Or pragma. | |
237 | ||
238 | 2015-01-06 Robert Dewar <dewar@adacore.com> | |
239 | ||
240 | * sem_ch8.adb (Analyze_Use_Package): Give more specific error | |
241 | msg for attempted USE of generic subprogram or subprogram. | |
242 | ||
72eaa365 AC |
243 | 2015-01-06 Robert Dewar <dewar@adacore.com> |
244 | ||
245 | * s-valllu.adb, a-tiinau.adb, a-timoau.adb, a-ztinau.adb, a-ztmoau.adb, | |
246 | s-valuns.adb, s-valrea.adb, a-wtflau.adb, a-tiflau.adb, a-ztflau.adb, | |
247 | a-wtinau.adb, a-wtmoau.adb: Document recognition of : in place of #. | |
248 | ||
249 | 2015-01-06 Ed Schonberg <schonberg@adacore.com> | |
250 | ||
251 | * sem_ch13.adb (Analyze_Aspect_Specifications): For aspects | |
252 | that specify stream subprograms, if the prefix is a class-wide | |
253 | type then the generated attribute definition clause must apply | |
254 | to the same class-wide type. | |
255 | (Default_Iterator): An iterator defined by an aspect of some | |
256 | container type T must have a first parameter of type T, T'class, | |
257 | or an access to such (from code reading RM 5.5.1 (2/3)). | |
258 | ||
259 | 2015-01-06 Arnaud Charlet <charlet@adacore.com> | |
260 | ||
261 | * gnat1drv.adb: Minor: complete previous change. | |
262 | ||
263 | 2015-01-06 Olivier Hainque <hainque@adacore.com> | |
264 | ||
265 | * set_targ.ads (C_Type_For): New function. Return the name of | |
266 | a C type supported by the back-end and suitable as a basis to | |
267 | construct the standard Ada floating point type identified by | |
268 | the T parameter. This is used as a common ground to feed both | |
269 | ttypes values and the GNAT tree nodes for the standard floating | |
270 | point types. | |
271 | * set_targ.adb (Long_Double_Index): The index at which "long | |
272 | double" gets registered in the FPT_Mode_Table. This is useful to | |
273 | know whether we have a "long double" available at all and get at | |
274 | it's characteristics without having to search the FPT_Mode_Table | |
275 | when we need to decide which C type should be used as the | |
276 | basis for Long_Long_Float in Ada. | |
277 | (Register_Float_Type): Fill Long_Double_Index. | |
278 | (FPT_Mode_Index_For): New function. Return the index in | |
279 | FPT_Mode_Table that designates the entry corresponding to the | |
280 | provided C type name. | |
281 | (FPT_Mode_Index_For): New function. Return the index in | |
282 | FPT_Mode_Table that designates the entry for a back-end type | |
283 | suitable as a basis to construct the standard Ada floating point | |
284 | type identified by the input T parameter. | |
285 | (elaboration code): Register_Back_End_Types unconditionally, | |
286 | so C_Type_For can operate regardless of -gnateT. Do it | |
287 | early so we can query it for the floating point sizes, via | |
288 | FPT_Mode_Index_For. Initialize Float_Size, Double_Size and | |
289 | Long_Double_Size from the FPT_Mode_Table, as cstand will do. | |
290 | * cstand.adb (Create_Float_Types): Use C_Type_For to determine | |
291 | which C type should be used as the basis for the construction | |
292 | of the Standard Ada floating point types. | |
293 | * get_targ.ads (Get_Float_Size, Get_Double_Size, | |
294 | Get_Long_Double_Size): Remove. | |
295 | * get_targ.adb: Likewise. | |
296 | ||
297 | 2015-01-06 Thomas Quinot <quinot@adacore.com> | |
298 | ||
299 | * sem_cat.adb (In_RCI_Declaration): Remove unnecessary | |
300 | parameter and rename to... | |
301 | (In_RCI_Visible_Declarations): Fix handling of private part of nested | |
302 | package. | |
303 | (Validate_RCI_Subprogram_Declaration): Reject illegal function | |
304 | returning anonymous access in RCI unit. | |
305 | ||
948ed277 AC |
306 | 2015-01-06 Ed Schonberg <schonberg@adacore.com> |
307 | ||
308 | * sem_ch6.adb (New_Overloaded_Entity): In GNATprove mode, a | |
309 | function wrapper may be a homonym of another local declaration. | |
310 | * sem_ch8.adb (Analyze_Subprogram_Renaming): In GNATprove mode, | |
311 | build function and operator wrappers after the actual subprogram | |
312 | has been resolved, and replace the standard renaming declaration | |
313 | with the declaration of wrapper. | |
314 | * sem_ch12.ads (Build_Function_Wrapper, Build_Operator_Wraooer): | |
315 | make public for use elsewhere. | |
316 | * sem_ch12.adb (Build_Function_Wrapper, Build_Operator_Wraooer): | |
317 | rewrite, now that actual is fully resolved when wrapper is | |
318 | constructed. | |
319 | ||
320 | 2015-01-06 Javier Miranda <miranda@adacore.com> | |
321 | ||
322 | * exp_disp.adb: Revert previous change. | |
323 | ||
a921e83c AC |
324 | 2015-01-06 Robert Dewar <dewar@adacore.com> |
325 | ||
326 | * exp_util.adb: Change name Name_Table_Boolean to | |
327 | Name_Table_Boolean1. | |
328 | * namet.adb: Change name Name_Table_Boolean to Name_Table_Boolean1 | |
329 | Introduce Name_Table_Boolean2/3. | |
330 | * namet.ads: Change name Name_Table_Boolean to Name_Table_Boolean1 | |
331 | Introduce Name_Table_Boolean2/3. | |
332 | * par-ch13.adb: Change name Name_Table_Boolean to | |
333 | Name_Table_Boolean1. | |
334 | ||
335 | 2015-01-06 Bob Duff <duff@adacore.com> | |
336 | ||
337 | * gnat_rm.texi: Improve documentation regarding No_Task_Termination. | |
338 | ||
339 | 2015-01-06 Ed Schonberg <schonberg@adacore.com> | |
340 | ||
341 | * sem_aggr.adb (Resolve_Record_Aggregte, Get_Value): For an | |
342 | others choice that covers multiple components, analyze each | |
343 | copy with the type of the component even in compile-only mode, | |
344 | to detect potential accessibility errors. | |
345 | ||
346 | 2015-01-06 Hristian Kirtchev <kirtchev@adacore.com> | |
347 | ||
348 | * sem_res.adb (Is_Assignment_Or_Object_Expression): New routine. | |
349 | (Resolve_Actuals): An effectively volatile out | |
350 | parameter cannot act as an in or in out actual in a call. | |
351 | (Resolve_Entity_Name): An effectively volatile out parameter | |
352 | cannot be read. | |
353 | ||
354 | 2015-01-06 Ed Schonberg <schonberg@adacore.com> | |
355 | ||
356 | * sem_ch6.adb (Analyze_Subprogram_Body_Helper): If the body is | |
357 | the expansion of an expression function it may be pre-analyzed | |
358 | if a 'access attribute is applied to the function, in which case | |
359 | last_entity may have been assigned already. | |
360 | ||
361 | 2015-01-06 Ed Schonberg <schonberg@adacore.com> | |
362 | ||
363 | * sem_ch4.adb (Analyze_One_Call): If formal has an incomplete | |
364 | type and actual has the corresponding full view, there is no | |
365 | error, but a case of use of incomplete type in a predicate or | |
366 | invariant expression. | |
367 | ||
368 | 2015-01-06 Vincent Celier <celier@adacore.com> | |
369 | ||
370 | * makeutl.adb (Insert_No_Roots): Make sure that the same source | |
371 | in two different project tree is checked in both trees, if they | |
372 | are sources of two different projects, extended or not. | |
373 | ||
374 | 2015-01-06 Arnaud Charlet <charlet@adacore.com> | |
375 | ||
376 | * gnat1drv.adb: Minor code clean up. | |
377 | (Adjust_Global_Switches): Ignore gnatprove_mode in codepeer_mode. | |
378 | ||
379 | 2015-01-06 Bob Duff <duff@adacore.com> | |
380 | ||
381 | * osint.adb (Read_Source_File): Don't print out | |
382 | file name unless T = Source. | |
383 | ||
384 | 2015-01-06 Ed Schonberg <schonberg@adacore.com> | |
385 | ||
386 | * sem_util.adb (Is_Variable, Is_OK_Variable_For_Out_Formal): | |
387 | recognize improper uses of constant_reference types as actuals | |
388 | for in-out parameters. | |
389 | (Check_Function_Call): Do not collect identifiers if function | |
390 | name is missing because of previous error. | |
391 | ||
ac16e74c RD |
392 | 2015-01-06 Robert Dewar <dewar@adacore.com> |
393 | ||
394 | * ali-util.adb, sem_prag.adb, rtsfind.adb, sem_util.adb, sem_res.adb, | |
395 | ali.adb, binde.adb, namet.adb, namet.ads, gnatls.adb, bcheck.adb: | |
396 | Minor change of name Name_Table_Info => Name_Table_Int. | |
397 | ||
4b6f99f5 RD |
398 | 2015-01-06 Robert Dewar <dewar@adacore.com> |
399 | ||
400 | * exp_strm.adb (Build_Elementary_Input_Call): Clarify comments | |
401 | in previous checkin. | |
402 | * freeze.adb (Freeze_Fixed_Point_Type): Add warning for shaving | |
403 | of bounds. | |
404 | * sem_prag.adb, sem_ch10.adb, sem_ch6.adb: Minor reformatting. | |
405 | ||
21f30884 AC |
406 | 2015-01-06 Vincent Celier <celier@adacore.com> |
407 | ||
408 | * a-strsup.adb (Times (Natural;String;Positive)): Raise | |
409 | Length_Error, not Index_Error, when the result is too long. | |
410 | ||
411 | 2015-01-06 Thomas Quinot <quinot@adacore.com> | |
412 | ||
413 | * a-direct.adb (Create_Path): Minor error handling and | |
414 | performance improvement. | |
415 | ||
416 | 2015-01-06 Robert Dewar <dewar@adacore.com> | |
417 | ||
418 | * checks.ads, sem_ch12.adb: Minor reformatting. | |
419 | * exp_ch4.adb (Expand_N_Op_Divide): Generate explicit divide by | |
420 | zero check for fixed-point case if Backend_Divide_Checks_On_Target | |
421 | is False. | |
422 | ||
423 | 2015-01-06 Robert Dewar <dewar@adacore.com> | |
424 | ||
425 | * sem_prag.adb (Analyze_Pragma, case No_Elaboration_Code_All): | |
426 | Do not set restriction No_Elaboration_Code unless the pragma | |
427 | appears in the main unit). | |
428 | ||
429 | 2015-01-06 Ed Schonberg <schonberg@adacore.com> | |
430 | ||
431 | * sem_ch10.adb (Is_Regular_With_Clause): Add guard to verify | |
432 | that with clause has already been analyzed before checking kind | |
433 | of with_clause. | |
434 | ||
435 | 2015-01-06 Robert Dewar <dewar@adacore.com> | |
436 | ||
437 | * exp_strm.adb (Build_Elementary_Input_Call): Return base type | |
438 | (as required by RM). | |
439 | ||
91afcbfd AC |
440 | 2015-01-06 Arnaud Charlet <charlet@adacore.com> |
441 | ||
442 | * a-reatim.adb ("/"): Add explicit pragma Unsuppress (Division_Check). | |
443 | ||
444 | 2015-01-06 Robert Dewar <dewar@adacore.com> | |
445 | ||
446 | * sem_prag.adb (Process_Suppress_Unsuppress): Add extra warning | |
447 | for ignoring pragma Suppress (Elaboration_Check) in SPARK mode. | |
448 | ||
449 | 2015-01-06 Javier Miranda <miranda@adacore.com> | |
450 | ||
451 | * exp_disp.adb (Expand_Interface_Conversion): No displacement | |
452 | of the pointer to the object needed when the type of the operand | |
453 | is not an interface type and the interface is one of its parent | |
454 | types (since they share the primary dispatch table). | |
455 | ||
966fc9c5 AC |
456 | 2015-01-06 Vincent Celier <celier@adacore.com> |
457 | ||
458 | * prj-env.adb: Minor comment update. | |
459 | ||
460 | 2015-01-06 Javier Miranda <miranda@adacore.com> | |
461 | ||
462 | * sem_res.adb (Valid_Conversion): Restrict the checks on anonymous | |
463 | access types whose target type is an interface type to operands | |
464 | that are access types; required to report an error when the | |
465 | operand is not an access type. | |
466 | ||
4528ead5 AC |
467 | 2015-01-06 Bob Duff <duff@adacore.com> |
468 | ||
469 | * a-cfinve.adb (Copy): Set the discriminant to the Length when | |
470 | Capacity = 0. | |
471 | * a-cofove.ads (Capacity): Add a postcondition. | |
472 | * a-cfinve.ads (Capacity): Add a postcondition. | |
473 | (Reserve_Capacity): Correct the postcondition in the case where | |
474 | Capacity = 0; that means "Capacity => Length (Container)". | |
475 | * a-cofove.adb (Elems[c]): Add a comment | |
476 | explaining the dangers and how to avoid them. | |
477 | ||
478 | 2015-01-06 Ed Schonberg <schonberg@adacore.com> | |
479 | ||
480 | * sem_ch12.adb: Code clean up. | |
966fc9c5 | 481 | |
6260b90c AC |
482 | 2015-01-06 Arnaud Charlet <charlet@adacore.com> |
483 | ||
484 | * gnatvsn.ads: Bump copyright year. | |
485 | ||
de4ac038 AC |
486 | 2015-01-06 Robert Dewar <dewar@adacore.com> |
487 | ||
488 | * s-taskin.ads, s-traces.ads: Minor reformatting. | |
489 | * exp_util.adb: Minor typo fix. | |
490 | ||
491 | 2015-01-06 Vincent Celier <celier@adacore.com> | |
492 | ||
493 | * gnatls.adb (Search_RTS): Invoke Initialize_Default_Project_Path | |
494 | with the runtime name. | |
495 | * prj-env.adb (Initialize_Default_Project_Path): When both | |
496 | Target_Name and Runtime_Name are not empty string, add to the | |
497 | project path the two directories .../lib/gnat and .../share/gpr | |
498 | related to the runtime. | |
499 | * prj-env.ads (Initialize_Default_Project_Path): New String | |
500 | parameter Runtime_Name, defaulted to the empty string. | |
501 | ||
502 | 2015-01-06 Hristian Kirtchev <kirtchev@adacore.com> | |
503 | ||
504 | * frontend.adb: Guard against the case where a configuration | |
505 | pragma may be split into multiple pragmas and the original | |
506 | rewritten as a null statement. | |
507 | * sem_prag.adb (Analyze_Pragma): Insert a brand new Check_Policy | |
508 | pragma using Insert_Before rather than Insert_Action. This | |
509 | takes care of the configuration pragma case where Insert_Action | |
510 | would fail. | |
511 | ||
512 | 2015-01-06 Bob Duff <duff@adacore.com> | |
513 | ||
514 | * a-coboho.ads (Element_Access): Add "pragma | |
515 | No_Strict_Aliasing (Element_Access);". This is needed because | |
516 | we are unchecked-converting from Address to Element_Access. | |
517 | * a-cofove.ads, a-cofove.adb (Elems,Elemsc): Fix bounds of the | |
518 | result to be 1. | |
519 | ||
520 | 2015-01-06 Hristian Kirtchev <kirtchev@adacore.com> | |
521 | ||
522 | * sem_res.adb (Resolve_Actuals): Remove the | |
523 | restriction which prohibits volatile actual parameters with | |
524 | enabled external propery Async_Writers to act appear in procedure | |
525 | calls where the corresponding formal is of mode OUT. | |
526 | ||
b67cd4e3 JJ |
527 | 2015-01-05 Jakub Jelinek <jakub@redhat.com> |
528 | ||
529 | * gnat_ugn.texi: Bump @copying's copyright year. | |
530 | ||
ef3a7cca EB |
531 | 2015-01-05 Eric Botcazou <ebotcazou@adacore.com> |
532 | ||
533 | PR ada/64492 | |
534 | * gcc-interface/Makefile.in (../stamp-tools): Reinstate dropped code. | |
535 | ||
1a78ef4c UB |
536 | 2015-01-04 Uros Bizjak <ubizjak@gmail.com> |
537 | ||
538 | * gcc-interface/misc.c (internal_error_function): Use xasprintf instead | |
539 | of unchecked asprintf. | |
540 | ||
ad41bd84 | 541 | \f |
b67cd4e3 | 542 | Copyright (C) 2015 Free Software Foundation, Inc. |
ad41bd84 JM |
543 | |
544 | Copying and distribution of this file, with or without modification, | |
545 | are permitted in any medium without royalty provided the copyright | |
546 | notice and this notice are preserved. |