1 2015-05-26 Eric Botcazou <ebotcazou@adacore.com>
3 * gcc-interface/gigi.h (gnat_stabilize_reference): Adjust prototype.
4 * gcc-interface/decl.c (gnat_to_gnu_entity): Do not rely on const_flag
5 to detect constant renamings. Be prepared for specific pattern of
6 renamed object based on function calls. Create a constant object
7 for the renaming of a NULL_EXPR or of a CONSTRUCTOR. Adjust calls
8 to gnat_stabilize_reference and tidy up. Remove redundant tests.
9 (elaborate_expression_1): Remove obsolete test and tidy up.
10 * gcc-interface/trans.c (Call_to_gnu): Do not stabilize In/Out or Out
11 parameters passed by reference.
12 (gnat_to_gnu) <N_Selected_Component>: Remove redundant protection again
14 Use gnat_protect_expr instead of gnat_stabilize_reference for general
15 protection against side-effects.
16 * gcc-interface/utils2.c (gnat_stable_expr_p): New predicate.
17 (gnat_save_expr): Invoke it.
18 (gnat_protect_expr): Likewise.
19 (gnat_stabilize_reference_1): Likewise. Remove useless propagation
21 (gnat_stabilize_reference): Remove parameter and adjust throughout.
22 Delete ADDR_EXDR, COMPOUND_EXPR and CONSTRUCTOR cases.
23 Restrict CALL_EXPR case to atomic loads and tweak ERROR_MARK case.
25 2015-05-26 Ed Schonberg <schonberg@adacore.com>
27 * sinfo.ads: Minor reformatting.
28 * sem_aux.ads: Clarify use of First_Discriminant.
29 * sem_ch4.adb (Analyze_Explicit_Dereference): The use of a limited
30 view is replaced with the non-limited view in an instance body,
31 where the enclosing unit must have a regular with_clause on the
33 * sem_ch12.adb (Install_Body): Freeze instantation after its
34 body. Remove useless freeze nodes for incomplete actuals to
35 prevent multiple generation of internal operations.
36 (Instantiate_Package_Body): Set sloc of body appropriately when
37 there are incomplete actuals and the instance body is placed in
38 the body of the enclosing unit.
39 * errout.ads: Consistent punctuation, better alignment and trivial
41 * err_vars.ads: Fix typo.
43 2015-05-26 Eric Botcazou <ebotcazou@adacore.com>
45 * sem_ch8.adb (Analyze_Object_Renaming): Lift restriction on
46 components of Volatile_Full_Access objects.
48 2015-05-26 Ed Schonberg <schonberg@adacore.com>
50 * sem_ch6.adb (Is_Non_Overriding_Operation,
51 Get_Generic_Parent_Type): Handle properly the case of a derived
52 scalar type by using the first subtype rather than its generated
55 2015-05-26 Eric Botcazou <ebotcazou@adacore.com>
57 * einfo.adb (Write_Field17_Name): Move E_Incomplete_Subtype
59 (Write_Field19_Name): ...here.
61 2015-05-26 Ed Schonberg <schonberg@adacore.com>
63 * sem_ch13.adb: sem_ch13.adb (Add_Predicates): Undo analysis
64 of original expression in ASIS mode: does not solve the ASIS
65 problem of a usable type information, and crashes the back-end
66 when performing type annotations.
68 2015-05-26 Robert Dewar <dewar@adacore.com>
70 * sem_disp.adb (Inherited_Subprograms): Add One_Only parameter.
71 (Is_Overriding_Subprogram): Use One_Only_Parameter.
72 * sem_disp.ads (Inherited_Subprograms): Add One_Only parameter.
74 2015-05-26 Robert Dewar <dewar@adacore.com>
76 * exp_prag.adb, sem_ch3.adb, sem_ch5.adb, exp_ch11.adb, ghost.adb,
77 exp_ch6.adb, sem_ch6.adb, sem_ch8.adb, sem_ch11.adb, sem_ch13.adb,
78 exp_ch3.adb: Minor reformatting.
80 2015-05-26 Bob Duff <duff@adacore.com>
82 * treepr.adb: Minor improvement to debugging routines (pp, pn)
83 robustness. Rearrange the code so passing a nonexistent Node_Id
84 prints "No such node" rather than crashing, and causing gdb to
85 generate confusing messages.
87 2015-05-26 Gary Dismukes <dismukes@adacore.com>
89 * sem_util.adb: Minor typo fix.
91 2015-05-26 Yannick Moy <moy@adacore.com>
93 * sem_aux.adb (Subprogram_Body_Entity): Deal with subprogram stubs.
95 2015-05-26 Hristian Kirtchev <kirtchev@adacore.com>
97 * exp_ch3.adb (Expand_N_Full_Type_Declaration): Capture, set and
98 restore the Ghost mode.
99 (Expand_N_Object_Declaration): Capture, set and restore the Ghost mode.
100 (Freeze_Type): Update the call to Set_Ghost_Mode.
101 (Restore_Globals): New routine.
102 * exp_ch5.adb Add with and use clauses for Ghost.
103 (Expand_N_Assignment_Statement): Capture, set and restore the
105 (Restore_Globals): New routine.
106 * exp_ch6.adb Add with and use clauses for Ghost.
107 (Expand_N_Procedure_Call_Statement): Capture, set and
108 restore the Ghost mode.
109 (Expand_N_Subprogram_Body):
110 Code cleanup. Capture, set and restore the Ghost mode.
111 (Expand_N_Subprogram_Declaration): Capture, set and restore the
113 (Restore_Globals): New routine.
114 * exp_ch7.adb Add with and use clauses for Ghost.
115 (Expand_N_Package_Body): Capture, set and restore the Ghost mode.
116 (Expand_N_Package_Declaration): Capture, set and restore the
118 (Wrap_HSS_In_Block): Create a proper identifier for the block.
119 * exp_ch8.adb Add with and use clauses for Ghost.
120 (Expand_N_Exception_Renaming_Declaration): Code
121 cleanup. Capture, set and restore the Ghost mode.
122 (Expand_N_Object_Renaming_Declaration): Capture, set and restore
124 (Expand_N_Package_Renaming_Declaration): Capture, set and restore the
126 (Expand_N_Subprogram_Renaming_Declaration): Capture, set and
127 restore the Ghost mode.
128 * exp_ch11.adb (Expand_N_Exception_Declaration): Code
129 cleanup. Capture, set and restore the Ghost mode.
130 * exp_disp.adb (Make_DT): Update the call to Set_Ghost_Mode. Do
131 not initialize the dispatch table slot of a Ghost subprogram.
132 * exp_prag.adb Add with and use clauses for Ghost.
133 (Expand_Pragma_Check): Capture, set and restore the Ghost mode.
134 (Expand_Pragma_Contract_Cases): Capture, set and restore the
136 (Expand_Pragma_Initial_Condition): Capture, set and
137 restore the Ghost mode.
138 (Expand_Pragma_Loop_Variant): Capture,
139 set and restore the Ghost mode.
140 (Restore_Globals): New routine.
141 * exp_util.adb Add with and use clauses for Ghost.
142 (Make_Predicate_Call): Code cleanup. Capture, set and restore
144 (Restore_Globals): New routine.
145 * freeze.adb (Freeze_Entity): Code cleanup. Update the call
147 * ghost.adb Add with and use clause for Sem_Prag.
148 (Check_Ghost_Completion): Code cleanup.
149 (Check_Ghost_Overriding): New routine.
150 (Check_Ghost_Policy): Code cleanup.
151 (Ghost_Entity): New routine.
152 (Is_Ghost_Declaration): Removed.
153 (Is_Ghost_Statement_Or_Pragma): Removed.
154 (Is_OK_Context): Reimplemented.
155 (Is_OK_Declaration): New routine.
156 (Is_OK_Pragma): New routine.
157 (Is_OK_Statement): New routine.
158 (Mark_Full_View_As_Ghost): New routine.
159 (Mark_Pragma_As_Ghost): New routine.
160 (Mark_Renaming_As_Ghost): New routine.
161 (Propagate_Ignored_Ghost_Code): Update the comment on usage.
162 (Set_From_Entity): New routine.
163 (Set_From_Policy): New routine.
164 (Set_Ghost_Mode): This routine now handles pragmas and freeze nodes.
165 (Set_Ghost_Mode_For_Freeze): Removed.
166 (Set_Ghost_Mode_From_Entity): New routine.
167 (Set_Ghost_Mode_From_Policy): Removed.
168 * ghost.ads (Check_Ghost_Overriding): New routine.
169 (Mark_Full_View_As_Ghost): New routine.
170 (Mark_Pragma_As_Ghost): New routine.
171 (Mark_Renaming_As_Ghost): New routine.
172 (Set_Ghost_Mode): Update the parameter profile. Update the
174 (Set_Ghost_Mode_For_Freeze): Removed.
175 (Set_Ghost_Mode_From_Entity): New routine.
176 * sem_ch3.adb (Analyze_Full_Type_Declaration):
177 Capture and restore the Ghost mode. Mark a type
178 as Ghost regardless of whether it comes from source.
179 (Analyze_Incomplete_Type_Decl): Capture, set and restore the
181 (Analyze_Number_Declaration): Capture and restore the Ghost mode.
182 (Analyze_Object_Declaration): Capture and restore the Ghost mode.
183 (Analyze_Private_Extension_Declaration): Capture and
184 restore the Ghost mode.
185 (Analyze_Subtype_Declaration): Capture and restore the Ghost mode.
186 (Process_Full_View): The full view inherits all Ghost-related
187 attributes from the private view.
188 (Restore_Globals): New routine.
189 * sem_ch5.adb (Analyze_Assignment): Capture and restore the
191 (Restore_Globals): New routine.
192 * sem_ch6.adb (Analyze_Abstract_Subprogram_Declaration):
193 Code cleanup. Capture and restore the Ghost mode. Mark a
194 subprogram as Ghost regarless of whether it comes from source.
195 (Analyze_Procedure_Call): Capture and restore the Ghost mode.
196 (Analyze_Subprogram_Body_Helper): Capture and restore the Ghost mode.
197 (Analyze_Subprogram_Declaration): Capture and restore the Ghost mode.
198 (New_Overloaded_Entity): Ensure that a
199 parent subprogram and an overriding subprogram have compatible
201 * sem_ch7.adb (Analyze_Package_Body_Helper): Capture and restore
203 (Analyze_Package_Declaration): Capture and
204 restore the Ghost mode. Mark a package as Ghost when it is
205 declared in a Ghost region.
206 (Analyze_Private_Type_Declaration): Capture and restore the Ghost mode.
207 (Restore_Globals): New routine.
208 * sem_ch8.adb (Analyze_Exception_Renaming): Code
209 reformatting. Capture and restore the Ghost mode. A renaming
210 becomes Ghost when its name references a Ghost entity.
211 (Analyze_Generic_Renaming): Capture and restore the Ghost mode. A
212 renaming becomes Ghost when its name references a Ghost entity.
213 (Analyze_Object_Renaming): Capture and restore the Ghost mode. A
214 renaming becomes Ghost when its name references a Ghost entity.
215 (Analyze_Package_Renaming): Capture and restore the Ghost mode. A
216 renaming becomes Ghost when its name references a Ghost entity.
217 (Analyze_Subprogram_Renaming): Capture and restore the Ghost
218 mode. A renaming becomes Ghost when its name references a
220 * sem_ch11.adb (Analyze_Exception_Declaration): Capture, set
221 and restore the Ghost mode.
222 * sem_ch12.adb (Analyze_Generic_Package_Declaration): Capture and
223 restore the Ghost mode.
224 (Analyze_Generic_Subprogram_Declaration):
225 Capture and restore the Ghost mode.
226 * sem_ch13.adb Add with and use clauses for Ghost.
227 (Add_Invariant): New routine.
228 (Add_Invariants): Factor out code.
229 (Add_Predicate): New routine.
230 (Add_Predicates): Factor out code.
231 (Build_Invariant_Procedure_Declaration): Code cleanup. Capture,
232 set and restore the Ghost mode.
233 (Build_Invariant_Procedure): Code cleanup.
234 (Build_Predicate_Functions): Capture, set and
235 restore the Ghost mode. Mark the generated functions as Ghost.
236 * sem_prag.adb (Analyze_Contract_Cases_In_Decl_Part):
237 Capture, set and restore the Ghost mode.
238 (Analyze_External_Property_In_Decl_Part): Capture, set and restore
240 (Analyze_Initial_Condition_In_Decl_Part):
241 Capture, set and restore the Ghost mode.
243 Code cleanup. Capture, set and restore the Ghost mode. Flag
244 pragmas Linker_Section, No_Return, Unmodified, Unreferenced and
245 Unreferenced_Objects as illegal when it applies to both Ghost
246 and living arguments. Pragma Ghost cannot apply to synchronized
248 (Check_Kind): Moved to the spec of Sem_Prag.
249 (Process_Inline): Flag the pragma as illegal when it applies to
250 both Ghost and living arguments.
251 (Restore_Globals): New routine.
252 * sem_prag.ads Add pragma Default_Initial_Condition
253 to table Assertion_Expression_Pragma. Add new table
254 Is_Aspect_Specifying_Pragma.
255 (Check_Kind): Moved from body of Sem_Prag.
256 * sem_util.adb Add with and use clauses for Ghost.
257 (Build_Default_Init_Cond_Procedure_Body): Capture, set and restore
259 (Build_Default_Init_Cond_Procedure_Declaration):
260 Capture, set and restore the Ghost mode. Mark the default
261 initial condition procedure as Ghost when it is declared
263 (Is_Renaming_Declaration): New routine.
264 (Policy_In_List): Account for the single argument version of
266 * sem_util.ads (Is_Renaming_Declaration): New routine.
267 * sinfo.adb (Is_Ghost_Pragma): New routine.
268 (Set_Is_Ghost_Pragma): New routine.
269 * sinfo.ads New attribute Is_Ghost_Pragma.
270 (Is_Ghost_Pragma): New routine along with pragma Inline.
271 (Set_Is_Ghost_Pragma): New routine along with pragma Inline.
273 2015-05-26 Robert Dewar <dewar@adacore.com>
275 * sem_ch3.adb, sem_aux.adb, sem_aux.ads, exp_ch6.adb, sprint.adb:
278 2015-05-26 Gary Dismukes <dismukes@adacore.com>
280 * gnat1drv.adb, targparm.adb, targparm.ads, restrict.adb: Minor
281 reformatting and typo fixes in comments.
283 2015-05-26 Ed Schonberg <schonberg@adacore.com>
285 * sem_ch7.adb (Swap_Private_Dependets): Set visibility of
286 the two views of a private dependent in two separate steps,
287 to ensure proper visibility in parent units analyzed for inlining.
289 2015-05-26 Yannick Moy <moy@adacore.com>
291 * sem_aux.adb, sem_aux.ads (Get_Low_Bound): Use Type_Low_Bound.
292 (Package_Body, Package_Spec): New queries moved
294 (Package_Specification): Simplify query to remove use of loop.
295 * sem_util.adb, sem_util.ads (Enclosing_Declaration,
296 Enclosing_Package_Or_Subprogram, Is_Attribute_Update): New
297 queries moved here from GNATprove.
299 2015-05-26 Bob Duff <duff@adacore.com>
301 * einfo.adb, einfo.ads, sprint.adb, lib-xref.ads: Minor cleanup: Remove
302 obsolete Entity_Kinds E_String_Type and E_String_Subtype. Update
303 redundant assertions.
305 2015-05-26 Gary Dismukes <dismukes@adacore.com>
307 * sem_util.adb, sem_util.ads, sem_ch13.adb: Minor typo fixes.
309 2015-05-26 Doug Rupp <rupp@adacore.com>
311 * init.c [vxworks]: Refine previous checkin.
313 2015-05-26 Robert Dewar <dewar@adacore.com>
315 * exp_ch4.adb (Wrap_MA): New function.
316 (Expand_N_Op_Expon): Use Wrap_MA.
318 2015-05-26 Bob Duff <duff@adacore.com>
320 * exp_ch6.adb (Make_Build_In_Place_Call_In_Object_Declaration):
321 Do not use secondary stack to return limited records with
322 defaulted discriminants. This is an efficiency improvement.
323 * exp_ch6.adb, exp_dist.adb, sem_attr.adb, sem_aux.adb, sem_aux.ads,
324 sem_ch12.adb, sem_ch3.adb, sem_ch4.adb, sem_ch6.adb, sem_ch7.adb,
325 sem_util.adb: Change the sense of Is_Indefinite_Subtype to be
326 Is_Definite_Subtype. This is an improvement to readability (the double
327 negative in "not Is_Indefinite_Subtype" was slightly confusing). Also
328 disallow passing non-[sub]type entities, an unnecessary and slightly
329 bug-prone flexibility.
331 2015-05-26 Robert Dewar <dewar@adacore.com>
333 * sem_aggr.adb (Resolve_Array_Aggregate): Defend against
335 * debug.adb: Document -gnatd.k.
336 * erroutc.adb (Set_Msg_Insertion_Line_Number): Implement -gnatd.k.
338 2015-05-26 Robert Dewar <dewar@adacore.com>
340 * gnat1drv.adb (Gnat1drv): Provide new arguments for
341 Get_Target_Parameters.
342 * restrict.adb (Set_Restriction_No_Specification_Of_Aspect):
344 (Set_Restriction_No_Use_Of_Attribute): new procedure.
345 * restrict.ads (Set_Restriction_No_Specification_Of_Aspect):
347 (Set_Restriction_No_Use_Of_Attribute): new procedure.
348 * s-rident.ads (Integer_Parameter_Restrictions): New subtype.
349 * targparm.adb (Get_Target_Parameters): Allow new restriction
350 pragmas No_Specification_Of_Aspect No_Use_Of_Attribute
352 * targparm.ads: New parameters for Get_Target_Parameters.
353 * tbuild.adb (Set_NOD): New name for Set_RND.
354 (Set_NSA): New procedure.
355 (Set_NUA): New procedure.
356 (Set_NUP): New procedure.
357 * tbuild.ads (Make_SC): Minor reformatting.
358 (Set_NOD): New name for Set_RND.
359 (Set_NSA, Set_NUA, Set_NUP): New procedure.
361 2015-05-26 Ed Schonberg <schonberg@adacore.com>
363 * a-stwise.adb (Find_Token): If source'first is not positive,
364 an exception must be raised, as specified by RM 2005 A.4.3
365 (68/1). This must be checked explicitly, given that run-time
366 files are normally compiled without constraint checks.
367 * a-stzsea.adb (Find_Token): Ditto.
369 2015-05-26 Ed Schonberg <schonberg@adacore.com>
371 * sem_util.ads sem_util.adb (Is_Current_Instance): New predicate
372 to fully implement RM 8.6 (17/3). which earlier only applied
373 to synchronized types. Used to preanalyze aspects that include
374 current instances of types, such as Predicate and Invariant.
375 * sem_res.adb (Resolve_Entity_Name): Use Is_Current_Instance.
376 * sem_ch13.adb (Add_Predicates): In ASIS mode, preserve original
377 expression of aspect and analyze it to provide proper type
380 2015-05-26 Robert Dewar <dewar@adacore.com>
382 * rtsfind.ads: Add entries for RE_Exn[_Long]_Float.
383 * s-exnllf.adb (Exn_Float): New function.
384 (Exn_Long_Float): New function.
385 (Exn_Long_Long_Float): Rewritten interface.
386 (Exp): New name for what used to be Exn_Long_Long_Float.
387 * s-exnllf.ads (Exn_Float): New function.
388 (Exn_Long_Float): New function.
390 2015-05-26 Ed Schonberg <schonberg@adacore.com>
392 * sem_ch8.adb (Find_Selected_Component): Do not emit an error
393 on a selected component when the prefix is a type name that is
395 * einfo.ads: Minor grammar fix.
397 2015-05-26 Doug Rupp <rupp@adacore.com>
399 * init.c [vxworks] (sysLib.h): Only for x86.
401 2015-05-26 Doug Rupp <rupp@adacore.com>
403 * init-vxsim.c (CPU): define as __VXSIM_CPU__
404 * sigtramp-vxworks-vxsim.c (CPU): Likewise.
405 sigtramp-vxworks-target.inc: Add check for SIMLINUX.
406 * sigtramp.h: Likewise.
408 2015-05-26 Robert Dewar <dewar@adacore.com>
410 * sem_aux.adb, sem_disp.adb, sem_util.ads: Add comment.
411 * sem_util.adb: Minor reformatting
413 2015-05-26 Yannick Moy <moy@adacore.com>
415 * inline.adb (Has_Initialized_Type): Adapt to new names.
416 * sem_aux.adb, sem_aux.ads (Get_Low_Bound, Number_Components,
417 Subprogram_Body, Subprogram_Body_Entity, Subprogram_Spec,
418 Subprogram_Specification): New query functions used in GNATprove.
419 * sem_disp.adb, sem_disp.ads (Is_Overriding_Subprogram): New
420 query functions used in GNATprove.
421 * sem_util.adb, sem_util.adso (Enclosing_Lib_Unit_Node,
422 Get_Cursor_Type, Get_Return_Object, Get_User_Defined_Eq,
423 Is_Double_Precision_Floating_Point_Type,
424 Is_Single_Precision_Floating_Point_Type): New query functions
427 2015-05-26 Bob Duff <duff@adacore.com>
429 * s-rpc.ads (Partition_ID): Increase maximum Partition_ID to
431 * a-except-2005.adb, a-except-2005.ads, a-except.adb,
432 a-except.ads, a-exexda.adb, a-exstat.adb: Minor comment fixes.
434 2015-05-26 Robert Dewar <dewar@adacore.com>
436 * sinfo.adb: Minor comment addition.
437 * einfo.adb: Minor whitespace and punctuation fix.
438 * sem_util.adb: Minor editing of comments.
440 2015-05-26 Ed Schonberg <schonberg@adacore.com>
442 * sem_ch7.adb (Install_Private_Declarations,
443 Swap_Private_Dependents): Ensure that both views of the dependent
444 subtype are immediately visible if we are within their scope. This
445 may be needed when a procedure body is both the parent of an
446 instantiated child unit, and is itself used to inline a local
449 2015-05-26 Gary Dismukes <dismukes@adacore.com>
451 * exp_prag.adb, gnat1drv.adb: Minor reformatting.
453 2015-05-26 Eric Botcazou <ebotcazou@adacore.com>
455 * exp_ch4.adb (Expand_N_Indexed_Component): In the circuit
456 detecting exceptions to the rewriting, deal with implicit
457 dereferences in the selected component case.
459 2015-05-26 Bob Duff <duff@adacore.com>
461 * sem_ch13.adb (Analyze_One_Aspect): Do not
462 require the expression of the Disable_Controlled aspect to be
463 static in a generic template, because 'Enabled is not known
466 2015-05-26 Doug Rupp <rupp@adacore.com>
468 * init-vxsim.c: New file for vxsim ZCX
469 * sigtramp-vxworks-vxsim.c: Likewise.
470 * sigtramp-vxworks.c: Factor out target dependent bits into ...
471 * sigtramp-vxworks-target.inc: ... here.
472 * sigtramp.h: Add vxsim zcx protos.
473 * init.c [vxworks...] (sysLib.h): Include.
474 (__gnat_map_signal): Make global.
475 [...i386] (__gnat_error_handler): Call __gnat_vxsim_error_handler if
477 [...i386] (__gnat_install_handler): Test if on vxsim.
479 2015-05-26 Ed Schonberg <schonberg@adacore.com>
481 * sem_ch5.adb (Analyze_Iterator_Specification): For an element
482 iterator over an array, if the component is aliased, the loop
483 variable is aliased as well.
485 2015-05-26 Ed Schonberg <schonberg@adacore.com>
487 * exp_ch6.adb (Expand_Actuals): For a function call with in-out
488 parameters that is rewritten as an expression_with_actions,
489 we preserve the original function call node for further use by
490 the caller (typically Expand_Call). In the presence of validity
491 checks, that function call, though it is labelled Analyzed to
492 prevent an infinite recursion, may be rewritten as a temporary
493 by Remove_Side_Effects. Ensure that the caller has access to
494 the original function call to continue expansion.
495 * atree.ads: Minor typo in comment.
497 2015-05-26 Javier Miranda <miranda@adacore.com>
499 * sem_util.adb (Check_Function_Writable_Actuals):
500 Add missing support to check the violation of writable actuals
501 in array aggregates that have a nonstatic range.
503 2015-05-26 Hristian Kirtchev <kirtchev@adacore.com>
505 * exp_ch6.adb (Process_Contract_Cases_For): Update the call to
506 Expand_Pragma_Contract_Cases.
507 * exp_prag.ads, exp_prag.adb (Expand_Contract_Cases): Rename to
508 Expand_Pragma_Contract_Cases.
509 * sem_ch13.adb (Add_Invariants): Use the original aspect name
510 when creating the arguments of pragma Check. This ensures that
511 'Class is properly recognized and handled.
513 2015-05-26 Arnaud Charlet <charlet@adacore.com>
515 * gnat1drv.adb: Minor adjustments.
516 (Adjust_Global_Switches): Disable some related flags in CodePeer mode.
517 * sem_ch4.adb (Has_Arbitrary_Evaluation_Order,
518 Stop_Subtree_Climbind): Code cleanup.
519 * einfo.ads: Minor comment change.
521 2015-05-26 Javier Miranda <miranda@adacore.com>
523 * sem_aggr.adb (Resolve_Aggregate, Resolve_Extension_Aggregate):
525 * sem_ch3.adb (Build_Derived_Record_Type,
526 Record_Type_Declaration): Code cleanup.
527 * sem_ch4.adb (Has_Arbitrary_Evaluation_Order,
528 Stop_Subtree_Climbind): Tables which speed up the identification
529 of dangerous calls to Ada 2012 functions with writable actuals
531 (Analyze_Arithmetic_Op, Analyze_Call, Analyze_Comparison_Op,
532 Analyze_Equality_Op, Analyze_Logical_Op, Analyze_Membership_Op,
533 Analyze_Range): Code cleanup.
534 (Is_Arbitrary_Evaluation_Order_Construct): Removed.
535 (Check_Writable_Actuals): Code cleanup using the added tables.
536 * sem_util.adb (Check_Function_Writable_Actuals): Return
537 immediately if the node does not have the flag Check_Actuals
540 2015-05-26 Eric Botcazou <ebotcazou@adacore.com>
542 * exp_ch6.adb (Add_Call_By_Copy_Code): Remove restrictive
543 condition in the detection of the effects of Remove_Side_Effects.
544 * exp_util.ads (Remove_Side_Effects): Add general and historical note.
545 * exp_util.adb (Is_Name_Reference): New predicate.
546 (Remove_Side_Effects): Use it in lieu of Is_Object_Reference
547 in order to decide whether to use the renaming to capture the
548 side effects of the subexpression.
549 (Side_Effect_Free): Remove obsolete test.
551 2015-05-26 Robert Dewar <dewar@adacore.com>
553 * aspects.ads, aspects.adb: Add aspect Disable_Controlled.
554 * einfo.ads, einfo.adb (Disable_Controlled): New flag.
555 (Is_Controlled_Active): New function.
556 * exp_ch3.adb (Expand_Freeze_Record_Type): Use
557 Is_Controlled_Active.
558 * exp_util.adb (Needs_Finalization): Finalization not needed
559 if Disable_Controlled set.
560 * freeze.adb (Freeze_Array_Type): Do not set
561 Has_Controlled_Component if the component has Disable_Controlled.
562 (Freeze_Record_Type): ditto.
563 * sem_ch13.adb (Decorate): Minor reformatting.
564 (Analyze_Aspect_Specifications): Implement Disable_Controlled.
565 * sem_ch3.adb (Analyze_Object_Declaration): Handle
567 (Array_Type_Declaration): ditto.
568 (Build_Derived_Private_Type): ditto.
569 (Build_Derived_Type): ditto.
570 (Record_Type_Definition): ditto.
571 * snames.ads-tmpl: Add Name_Disable_Controlled.
573 2015-05-26 Eric Botcazou <ebotcazou@adacore.com>
575 * exp_ch6.adb (Expand_Actuals): Use a constant declaration instead
576 of a renaming to capture the return value of a function call.
577 (Expand_Simple_Function_Return): Call Remove_Side_Effects
578 instead of removing side effects manually before the call to
581 2015-05-26 Robert Dewar <dewar@adacore.com>
583 * exp_ch4.adb (Expand_N_Op_Expon): Deal with problem of wrong
584 order in calling Duplicate_Subexpr.
585 * einfo.ads: Fix documentation of Object/Value size for scalar types.
587 2015-05-26 Ed Schonberg <schonberg@adacore.com>
589 * exp_aggr.adb (Build_Array_Aggr_Code, Gen_Assign):
590 If a component is default-initialized and its type has an
591 invariant procedure, insert an invariant test after code for
592 default-initialization of the component.
594 2015-05-26 Gary Dismukes <dismukes@adacore.com>
596 * einfo.ads, sem_util.adb, sem_ch4.adb: Minor reformatting.
598 2015-05-26 Robert Dewar <dewar@adacore.com>
600 * exp_unst.adb, exp_unst.ads: Change to using Subps table index for
601 making AREC entity names unique.
603 2015-05-26 Ed Schonberg <schonberg@adacore.com>
605 * sem_cat.adb (Has_Stream_Attribute_Definition): If the type
606 has aspect specifications, examine the corresponding list of
607 representation items to determine whether there is a visible
608 stream operation. The attribute definition clause generated from
609 the aspect will be inserted at the freeze point of the type,
610 which may be in the private part and not directly visible,
611 but the aspect makes the operation available to a client.
613 2015-05-26 Robert Dewar <dewar@adacore.com>
615 * sem_util.adb: Minor code reorganization.
616 * sem_ch6.adb: Minor reformatting.
618 2015-05-25 Eric Botcazou <ebotcazou@adacore.com>
620 * gcc-interface/utils.c (maybe_pad_type): Do not apply adjustment to
621 original size for elementary types before issuing the size warning.
623 2015-05-25 Eric Botcazou <ebotcazou@adacore.com>
625 * get_targ.adb (C_Get_Float_Words_BE): Adjust import name.
626 (C_Get_Words_BE): Likewise.
627 (C_Get_Bytes_BE): Likewise.
628 (C_Get_Bits_BE): Likewise.
629 (Width_From_Size): Remove superfluous space.
630 * gcc-interface/targtyps.c (get_float_words_be): Rename into...
631 (get_target_float_words_be): ...this.
632 (get_words_be): Rename into...
633 (get_target_words_be): ...this.
634 (get_bytes_be): Rename into...
635 (get_target_bytes_be): ...this.
636 (get_bits_be): Rename into...
637 (get_target_bits_be): ...this.
638 * gcc-interface/gigi.h (standard_datatypes): Remove ADT_ptr_void_type.
639 (ptr_void_type_node): Delete.
640 (get_target_float_size): Likewise.
641 (get_target_double_size): Likewise.
642 (get_target_long_double_size): Likewise.
643 (get_float_words_be): Likewise.
644 (get_words_be): Likewise.
645 (get_bytes_be): Likewise.
646 (get_bits_be): Likewise.
647 (get_target_float_words_be): Declare.
648 (get_target_words_be): Likewise.
649 (get_target_bytes_be): Likewise.
650 (get_target_bits_be): Likewise.
651 * gcc-interface/decl.c (gnat_to_gnu_entity): Replace ptr_void_type_node
653 (intrin_return_compatible_p): Likewise.
654 * gcc-interface/trans.c (gigi): Likewise.
655 * gcc-interface/utils2.c (maybe_wrap_malloc): Likewise.
656 (maybe_wrap_free): Likewise.
657 * gcc-interface/utils.c (maybe_pad_type): Remove superfluous space.
658 * gcc-interface/misc.c (gnat_init): Do not set ptr_void_type_node.
660 2015-05-25 Eric Botcazou <ebotcazou@adacore.com>
662 * gcc-interface/decl.c (elaborate_expression): Take a const string
663 suffix instead of a tree.
664 (elaborate_expression_1): Likewise.
665 (elaborate_expression_2): Likewise.
666 (gnat_to_gnu_entity): Adjust to above changes.
667 (build_subst_list): Likewise.
668 (get_entity_char): New static function.
670 2015-05-25 Eric Botcazou <ebotcazou@adacore.com>
672 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Constant>: Move around.
673 <E_Exception>: Merge with E_Variable case.
674 <E_Variable>: Remove 'object' label.
676 2015-05-25 Eric Botcazou <ebotcazou@adacore.com>
678 * gcc-interface/decl.c (gnat_to_gnu_entity): Minor tweak.
679 * gcc-interface/trans.c (finalize_nrv_unc_r): Use CONSTRUCTOR_ELT.
680 * gcc-interface/utils.c (convert): Likewise and simplify.
681 (remove_conversions): Likewise.
682 * gcc-interface/utils2.c (compare_fat_pointers): Likewise.
683 (build_unary_op): Likewise and simplify.
685 2015-05-25 Eric Botcazou <ebotcazou@adacore.com>
687 * gcc-interface/gigi.h (build_atomic_load): Adjust prototype.
688 (build_atomic_store): Likewise.
689 (build_load_modify_store): Declare.
690 (VECTOR_TYPE_P): Delete.
691 * gcc-interface/decl.c (gnat_to_gnu_entity): Replace Is_Atomic with
692 Is_Atomic_Or_VFA throughout.
693 <E_Array_Type>: Build a variant of the XUA type instead of forcing
695 <E_Array_Subtype>: Use the main variant of the base type.
696 Do not force TYPE_VOLATILE on the type being built.
697 <E_Record_Type>: Likewise.
698 <E_Array_Subtype>: Likewise.
699 <E_Subprogram_Type>: Rename local variable.
700 Add Atomic qualifier in conjunction with Volatile on types if needed.
701 Force BLKmode for by-ref types only at the end of the processing.
702 Change qualifiers only after changing the mode of the type. Set
703 TYPE_UNIVERSAL_ALIASING_P on the type directly.
704 (check_ok_for_atomic_type): Issue specific error message for VFA.
705 (gnat_to_gnu_component_type): Replace Is_Atomic with
706 Is_Atomic_Or_VFA throughout.
707 * gcc-interface/misc.c (gnat_get_alias_set): Test
708 TYPE_UNIVERSAL_ALIASING_P on the type directly.
709 * gcc-interface/trans.c (lvalue_required_p): Replace Is_Atomic with
710 Is_Atomic_Or_VFA throughout. Add missing guard.
711 (node_is_atomic): New predicate.
712 (node_has_volatile_full_access): Likewise.
713 (gnat_strip_type_conversion): New function.
714 (outer_atomic_access_required_p): New predicate.
715 (atomic_sync_required_p): Rename into...
716 (atomic_access_required_p): ...this. Add SYNC parameter, scan the
717 parent node first and then look for the atomic setting. Add support
718 for Volatile_Full_Access.
719 (Call_to_gnu): Add atomic_access and outer_atomic_access parameters
720 and adjusts calls to above functions. Use load-modify-store sequence
721 for updates of In/Out and Out parameters if required, as well as for
722 moving the result to the target if required. Add couple of missing
724 (gnat_to_gnu): Adjust calls to above functions.
725 <N_Object_Renaming_Declaration>: If the renamed object has side-effects
726 evaluate only its address.
727 <N_Assignment_Statement>: Adjust call to Call_to_gnu. Use load-modify
728 store sequence if required.
729 <N_Function_Call>: Adjust call to Call_to_gnu.
730 (extract_values): Adjust comment.
731 * gcc-interface/utils2.c (build_atomic_load): Add SYNC parameter and
732 use relaxed memory model if it is not set.
733 (build_atomic_store): Likewise.
734 (call_is_atomic_load): New predicate.
735 (build_load_modify_store): New function.
736 (build_binary_op) <MODIFY_EXPR>: Accept SAVE_EXPR on the LHS.
737 (gnat_stabilize_reference) <CALL_EXPR>: Deal with atomic loads.
739 2015-05-25 Eric Botcazou <ebotcazou@adacore.com>
741 * gcc-interface/ada-tree.h (DECL_RENAMING_GLOBAL_P): Rename into...
742 (DECL_GLOBAL_NONCONSTANT_RENAMING_P): ...this.
743 * gcc-interface/gigi.h (record_global_renaming_pointer): Delete.
744 (invalidate_global_renaming_pointers): Likewise.
745 (record_global_nonconstant_renaming): New.
746 (invalidate_global_nonconstant_renamings): Likewise.
747 (get_inner_constant_reference): Likewise.
748 (gnat_constant_reference_p): Likewise.
749 * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: Adjust to above
750 and register the renaming pointer only if the object is non-constant.
751 (elaborate_expression_1): Call get_inner_constant_reference instead
752 of get_inner_reference.
753 * gcc-interface/trans.c (fold_constant_decl_in_expr): Minor tweak.
754 (Identifier_to_gnu): Adjust to above and do not recheck the renamed
755 object before substituting it.
756 (Compilation_Unit_to_gnu): Adjust to above renaming. Minor tweaks.
757 (gnat_to_gnu) <N_Object_Renaming_Declaration>: Do not return the
758 result at the global level.
759 (N_Exception_Renaming_Declaration): Likewise.
760 * gcc-interface/utils.c (global_renaming_pointers): Rename into...
761 (global_nonconstant_renamings): ...this.
762 (destroy_gnat_utils): Adjust to above renaming.
763 (record_global_renaming_pointer): Rename into...
764 (record_global_nonconstant_renaming): ...this.
765 (invalidate_global_renaming_pointers): Rename into...
766 (invalidate_global_nonconstant_renamings): ...this and do not recheck
767 the renamed object before invalidating.
768 * gcc-interface/utils2.c (gnat_stabilize_reference): Minor tweak.
769 (get_inner_constant_reference): New public function.
770 (gnat_constant_reference_p): New predicate.
772 2015-05-25 Javier Miranda <miranda@adacore.com>
774 * einfo.ads, einfo.adb (Has_Out_Or_In_Out_Parameter): This attribute
775 is now present in subprograms, generic subprograms, entries and
777 * sem_ch6.adb (Set_Formal_Mode): Set As_Out_Or_In_Out_Parameter
778 on entries, entry families, subprograms and generic subprograms.
779 * sem_ch12.adb (Analyze_Generic_Subprogram_Declaration):
780 Minor code reorganization to ensure that the Ekind attribute
781 of the subprogram entity is set before its formals are
782 processed. Required to allow the use of the attribute
783 Has_Out_Or_In_Out_Parameter on the subprogram entity.
784 * sem_aggr.adb (Resolve_Aggregate, Resolve_Extension_Aggregate):
785 Perform the check on writable actuals only if the value of some
786 component of the aggregate involves calling a function with
788 (Resolve_Record_Aggregate): Propagate the Check_Actuals flag to the
789 internally built aggregate.
790 * sem_ch3.adb (Build_Derived_Record_Type, Record_Type_Declaration):
791 Perform the check on writable actuals only if the initialization of
792 some component involves calling a function with out-mode parameters.
793 * sem_ch4.adb (Analyze_Arithmetic_Op, Analyze_Comparison_Op,
794 Analyze_Equality_Op, Analyze_Logical_Op, Analyze_Membership_Op,
795 Analyze_Range): Check writable actuals only if the
796 subtrees have a call to a function with out-mode parameters
797 (Analyze_Call.Check_Writable_Actuals): New subprogram. If the call
798 has out or in-out parameters then mark its outermost enclosing
799 construct as a node on which the writable actuals check must
801 (Analyze_Call): Check if the flag must be set and if the outermost
803 * sem_util.adb (Check_Function_Writable_Actuals): Code cleanup
804 and reorganization. We skip processing aggregate discriminants
805 since their precise analysis involves two phases traversal.
806 * sem_res.adb (Resolve_Actuals, Resolve_Arithmetic_Op,
807 Resolve_Logical_Op, Resolve_Membership_Op): Remove call to
808 check_writable_actuals.
810 2015-05-22 Ed Schonberg <schonberg@adacore.com>
812 * sem_ch3.adb (Constrain_Concurrent): If the context is a
813 type declaration, generate an Itype_Reference for the anonymous
814 subtype, to force elaboration at this point in gigi.
816 2015-05-22 Gary Dismukes <dismukes@adacore.com>
818 * layout.adb, einfo.ads, sem_ch12.adb, freeze.adb, sem_util.ads,
819 exp_ch4.adb, sem_ch6.adb: Minor reformatting and typo fixes.
821 2015-05-22 Ed Schonberg <schonberg@adacore.com>
823 * sem_res.adb (Resolve_Actuals): If the call is to an overridden
824 operation, replace the names of the actuals in named associations
825 with the names of the actuals of the subprogram that is eventually
826 executed. The names of the formals and the defaults can differ
827 between the two operations when they are operations of a formal
830 2015-05-22 Bob Duff <duff@adacore.com>
832 * a-convec.ads, a-convec.adb (Append): Check for fast path. Split
833 out slow path into separate procedure. Inline Append. Fast path
834 now avoids calling Insert.
835 (Finalize): Do the busy checking last, so the container gets emptied.
836 (Insert, Insert_Space): Remove redundancy.
838 2015-05-22 Robert Dewar <dewar@adacore.com>
840 * switch-c.adb (Scan_Front_End_Switches): Insist on -gnatc
843 2015-05-22 Arnaud Charlet <charlet@adacore.com>
845 * gnatvsn.ads: Minor code reorg to remember more easily to update
848 2015-05-22 Ed Schonberg <schonberg@adacore.com>
850 * sem_ch10.adb (Analyze_With_Clause): In ASIS_Mode, a
851 limited_with clause on a predefined unit is not transformed into
852 a regular with_clause, to preserve the original tree structure.
853 * sinfo.ads (N_With_Clause): Add comment on handling of
855 * sem_ch10.adb: Minor reformatting.
857 2015-05-22 Ed Schonberg <schonberg@adacore.com>
859 * sem_ch8.adb (Freeze_Profile): A limited view of a type in
860 the profile of a subprogram renaming does not require freezing,
861 because it is declared in a different unit.
863 2015-05-22 Ed Schonberg <schonberg@adacore.com>
865 * exp_aggr.adb (Get_Constraint_Association): If type (of ancestor
866 composite type) is private, go to full view. This was previously
867 done only in an instance context, but is happen whenever a chain
868 of private extensions includes one inherited discriminant.
870 2015-05-22 Robert Dewar <dewar@adacore.com>
872 * einfo.ads: Minor comment updates.
873 * exp_unst.adb: Move Subps table to spec Don't remove old entries
874 from table Add Last field to record last entry used.
875 * exp_unst.ads: Move Subps table here from body So that Cprint
876 can access saved values.
878 2015-05-22 Bob Duff <duff@adacore.com>
880 * a-cdlili.adb, a-cdlili.ads, a-cohama.adb, a-cohama.ads,
881 * a-cohase.adb, a-cohase.ads, a-convec.adb, a-convec.ads,
882 * a-coorma.adb, a-coorma.ads, a-coorse.adb, a-coorse.ads:
883 (Pseudo_Reference, Element_Access, Get_Element_Access): New
884 declarations added for use by performance improvements in exp_ch5.adb.
885 * snames.ads-tmpl: New names referenced by exp_ch5.adb.
886 * exp_ch5.adb: Speed up "for ... of" loops for predefined containers.
887 Instead of doing literally what the RM calls for, we do something
888 equivalent that avoids expensive operations inside the loop. If the
889 container package has appropriate Next, Pseudo_Reference,
890 Element_Access, Get_Element_Access declarations, we invoke the
892 * snames.ads-tmpl: Note speed improvement.
894 2015-05-22 Eric Botcazou <ebotcazou@adacore.com>
896 * einfo.ads (Is_Atomic_Or_VFA): Move to XEINFO INLINES section.
897 * xeinfo.adb: Replace a-einfo.h with einfo.h throughout.
898 Add pattern to translate "or else" into "||".
900 2015-05-22 Eric Botcazou <ebotcazou@adacore.com>
902 * einfo.ads (Has_Volatile_Full_Access): Rename into...
903 (Is_Volatile_Full_Access): ...this.
904 (Set_Has_Volatile_Full_Access): Rename into...
905 (Set_Is_Volatile_Full_Access): ...this.
906 * einfo.adb (Has_Volatile_Full_Access): Rename into...
907 (Is_Volatile_Full_Access): ...this.
908 (Set_Has_Volatile_Full_Access): Rename into...
909 (Set_Is_Volatile_Full_Access): ...this.
910 (Is_Atomic_Or_VFA): Adjust to above renaming.
911 * errout.adb (Special_Msg_Delete): Likewise.
912 * exp_pakd.adb (Install_PAT): Likewise.
913 * freeze.adb (Freeze_Array_Type): Likewise.
914 * sem_ch8.adb (Analyze_Object_Renaming): Likewise.
915 * sem_ch13.adb (Inherit_Delayed_Rep_Aspects): Likewise.
916 (Inherit_Aspects_At_Freeze_Point): Likewise.
917 * sem_prag.adb (Set_Atomic_VFA): Likewise.
918 (Process_Atomic_Independent_Shared_Volatile): Likewise.
919 * sem_util.adb (Is_Atomic_Or_VFA_Object): Likewise.
921 2015-05-22 Robert Dewar <dewar@adacore.com>
923 * exp_ch5.adb, layout.adb, einfo.adb, einfo.ads, sem_prag.adb,
924 freeze.adb, freeze.ads, sem_util.adb, sem_util.ads, exp_ch2.adb,
925 exp_ch4.adb, errout.adb, exp_aggr.adb, sem_ch13.adb: This is a general
926 change that deals with the fact that most of the special coding for
927 Atomic should also apply to the case of Volatile_Full_Access.
928 A new attribute Is_Atomic_Or_VFA is introduced, and many of the
929 references to Is_Atomic now use this new attribute.
931 2015-05-22 Robert Dewar <dewar@adacore.com>
933 * exp_ch4.adb (Expand_N_Op_Eq): Introduce 'Machine for 'Result
936 2015-05-22 Eric Botcazou <ebotcazou@adacore.com>
938 * sprint.adb (Source_Dump): When generating debug files, deal
939 with the case of a stand-alone package instantiation by dumping
940 together the spec and the body in the common debug file.
942 2015-05-22 Robert Dewar <dewar@adacore.com>
944 * sem_ch13.adb (Minimum_Size): Size is zero for null range
947 2015-05-22 Hristian Kirtchev <kirtchev@adacore.com>
949 * einfo.adb (Anonymous_Master): This attribute now applies
950 to package and subprogram bodies.
951 (Set_Anonymous_Master): This attribute now applies to package and
953 (Write_Field36_Name): Add output for package and subprogram bodies.
954 * einfo.ads Update the documentation on attribute Anonymous_Master
955 along with occurrences in entities.
956 * exp_ch4.adb (Create_Anonymous_Master): Reimplemented to
957 handle spec and body anonymous masters of the same unit.
958 (Current_Anonymous_Master): Reimplemented. Handle a
959 package instantiation that acts as a compilation unit.
960 (Insert_And_Analyze): Reimplemented.
962 2015-05-22 Ed Schonberg <schonberg@adacore.com>
964 * sem_ch10.adb (Analyze_With_Clause): A limited_with_clause on a
965 predefined unit is treated as a regular with_clause.
967 2015-05-22 Robert Dewar <dewar@adacore.com>
969 * sem_ch12.adb, prj.ads, makeutl.ads, sem_ch6.adb, prj-nmsc.adb,
970 prj-conf.adb, sem_disp.adb: Minor reformatting.
972 2015-05-22 Vincent Celier <celier@adacore.com>
974 * clean.adb (Parse_Cmd_Line): For native gnatclean, check
975 for switch -P and, if found and gprclean is available, invoke
977 * make.adb (Initialize): For native gnatmake, check for switch -P
978 and, if found and gprbuild is available, invoke silently gprbuild.
980 2015-05-22 Eric Botcazou <ebotcazou@adacore.com>
982 * sem_ch13.adb (Validate_Unchecked_Conversions): Also issue
983 specific warning for discrete types when the source is larger
986 2015-05-22 Ed Schonberg <schonberg@adacore.com>
988 * einfo.ads, einfo.adb (Incomplete_Actuals): New attribute of
989 package instantiations. Holds the list of actuals in the instance
990 that are incomplete types, to determine where the corresponding
991 instance body must be placed.
992 * sem_ch6.adb (Conforming_Types): An incomplete type used as an
993 actual in an instance matches an incomplete formal.
994 * sem_disp.adb (Check_Dispatching_Call): Handle missing case of
995 explicit dereference.
996 (Inherited_Subprograms): In the presence of a limited view there
997 are no subprograms to inherit.
998 * sem_ch12.adb (Preanalyze_Actuals): Build list of incomplete
999 actuals of instance, for later placement of instance body and
1000 freeze nodes for actuals.
1001 (Install_Body): In the presence of actuals that incomplete types
1002 from a limited view, the instance body cannot be placed after
1003 the declaration because full views have not been seen yet. Any
1004 use of the non-limited views in the instance body requires
1005 the presence of a regular with_clause in the enclosing unit,
1006 and will fail if this with_clause is missing. We place the
1007 instance body at the beginning of the enclosing body, which is
1008 the unit being compiled, and ensure that freeze nodes for the
1009 full views of the incomplete types appear before the instance.
1011 2015-05-22 Pascal Obry <obry@adacore.com>
1013 * makeutl.ads, prj-conf.adb, prj-nmsc.adb, prj.ads
1014 (In_Place_Option): Removed.
1015 (Relocate_Build_Tree_Option): New constant.
1016 (Root_Dir_Option): New constant.
1017 (Obj_Root_Dir): Removed.
1018 (Build_Tree_Dir): New variable.
1019 (Root_Src_Tree): Removed.
1020 (Root_Dir): New variable.
1021 * prj-conf.adb (Get_Or_Create_Configuration_File): Add check
1022 for improper relocation.
1023 * prj-nmsc.adb (Locate_Directory): Add check for improper
1026 2015-05-22 Hristian Kirtchev <kirtchev@adacore.com>
1028 * einfo.adb (Default_Init_Cond_Procedure): Code cleanup. The
1029 attribute now applies to the base type.
1030 (Has_Default_Init_Cond): Now applies to the base type.
1031 (Has_Inherited_Default_Init_Cond): Now applies to the base type.
1032 (Set_Default_Init_Cond_Procedure): Code cleanup. The attribute now
1033 applies to the base type.
1034 (Set_Has_Default_Init_Cond): Now applies to the base type.
1035 (Set_Has_Inherited_Default_Init_Cond): Now applies to the base type.
1036 * exp_ch3.adb (Expand_N_Object_Declaration): No need to use the
1037 base type when adding a call to the Default_Initial_Condition.
1039 2015-05-22 Hristian Kirtchev <kirtchev@adacore.com>
1041 * einfo.adb: Node36 is now used as Anonymous_Master. Flag253
1043 (Anonymous_Master): New routine.
1044 (Has_Anonymous_Master): Removed.
1045 (Set_Anonymous_Master): New routine.
1046 (Set_Has_Anonymous_Master): Removed.
1047 (Write_Entity_Flags): Remove the output for Has_Anonymous_Maser.
1048 (Write_Field36_Name): Add output for Anonymous_Master.
1049 * einfo.ads Add new attribute Anonymous_Master along with
1050 occurrences in nodes. Remove attribute Has_Anonymous_Master along
1051 with occurrences in nodes.
1052 (Anonymous_Master): New routine along with pragma Inline.
1053 (Has_Anonymous_Master): Removed along with pragma Inline.
1054 (Set_Anonymous_Master): New routine along with pragma Inline.
1055 (Set_Has_Anonymous_Master): Removed along with pragma Inline.
1056 * exp_ch4.adb (Create_Anonymous_Master): New routine.
1057 (Current_Anonymous_Master): Reimplemented.
1059 2015-05-22 Bob Duff <duff@adacore.com>
1061 * freeze.adb (Freeze_Profile): Suppress warning if imported
1062 subprogram is not at library level.
1064 2015-05-22 Robert Dewar <dewar@adacore.com>
1066 * sem_ch8.adb (Analyze_Object_Renaming): Check for renaming
1067 component of an object to which Volatile_Full_Access applies.
1069 2015-05-22 Jerome Guitton <guitton@adacore.com>
1071 * exp_dbug.ads: Add note about non bit-packed arrays.
1073 2015-05-22 Eric Botcazou <ebotcazou@adacore.com>
1075 * sem_prag.adb: Fix typo.
1076 * einfo.ads: Grammar fixes in comments.
1078 2015-05-22 Bob Duff <duff@adacore.com>
1080 * a-cborma.ads, a-cidlli.ads, a-cimutr.ads, a-ciormu.ads,
1081 * a-cihase.ads, a-cohama.ads, a-coorse.ads, a-cbhama.ads,
1082 * a-cborse.ads, a-comutr.ads, a-ciorma.ads, a-cobove.ads,
1083 * a-coormu.ads, a-convec.ads, a-cohase.ads, a-coinho.ads,
1084 * a-cbdlli.ads, a-cbmutr.ads, a-cbhase.ads, a-cdlili.ads,
1085 * a-cihama.ads, a-coinve.ads, a-ciorse.ads, a-coorma.ads,
1086 * a-coinho-shared.ads (Constant_Reference_Type, Reference_Type):
1087 Add an initialization expression "raise Program_Error". See,
1088 for example, RM-A.18.2(148.4).
1090 2015-05-22 Robert Dewar <dewar@adacore.com>
1092 * debug.adb: Update documentation.
1093 * einfo.ads, einfo.adb (Needs_Typedef): New flag
1094 * exp_unst.adb (Unnest_Subprogram): Mark AREC types as needing
1096 * frontend.adb: Update comments.
1097 * gnat1drv.adb (Adjust_Global_Switches): Set all needed flags
1099 * opt.ads (Generate_C_Code): New switch.
1100 * osint-c.adb (Write_C_File_Info): Removed, not used
1101 (Write_H_File_Info): Removed, not used
1102 * osint-c.ads (Write_C_File_Info): Removed, not used
1103 (Write_H_File_Info): Removed, not used
1104 * osint.ads (Write_Info): Minor comment updates.
1105 (Output_FD): Moved from private part to public part of spec.
1106 * sem.adb (Semantics): Force expansion on if in Generate_C_Code
1108 * atree.ads: minor typo in comment.
1109 * sem_prag.adb (Process_Atomic_Independent_Shared_Volatile):
1110 Do not allow VFA on composite object with aliased component.
1112 2015-05-22 Arnaud Charlet <charlet@adacore.com>
1114 * osint-c.adb, osint-c.ads (Set_File_Name): Move back to spec.
1116 2015-05-22 Pascal Obry <obry@adacore.com>
1118 * prj-util.adb: Minor comment editing.
1120 2015-05-22 Pascal Obry <obry@adacore.com>
1122 * makeutl.ads (In_Place_Option): New constant.
1123 * prj.ads (Obj_Root_Dir): New variable (absolute path to relocate
1125 (Root_Src_Tree): New variable (absolute path of root source tree).
1126 * prj-conf.adb (Do_Autoconf): Take into account the object root
1127 directory (if defined) to generate configuration project.
1128 * prj-nmsc.adb (Get_Directories): Handle case where Obj_Root_Dir
1130 (Locate_Directory): Likewise.
1132 2015-05-22 Pascal Obry <obry@adacore.com>
1134 * prj-util.ads, prj-util.adb (Relative_Path): New routine.
1136 2015-05-22 Bob Duff <duff@adacore.com>
1138 * exp_utils.ads, exp_utils.adb (Find_Optional_Prim_Op): New
1139 interface to return Empty when not found, so we can avoid handling
1140 Program_Error in that case.
1141 (Find_Prim_Op): Fix latent bug: raise Program_Error when there are no
1143 * exp_ch7.adb, sem_util.adb: Use Find_Optional_Prim_Op when the
1144 code is expecting Empty.
1145 * sem_ch8.adb: Use Find_Optional_Prim_Op to avoid handling
1148 2015-05-22 Robert Dewar <dewar@adacore.com>
1150 * sem_ch3.adb, sem_intr.adb, exp_ch4.adb, s-rannum.adb,
1151 sem_eval.adb, s-fatgen.adb, s-expmod.ads: Remove incorrect hyphen in
1153 * exp_util.adb: Add comment.
1154 * osint-c.ads, osint-c.adb (Set_Library_Info_Name): Move from spec to
1156 (Set_File_Name): New name for the above.
1157 (Create_C_File, Create_H_File, Write_C_File_Info, Write_H_File_Info,
1158 Close_C_File, Close_H_File): New procedure.
1159 * osint.adb: Minor reformatting.
1160 * osint.ads: Minor comment updates.
1162 2015-05-22 Robert Dewar <dewar@adacore.com>
1164 * exp_ch4.adb: Minor rewording.
1165 * exp_util.ads: Clarify that Find_Prim_Op is only for
1168 2015-05-22 Robert Dewar <dewar@adacore.com>
1170 * atree.adb, atree.ads, treepr.adb: Change name Needs_Actuals_Check to
1172 * exp_ch4.adb (Expand_N_Op_Expon): Optimize 2**x in modular
1175 2015-05-22 Eric Botcazou <ebotcazou@adacore.com>
1177 * exp_pakd.adb (Install_PAT): Propagate representation aspects
1178 from the original array type to the PAT.
1180 2015-05-22 Robert Dewar <dewar@adacore.com>
1182 * treepr.adb (Print_Node_Header): Add output of Needs_Actuals_Check.
1184 2015-05-22 Robert Dewar <dewar@adacore.com>
1186 * atree.adb, atree.ads (Needs_Actuals_Check): New flag.
1188 2015-05-22 Hristian Kirtchev <kirtchev@adacore.com>
1190 * sem_prag.adb (Analyze_Pragma): Remove the detection
1191 of a useless Part_Of indicator when the related item is a constant.
1192 (Check_Matching_Constituent): Do not emit an error on a constant.
1193 (Check_Missing_Part_Of): Do not check for a missing Part_Of indicator
1194 when the related item is a constant.
1195 (Collect_Body_States): Code cleanup.
1196 (Collect_Visible_States): Code cleanup.
1197 (Report_Unused_States): Do not emit an error on a constant.
1198 * sem_util.ads, sem_util.adb (Has_Variable_Input): Removed.
1200 2015-05-22 Eric Botcazou <ebotcazou@adacore.com>
1202 * sem_ch8.adb (Analyze_Object_Renaming): Copy
1203 Has_Volatile_Full_Access from renamed to renaming entities.
1204 * sem_prag.adb (Process_Atomic_Independent_Shared_Volatile):
1205 Tidy up and remove redundant setting of Has_Volatile_Full_Access.
1207 2015-05-22 Hristian Kirtchev <kirtchev@adacore.com>
1209 * ghost.adb (Check_Ghost_Completion): Update references to SPARK
1211 (Check_Ghost_Policy): Update references to SPARK RM 6.9 rules.
1212 * sem_ch3.adb (Analyze_Object_Declaration): Update references
1213 to SPARK RM 6.9 rules.
1214 (Check_Completion): Ghost entities do not require a special form of
1216 * sem_ch6.adb (Analyze_Generic_Subprogram_Body): Update references
1217 to SPARK RM 6.9 rules.
1218 (Analyze_Subprogram_Body_Helper): Update references to SPARK RM 6.9
1220 * sem_ch7.adb (Analyze_Package_Body_Helper): Update references
1221 to SPARK RM 6.9 rules.
1222 (Requires_Completion_In_Body): Ghost entities do not require a special
1225 2015-05-22 Robert Dewar <dewar@adacore.com>
1227 * a-csquin.ads: Use Ada 2012 notation.
1228 * sem_ch8.adb: Minor reformatting.
1230 2015-05-22 Hristian Kirtchev <kirtchev@adacore.com>
1232 * sem_ch13.adb (Analyze_Aspect_Specifications): Aspect Import
1233 acts as a completion.
1235 2015-05-22 Ed Schonberg <schonberg@adacore.com>
1237 * sem_ch13.adb: Minor reformatting.
1239 2015-05-22 Jose Ruiz <ruiz@adacore.com>
1241 * a-reatim.adb: Minor change, fix typo.
1243 2015-05-22 Robert Dewar <dewar@adacore.com>
1245 * sem_util.ads: Minor addition of ??? comment.
1246 * sem_prag.adb, sem_util.adb: Minor reformatting.
1247 * sem_ch13.adb: minor reformatting.
1249 2015-05-22 Robert Dewar <dewar@adacore.com>
1251 * a-reatim.ads: Add Compile_Time_Error to ensure Duration
1253 * sem_ch13.adb: Improve error message.
1254 * exp_ch4.adb: Minor reformatting.
1256 2015-05-22 Hristian Kirtchev <kirtchev@adacore.com>
1258 * sem_prag.adb (Analyze_Pragma): Constants without variable
1259 input do not require indicator Part_Of.
1260 (Check_Missing_Part_Of): Constants without variable input do not
1261 requrie indicator Part_Of.
1262 (Collect_Visible_States): Constants without variable input are
1263 not part of the hidden state of a package.
1264 * sem_util.ads, sem_util.adb (Has_Variable_Input): New routine.
1266 2015-05-22 Robert Dewar <dewar@adacore.com>
1268 * exp_util.adb (Activate_Atomic_Synchronization): Do not set
1269 Atomic_Sync_Required for an object renaming declaration.
1270 * sem_ch8.adb (Analyze_Object_Renaming): Copy Is_Atomic and
1271 Is_Independent to renaming object.
1273 2015-05-22 Ed Schonberg <schonberg@adacore.com>
1275 * sem_ch5.adb (Analyze_Iterator_Specification): Diagnose
1276 various illegalities in iterators over arrays and containers:
1277 a) New function Get_Cursor_Type, to verify that the cursor is
1278 not a limited type at the point of iteration.
1279 b) If the container is a constant, an element_iterator is illegal
1280 if the container type does not have a Constant_Indexing aspect.
1281 c) If the iterate function has an in-out controlling parameter,
1282 the container cannot be a constant object.
1283 d) Reject additional cases of iterators over a
1284 discriminant-dependent component of a mutable object.
1286 2015-05-21 Hristian Kirtchev <kirtchev@adacore.com>
1288 * einfo.adb (Contract): This attribute now applies to constants.
1289 (Set_Contract): This attribute now applies to constants.
1290 (Write_Field34_Name): Add output for constants.
1291 * einfo.ads Attribute Contract now applies to constants.
1292 * sem_ch3.adb (Analyze_Object_Contract): Constants now have
1293 their Part_Of indicator verified.
1294 * sem_prag.adb (Analyze_Constituent): A constant is now a valid
1296 (Analyze_Global_Item): A constant cannot act as an output.
1297 (Analyze_Initialization_Item): Constants are now a valid
1298 initialization item.
1299 (Analyze_Initializes_In_Decl_Part): Rename
1300 global variable States_And_Vars to States_And_Objs and update
1301 all its occurrences.
1302 (Analyze_Input_Item): Constants are now a
1303 valid initialization item. Remove SPARM RM references from error
1305 (Analyze_Pragma): Indicator Part_Of can now apply to a constant.
1306 (Collect_Body_States): Collect both source constants
1308 (Collect_States_And_Objects): Collect both source constants and
1310 (Collect_States_And_Variables): Rename
1311 to Collect_States_And_Objects and update all its occurrences.
1312 (Collect_Visible_States): Do not collect constants and variables
1313 used to map generic formals to actuals.
1314 (Find_Role): The role of a constant is that of an input. Separate the
1315 role of a variable from that of a constant.
1316 (Report_Unused_Constituents): Add specialized wording for constants.
1317 (Report_Unused_States): Add specialized wording for constants.
1318 * sem_util.adb (Add_Contract_Item): Add processing for constants.
1319 * sem_util.ads (Add_Contract_Item): Update the comment on usage.
1320 (Find_Placement_In_State_Space): Update the comment on usage.
1322 2015-05-21 Ed Schonberg <schonberg@adacore.com>
1324 * sem_ch5.adb: minor reformatting.
1326 2015-05-21 Robert Dewar <dewar@adacore.com>
1328 * freeze.adb (Freeze_Entity): Properly tag -gnatw.z messages.
1330 2015-05-21 Robert Dewar <dewar@adacore.com>
1332 * freeze.adb: Minor reformatting.
1333 * cstand.adb (Print_Standard): Fix bad printing of Duration
1335 * a-reatim.adb (Time_Of): Complete rewrite to properly detect
1338 2015-05-21 Ed Schonberg <schonberg@adacore.com>
1340 * sem_ch5.adb: add (useless) initial value.
1341 * sem_ch3.adb (Replace_Anonymous_Access_To_Protected_Subprogram):
1342 Check whether the procedure has parameters before processing
1343 formals in ASIS mode.
1345 2015-05-21 Ed Schonberg <schonberg@adacore.com>
1347 * sem_ch13.adb (Check_Iterator_Functions): Emit error on Iterator
1348 aspect as well when indexing function is illegal.
1349 (Valid_Default_Iterator): Handle properly somme illegal cases
1350 to prevent compilation abandoned messages.
1351 (Check_Primitive_Function): Verify that type and indexing function
1352 are in the same scope.
1353 * freeze.adb (Freeze_Record): Extend patch on the presence of
1354 indexing aspects to aspect Default_Iterator.
1356 2015-05-19 David Malcolm <dmalcolm@redhat.com>
1358 * gcc-interface/trans.c (Sloc_to_locus1): Strenghthen local "map"
1359 from line_map * to line_map_ordinary *.
1361 2015-05-12 Jason Merrill <jason@redhat.com>
1363 * sigtramp-vxworks.c: Add space between string literal and macro
1366 2015-05-12 Arnaud Charlet <charlet@adacore.com>
1368 * gnat_rm.texi, gnat_ugn.texi, doc: Documentation updates and clean ups
1370 2015-05-12 Ed Schonberg <schonberg@adacore.com>
1372 * sem_ch5.adb (Analyze_Iterator_Specifications): Additional
1373 legality checks for array and container iterators:
1374 a) The domain of iteration cannot be a component that depends
1375 on discriminants of a mutable object. The check was recently
1376 added for element iterators.
1377 b) The cursor type cannot be a limited type at the point of the
1378 iteration, because the cursor will be assigned to in the body
1381 2015-05-12 Robert Dewar <dewar@adacore.com>
1383 * freeze.adb (Freeze_Record_Type): Make sure that if we have
1384 aspect Iterator_Element, then we have either Constant_Indexing
1385 or Variable_Indexing.
1387 2015-05-12 Ed Schonberg <schonberg@adacore.com>
1389 * a-coormu.ads, a-coormu.adb: Add Indexing aspect, Reference_Type,
1390 and Reference_Control_Type to support element iterators over
1392 * a-ciormu.ads, a-ciormu.adb: Ditto for
1393 indefinite_ordered_multisets.
1395 2015-05-12 Hristian Kirtchev <kirtchev@adacore.com>
1397 * exp_ch4.adb (Expand_N_Expression_With_Actions): Force
1398 the evaluation of the EWA expression. Code cleanup.
1399 (Process_Transient_Object): Code cleanup.
1400 * exp_util.adb (Is_Aliased): Controlled transient objects found
1401 within EWA nodes are not aliased.
1402 (Is_Finalizable_Transient): Iterators are not finalizable transients.
1404 2015-05-12 Robert Dewar <dewar@adacore.com>
1406 * sem_prag.adb (Process_Atomic_Independent_Shared_Volatile):
1407 Don't allow Atomic and Volatile_Full_Access for the same entity.
1409 2015-05-12 Ed Schonberg <schonberg@adacore.com>
1411 * sem_ch5.adb (Analyze_Iterator_Specification): Implement new
1412 semantics and safety checks specified in AI12-0151.
1414 2015-05-12 Pierre-Marie de Rodat <derodat@adacore.com>
1416 * sem_ch10.adb (Sem_Ch10.Analyze_Proper_Body): Generate SCOs
1417 for subunit in generic units.
1419 2015-05-12 Robert Dewar <dewar@adacore.com>
1421 * sem_elab.adb (Check_A_Call): Avoid checking internal call
1424 2015-05-12 Ed Schonberg <schonberg@adacore.com>
1426 * sem_ch6.adb (Process_Formals): An untagged incomplete type
1427 is legal in the profile of a null procedure.
1429 2015-05-12 Ed Schonberg <schonberg@adacore.com>
1431 * sem_ch12.adb (Validate_Derived_Type_Instance): Handle properly
1432 the checks on a derived formal whose parent type is a previous
1433 formal that is not a derived type.
1435 2015-05-12 Robert Dewar <dewar@adacore.com>
1437 * aspects.ads, aspects.adb: Add entries for aspect Volatile_Full_Access
1438 * einfo.adb (Has_Volatile_Full_Access): New flag.
1439 (Has_Volatile_Full_Access): New flag.
1440 * einfo.ads (Has_Volatile_Full_Access): New flag.
1441 * par-prag.adb: Add dummy entry for Volatile_Full_Access.
1442 * sem_prag.adb (Analyze_Pragma, case Volatile_Full_Access):
1443 Implement new pragma.
1444 * snames.ads-tmpl: Add entries for pragma Volatile_Full_Access.
1446 2015-05-12 Robert Dewar <dewar@adacore.com>
1448 * targparm.ads: Minor reformatting.
1450 2015-05-12 Robert Dewar <dewar@adacore.com>
1452 * a-reatim.adb (Time_Of): Properly detect overflow when TS = 0.0.
1453 * a-reatim.ads: Minor reformatting.
1455 2015-05-12 Hristian Kirtchev <kirtchev@adacore.com>
1457 * einfo.ads: Update the documentation of flags
1458 Has_Inherited_Default_Init_Cond and Has_Default_Init_Cond.
1460 2015-05-12 Robert Dewar <dewar@adacore.com>
1462 * impunit.adb: Add entry for a-dhfina.ads
1463 * a-dhfina.ads: New file.
1465 2015-05-12 Ed Schonberg <schonberg@adacore.com>
1467 * exp_ch5.adb (Expand_Iterator_Loop_Over_Array): if the array
1468 type has convention Fortran, a multidimensional iterator varies
1469 the first dimension fastest.
1471 2015-05-12 Hristian Kirtchev <kirtchev@adacore.com>
1473 * einfo.adb: Node32 is now used as Encapsulating_State.
1474 Node37 is now used as Associated_Entity.
1475 (Associated_Entity): New routine.
1476 (Encapsulating_State): Update the assertion guard to include constants.
1477 (Set_Associated_Entity): New routine.
1478 (Set_Encapsulating_State): Update the assertion guard to
1480 (Write_Field10_Name): Remove the output for Encapsulating_State.
1481 (Write_Field32_Name): Add output for Encapsulating_State.
1482 (Write_Field37_Name): Add output for Associated_Entity.
1483 * einfo.ads New attribute Associated_Entity along with placement
1484 in entities. Attribute Encapsulating_State now uses Node32.
1485 (Associated_Entity): New routine along with pragma Inline.
1486 (Set_Associated_Entity): New routine along with pragma Inline.
1487 * inline.ads Code reformatting.
1488 * sem_attr.adb (Analyze_Attribute): Correct the prefix of
1489 attribute 'Result when the context is a generic instantiation.
1490 (Analyze_Attribute_Old_Result): Pragmas Depends and
1491 Refined_Depends are a valid context for attribute 'Result.
1492 (Denote_Same_Function): Allow attribute 'Result to denote
1494 * sem_ch3.adb Add with and use clauses for Sem_Ch12.
1495 (Analyze_Declarations): Capture global references within the
1496 contracts of packages, subprograms and their respective bodies.
1497 * sem_ch6.adb (Analyze_Aspects_On_Body_Or_Stub): Removed.
1498 (Analyze_Completion_Contract): Removed.
1499 (Analyze_Generic_Subprogram_Body): Enchange the aspects after
1500 creating the generic copy. Create a generic contract for the
1501 template. Analyze the aspects of the generic body. Analyze the
1502 contract of the generic body when it is a compilation unit and
1503 capture global references.
1504 (Analyze_Subprogram_Body_Contract): Code cleanup.
1505 (Analyze_Subprogram_Contract): Do not save global references here.
1506 (Save_Global_References_In_List): Removed.
1507 * sem_ch7.adb (Analyze_Package_Body_Contract): Code cleanup.
1508 (Analyze_Package_Body_Helper): Create a generic contract for
1510 (Analyze_Package_Contract): Code cleanup.
1511 * sem_ch10.adb Add with and use clauses for Sem_Ch12.
1512 (Analyze_Compilation_Unit): Capture global references in a
1513 generic subprogram declaration that acts as a compilation unit.
1514 * sem_ch12.adb Add with and use clauses for Sem_Prag. Illustrate
1515 the implementation of generic contracts. Alphabetize various
1517 (Analyze_Generic_Package_Declaration):
1518 Create a generic contract for the template.
1519 (Analyze_Generic_Subprogram_Declaration): Create a generic
1520 contract for the template.
1521 (Analyze_Subprogram_Instantiation): Instantiate the contract of the
1523 (Copy_Generic_Node): Link defining entities of the generic template
1524 with the corresponding defining entities of the generic copy. Update
1525 the processing of pragmas.
1526 (Instantiate_Contract): Removed.
1527 (Instantiate_Subprogram_Contract): New routine.
1528 (Requires_Delayed_Save): New routine.
1529 (Save_Global_References): Rename formal parameter N to Templ. Various
1531 (Save_Global_References_In_Aspects): Moved from the spec.
1532 (Save_Global_References_In_Contract): New routine.
1533 (Save_References_In_Aggregate): New routine.
1534 (Save_References_In_Char_Lit_Or_Op_Symbol): New routine.
1535 (Save_References_In_Descendants): New routine.
1536 (Save_References_In_Identifier): New routine.
1537 (Save_References_In_Operator): New routine.
1538 (Save_References_In_Pragma): New routine.
1539 * sem_ch12.ads (Save_Global_References): Rename formal
1540 parameter N to Templ. Update the comment on usage.
1541 (Save_Global_References_In_Aspects): Moved to the body.
1542 (Save_Global_References_In_Contract): New routine.
1543 * sem_ch13.adb (Analyze_Aspect_Specifications_On_Body_Or_Stub):
1545 * sem_ch13.ads (Analyze_Aspect_Specifications_On_Body_Or_Stub):
1547 * sem_prag.adb (Add_Item_To_Name_Buffer): Add support for
1549 (Analyze_Contract_Cases_In_Decl_Part): Code cleanup.
1550 (Analyze_Depends_Global): New routine.
1551 (Analyze_Depends_In_Decl_Part): Code cleanup.
1552 (Analyze_Global_In_Decl_Part): Code cleanup.
1553 (Analyze_Global_Item): Constants are now valid global items. Do
1554 not perform state-related checks in an instance. Change the way
1555 renamings are handled. (Analyze_Initial_Condition_In_Decl_Part):
1557 (Analyze_Initializes_In_Decl_Part): Code cleanup.
1558 (Analyze_Input_Output): The analysis of attribute 'Result in
1559 the context of pragmas Depends or Refined_Depends now reuses
1560 the existing attribute analysis machinery. Constants and
1561 generic parameters are now valid dependency items. Do not
1562 perform state-related checks in an instance. Change the way
1563 renamings are handled. (Analyze_Pragma): Add a "characteristics"
1564 section for pragmas Abstract_State, Contract_Cases, Depends,
1565 Extensions_Visible, Global, Initial_Condition, Initializes,
1566 Post, Post_Class, Postcondition, Pre, Pre_Class, Precondition,
1567 Refined_Depends, Refined_Global, Refined_Post, Refined_State, Test_Case.
1568 (Analyze_Pre_Post_Condition): Do not create a generic
1570 (Analyze_Pre_Post_Condition_In_Decl_Part): Code cleanup.
1571 (Analyze_Refined_Depends_Global_Post): New routine.
1572 (Analyze_Refined_Depends_In_Decl_Part): Code cleanup.
1573 (Analyze_Refined_Global_In_Decl_Part): Code cleanup.
1574 (Analyze_Refined_Pragma): Removed.
1575 (Analyze_Refined_State_In_Decl_Part): Code cleanup.
1576 (Analyze_Test_Case_In_Decl_Part): Code cleanup.
1577 (Check_Dependency_Clause): Do not perform this check in an instance.
1578 (Check_Function_Return): Add support for generic functions.
1579 (Check_In_Out_States): Do not perform this check in an instance.
1580 (Check_Input_States): Do not perform this check in an instance.
1581 (Check_Mode_Restriction_In_Function): Add support for generic functions.
1582 (Check_Output_States): Do not perform this check in an instance.
1583 (Check_Postcondition_Use_In_Inlined_Subprogram): Rename
1584 parameter Subp_Id to Spec_Id and update comment on usage.
1585 (Check_Proof_In_States): Do not perform this check in an instance.
1586 (Check_Refined_Global_Item): Add support for constants.
1587 (Check_Refined_Global_List): Do not perform this check in an instance.
1588 (Collect_Global_Items): Reimplemented.
1589 (Collect_Subprogram_Inputs_Outputs): Add support for generic parameters.
1590 (Create_Generic_Template): Removed.
1591 (Find_Related_Package_Or_Body): Moved to spec.
1592 (Find_Role): Add support for generic parameters and constants.
1593 (Get_Argument): Moved to spec. Rename parameter Spec_Id to Context_Id.
1594 (Match_Item): Add support for constants.
1595 (Preanalyze_Test_Case_Arg): Reimplemented.
1596 (Report_Extra_Clauses): Do not perform this check in an instance.
1597 (Report_Extra_Constituents): Do not perform this check in an instance.
1598 * sem_prag.ads (Collect_Subprogram_Inputs_Outputs): Update
1599 the comment on usage.
1600 (Find_Related_Package_Or_Body): Moved from body.
1601 (Get_Argument): Moved from body.
1602 * sem_util.adb Add with and use clauses for Sem_Ch12.
1603 (Corresponding_Spec_Of): Add support for packages and package bodies.
1604 (Create_Generic_Contract): New routine.
1605 (Is_Contract_Annotation): Reimplemented.
1606 (Is_Generic_Declaration_Or_Body): New routine.
1607 (Is_Package_Contract_Annotation): New routine.
1608 (Is_Subprogram_Contract_Annotation): New routine.
1609 * sem_util.ads (Corresponding_Spec_Of): Update the comment on usage.
1610 (Create_Generic_Contract): New routine.
1611 (Is_Generic_Declaration_Or_Body): New routine.
1612 (Is_Package_Contract_Annotation): New routine.
1613 (Is_Subprogram_Contract_Annotation): New routine.
1614 * sinfo.adb (Is_Generic_Contract_Pragma): New routine.
1615 (Set_Is_Generic_Contract_Pragma): New routine.
1616 * sinfo.ads Add new attribute Is_Generic_Contract_Pragma along
1617 with occurrences in nodes.
1618 (Is_Generic_Contract_Pragma): New routine along with pragma Inline.
1619 (Set_Is_Generic_Contract_Pragma): New routine along with pragma Inline.
1620 * treepr.adb (Print_Entity_Info): Output fields 36 to 41.
1622 2015-05-12 Robert Dewar <dewar@adacore.com>
1624 * a-taster.ads: Minor comment fix: fix bad header, this is a
1627 2015-05-12 Robert Dewar <dewar@adacore.com>
1629 * sem_intr.adb: (Check_Shift): Diagnose bad modulus value.
1631 2015-05-12 Robert Dewar <dewar@adacore.com>
1633 * gnat1drv.adb (Adjust_Global_Switches): Default to suppressing
1634 Alignment_Checks on non-strict alignment machine.
1635 * sem_ch13.adb (Validate_Address_Clauses): Don't give
1636 compile-time alignment warnings if run time Alignment_Check
1639 2015-05-12 Thomas Quinot <quinot@adacore.com>
1641 * g-sercom.ads, g-sercom-linux.adb (GNAT.Serial_Communications.
1642 Data_Rate): New literals B75, B110, B150, B300, B600.
1644 2015-05-12 Doug Rupp <rupp@adacore.com>
1646 * init.c (__gnat_init_float) [vxworks]: For e500v2,
1647 do nothing and leave the responsibility to install the handler
1648 and enable the exceptions to the BSP.
1650 2015-05-12 Robert Dewar <dewar@adacore.com>
1652 * sem_ch9.adb, einfo.ads, exp_intr.adb: Minor reformatting.
1653 * sem_disp.adb: Minor code reorganization (remove junk redundant
1655 * exp_unst.adb (Unnest_Subprogram.Uplev_Refs): Ignore uplevel
1656 references to bounds of types coming from original type reference.
1657 * checks.ads: Minor reformatting.
1658 * checks.adb: Minor reformatting.
1659 * sem_prag.adb (Analyze_Pragma, case Check): If in ignored
1660 assertion, then make sure we do not drag in bignum stuff.
1662 2015-05-12 Ed Schonberg <schonberg@adacore.com>
1664 * sem_ch9.adb (Collect_Interfaces): Initialize
1665 Direct_Primitive_Operations for a tagged synchronized type,
1666 so it can used in ASIS mode.
1667 * sem_disp.adb (Check_Dispatching_Operation): If expansion is
1668 disabled, attach subprogram to list of Direct_Primitive_Operations
1669 of synchronized type itself, for ASIS use, because in this case
1670 Corresponding_Record_Type is not built.
1671 * einfo.ads: Indicate use of Direct_Primitive_Operations on
1674 2015-05-12 Pierre-Marie de Rodat <derodat@adacore.com>
1676 * exp_pakd.adb: Make clearer the comment in exp_pakd.adb about
1679 2015-05-12 Robert Dewar <dewar@adacore.com>
1681 * sem_ch3.adb, sem_util.adb, sem_ch6.adb: Minor reformatting.
1683 2015-05-12 Robert Dewar <dewar@adacore.com>
1685 * exp_unst.adb (Visit_Node): Deal with subprogram and package stubs.
1687 2015-05-12 Ed Schonberg <schonberg@adacore.com>
1689 * exp_intr.adb (Expand_Dispatching_Constructor_Call): The
1690 tag to be retrieved for the generated call is the first entry
1691 in the dispatch table for the return type of the instantiated
1694 2015-05-12 Bob Duff <duff@adacore.com>
1696 * exp_ch7.adb, exp_ch7.ads, exp_intr.adb, exp_util.adb,
1697 exp_util.ads: Update comments.
1699 2015-05-12 Ed Schonberg <schonberg@adacore.com>
1701 * sem_ch3.adb (Add_Internal_Interface_Entities): Do no generate
1702 freeze nodes for these in ASIS mode, because they lead to
1703 elaoration order issues in gigi.
1705 2015-05-12 Hristian Kirtchev <kirtchev@adacore.com>
1707 * sem_ch6.adb (Analyze_Expression_Function): Code
1708 cleanup. Use Copy_Subprogram_Spec to create a proper spec.
1709 (Analyze_Subprogram_Body_Helper): Code cleanup. Do not
1710 prepare a stand alone body for inlining in GNATprove mode
1711 when inside a generic. (Body_Has_Contract): Reimplemented.
1712 (Build_Subprogram_Declaration): New routine.
1713 * sem_ch10.adb (Analyze_Compilation_Unit): Capture global
1714 references within generic bodies by loading them.
1715 * sem_util.adb (Copy_Parameter_List): Code cleanup.
1716 (Copy_Subprogram_Spec): New routine.
1717 (Is_Contract_Annotation): New routine.
1718 * sem_util.ads (Copy_Subprogram_Spec): New routine.
1719 (Is_Contract_Annotation): New routine.
1721 2015-05-12 Hristian Kirtchev <kirtchev@adacore.com>
1723 * sem_attr.adb (Resolve_Attribute): Do not analyze the generated
1724 body of an expression function when the prefix of attribute
1725 'Access is the body.
1727 2015-05-12 Ed Schonberg <schonberg@adacore.com>
1729 * sem_ch3.adb (Build_Derived_Enumeration_Type): The anonymous base
1730 created for a derived enumeration type is not a first subtype,
1731 even though it is defined through a full type declaration.
1732 * sem_ch13.adb (Analyze_Aspects_At_Freeze_Point): Do not process
1733 aspects for the anonymous base type constructed for a derived
1734 scalar type, because they will be set when the first subtype
1736 (Inherit_Aspects_At_Freeze_Point): Fix typos on handling of
1737 Default_Value and Default_Component_Value, that prevented the
1738 proper inheritance of these aspects.
1740 2015-05-12 Gary Dismukes <dismukes@adacore.com>
1742 * exp_ch6.adb, exp_unst.adb: Minor typo fixes.
1744 2015-05-12 Robert Dewar <dewar@adacore.com>
1746 * sem_ch3.adb: Minor reformatting.
1748 2015-05-12 Vincent Celier <celier@adacore.com>
1750 * gnatcmd.adb: If we want to invoke gnatmake (gnatclean) with
1751 -P, then check if gprbuild (gprclean) is available; if it is,
1752 use gprbuild (gprclean) instead of gnatmake (gnatclean).
1754 2015-05-12 Robert Dewar <dewar@adacore.com>
1756 * debug.adb: Add flag -gnatd.3 to output diagnostic info from
1758 * einfo.ad, einfo.adb: Reorganize (and remove most of) flags used by
1760 * exp_ch6.adb (Unest_Bodies): Table for delayed calls to
1761 Unnest_Subprogram (Expand_N_Subprogram_Body): Add entry to table
1762 for later call instead of calling Unnest_Subprogram directly
1763 (Initialize): New procedure (Unnest_Subprograms): New procedure
1764 * exp_ch6.ads (Add_Extra_Actual_To_Call): Move into proper
1766 (Initialize): New procedure.
1767 (Unnest_Subprograms): New procedure.
1768 * exp_unst.adb (Unnest_Subprogram): Major rewrite, moving
1769 all processing to this routine which is now called late
1770 after instantiating bodies. Fully handles the case of generic
1772 * exp_unst.ads: Major rewrite, moving all processing to
1774 * frontend.adb (Frontend): Add call to Exp_Ch6.Initialize.
1775 (Frontend): Add call to Unnest_Subprograms.
1776 * sem_ch8.adb (Find_Direct_Name): Back to old calling sequence
1777 for Check_Nested_Access.
1778 * sem_util.adb (Build_Default_Subtype): Minor reformatting
1779 (Check_Nested_Access): Back to original VM-only form (we
1780 now do all the processing for Unnest_Subprogram at the time
1782 (Denotes_Same_Object): Minor reformatting
1783 (Note_Possible_Modification): Old calling sequence for
1784 Check_Nested_Access.
1785 * sem_util.ads (Check_Nested_Access): Back to original VM-only
1786 form (we now do all the processing for Unnest_Subprogram at the
1789 2015-05-12 Robert Dewar <dewar@adacore.com>
1791 * sem_ch3.adb, freeze.adb, sem_ch6.adb: Minor reformatting.
1793 2015-05-12 Ed Schonberg <schonberg@adacore.com>
1795 * sem_ch3.adb (Analyze_Object_Declaration): New function
1796 Has_Delayed_Aspect, used to defer resolution of an aggregate
1797 expression when the object declaration carries aspects Address
1799 * freeze.adb (Freeze_Object_Declaration): New subsidiary procedure
1800 to Freeze_Entity. In addition to the previous processing steps
1801 at the freeze point of an object, this procedure also handles
1802 aggregates in object declarations, when the declaration carries
1803 delayed aspects that require that the initialization of the
1804 object be attached to its freeze actions.
1806 2015-05-12 Ed Schonberg <schonberg@adacore.com>
1808 * sem_ch6.adb (Analyze_Subprogram_Declaration): Following
1809 AI12-0147, null procedures and expression functions are allowed
1810 in protected bodies.
1812 2015-05-12 Tristan Gingold <gingold@adacore.com>
1814 * i-cpoint.adb (Copy_Terminated_Array): Copy nothing if Length is 0.
1816 2015-05-12 Ed Schonberg <schonberg@adacore.com>
1818 * sem_ch3.adb (Complete_Private_Subtype): Propagate
1819 Has_Delayed_Aspects flag from private to full view, to ensure
1820 that predicate functions are constructed.
1822 2015-05-12 Ed Schonberg <schonberg@adacore.com>
1824 * sem_ch6.adb (Process_Formals): If a tagged formal is an
1825 incomplete class-wide type, the subprogram must have a delayed
1826 freeze even though the opertation is not a primitive of the
1827 type. THis ensures that the backend can recover the full view
1828 when elaborating the subprogram declaration.
1830 2015-05-12 Ed Schonberg <schonberg@adacore.com>
1832 * exp_util.adb (Get_Current_Value_Condition): Nothing to be
1833 done if an elsif part has been rewritten so that it is not part
1834 of an enclosing if_statement.
1836 2015-05-12 Robert Dewar <dewar@adacore.com>
1838 * sem_type.adb, sem_ch10.adb, freeze.adb, sem_ch6.adb, exp_disp.adb:
1841 2015-05-12 Bob Duff <duff@adacore.com>
1843 * exp_attr.adb (Size): Remove unnecessary check for types with
1844 unknown discriminants. That was causing the compiler to build
1845 a function call _size(T), where T is a type, not an object.
1847 2015-05-12 Ed Schonberg <schonberg@adacore.com>
1849 * sem_ch4.adb (Extended_Primitive_Ops): Exclude overriding
1850 primitive operations of a type extension declared in the package
1851 body, to prevent duplicates in extended list.
1853 2015-05-12 Ed Schonberg <schonberg@adacore.com>
1855 * sem_ch3.adb (Analyze_Component_Declaration): If the component is
1856 an unconstrained synchronized type with discriminants, create a
1857 constrained default subtype for it, so that the enclosing record
1858 can be given the proper size.
1859 * sem_util.adb (Build_Default_Subtype): If the subtype is created
1860 for a record discriminant, do not analyze the declarztion at
1861 once because it is added to the freezing actions of the enclosing
1864 2015-05-12 Robert Dewar <dewar@adacore.com>
1866 * exp_prag.adb (Expand_N_Pragma): Rewrite ignored pragma as
1868 * namet.ads (Boolean3): Document this flag used for Ignore_Pragma.
1869 * par-prag.adb (Prag): Implement Ignore_Pragma.
1870 * sem_prag.adb: Implement Ignore_Pragma.
1871 * snames.ads-tmpl: Add entries for pragma Ignore_Pragma.
1873 2015-05-12 Javier Miranda <miranda@adacore.com>
1875 * sem_ch10.adb (Build_Shadow_Entity): Link the class-wide shadow
1876 entity with its corresponding real entity.
1877 (Decorate_Type): Unconditionally build the class-wide shadow entity of
1879 * einfo.ads, einfo.adb (Has_Non_Limited_View): New synthesized
1881 (Non_Limited_View): Moved from field 17 to field 19 be available
1882 in class-wide entities.
1883 * exp_attr.adb (Access_Cases): Code cleanup.
1884 * exp_disp.adb (Expand_Interface_Actuals): Ditto.
1885 * exp_util.adb (Non_Limited_Designated_Type): Ditto.
1886 * freeze.adb (Build_Renamed_Bdody): Ditto.
1887 * sem_aux.adb (Available_View): Ditto.
1888 * sem_ch4.adb (Analyze_Selected_Component): Ditto.
1889 (Try_One_Prefix_Interpretation): Ditto.
1890 * sem_ch5.adb (Analyze_Assignment): Ditto.
1891 * sem_ch6.adb (Detect_And_Exchange): Ditto.
1892 * sem_ch8.adb (Find_Expanded_Name): Ditto.
1893 * sem_disp.adb (Check_Controlling_Type): Ditto.
1894 * sem_res.adb (Resolve_Type_Conversion): Ditto.
1895 (Full_Designated_Type): Ditto.
1896 * sem_type.adb (Covers): Ditto.
1897 * sem_util.adb: Fix typo in comment.
1899 2015-05-12 Robert Dewar <dewar@adacore.com>
1901 * exp_unst.adb (Get_Real_Subp): New subprogram.
1902 (Unnest_Subprogram): Use Get_Real_Subp.
1903 (Uplev_Refs_For_One_Subp): Skip if no ARECnU entity.
1904 (Uplev_Refs_For_One_Subp): Use actual subtype in unconstrained case.
1906 2015-05-12 Robert Dewar <dewar@adacore.com>
1908 * a-reatim.adb ("/"): Add explicit check for Time_Span_First / -1.
1910 2015-05-12 Ed Schonberg <schonberg@adacore.com>
1912 * sem_ch4.adb (Extended_Primitive_Ops): New subprogram,
1913 auxiliary to Try_Primitive_Operation to handle properly prefixed
1914 calls where the operation is not a primitive of the type, but
1915 is declared in the package body that is in the immediate scope
1918 2015-05-12 Robert Dewar <dewar@adacore.com>
1920 * sem_util.adb (Is_Variable): Allow X'Deref(Y) as a variable.
1922 2015-05-12 Ed Schonberg <schonberg@adacore.com>
1924 * sem_ch8.adb (Find_Expanded_Name): Handle properly a fully
1925 qualified name for an instance of a generic grand-child unit in
1926 the body its parent.
1928 2015-05-12 Robert Dewar <dewar@adacore.com>
1930 * exp_unst.adb (Upref_Name): New subprogram.
1931 (Unnest_Subprogram): Use Upref_Name.
1932 (Unnest_Subprogram): Use new Deref attribute.
1933 * exp_unst.ads: Doc updates.
1935 2015-05-12 Thomas Quinot <quinot@adacore.com>
1937 * adaint.c: Enable Large File Support in adaint so that __gnat_readdir
1938 can access files on filesystems mounted from servers that use large
1941 2015-05-09 Eric Botcazou <ebotcazou@adacore.com>
1943 * gcc-interface/utils.c (gnat_write_global_declarations): Use type_decl
1944 method instead of global_decl for TYPE_DECLs.
1946 2015-04-27 Jim Wilson <jim.wilson@linaro.org>
1948 * gcc-interface/Makefile-lan.in (ada.mostlyclean): Remove gnatbind
1951 2015-04-13 Eric Botcazou <ebotcazou@adacore.com>
1953 * gnatvsn.ads (Library_Version): Bump to 6.
1955 2015-04-09 Iain Sandoe <iain@codesourcery.com>
1957 * gcc-interface/Makefile.in (darwin, powerpc): Enable atomics.
1959 2015-04-08 Eric Botcazou <ebotcazou@adacore.com>
1961 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Function>: Do not make
1962 a function returning an unconstrained type 'const' for the middle-end.
1964 * gcc-interface/trans.c (Pragma_to_gnu) <case Pragma_Warning>: Use
1965 exact condition to detect Reason => "..." pattern.
1967 2015-03-31 Tom de Vries <tom@codesourcery.com>
1970 * terminals.c (child_setup_tty): Fix warning 'argument to sizeof in
1971 bzero call is the same expression as the destination'.
1973 2015-03-26 Eric Botcazou <ebotcazou@adacore.com>
1975 * gcc-interface/trans.c (Attribute_to_gnu) <Attr_Deref>: New case.
1977 2015-03-24 Gary Dismukes <dismukes@adacore.com>
1979 * sem_ch3.adb: Minor typo fix (missing paren).
1981 2015-03-24 Robert Dewar <dewar@adacore.com>
1983 * sinfo.ads: Update comment.
1985 2015-03-24 Robert Dewar <dewar@adacore.com>
1987 * exp_attr.adb: Add entry for typ'Deref.
1988 * sem_attr.adb (Deref): New GNAT attribute.
1989 * sem_attr.ads: Add entry for new GNAT attribute Deref.
1990 * snames.ads-tmpl: Add entries for new attribute Deref.
1992 2015-03-24 Ed Schonberg <schonberg@adacore.com>
1994 * sem_ch13.adb (Rep_Item_Too_Early): allow pragma Convention
1997 2015-03-24 Gary Dismukes <dismukes@adacore.com>
1999 * inline.adb: Minor typo fix.
2001 2015-03-24 Arnaud Charlet <charlet@adacore.com>
2003 * doc/gnat_ugn/building_executable_programs_with_gnat.rst,
2004 doc/gnat_ugn/gnat_utility_programs.rst
2005 doc/gnat_rm/implementation_defined_attributes.rst
2006 doc/gnat_rm/implementation_defined_pragmas.rst
2007 doc/gnat_rm/representation_clauses_and_pragmas.rst
2008 doc/gnat_rm/about_this_guide.rst
2009 doc/gnat_rm/implementation_of_ada_2012_features.rst: Doc improvements.
2010 * gnat_rm.texi, gnat_ugn.texi: Regenerate.
2012 2015-03-23 Jakub Jelinek <jakub@redhat.com>
2015 * adadecode.c (ada_demangle): Guard with IN_RTS instead of IN_GCC.
2017 2015-03-20 Eric Botcazou <ebotcazou@adacore.com>
2020 * gcc-interface/utils.c (gnat_pushdecl): Tidy up and improve comment.
2021 Make sure to chain only main variants through TYPE_NEXT_PTR_TO.
2023 * gcc-interface/trans.c (Attribute_to_gnu): Revert latest change.
2025 2015-03-16 Eric Botcazou <ebotcazou@adacore.com>
2027 * gcc-interface/utils2.c (gnat_invariant_expr): Return null if the type
2028 of the expression ends up being composite.
2030 2015-03-16 Eric Botcazou <ebotcazou@adacore.com>
2032 * gcc-interface/decl.c (is_from_limited_with_of_main): New predicate.
2033 (gnat_to_gnu_entity) <E_Subprogram_Type>: Invoke it on return and
2034 parameter types to detect circularities in ASIS mode.
2035 * gcc-interface/trans.c (Attribute_to_gnu): Mention AI05-0151.
2037 2015-03-16 Eric Botcazou <ebotcazou@adacore.com>
2039 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Abstract_State>: Do not
2040 short-circuit the regular handling.
2042 2015-03-13 Robert Dewar <dewar@adacore.com>
2044 * exp_unst.adb (Note_Uplevel_Reference): Eliminate duplicate
2046 (Actual_Ref): New function.
2047 (AREC_String): Minor reformatting.
2048 (Unnest_Subprogram): Use Actual_Ref.
2049 * frontend.adb (Frontend): Turn off Unnest_Subprogram_Mode
2050 before call to Instantiate_Bodies.
2052 2015-03-13 Ed Schonberg <schonberg@adacore.com>
2054 * freeze.adb (Freeze_Profile): If the return type of a function
2055 being frozen is an untagged limited view and the function is
2056 abstract, mark the type as frozen because there is no later
2057 point at which the profile of the subprogram will be elaborated.
2059 2015-03-13 Robert Dewar <dewar@adacore.com>
2061 * einfo.adb, einfo.ads, atree.adb, atree.ads, atree.h: Add seventh
2062 component to entities. Add new fields Field36-41 and Node36-41.
2064 2015-03-13 Claire Dross <dross@adacore.com>
2066 * inline.adb (Can_Be_Inlined_In_GNATprove_Mode): Rewrite after review.
2068 2015-03-13 Robert Dewar <dewar@adacore.com>
2070 * exp_util.adb (Is_Volatile_Reference): Compile time known
2071 value is never considered to be a volatile reference.
2073 2015-03-13 Robert Dewar <dewar@adacore.com>
2075 * sem_ch3.adb (Analyze_Object_Contract): Suppress "constant
2076 cannot be volatile" for internally generated object (such as
2077 FIRST and LAST constants).
2079 2015-03-13 Ed Schonberg <schonberg@adacore.com>
2081 * sem_ch12.adb (Validate_Access_Subprogram_Instance): If a
2082 convention is specified for the formal parameter, verify that
2083 the actual has the same convention.
2084 * sem_prag.adb (Set_Convention_From_Pragma): Allow convention
2085 pragma to be set on a generic formal type.
2086 * sem_util.adb (Set_Convention): Ignore within an instance,
2087 as it has already been verified in the generic unit.
2089 2015-03-13 Claire Dross <dross@adacore.com>
2091 * inline.adb (Can_Be_Inlined_In_GNATprove_Mode): Do not inline
2092 subprograms with unconstrained record parameters containing
2094 * sinfo.ads Document GNATprove assumption that type should match
2096 * sem_ch6.adb (Analyze_Subprogram_Body_Contract):
2097 Do not check for Refined_Depends and Refined_Globals contracts
2098 as they are optional.
2100 2015-03-13 Ed Schonberg <schonberg@adacore.com>
2102 * sem_ch12.adb (Instantiate_Type): For a floating-point type,
2103 capture dimension info if any, because the generated subtype
2104 declaration does not come from source and will not process dimensions.
2105 * sem_dim,adb (Analyze_Dimension_Extension_Or_Record_Aggregate):
2106 Do not analyze expressions with an initialization procedure
2107 because aggregates will have been checked at the point of record
2110 2015-03-13 Robert Dewar <dewar@adacore.com>
2112 * aspects.ads, aspects.adb: Add entries for aspect Unimplemented.
2113 * einfo.ads, einfo.adb (Is_Unimplemented): New flag.
2114 * sem_ch13.adb: Add dummy entry for aspect Unimplemented.
2115 * snames.ads-tmpl: Add entry for Name_Unimplemented.
2117 2015-03-13 Gary Dismukes <dismukes@adacore.com>
2119 * style.adb (Missing_Overriding): Apply the
2120 Comes_From_Source test to the Original_Node of the subprogram
2121 node, to handle the case of a null procedure declaration that
2122 has been rewritten as an empty procedure body.
2124 2015-03-13 Robert Dewar <dewar@adacore.com>
2126 * exp_util.ads: Minor fix to comment.
2127 * sem_ch3.adb (Constrain_Index): Correct pasto from previous
2130 2015-03-13 Robert Dewar <dewar@adacore.com>
2132 * exp_util.ads, exp_util.adb (Force_Evaluation): Add Related_Id and
2133 Is_Low/High_Bound params.
2134 * sem_ch3.adb (Constrain_Index): Use new Force_Evaluation calling
2135 sequence to simplify generation of FIRST/LAST temps for bounds.
2137 2015-03-12 Olivier Hainque <hainque@adacore.com>
2139 * gcc-interface/trans.c (Attribute_to_gnu) <Code_Address case>:
2140 On targets where a function symbol designates a function descriptor,
2141 fetch the function code address from the descriptor.
2142 (USE_RUNTIME_DESCRIPTORS): Provide a default definition.
2144 2015-03-04 Robert Dewar <dewar@adacore.com>
2146 * sem_warn.adb: Minor reformatting.
2147 * init.c: Minor tweaks.
2149 2015-03-04 Dmitriy Anisimko <anisimko@adacore.com>
2151 * a-coinho-shared.adb: Fix clear of already empty holder.
2153 2015-03-04 Robert Dewar <dewar@adacore.com>
2155 * exp_unst.adb (Check_Dynamic_Type): Ignore library level types.
2156 (Check_Uplevel_Reference_To_Type): Ignore call inside generic.
2157 (Note_Uplevel_Reference): Ignore call inside generic.
2158 (Note_Uplevel_Reference): Fix check for no entity field.
2159 (Unnest_Subprogram): Ignore call inside generic.
2160 (Find_Current_Subprogram): Use Defining_Entity, not Defining_Unit_Name.
2161 (Visit_Node): Ignore calls to Imported subprograms.
2162 (Visit_Node): Fix problem in finding subprogram body in some cases.
2163 (Add_Form_To_Spec): Use Defining_Entity, not Defining_Unit_Name.
2165 2015-03-04 Robert Dewar <dewar@adacore.com>
2167 * einfo.adb (Is_ARECnF_Entity): Removed.
2168 (Last_Formal): Remove special handling of Is_ARECnF_Entity.
2169 (Next_Formal): Remove special handling of Is_ARECnF_Entity.
2170 (Next_Formal_With_Extras): Remove special handling of Is_ARECnF_Entity.
2171 (Number_Entries): Minor reformatting.
2172 * einfo.ads (Is_ARECnF_Entity): Removed.
2173 * exp_unst.adb (Unnest_Subprogram): Remove setting of
2175 (Add_Extra_Formal): Use normal Extra_Formal circuit.
2176 * sprint.adb (Write_Param_Specs): Properly handle case where
2177 there are no source formals, but we have at least one Extra_Formal
2180 2015-03-04 Ed Schonberg <schonberg@adacore.com>
2182 * sem_aggr.adb (Resolve_Record_Aggregate,
2183 Add_Discriminant_Values): If the value is a reference to the
2184 current instance of an enclosing type, use its base type to check
2185 against prefix of attribute reference, because the target type
2186 may be otherwise constrained.
2188 2015-03-04 Robert Dewar <dewar@adacore.com>
2190 * atree.h: Add entries for Flag287-Flag309.
2191 * einfo.adb: Add (unused) flags Flag287-Flag309.
2193 2015-03-04 Ed Schonberg <schonberg@adacore.com>
2195 * sem_util.adb (Collect_Interfaces, Collect): When gathering
2196 interfaces of ancestors, handle properly a subtype of a private
2199 2015-03-04 Robert Dewar <dewar@adacore.com>
2201 * einfo.adb (Is_ARECnF_Entity): New flag (ARECnF is an extra formal).
2202 (Next_Formal): Don't return ARECnF formal.
2203 (Last_Formal): Don't consider ARECnF formal.
2204 (Next_Formal_With_Extras): Do consider ARECnF formal.
2205 * einfo.ads (Is_ARECnF_Entity): New flag (ARECnF is an extra formal).
2206 * exp_unst.adb (Create_Entities): Set Is_ARECnF_Entity flag.
2208 2015-03-04 Javier Miranda <miranda@adacore.com>
2210 * exp_ch6.adb (Expand_Simple_Function_Return): When the returned
2211 object is a class-wide interface object and we generate the
2212 accessibility described in RM 6.5(8/3) then displace the pointer
2213 to the object to reference the base of the object (to get access
2214 to the TSD of the object).
2216 2015-03-04 Hristian Kirtchev <kirtchev@adacore.com>
2218 * sem_prag.adb (Analyze_Abstract_State): Use routine
2219 Malformed_State_Error to issue general errors.
2220 (Analyze_Pragma): Diagnose a syntax error related to a state
2221 declaration with a simple option.
2222 (Malformed_State_Error): New routine.
2224 2015-03-04 Robert Dewar <dewar@adacore.com>
2226 * a-strsup.adb (Super_Slice): Deal with super flat case.
2227 * einfo.ads: Minor reformatting.
2228 * s-imgdec.adb (Set_Decimal_Digits): Add comment about possibly
2231 2015-03-04 Claire Dross <dross@adacore.com>
2233 * a-cfdlli.ads, a-cfhase.ads, a-cforma.ads, a-cfhama.ads,
2234 a-cforse.ads, a-cofove.ads: Use Default_Initial_Condition on formal
2237 2015-03-04 Ed Schonberg <schonberg@adacore.com>
2239 * sem_warn.adb (Check_References): When checking for an unused
2240 in-out parameter of a class- wide type, use its type to determine
2241 whether it is private, in order to avoid a spurious warning when
2242 subprogram spec and body are in different units.
2244 2015-03-04 Yannick Moy <moy@adacore.com>
2246 * sem_attr.adb: Improve warning messages.
2248 2015-03-04 Robert Dewar <dewar@adacore.com>
2250 * exp_ch6.adb (Expand_N_Subprogram_Body): Avoid trying to unnest
2251 generic subprograms.
2252 * exp_unst.adb (Check_Dynamic_Type): Handle record types properly
2253 (Note_Uplevel_Reference): Ignore uplevel references to non-types
2254 (Get_Level): Consider only subprograms, not blocks.
2255 (Visit_Node): Set proper condition for generating ARECnF entity.
2256 Ignore indirect calls. Ignore calls to subprograms
2258 (Unnest_Subprogram): Minor changes in dealing with ARECnF entity.
2259 (Add_Form_To_Spec): Properly set Last_Entity field.
2260 (Unnest_Subprogram): Set current subprogram scope for analyze calls.
2261 Handle case of no uplevel refs in outer subprogram
2262 Don't mark uplevel entities as aliased.
2263 Don't deal with calls with no ARECnF requirement.
2265 2015-03-04 Robert Dewar <dewar@adacore.com>
2267 * s-valrea.adb (Scan_Real): Remove redundant tests from scaling loops.
2268 * s-imgdec.adb (Set_Decimal_Digits): Remove redundant Max
2269 operation in computing LZ.
2270 * sem_attr.adb: Minor typo fix
2272 2015-03-04 Robert Dewar <dewar@adacore.com>
2274 * exp_ch7.adb: Minor reformatting.
2275 * exp_unst.adb (Build_Tables): Fix minor glitch for no separate
2277 * erroutc.adb (Delete_Msg): add missing decrement of info msg counter.
2279 2015-03-04 Hristian Kirtchev <kirtchev@adacore.com>
2281 * exp_ch6.adb (Build_Pragma_Check_Equivalent): Suppress
2282 references to formal parameters subject to pragma Unreferenced.
2283 (Suppress_Reference): New routine.
2284 * sem_attr.adb (Analyze_Attribute): Reimplement the analysis
2285 of attribute 'Old. Attributes 'Old and 'Result now share
2287 (Analyze_Old_Result_Attribute): New routine.
2288 (Check_Placement_In_Check): Removed.
2289 (Check_Placement_In_Contract_Cases): Removed.
2290 (Check_Placement_In_Test_Case): Removed.
2291 (Check_Use_In_Contract_Cases): Removed.
2292 (Check_Use_In_Test_Case): Removed.
2293 (In_Refined_Post): Removed.
2294 (Is_Within): Removed.
2295 * sem_warn.adb (Check_Low_Bound_Tested): Code cleanup.
2296 (Check_Low_Bound_Tested_For): New routine.
2298 2015-03-04 Hristian Kirtchev <kirtchev@adacore.com>
2300 * exp_ch3.adb (Expand_N_Object_Declaration):
2301 Generate a runtime check to test the expression of pragma
2302 Default_Initial_Condition when the object is default initialized.
2304 2015-03-02 Robert Dewar <dewar@adacore.com>
2306 * scng.adb (Scan): Ignore illegal character in relaxed
2309 2015-03-02 Ed Schonberg <schonberg@adacore.com>
2311 * sem_ch4.adb (Analyze_Set_Membership); Retain Overloaded flag
2312 on left operand, so it can be properly resolved with type of
2313 alternatives of right operand.
2314 * sem_res.adb (Resolve_Set_Membership): Handle properly an
2315 overloaded left-hand side when the alternatives on the right
2316 hand side are literals of some universal type. Use first
2317 non-overloaded alternative to find expected type.
2319 2015-03-02 Ed Schonberg <schonberg@adacore.com>
2321 * exp_ch7.adb (Make_Set_Finalize_Address_Call): Use underlying
2322 type to retrieve designated type, because the purported access
2323 type may be a partial (private) view, when it is declared in
2324 the private part of a nested package, and finalization actions
2325 are generated when completing compilation of enclosing unit.
2327 2015-03-02 Robert Dewar <dewar@adacore.com>
2329 * back_end.adb (Call_Back_End): Remove previous patch,
2330 the back end now gets to see the result of -gnatd.1
2331 (Unnest_Subprogram_Mode) processing.
2332 * elists.ads, elists.adb (List_Length): New function.
2333 * exp_unst.ads, exp_unst.adb: Major changes, first complete version.
2334 * sem_util.adb (Check_Nested_Access): Handle formals in
2335 Unnest_Subprogram_Mode.
2336 (Adjust_Named_Associations): Minor reformatting.
2337 * sprint.adb (Sprint_Node_Actual): Fix failure to print aliased
2340 2015-03-02 Robert Dewar <dewar@adacore.com>
2342 * atree.ads, atree.adb (Uint24): New function
2343 (Set_Uint24): New procedure.
2344 * atree.h (Uint24): New macro for field access.
2345 * back_end.adb (Call_Back_End): For now, don't call back end
2346 if unnesting subprogs.
2347 * einfo.adb (Activation_Record_Component): New field
2348 (Subps_Index): New field.
2349 * einfo.ads (Activation_Record_Component): New field
2350 (Subps_Index): New field Minor reordering of comments into alpha order.
2351 * exp_unst.ads, exp_unst.adb: Continued development.
2353 2015-03-02 Gary Dismukes <dismukes@adacore.com>
2355 * exp_disp.ads: Minor reformatting.
2357 2015-03-02 Ed Schonberg <schonberg@adacore.com>
2359 * sem_ch8.adb (Chain_Use_Clause): Do not chain use clause from
2360 ancestor to list of use clauses active in descendant unit if we
2361 are within the private part of an intervening parent, to prevent
2362 circularities in use clause list.
2364 2015-03-02 Javier Miranda <miranda@adacore.com>
2366 * exp_ch9.adb (Build_Corresponding_Record): Propagate type
2367 invariants to the corresponding record type.
2368 * exp_disp.ad[sb] (Set_DT_Position_Value): New subprogram
2369 which sets the value of the DTC_Entity associated with a given
2370 primitive of a tagged type and propagates the value to the
2372 (Set_DTC_Entity_Value): Propagate the DTC
2373 value to the wrapped entity.
2374 * sem_ch13.adb (Build_Invariant_Procedure): Append the code
2375 associated with invariants of progenitors.
2376 * sem_ch3.adb (Build_Derived_Record_Type): Inherit type invariants
2377 of parents and progenitors.
2378 (Process_Full_View): Check hidden inheritance of class-wide type
2380 * sem_ch7.adb (Analyze_Package_Specification): Do not generate
2381 the invariant procedure for interface types; build the invariant
2382 procedure for tagged types inheriting invariants from their
2384 * sem_prag.adb (Pragma_Invariant) Allow invariants in interface
2385 types but do not build their invariant procedure since their
2386 invariants will be propagated to the invariant procedure of
2387 types covering the interface.
2388 * exp_ch6.adb, exp_disp.adb, sem_ch3.adb, sem_ch7.adb,
2389 sem_ch8.adb, sem_disp.adb: Replace all calls to Set_DT_Position
2390 by calls to Set_DT_Position_Value.
2392 2015-03-02 Hristian Kirtchev <kirtchev@adacore.com>
2394 * sem_attr.adb (Analyze_Attribute): Factor out heavily indented
2395 code in Denote_Same_Function. Do not analyze attribute 'Result
2396 when it is inside procedure _Postconditions. Remove a misplaced
2397 warning diagnostic. Code cleanup.
2398 (Denote_Same_Function): New routine.
2399 * sem_prag.adb (Analyze_Contract_Cases_In_Decl_Part): Code
2400 cleanup. Warn on pre/postconditions on an inlined subprogram.
2401 (Analyze_Pragma, Refined_Post case): Warn on pre/postconditions on
2402 an inlined subprogram.
2403 (Analyze_Pre_Post_Condition_In_Decl_Part): Code cleanup. Warn on
2404 pre/post condition on an inlined subprogram.
2405 (Analyze_Test_Case_In_Decl_Part): Code cleanup. Warn on
2406 pre/postconditions on an inlined subprogram.
2407 (Check_Postcondition_Use_In_Inlined_Subprogram): New routine.
2409 2015-03-02 Hristian Kirtchev <kirtchev@adacore.com>
2411 * sem_prag.adb (Ensure_Aggregate_Form):
2412 Ensure that the name denoted by the Chars of a pragma argument
2413 association has the proper Sloc when converted into an aggregate.
2415 2015-03-02 Bob Duff <duff@adacore.com>
2417 * sem_ch6.adb (Check_Private_Overriding): Capture
2418 Incomplete_Or_Partial_View in a constant. This is cleaner and
2421 2015-03-02 Gary Dismukes <dismukes@adacore.com>
2423 * einfo.ads, exp_unst.ads: Minor reformatting.
2425 2015-03-02 Ed Schonberg <schonberg@adacore.com>
2427 * a-strsea.adb (Find_Token): Ensure that the range of iteration
2428 does not perform any improper character access. This prevents
2429 erroneous access in the unusual case of an empty string target
2430 and a From parameter less than Source'First.
2432 2015-03-02 Robert Dewar <dewar@adacore.com>
2434 * elists.adb (List_Length): Fix incorrect result.
2436 2015-03-02 Bob Duff <duff@adacore.com>
2438 * sem_ch6.adb (Check_Private_Overriding): Refine the legality
2439 checks here. It used to check that the function is merely
2440 overriding SOMEthing. Now it checks that the function is
2441 overriding a corresponding public operation. This is a correction
2442 to the implementation of the rule in RM-3.9.3(10).
2444 2015-03-02 Robert Dewar <dewar@adacore.com>
2446 * debug.adb: Document new debug flag -gnatd.1.
2447 * einfo.ads, einfo.adb (Has_Nested_Subprogram): New flag.
2448 (Has_Uplevel_Reference): New flag (Is_Static_Type): New flag.
2449 (Uplevel_Reference_Noted):New flag (Uplevel_References): New field.
2450 * elists.ads elists.adb (List_Length): New function.
2451 * exp_ch6.adb (Expand_N_Subprogram_Body): Call Unnest_Subprogram
2452 when appropriate (Process_Preconditions): Minor code
2453 reorganization and reformatting
2454 * exp_unst.ads, exp_unst.adb: New files.
2455 * gnat1drv.adb (Adjust_Global_Switches): Set
2456 Unnest_Subprogram_Mode if -gnatd.1
2457 * namet.ads, namet.adb (Name_Find_Str): New version of Name_Find with
2459 * opt.ads (Unnest_Subprogram_Mode): New flag.
2460 * par-ch3.adb (P_Identifier_Declarations): Fixes to -gnatd.2 handling.
2461 * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Set
2462 Has_Nested_Subprogram flag.
2463 * sem_ch8.adb (Find_Direct_Name): New calling sequence for
2464 Check_Nested_Access.
2465 (Find_Selected_Component): Minor comment addition.
2466 * sem_util.adb (Check_Nested_Access): New version for use with Exp_Unst.
2467 (Note_Possible_Modification): New calling sequence for
2468 Check_Nested_Access.
2469 * sem_util.ads (Check_Nested_Access): New version for use with Exp_Unst.
2470 * gcc-interface/Make-lang.in (GNAT1_OBJS): Add exp_unst.o
2472 2015-03-02 Pierre-Marie de Rodat <derodat@adacore.com>
2474 * gcc-interface/utils.c (gnat_pushdecl): For non-artificial pointer
2475 types, preserve the original type and create copies just like the C
2476 front-end does. For artificial ones, do not define a name for
2478 (create_type_decl): When gnat_pushdecl made the input type the
2479 original type for the new declaration, do not define a stub
2481 * gcc-interface/utils2.c (build_binary_op): Accept two different
2482 pointer types when they point to the same type.
2484 2015-03-02 Hristian Kirtchev <kirtchev@adacore.com>
2486 * exp_util.adb (Possible_Bit_Aligned_Component): Do not process
2488 * sem_util.adb (Kill_Current_Values): Do not invalidate and
2491 2015-03-02 Robert Dewar <dewar@adacore.com>
2493 * sem_ch3.adb, exp_attr.adb, checks.adb, exp_aggr.adb: Minor
2496 2015-03-02 Ed Schonberg <schonberg@adacore.com>
2498 * sem_ch8.adb: extend use of Available_Subtype.
2500 2015-03-02 Hristian Kirtchev <kirtchev@adacore.com>
2502 * sem_prag.adb (Duplication_Error): Remove the special handling
2503 of 'Class or _Class in the context of pre/postconditions.
2504 (Process_Class_Wide_Condition): Remove the special handling of
2505 'Class or _Class in the context of pre/postconditions.
2506 * sem_util.adb (Original_Aspect_Pragma_Name): Names Pre_Class
2507 and Post_Class no longer need to be converted to _Pre and _Post.
2508 * sem_util.ads (Original_Aspect_Pragma_Name): Update the comment
2511 2015-03-02 Hristian Kirtchev <kirtchev@adacore.com>
2513 * exp_ch6.adb (Process_Preconditions): Modify the
2514 mechanism that find the first source declaration to correct exit
2515 the loop once it has been found.
2517 2015-03-02 Gary Dismukes <dismukes@adacore.com>
2519 * a-strsea.adb: Minor typo fix.
2521 2015-03-02 Bob Duff <duff@adacore.com>
2523 * einfo.ads: Minor comment fixes.
2525 2015-03-02 Gary Dismukes <dismukes@adacore.com>
2527 * einfo.adb, checks.adb: Minor reformatting and typo fixes.
2529 2015-03-02 Ed Schonberg <schonberg@adacore.com>
2531 * exp_aggr.adb (Get_Assoc_Expr): If the Default_Component_Value
2532 is defined for the array type, use it instead of a Default_Value
2533 specified for the component type itself.
2535 2015-03-02 Thomas Quinot <quinot@adacore.com>
2537 * exp_attr.adb (Expand_N_Attribute_Reference, case Input): When
2538 expanding a 'Input attribute reference for a class-wide type,
2539 do not generate a separate object declaration for the controlling
2540 tag dummy object; instead, generate the expression inline in the
2541 dispatching call. Otherwise, the declaration (which involves a
2542 call to String'Input, returning a dynamically sized value on the
2543 secondary stack) will be expanded outside of proper secondary
2544 stack mark/release operations, and will thus cause a secondary
2547 2015-03-02 Hristian Kirtchev <kirtchev@adacore.com>
2549 * checks.adb (Add_Validity_Check): Change the names of all
2550 formal parameters to better illustrate their purpose. Update
2551 the subprogram documentation. Update all occurrences of the
2552 formal parameters. Generate a pre/postcondition pragma by
2553 calling Build_Pre_Post_Condition.
2554 (Build_PPC_Pragma): Removed.
2555 (Build_Pre_Post_Condition): New routine.
2556 * einfo.adb Node8 is no longer used as Postcondition_Proc. Node14
2557 is now used as Postconditions_Proc. Flag240 is now renamed to
2558 Has_Expanded_Contract. (First_Formal): The routine can now
2559 operate on generic subprograms.
2560 (First_Formal_With_Extras): The routine can now operate on generic
2562 (Has_Expanded_Contract): New routine.
2563 (Has_Postconditions): Removed.
2564 (Postcondition_Proc): Removed.
2565 (Postconditions_Proc): New routine.
2566 (Set_Has_Expanded_Contract): New routine.
2567 (Set_Has_Postconditions): Removed.
2568 (Set_Postcondition_Proc): Removed.
2569 (Set_Postconditions_Proc): New routine.
2570 (Write_Entity_Flags): Remove the output of Has_Postconditions. Add
2571 the output of Has_Expanded_Contract.
2572 (Write_Field8_Name): Remove the output of Postcondition_Proc.
2573 (Write_Field14_Name): Add the output of Postconditions_Proc.
2574 * einfo.ads New attributes Has_Expanded_Contract and
2575 Postconditions_Proc along with occurrences in entities.
2576 Remove attributes Has_Postconditions and Postcondition_Proc
2577 along with occurrences in entities.
2578 (Has_Expanded_Contract): New routine along with pragma Inline.
2579 (Has_Postconditions): Removed along with pragma Inline.
2580 (Postcondition_Proc): Removed along with pragma Inline.
2581 (Postconditions_Proc): New routine along with pragma Inline.
2582 (Set_Has_Expanded_Contract): New routine along with pragma Inline.
2583 (Set_Has_Postconditions): Removed along with pragma Inline.
2584 (Set_Postcondition_Proc): Removed along with pragma Inline.
2585 (Set_Postconditions_Proc): New routine along with pragma Inline.
2586 * exp_ch6.adb (Add_Return): Code cleanup. Update the
2587 generation of the call to the _Postconditions routine of
2588 the procedure. (Expand_Non_Function_Return): Reformat the
2589 comment on usage. Code cleanup. Update the generation of
2590 the call to the _Postconditions routine of the procedure or
2592 (Expand_Simple_Function_Return): Update the
2593 generation of the _Postconditions routine of the function.
2594 (Expand_Subprogram_Contract): Reimplemented.
2595 * exp_ch6.ads (Expand_Subprogram_Contract): Update the parameter
2596 profile along the comment on usage.
2597 * exp_ch9.adb (Build_PPC_Wrapper): Code cleanup.
2598 (Expand_N_Task_Type_Declaration): Generate pre/postconditions
2599 wrapper when the entry [family] has a contract with
2601 * exp_prag.adb (Expand_Attributes_In_Consequence): New routine.
2602 (Expand_Contract_Cases): This routine and its subsidiaries now
2603 analyze all generated code.
2604 (Expand_Old_In_Consequence): Removed.
2605 * sem_attr.adb Add with and use clause for Sem_Prag.
2606 (Analyze_Attribute): Reimplment the analysis of attribute 'Result.
2607 (Check_Use_In_Test_Case): Use routine Test_Case_Arg to obtain
2609 * sem_ch3.adb (Analyze_Declarations): Analyze the contract of
2610 a generic subprogram.
2611 (Analyze_Object_Declaration): Do not create a contract node.
2612 (Derive_Subprogram): Do not create a contract node.
2613 * sem_ch6.adb (Analyze_Abstract_Subprogram_Declaration): Do
2614 not create a contract node.
2615 (Analyze_Completion_Contract): New routine.
2616 (Analyze_Function_Return): Alphabetize.
2617 (Analyze_Generic_Subprogram_Body): Alphabetize. Do not create a
2618 contract node. Do not copy pre/postconditions to the original
2620 (Analyze_Null_Procedure): Do not create a contract node.
2621 (Analyze_Subprogram_Body_Contract): Reimplemented.
2622 (Analyze_Subprogram_Body_Helper): Do not mark the enclosing scope
2623 as having postconditions. Do not create a contract node. Analyze
2624 the subprogram body contract of a body that acts as a compilation
2625 unit. Expand the subprogram contract after the declarations have
2627 (Analyze_Subprogram_Contract): Reimplemented.
2628 (Analyze_Subprogram_Specification): Do not create a contract node.
2629 (List_Inherited_Pre_Post_Aspects): Code cleanup.
2630 * sem_ch6.adb (Analyze_Subprogram_Body_Contract): Update the
2632 (Analyze_Subprogram_Contract): Update the
2633 parameter profile and the comment on usage.
2634 * sem_ch7.adb (Analyze_Package_Body_Helper): Do not create a
2636 (Analyze_Package_Declaration): Do not create a
2638 (Is_Subp_Or_Const_Ref): Ensure that the prefix has an entity.
2639 * sem_ch8.adb (Analyze_Subprogram_Renaming): Do not create a
2641 * sem_ch9.adb (Analyze_Entry_Declaration): Do not create a
2643 * sem_ch10.adb (Analyze_Compilation_Unit): Move local variables to
2644 their proper section and alphabetize them. Analyze the contract of
2645 a [generic] subprogram after all Pragmas_After have been analyzed.
2646 (Analyze_Subprogram_Body_Stub_Contract): Alphabetize.
2647 * sem_ch12.adb (Analyze_Generic_Package_Declaration): Do not
2648 create a contract node.
2649 (Analyze_Generic_Subprogram_Declaration):
2650 Alphabetize local variables. Do not create a contract
2651 node. Do not generate aspects out of pragmas for ASIS.
2652 (Analyze_Subprogram_Instantiation): Instantiate
2653 the contract of the subprogram. Do not create a
2654 contract node. (Instantiate_Contract): New routine.
2655 (Instantiate_Subprogram_Body): Alphabetize local variables.
2656 (Save_Global_References_In_Aspects): New routine.
2657 (Save_References): Do not save the global references found within
2658 the aspects of a generic subprogram.
2659 * sem_ch12.ads (Save_Global_References_In_Aspects): New routine.
2660 * sem_ch13.adb (Analyze_Aspect_Specifications): Do not use
2661 Original_Node for establishing linkages.
2662 (Insert_Pragma): Insertion in a subprogram body takes precedence over
2663 the case where the subprogram body is also a compilation unit.
2664 * sem_prag.adb (Analyze_Contract_Cases_In_Decl_Part): Use
2665 Get_Argument to obtain the proper expression. Install the generic
2666 formals when the related context is a generic subprogram.
2667 (Analyze_Depends_In_Decl_Part): Use Get_Argument to obtain
2668 the proper expression. Use Corresponding_Spec_Of to obtain
2669 the spec. Install the generic formal when the related context
2670 is a generic subprogram.
2671 (Analyze_Global_In_Decl_Part): Use Get_Argument to obtain the proper
2672 expression. Use Corresponding_Spec_Of to obtain the spec. Install the
2673 generic formal when the related context is a generic subprogram.
2674 (Analyze_Initial_Condition_In_Decl_Part): Use Get_Argument
2675 to obtain the proper expression. Remove the call to
2676 Check_SPARK_Aspect_For_ASIS as the analysis is now done
2678 (Analyze_Pragma): Update all occurrences
2679 to Original_Aspect_Name. Pragmas Contract_Cases, Depends,
2680 Extensions_Visible, Global, Postcondition, Precondition and
2681 Test_Case now carry generic templates when the related context
2682 is a generic subprogram. The same pragmas are no longer
2683 forcefully fully analyzed when the context is a subprogram
2684 that acts as a compilation unit. Pragmas Abstract_State,
2685 Initial_Condition, Initializes and Refined_State have been clean
2686 up. Pragmas Post, Post_Class, Postcondition, Pre, Pre_Class
2687 and Precondition now use the same routine for analysis. Pragma
2688 Refined_Post does not need to check the use of 'Result or
2689 the lack of a post-state in its expression. Reimplement the
2690 analysis of pragma Test_Case.
2691 (Analyze_Pre_Post_Condition): New routine.
2692 (Analyze_Pre_Post_Condition_In_Decl_Part):
2694 (Analyze_Refined_Depends_In_Decl_Part): Use Get_Argument to obtain the
2696 (Analyze_Refined_Global_In_Decl_Part): Use Get_Argument to obtain
2697 the proper expression.
2698 (Analyze_Test_Case_In_Decl_Part): Reimplemented.
2699 (Check_Pre_Post): Removed.
2700 (Check_Precondition_Postcondition): Removed.
2701 (Check_SPARK_Aspect_For_ASIS): Removed.
2702 (Check_Test_Case): Removed.
2703 (Collect_Subprogram_Inputs_Outputs): Use Get_Argument
2704 to obtain the proper expression. Use Corresponding_Spec_Of to
2705 find the proper spec.
2706 (Create_Generic_Template): New routine.
2707 (Duplication_Error): New routine.
2708 (Expression_Function_Error): New routine.
2709 (Find_Related_Subprogram_Or_Body): Moved to the spec
2710 of Sem_Prag. Emit precise error messages. Account for cases of
2711 rewritten expression functions, generic instantiations, handled
2712 sequence of statements and pragmas from aspects.
2713 (Get_Argument): New routine.
2714 (Make_Aspect_For_PPC_In_Gen_Sub_Decl): Removed.
2715 (Preanalyze_CTC_Args): Removed.
2716 (Process_Class_Wide_Condition): New routine.
2717 * sem_prag.ads (Analyze_Test_Case_In_Decl_Part): Update
2718 the parameter profile along with the comment on usage.
2719 (Find_Related_Subprogram_Or_Body): Moved from the body of Sem_Prag.
2720 (Make_Aspect_For_PPC_In_Gen_Sub_Decl): Removed.
2721 (Test_Case_Arg): New routine.
2722 * sem_util.adb Add with and use clauses for Sem_Ch6.
2723 (Add_Contract_Item): This routine now creates a contract
2724 node the first time an item is added. Remove the duplicate
2725 aspect/pragma checks.
2726 (Check_Result_And_Post_State): Reimplemented.
2727 (Corresponding_Spec_Of): New routine.
2728 (Get_Ensures_From_CTC_Pragma): Removed.
2729 (Get_Requires_From_CTC_Pragma): Removed.
2730 (Has_Significant_Contract): New routine.
2731 (Inherit_Subprogram_Contract): Inherit only if the source
2733 (Install_Generic_Formals): New routine.
2734 (Original_Aspect_Name): Removed.
2735 (Original_Aspect_Pragma_Name): New routine.
2736 * sem_util.ads (Check_Result_And_Post_State): Reimplemented.
2737 (Corresponding_Spec_Of): New routine.
2738 (Get_Ensures_From_CTC_Pragma): Removed.
2739 (Get_Requires_From_CTC_Pragma): Removed.
2740 (Has_Significant_Contract): New routine.
2741 (Install_Generic_Formals): New routine.
2742 (Original_Aspect_Name): Removed.
2743 (Original_Aspect_Pragma_Name): New routine.
2744 * sem_warn.adb Add with and use clauses for Sem_Prag.
2745 (Within_Postcondition): Use Test_Case_Arg to extract "Ensures".
2747 2015-03-02 Ed Schonberg <schonberg@adacore.com>
2749 * sem_ch8.adb (Available_Subtype): Optimization in
2750 Find_Selected_Component: when safe, use existing subtype of
2751 array component, possibly discriminant-dependent, rather than
2752 creating new subtype declaration for it. In this fashion different
2753 occurrences of the component have the same subtype, rather than
2754 just equivalent ones. Simplifies value tracing in GNATProve.
2756 2015-03-01 Arnaud Charlet <charlet@adacore.com>
2760 * doc/gnat_ugn/gnat_project_manager.rst,
2761 doc/gnat_ugn/platform_specific_information.rst: Remove reference to
2762 image, too troublesome with texi format.
2763 * gnat_ugn.texi: Regenerate.
2765 2015-02-24 Thomas Schwinge <thomas@codesourcery.com>
2768 * gcc-interface/utils.c (DEF_FUNCTION_TYPE_VAR_8): Remove.
2769 (DEF_FUNCTION_TYPE_VAR_12): Likewise.
2770 (DEF_FUNCTION_TYPE_VAR_7, DEF_FUNCTION_TYPE_VAR_11): New macros.
2772 2015-02-23 Thomas Schwinge <thomas@codesourcery.com>
2774 * gcc-interface/utils.c (DEF_FUNCTION_TYPE_VAR_8): Fix number of
2775 arguments parameter.
2776 (DEF_FUNCTION_TYPE_VAR_12): Likewise.
2778 2015-02-22 Arnaud Charlet <charlet@adacore.com>
2780 * doc/Makefile: postprocess texinfo files to update @dircategory
2781 and update texi files under gcc/ada.
2782 * gnat_ugn.texi, gnat_rm.texi: Regenerated.
2784 2015-02-22 Arnaud Charlet <charlet@adacore.com>
2786 * doc/gnat_ugn/project-manager-figure.png,
2787 doc/gnat_ugn/rtlibrary-structure.png: New.
2789 2015-02-22 Tom de Vries <tom@codesourcery.com>
2792 * gnat-style.texi (@subsection Loop Statements): Replace @noindent by
2793 @item, and fix warning '@itemize has text but no @item'.
2795 2015-02-20 Ed Schonberg <schonberg@adacore.com>
2797 * sem_prag.adb (Analyze_Pragma, case Obsolescent): Pragma
2798 legally applies to an abstract subprogram declaration.
2799 * freeze.adb: Minor comment addition.
2801 2015-02-20 Robert Dewar <dewar@adacore.com>
2803 * errout.ads: Document replacement of Name_uPre/Post/Type_Invariant.
2804 * erroutc.adb (Set_Msg_Str): Replace _xxx.
2805 (Pre/Post/Type_Invariant) by xxx'Class.
2806 * erroutc.ads (Set_Msg_Str): Replace _xxx.
2807 (Pre/Post/Type_Invariant) by xxx'Class.
2808 * sem_prag.adb (Fix_Error): Remove special casing of
2809 Name_uType_Invariant.
2810 (Analyze_Pre_Post_Condition_In_Decl_Part): Remove special casing of
2811 Name_uPre and Name_uPost in aspect case (done in Errout now).
2813 2015-02-20 Robert Dewar <dewar@adacore.com>
2815 * g-alveop.adb: Minor style fixes.
2817 2015-02-20 Robert Dewar <dewar@adacore.com>
2819 * freeze.adb (Warn_Overlay): Guard against blow up with address
2822 2015-02-20 Bob Duff <duff@adacore.com>
2824 * exp_attr.adb (May_Be_External_Call): Remove this. There is no need
2825 for the compiler to guess whether the call is internal or external --
2826 it is always external.
2827 (Expand_Access_To_Protected_Op): For P'Access, where P
2828 is a protected subprogram, always create a pointer to the
2829 External_Subprogram.
2831 2015-02-20 Robert Dewar <dewar@adacore.com>
2833 * a-dispat.adb, a-stcoed.ads: Minor reformatting.
2835 2015-02-20 Robert Dewar <dewar@adacore.com>
2837 * sem_ch13.adb (Build_Discrete_Static_Predicate): Allow static
2838 predicate for non-static subtype.
2839 (Build_Predicate_Functions): Do not assume subtype associated with a
2840 static predicate must be static.
2842 2015-02-20 Robert Dewar <dewar@adacore.com>
2844 * errout.adb (Set_Msg_Node): Better handling of internal names
2845 (Set_Msg_Node): Kill message when we cannot eliminate internal name.
2846 * errout.ads: Document additional case of message deletion.
2847 * namet.adb (Is_Internal_Name): Refined to consider wide
2848 strings in brackets notation and character literals not to be
2850 * sem_ch8.adb (Find_Selected_Component): Give additional error
2851 when selector name is a subprogram whose first parameter has
2852 the same type as the prefix, but that type is untagged.
2854 2015-02-20 Robert Dewar <dewar@adacore.com>
2856 * g-allein.ads, g-alveop.adb, g-alveop.ads, opt.ads: Minor reformatting
2858 2015-02-20 Tristan Gingold <gingold@adacore.com>
2860 * opt.ads (GNAT_Mode_Config): New variable.
2861 * opt.adb (Set_Opt_Config_Switches): Consider GNAT_Mode_Config
2862 to set Assertions_Enabled.
2863 * switch-c.adb (Scan_Front_End_Switches): Set GNAT_Mode_Config
2866 2015-02-20 Robert Dewar <dewar@adacore.com>
2868 * s-valllu.ads (Scan_Raw_Long_Long_Unsigned): Add an additional
2869 comment regarding the handling of unterminated fixed-point
2871 * s-valuns.ads (Scan_Raw_Unsigned): Add comments
2872 corresponding to those previously added for
2873 System.Val_LLU.Scan_Raw_Long_Long_Unsigned.
2875 2015-02-20 Olivier Hainque <hainque@adacore.com>
2877 * g-allein.ads, g-alveop.ads, g-alveop.adb: Code clean ups.
2879 2015-02-20 Robert Dewar <dewar@adacore.com>
2881 * sem_prag.adb: Minor comment clarification.
2883 2015-02-20 Olivier Hainque <hainque@adacore.com>
2885 * g-allein.ads (vec_ctf, vec_vcsfx, vec_vcfux): Remove.
2886 * g-alleve.ads, g-alleva.adb (vcfux): Likewise.
2887 * g-alveop.ads (vec_vcfsx, vec_vcfux): Just rename the ll versions.
2888 (vec_ctf): Now renamings as well.
2890 2015-02-20 Robert Dewar <dewar@adacore.com>
2892 * switch-c.adb, bindgen.adb: Minor reformatting.
2894 2015-02-20 Ed Schonberg <schonberg@adacore.com>
2896 * sem_prag.adb (Analyze_Pragma, case Type_Invariant):
2897 Invariant'class is allowed on an abstract type.
2899 2015-02-20 Ed Schonberg <schonberg@adacore.com>
2901 * sem_ch3.adb (Access_Definition): If the access definition is
2902 for a protected component and defines an access to protected
2903 subprogram, do not create an itype reference for it because a
2904 full type declaration will be built in order to generate the
2905 proper equivalent type.
2906 (Analyze_Subtype_Declaration): Add information of incomplete
2907 subtypes, for Ada 2012 extended uses of incomplete types.
2909 2015-02-20 Gary Dismukes <dismukes@adacore.com>
2911 * sem_res.adb: Minor reformatting.
2913 2015-02-20 Vincent Celier <celier@adacore.com>
2915 * switch-c.adb (Scan_Front_End_Switches): When comparing runtime
2916 path name for several switches --RTS, use the normalized path
2919 2015-02-20 Vincent Celier <celier@adacore.com>
2921 * bindgen.adb: Minor reformatting and code reorganization.
2923 2015-02-20 Jose Ruiz <ruiz@adacore.com>
2925 * a-stcoed.ads: Add spec for this package (Unimplemented_Unit).
2926 * impunit.adb (Non_Imp_File_Names_12): Mark unit a-stcoed.ads as
2927 defined by Ada 2012.
2929 2015-02-20 Arnaud Charlet <charlet@adacore.com>
2931 * sysdep.c, expect.c, s-oscons-tmplt.c, gsocket.h, adaint.c: Remove
2932 obsolete references to RTX, nucleus, VMS.
2934 2015-02-20 Ed Schonberg <schonberg@adacore.com>
2936 * sem_prag.adb (Fix_Error): For an illegal Type_Invariant'Class
2937 aspect, use name that mentions Class explicitly, rather than
2938 compiler-internal name.
2940 2015-02-20 Robert Dewar <dewar@adacore.com>
2942 * debug.adb: Add documentation for -gnatd.2 (allow statements
2944 * par-ch3.adb (P_Identifier_Declarations): Handle
2945 statement appearing where declaration expected more cleanly.
2946 (Statement_When_Declaration_Expected): Implement debug flag
2949 2015-02-20 Jose Ruiz <ruiz@adacore.com>
2951 * a-dinopr.ads: Add spec for this package (Unimplemented_Unit).
2952 * a-dispat.ads (Yield): Include procedure added in Ada 2012.
2953 * a-dispat.adb (Yield): Implement procedure added in Ada 2012.
2954 * impunit.adb (Non_Imp_File_Names_05): Mark unit a-dinopr.ads as
2955 defined by Ada 2005.
2956 * snames.ads-tmpl (Name_Non_Preemptive_FIFO_Within_Priorities):
2957 This is the correct name for the dispatching policy (FIFO was
2960 2015-02-20 Javier Miranda <miranda@adacore.com>
2962 * sem_res.adb (Resolve_Type_Conversion): If the type of the
2963 operand is the limited-view of a class-wide type then recover
2964 the class-wide type of the non-limited view.
2966 2015-02-20 Arnaud Charlet <charlet@adacore.com>
2968 * gcc-interface/Makefile.in: Remove references to nucleus.
2969 * gcc-interface/decl.c (gnat_to_gnu_entity, case E_Procedure): Set
2970 extern_flag to true for Inline_Always subprograms with
2971 Intrinsic convention.
2973 2015-02-20 Yannick Moy <moy@adacore.com>
2975 * sem_prag.ads: Minor typo in comment.
2977 2015-02-20 Pascal Obry <obry@adacore.com>
2979 * s-osprim-mingw.adb: Fix Get_Base_Time parameter mode.
2981 2015-02-20 Vincent Celier <celier@adacore.com>
2983 * makeutl.adb (Get_Directories.Add_Dir): Add a directory only
2986 2015-02-20 Robert Dewar <dewar@adacore.com>
2988 * sem_eval.ads: Minor reformatting.
2990 2015-02-20 Eric Botcazou <ebotcazou@adacore.com>
2992 * freeze.adb (Size_Known): Do not set the packed size for
2993 independent type or component.
2994 (Freeze_Array_Type): Check for Independent[_Components] with packing
2995 or explicit component size clause.
2996 * gnat1drv.adb (Post_Compilation_Validation_Checks): Do the validation
2997 of independence pragmas only for non-GCC back-ends.
2998 * sem_ch13.adb (Initialize): Likewise for the initialization.
2999 * sem_prag.adb (Record_Independence_Check): New procedure to record an
3000 independence check in the table.
3001 (Analyze_Pragma): Use it throughout instead of doing it manually.
3002 * gcc-interface/decl.c (gnat_to_gnu_field): Add support for
3003 independent type or component.
3005 2015-02-20 Thomas Quinot <quinot@adacore.com>
3007 * adaint.c (__gnat_readdir): For Solaris, use 64 bit variants of
3008 struct direct and readdir. This is required for NFS filesystems
3009 mounted from servers that use 64-bit cookies.
3011 2015-02-20 Ed Schonberg <schonberg@adacore.com>
3013 * sem_ch12.adb (Analyze_Subprogram_Instantiaion): New subprogram
3014 Build_Subprogram_Renaming, to create renaming of subprogram
3015 instance in the the declaration of the wrapper package rather
3016 than in its body, so that it is available for analysis of aspects
3017 propagated from generic to instantiation.
3018 (Check_Mismatch): An actual for a formal package that is an
3019 incomplete type matches a formal type that is incomplete.
3020 (Instantiate_Package_Body): Move code that builds subprogram
3021 renaming to Analyze_Subprogram_Instantiation.
3022 (Instantiate_Type): The generated subtype is a limited view if
3023 the actual is a limited view.
3024 (Load_Parent_Of_Generic): Retrieve instance declaration from
3025 its new position within wrapper package.
3027 2015-02-20 Arnaud Charlet <charlet@adacore.com>
3029 * s-parame-vxworks.adb, s-os_lib.ads: Update comments.
3031 2015-02-20 Robert Dewar <dewar@adacore.com>
3033 * s-osinte-vxworks.ads (To_Timespec): Add comment about the
3034 issue of negative arguments.
3036 2015-02-20 Eric Botcazou <ebotcazou@adacore.com>
3038 * gnat1drv.adb: Minor consistency fix.
3040 2015-02-20 Pascal Obry <obry@adacore.com>
3042 * s-osprim-mingw.adb (Get_Base_Time): Properly release lock in all
3045 2015-02-20 Eric Botcazou <ebotcazou@adacore.com>
3047 * inline.adb (Expand_Inlined_Call): Skip again calls to subprogram
3049 * exp_ch6.adb (Expand_Call): Use back-end inlining
3050 instead of expansion for simple subprogram renamings.
3052 2015-02-20 Robert Dewar <dewar@adacore.com>
3054 * exp_util.adb: Minor reformatting.
3056 2015-02-20 Vincent Celier <celier@adacore.com>
3058 * switch-c.adb (Scan_Front_End_Switches): Do not fail when --RTS=
3059 is specified several times with different values that indicates
3060 the same runtime directory.
3062 2015-02-20 Ed Schonberg <schonberg@adacore.com>
3064 * sem_attr.adb (Check_Not_Incomplete_Type): Clean up code to
3065 handle properly illegal uses of attributes on prefixes on an
3066 incomplete type, both when the type of the prefix is locally
3067 incomplete, and when it is a limited view of a type whose
3068 non-limited view is not available.
3069 (Analyze_Attribute): Add calls to Check_Not_Incomplete_Type for
3070 'Address and others.
3072 2015-02-20 Eric Botcazou <ebotcazou@adacore.com>
3074 * exp_ch6.adb: Fix minor typo in comment.
3076 2015-02-20 Eric Botcazou <ebotcazou@adacore.com>
3078 * sinfo.ads: Add comment.
3080 2015-02-20 Olivier Hainque <hainque@adacore.com>
3082 * opt.ads: Replace Opt.Suppress_All_Inlining by two separate
3083 flags controlling the actual FE inlining out of pragma Inline
3084 and pragma Inline_Always.
3085 * adabkend.adb (Scan_Compiler_Arguments): Set both flags to True
3086 on -fno-inline, which disables all inlining in compilers with
3087 an Ada back-end and without back-end inlining support.
3088 * back_end.adb (Scan_Back_End_Switches): Set the Inline related
3089 flag to True on -fno-inline and leave Inline_Always alone for
3091 * back_end.ads (Scan_Compiler_Arguments): Adjust spec wrt the
3092 names of the Opt flags it sets.
3093 * gnat1drv.adb (Adjust_Global_Switches): Remove test on
3094 Opt.Suppress_All_Inlining in the Back_End_Inlining computation.
3095 * sem_prag.adb (Make_Inline): Remove early return conditioned
3096 on Opt.Suppress_All_Inlining.
3097 * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Use the flags to
3098 disable the calls to Build_Body_To_Inline otherwise triggered
3099 by pragma Inline or Inline_Always. This will prevent actual
3100 front-end inlining of the subprogram on calls.
3102 2015-02-20 Eric Botcazou <ebotcazou@adacore.com>
3104 * exp_ch3.adb (Default_Initialize_Object): Call Add_Inlined_Body on the
3105 Abort_Undefer_Direct function.
3106 * exp_ch5.adb (Expand_N_Assignment_Statement): Likewise.
3107 * exp_intr.adb (Expand_Unc_Deallocation): Likewise.
3108 * exp_prag.adb (Expand_Pragma_Abort_Defer): Likewise.
3109 * exp_ch4.adb (Expand_N_Selected_Component): Adjust call to
3111 * exp_ch6.adb (Expand_Call): Adjust calls to Add_Inlined_Body.
3112 Remove call to Register_Backend_Call and move code resetting
3113 Needs_Debug_Info on inlined subprograms to...
3114 * inline.ads (Add_Inlined_Body): Add N parameter.
3115 (Register_Backend_Call): Delete.
3116 * inline.adb (Add_Inlined_Body): ...here and simplify.
3117 Register the call with Backend_Calls directly.
3118 (Register_Backend_Call): Delete.
3119 * s-stalib.ads (Abort_Undefer_Direct): Restore pragma Inline.
3121 2015-02-20 Eric Botcazou <ebotcazou@adacore.com>
3123 * s-stalib.ads: Fix typo.
3125 2015-02-20 Ed Schonberg <schonberg@adacore.com>
3127 * exp_ch3.adb (Default_Initialize_Object): If the object has a
3128 delayed freeze, the actions associated with default initialization
3129 must be part of the freeze actions, rather that being inserted
3130 directly after the object declaration.
3132 2015-02-20 Robert Dewar <dewar@adacore.com>
3134 * lib-load.adb: Minor comment update.
3136 2015-02-20 Vincent Celier <celier@adacore.com>
3138 * prj-proc.adb (Process_Case_Construction): When there are
3139 incomplete withed projects and the case variable is unknown,
3140 skip the case construction.
3142 2015-02-20 Ed Schonberg <schonberg@adacore.com>
3144 * exp_ch6.adb (Expand_Actuals): Add caller-side invariant checks
3145 when an actual is a view conversion, either because the call is
3146 to an inherited operation, or because the actual is an explicit
3147 type conversion to an ancestor type. Fixes ACATS 4.0D: C732001
3149 2015-02-20 Robert Dewar <dewar@adacore.com>
3151 * einfo.ads: Minor comment updates Fix missing pragma Inline
3152 for Set_Partial_View_Has_Unknown_Discr.
3153 * einfo.adb (Write_Entity_Flags): Add missing entry for
3154 Partial_View_Has_Unknown_Discr.
3155 * sem_ch3.adb: Minor reformatting.
3157 2015-02-20 Vincent Celier <celier@adacore.com>
3159 * opt.ads: Minor cleanup: remove mention of gprmake.
3160 * s-stalib.ads (Abort_Undefer_Direct): Do not inline.
3161 * s-tataat.adb: Do not call System.Tasking.Self but directly
3162 System.Task_Primitives.Operations.Self.
3164 2015-02-20 Arnaud Charlet <charlet@adacore.com>
3166 * gnat_rm.texi, gnat_ugn.texi: Now automatically generated from
3167 sphinx in the doc directory.
3168 * doc: New directory containing sphinx versions of gnat_rm and gnat_ugn
3170 2015-02-20 Robert Dewar <dewar@adacore.com>
3172 * sem_res.adb: Minor reformatting.
3173 * exp_ch9.adb (Build_Protected_Spec): Copy Aliased setting when
3175 * sem_ch13.adb (Analyze_Aspect_Specifications): Exclude Boolean
3176 aspects from circuitry setting delay required to false if the
3177 argument is an integer literal.
3179 2015-02-20 Ed Schonberg <schonberg@adacore.com>
3181 * einfo.ads. einfo.adb (Partial_View_Has_Unknown_Discr): New flag
3182 on type entities, to enforce AI12-0133: default initialization
3183 of types whose partial view has unknown discriminants does not
3184 get an invariant check, because clients of the unit can never
3185 declare objects of such types.
3186 * sem_ch3.adb (Find_Type_Name); Set new flag
3187 Partial_View_Has_Unknown_Discr when needed.
3188 * exp_ch3.adb (Expand_N_Object_Declaration): Use flag to suppress
3189 generation of invariant call on default-initialized object.
3191 2015-02-08 Eric Botcazou <ebotcazou@adacore.com>
3193 * gcc-interface/decl.c (gnat_to_gnu_param): Do not strip the padding
3194 if the parameter either is passed by reference or if the alignment
3197 2015-02-08 Eric Botcazou <ebotcazou@adacore.com>
3199 * gcc-interface/decl.c (is_cplusplus_method): Use Is_Primitive flag to
3200 detect primitive operations of tagged and untagged types.
3202 2015-02-08 Eric Botcazou <ebotcazou@adacore.com>
3204 * gcc-interface/decl.c (gnat_to_gnu_entity): Do not bother about alias
3205 sets in presence of derivation for subprogram types.
3207 2015-02-08 Eric Botcazou <ebotcazou@adacore.com>
3209 * gcc-interface/utils.c (begin_subprog_body): Assert that the body is
3210 present in the same context as the declaration.
3212 2015-02-07 Jakub Jelinek <jakub@redhat.com>
3215 * gcc-interface/trans.c (gigi): Recreate optimization_default_node
3216 and optimization_current_node after tweaking global_options.
3218 2015-02-05 Robert Dewar <dewar@adacore.com>
3220 * prj-proc.adb, sem_aux.adb, exp_ch9.adb, errout.adb, prj-dect.adb,
3221 prj-nmsc.adb: Minor reformatting.
3223 2015-02-05 Ed Schonberg <schonberg@adacore.com>
3225 * sem_type.adb (Covers): In ASIS_Mode the Corresponding_Record
3226 of a protected type may not be available, so to check conformance
3227 with an interface type, examine the interface list in the type
3228 declaration directly.
3229 (Write_Overloads): Improve information for indirect calls,
3232 2015-02-05 Ed Schonberg <schonberg@adacore.com>
3234 * exp_ch3.adb (Make_Tag_Assignment): Do not perform this
3235 expansion activity in ASIS mode.
3237 2015-02-05 Javier Miranda <miranda@adacore.com>
3239 * errout.adb (Error_Msg_PT): Add missing error.
3240 * sem_ch6.adb (Check_Synchronized_Overriding): Check the missing
3241 RM rule. Code cleanup.
3242 * exp_ch9.adb (Build_Wrapper_Spec): Propagate "constant" in
3243 anonymous access types. Found working on the tests. Code cleanup.
3245 2015-02-05 Vincent Celier <celier@adacore.com>
3247 * prj-dect.adb (Parse_Attribute_Declaration): Continue scanning
3248 when there are incomplete withs.
3249 * prj-nmsc.adb (Process_Naming): Do not try to get the value
3250 of an element when it is nil.
3251 (Check_Naming): Do not check a nil suffix for illegality
3252 * prj-proc.adb (Expression): Do not process an empty term.
3253 * prj-strt.adb (Attribute_Reference): If attribute cannot be
3254 found, parse a possible index to avoid cascading errors.
3256 2015-02-05 Ed Schonberg <schonberg@adacore.com>
3258 * sem_aux.adb (Is_Derived_Type): A subprogram_type generated
3259 for an access_to_subprogram declaration is not a derived type.
3261 2015-02-05 Robert Dewar <dewar@adacore.com>
3263 * errout.adb (Error_Msg_Internal): For non-serious error set
3264 Fatal_Error to Ignored.
3265 * lib-load.adb (Load_Unit): Minor comment updates.
3266 * sem_ch10.adb (Analyze_With_Clause): Propagate Fatal_Error
3267 setting from with'ed unit to with'ing unit.
3268 * sem_prag.adb (Analyze_Pragma, case Warnings): Document handling
3271 2015-02-05 Yannick Moy <moy@adacore.com>
3273 * sem_prag.adb, par-prag.adb: Minor code clean up.
3275 2015-02-05 Yannick Moy <moy@adacore.com>
3277 * par-prag.adb (Pragma_Warnings): Update for extended form
3278 of pragma Warnings. The "one" argument case may now have 2 or
3280 * sem_prag.adb (Analyze_Pragma/Pragma_Warnings): Update for
3281 extended form of pragma Warnings. Pragma with tool name is either
3282 rewritten as null or as an equivalent form without tool name,
3284 * snames.ads-tmpl (Name_Gnatprove): New name.
3286 2015-02-05 Robert Dewar <dewar@adacore.com>
3288 * sem_ch13.adb (Add_Invariants): Don't assume invariant is
3290 * sem_prag.adb (Analyze_Pragma, case Check): Don't assume
3291 condition is standard Boolean, it can be non-standard derived
3294 2015-02-05 Robert Dewar <dewar@adacore.com>
3296 * checks.adb (Enable_Range_Check): Disconnect attempted
3297 optimization for the case of range check for subscript of
3298 unconstrained array.
3300 2015-02-05 Robert Dewar <dewar@adacore.com>
3302 * par-ch13.adb (With_Present): New function
3303 (Aspect_Specifications_Present): Handle WHEN in place of WITH
3304 (Get_Aspect_Specifications): Comment update.
3305 * par.adb: Comment updates.
3307 2015-02-05 Robert Dewar <dewar@adacore.com>
3309 * errout.adb (Handle_Serious_Error): New setting of Fatal_Error.
3310 * frontend.adb (Frontend): New setting of Fatal_Error.
3311 * lib-load.adb (Create_Dummy_Package_Unit): New setting of
3313 (Load_Main_Source): New setting of Fatal_Error
3314 (Load_Unit): New setting of Fatal_Error.
3315 * lib-writ.adb (Add_Preprocessing_Dependency): New setting of
3317 (Ensure_System_Dependency): New setting of Fatal_Error.
3318 * lib.adb (Fatal_Error): New setting of Fatal_Error
3319 (Set_Fatal_Error): New setting of Fatal_Error.
3320 * lib.ads: New definition of Fatal_Error and associated routines.
3321 * par-ch10.adb (P_Compilation_Unit): New setting of Fatal_Error.
3322 * par-load.adb (Load): New setting of Fatal_Error.
3323 * rtsfind.adb (Load_RTU): New setting of Fatal_Error.
3324 * sem_ch10.adb (Analyze_Compilation_Unit): New setting of
3326 (Optional_Subunit): New setting of Fatal_Error.
3327 (Analyze_Proper_Body): New setting of Fatal_Error.
3328 (Load_Needed_Body): New setting of Fatal_Error.
3330 2015-02-05 Ed Schonberg <schonberg@adacore.com>
3332 * sem_res.adb (Resolve_Call): If the function being called has
3333 out parameters do not check for language version if the function
3334 comes from a predefined unit, as those are always compiled in
3337 2015-02-05 Ed Schonberg <schonberg@adacore.com>
3339 * sem_ch3.adb (Process_Full_View): Verify that the full view
3340 of a type extension must carry an explicit limited keyword if
3341 the partial view does (RM 7.3 (10.1)).
3343 2015-02-05 Robert Dewar <dewar@adacore.com>
3345 * g-rannum.adb, g-rannum.ads, s-rannum.adb, s-rannum.ads,
3346 sem_warn.ads: Minor reformatting.
3347 * exp_ch13.adb (Expand_N_Freeze_Entity): Add guard for aspect
3349 * sem_prag.adb (Analyze_Pragma, case Type_Invariant): Give
3350 error for abstract type.
3352 2015-02-05 Yannick Moy <moy@adacore.com>
3354 * opt.ads (Warn_On_Suspicious_Contract): Update comment
3356 * sem_attr.adb (Analyze_Attribute/Attribute_Update): Warn on
3357 suspicious uses of 'Update.
3358 * sem_warn.adb, sem_warn.ads (Warn_On_Suspicious_Update): New
3359 function issues warning on suspicious uses of 'Update.
3360 * g-rannum.adb, g-rannum.ads, s-rannum.adb, s-rannum.ads: Mark
3361 package spec and body as SPARK_Mode Off.
3363 2015-02-05 Robert Dewar <dewar@adacore.com>
3365 * sem_prag.adb (Set_Elab_Unit_Name): New name for Set_Unit_Name
3366 (Analyze_Pragma): Change Set_Unit_Name to Set_Elab_Unit_Name
3367 (Set_Elab_Unit_Name): Generate reference for Elaborate[_All]
3368 * sem_warn.adb (Warn_On_Unreferenced_Entity): Suppress warning
3369 for exported entity.
3371 2015-02-05 Hristian Kirtchev <kirtchev@adacore.com>
3373 * sem_prag.adb (Check_Pragma_Conformance): Add
3374 local variable Arg. Ensure that all errors are associated with
3375 the pragma if it appears without an argument. Add comments on
3378 2015-02-05 Robert Dewar <dewar@adacore.com>
3380 * lib-xref.adb: Minor reformatting.
3382 2015-02-05 Tristan Gingold <gingold@adacore.com>
3384 PR ada/64349da/64349
3385 * env.c: Fix thinko: handle Darwin case before default one.
3387 2015-01-30 Robert Dewar <dewar@adacore.com>
3389 * a-assert.adb: Minor reformatting.
3390 * sem_ch13.adb: Minor comment clarification.
3391 * types.ads: Minor comment update.
3392 * sem_eval.adb (Real_Or_String_Static_Predicate_Matches): Avoid blow up
3393 when we have a predicate that is nothing but an inherited dynamic
3396 2015-01-30 Jerome Guitton <guitton@adacore.com>
3398 * gcc-interface/Makefile.in (x86-vxworks): Update GCC_SPEC_FILES to
3399 include cert link spec.
3401 2015-01-30 Robert Dewar <dewar@adacore.com>
3403 * einfo.ads: Minor comment fix.
3404 * freeze.adb (Freeze_Profile): Add test for suspicious import
3406 * sem_prag.adb (Process_Import_Or_Interface): Test for suspicious
3407 use in Pure unit is now moved to Freeze (to properly catch
3408 Pure_Function exemption).
3410 2015-01-30 Bob Duff <duff@adacore.com>
3412 * sem_res.ads: Minor comment fix.
3413 * sem_type.adb: sem_type.adb (Remove_Conversions): Need to
3414 check both operands of an operator.
3416 2015-01-30 Yannick Moy <moy@adacore.com>
3418 * a-assert.ads, a-assert.adb: Mark package spec in SPARK. Set assertion
3419 policy for Pre to Ignore.
3420 (Assert): Add precondition.
3422 2015-01-30 Robert Dewar <dewar@adacore.com>
3424 * sem_prag.adb (Process_Import_Or_Interface): Warn if used in
3426 * s-valllu.ads (Scan_Raw_Long_Long_Unsigned): Clarify
3427 documentation for some special cases of invalid attempts at
3430 2015-01-30 Gary Dismukes <dismukes@adacore.com>
3432 * errout.ads: Minor reformatting.
3434 2015-01-30 Yannick Moy <moy@adacore.com>
3436 * inline.adb (Process_Formals): Use the sloc of
3437 the inlined node instead of the sloc of the actual parameter,
3438 when replacing formal parameters by the actual one.
3440 2015-01-30 Arnaud Charlet <charlet@adacore.com>
3442 * g-expect.adb (Get_Command_Output): Use infinite timeout when
3445 2015-01-30 Ed Schonberg <schonberg@adacore.com>
3447 * sem_ch12.adb (Analyze_Associations): If an in-parameter is
3448 defaulted in an instantiation, add an entry in the list of actuals
3449 to indicate the default value of the formal (as is already done
3450 for defaulted subprograms).
3452 2015-01-30 Javier Miranda <miranda@adacore.com>
3454 * errout.adb (Error_Msg_PT): Minor error phrasing update.
3456 2015-01-30 Robert Dewar <dewar@adacore.com>
3458 * sem_warn.adb (Warn_On_Known_Condition): Improve error message
3461 2015-01-30 Pierre-Marie de Rodat <derodat@adacore.com>
3463 * exp_dbug.adb (Get_Encoded_Name): When
3464 -fgnat-encodings=minimal, do not generate names for biased types.
3466 2015-01-30 Tristan Gingold <gingold@adacore.com>
3469 * env.c: Move vxworks and darwin includes out of #ifdef IN_RTS.
3471 2015-01-30 Gary Dismukes <dismukes@adacore.com>
3473 * freeze.adb: Minor reformatting.
3475 2015-01-30 Javier Miranda <miranda@adacore.com>
3477 * errout.ads (Error_Msg_PT): Replace Node_Id by Entity_Id and
3478 improve its documentation.
3479 * errout.adb (Error_Msg_PT): Improve the error message.
3480 * sem_ch6.adb (Check_Conformance): Update call to Error_Msg_PT.
3481 (Check_Synchronized_Overriding): Update call to Error_Msg_PT.
3482 * sem_ch3.adb (Check_Abstract_Overriding): Code cleanup.
3484 2015-01-30 Robert Dewar <dewar@adacore.com>
3486 * sem_warn.adb (Warn_On_Known_Condition): Do special casing of
3487 message for False case.
3489 2015-01-30 Doug Rupp <rupp@adacore.com>
3491 * s-vxwext-kernel.ads (Task_Cont): Remove imported subprogram body.
3492 * s-vxwext-kernel.adb (Task_Cont): New subpprogram body specialized for
3495 2015-01-30 Gary Dismukes <dismukes@adacore.com>
3497 * sem_attr.adb (Declared_Within_Generic_Unit):
3498 New function to test whether an entity is declared within the
3499 declarative region of a given generic unit.
3500 (Resolve_Attribute): For checking legality of subprogram'Access within
3501 a generic unit, call new Boolean function Declared_Within_Generic_Unit
3502 instead of simply comparing the results of Enclosing_Generic_Unit on
3503 the prefix and access type. Correct minor comment typos.
3505 2015-01-30 Robert Dewar <dewar@adacore.com>
3507 * freeze.adb, exp_util.ads: Update comment.
3508 * exp_util.adb, exp_ch3.adb: Minor code reorganization and reformatting.
3509 * sem_util.adb: Minor: fix typo.
3511 2015-01-30 Hristian Kirtchev <kirtchev@adacore.com>
3513 * sem_attr.adb (Analyze_Attribute): Ensure that
3514 the check concerning Refined_Post takes precedence over the
3517 2015-01-30 Gary Dismukes <dismukes@adacore.com>
3519 * sem_prag.adb: Minor typo fixes and reformatting.
3521 2015-01-30 Yannick Moy <moy@adacore.com>
3523 * sem_attr.adb: Code clean up.
3525 2015-01-30 Robert Dewar <dewar@adacore.com>
3527 * ali.adb (Scan_ALI): Set Serious_Errors flag in Unit record.
3528 * ali.ads (Unit_Record): Add new field Serious_Errors.
3529 * lib-writ.adb (Write_Unit_Information): Set SE (serious errors)
3530 attribute in U line.
3531 * lib-writ.ads: New attribute SE (serious erors) in unit line.
3533 2015-01-30 Hristian Kirtchev <kirtchev@adacore.com>
3535 * einfo.adb Update the usage of attributes Entry_Bodies_Array,
3536 Lit_Indexes, Scale_Value, Storage_Size_Variable,
3537 String_Literal_Low_Bound along associated routines and
3539 (Pending_Access_Types): New routine.
3540 (Set_Pending_Access_Types): New routine.
3541 (Write_Field15_Name): Add an entry for Pending_Access_Types.
3542 * einfo.ads Add new attribute Pending_Access_Types along
3543 with usage in nodes. Update the usage of attributes
3544 Entry_Bodies_Array, Lit_Indexes, Scale_Value,
3545 Storage_Size_Variable, String_Literal_Low_Bound.
3546 (Pending_Access_Types): New routine along with pragma Inline.
3547 (Set_Pending_Access_Types): New routine along with pragma Inline.
3548 * exp_ch3.adb (Expand_Freeze_Array_Type): Add new local variable
3549 Ins_Node. Determine the insertion node for anonynous access type
3550 that acts as a component type of an array. Update the call to
3551 Build_Finalization_Master.
3552 (Expand_Freeze_Record_Type): Update
3553 the calls to Build_Finalization_Master.
3554 (Freeze_Type): Remove
3555 local variable RACW_Seen. Factor out the code that deals with
3556 remote access-to-class-wide types. Create a finalization master
3557 when the designated type contains a private component. Fully
3558 initialize all pending access types.
3559 (Process_RACW_Types): New routine.
3560 (Process_Pending_Access_Types): New routine.
3561 * exp_ch4.adb (Expand_Allocator_Expression): Allocation no longer
3562 needs to set primitive Finalize_Address.
3563 (Expand_N_Allocator): Allocation no longer sets primitive
3565 * exp_ch6.adb (Add_Finalization_Master_Actual_To_Build_In_Place_Call):
3566 Update the call to Build_Finalization_Master.
3567 (Make_Build_In_Place_Call_In_Allocator): Allocation no longer
3568 needs to set primitive Finalize_Address.
3569 * exp_ch7.adb (Add_Pending_Access_Type): New routine.
3570 (Build_Finalization_Master): New parameter profile. Associate
3571 primitive Finalize_Address with the finalization master if the
3572 designated type has been frozen, otherwise treat the access
3573 type as pending. Simplify the insertion of the master and
3574 related initialization code.
3575 (Make_Finalize_Address_Body): Allow Finalize_Address for class-wide
3577 (Make_Set_Finalize_Address_Call): Remove forlam parameter Typ.
3578 Simplify the implementation.
3579 * exp_ch7.ads (Build_Finalization_Master): New parameter profile
3580 along with comment on usage.
3581 (Make_Set_Finalize_Address_Call): Remove formal parameter Typ. Update
3582 the comment on usage.
3583 * exp_util.adb (Build_Allocate_Deallocate_Proc): Use routine
3584 Finalize_Address to retrieve the primitive.
3585 (Finalize_Address): New routine.
3586 (Find_Finalize_Address): Removed.
3587 * exp_util.ads (Finalize_Address): New routine.
3588 * freeze.adb (Freeze_All): Remove the generation of finalization
3590 * sem_ch3.adb (Analyze_Full_Type_Declaration): Propagate any
3591 pending access types from the partial to the full view.
3593 2015-01-30 Robert Dewar <dewar@adacore.com>
3595 * sem_disp.adb: Minor reformatting.
3596 * sem_disp.ads: Documentation update.
3598 2015-01-30 Ed Schonberg <schonberg@adacore.com>
3600 * sem_disp.adb (Is_Dynamically_Tagged): when applied to an entity
3601 or a function call, return True if type is class-wide.
3602 * sem_res.adb (Resolve_Case_Expression, Resolve_If_Expression);
3603 Apply RM 4.5.7 (17/3): all or none of the dependent expression
3604 of a conditional expression must be dynamically tagged.
3606 2015-01-30 Ed Schonberg <schonberg@adacore.com>
3608 * sem_ch6.adb (Analyze_Function_Return): In an extended return
3609 statement, apply accessibility check to result object when there
3610 is no initializing expression (Ada 2012 RM 6.5 (5.4/3))
3612 2015-01-30 Robert Dewar <dewar@adacore.com>
3614 * sem_ch4.adb (Analyze_If_Expression): Allow for non-standard
3615 Boolean for case where ELSE is omitted.
3616 * sem_res.adb: Minor reformatting.
3618 2015-01-27 Bernd Edlinger <bernd.edlinger@hotmail.de>
3620 Fix build under cygwin/64.
3621 * adaint.h: Add check for __CYGWIN__.
3622 * mingw32.h: Prevent windows.h from including x86intrin.h in GCC.
3624 2015-01-19 Bernd Edlinger <bernd.edlinger@hotmail.de>
3627 * adaint.c: Handle __CYGWIN__ like __MINGW32__ here.
3628 * mingw32.h: Don't include <tchar.h> under cygwin.
3629 (_O_U8TEXT, _O_U16TEXT, _O_WTEXT): Set to _O_TEXT if not yet defined.
3631 2015-01-15 Thomas Schwinge <thomas@codesourcery.com>
3633 * gcc-interface/utils.c (DEF_FUNCTION_TYPE_VAR_8)
3634 (DEF_FUNCTION_TYPE_VAR_12): New macros.
3636 2015-01-09 Michael Collison <michael.collison@linaro.org>
3638 * gcc-interface/cuintp.c: Include hash-set.h, machmode.h,
3639 vec.h, double-int.h, input.h, alias.h, symtab.h,
3640 fold-const.h, wide-int.h, and inchash.h due to
3641 flattening of tree.h.
3642 * gcc-interface/decl.c: Ditto.
3643 * gcc-interface/misc.c: Ditto.
3644 * gcc-interface/targtyps.c: Include hash-set.h, machmode.h,
3645 vec.h, double-int.h, input.h, alias.h, symtab.h, options.h,
3646 fold-const.h, wide-int.h, and inchash.h due to
3647 flattening of tree.h.
3648 * gcc-interface/trans.c: Include hash-set.h, machmode.h,
3649 vec.h, double-int.h, input.h, alias.h, symtab.h, real.h,
3650 fold-const.h, wide-int.h, inchash.h due to
3651 flattening of tree.h.
3652 * gcc-interface/utils.c: Include hash-set.h, machmode.h,
3653 vec.h, double-int.h, input.h, alias.h, symtab.h,
3654 fold-const.h, wide-int.h, and inchash.h due to
3655 flattening of tree.h.
3656 * gcc-interface/utils2.c: Ditto.
3658 2015-01-07 Robert Dewar <dewar@adacore.com>
3660 * sem_warn.adb (Check_One_Unit): Don't give unused entities
3661 warning for a package which is used as a generic parameter.
3663 2015-01-07 Bob Duff <duff@adacore.com>
3665 * usage.adb (Usage): Correct documentation of
3668 2015-01-07 Robert Dewar <dewar@adacore.com>
3670 * s-fileio.adb: Minor reformatting.
3672 2015-01-07 Ed Schonberg <schonberg@adacore.com>
3674 * sem_ch12.adb (Instantiate_Object): If formal is an anonymous
3675 access to subprogram, replace its formals with new entities when
3676 building the object declaration, both if actual is present and
3677 when it is defaulted.
3679 2015-01-07 Ed Schonberg <schonberg@adacore.com>
3681 * sem_ch5.adb (Analyze_Assignment): If left-hand side is a view
3682 conversion and type of expression has invariant, apply invariant
3683 check on expression.
3685 2015-01-07 Ed Schonberg <schonberg@adacore.com>
3687 * sem_ch3.adb (Create_Constrained_Components): A call to
3688 Gather_Components may detect an error if an inherited discriminant
3689 that controls a variant is non-static.
3690 * sem_aggr.adb (Resolve_Record_Aggregate, Step 5): The call to
3691 Gather_Components may report an error if an inherited discriminant
3692 in a variant in non-static.
3693 * sem_util.adb (Gather_Components): If a non-static discriminant
3694 is inherited do not report error here, but let caller handle it.
3695 (Find_Actual): Small optimization.
3697 2015-01-07 Bob Duff <duff@adacore.com>
3699 * usage.adb (Usage): Document -gnatw.f switch.
3701 2015-01-07 Ed Schonberg <schonberg@adacore.com>
3703 * sem_ch12.adb: Code clean up and minor reformatting.
3705 2015-01-07 Robert Dewar <dewar@adacore.com>
3707 * exp_ch4.adb (Expand_N_Type_Conversion): Add guard for
3708 Raise_Accessibility_Error call.
3709 * s-valllu.ads (Scan_Raw_Long_Long_Unsigned): Add documentation
3710 on handling of invalid digits in based constants.
3711 * s-fatgen.ads: Minor reformatting.
3712 * sem_attr.adb (Analyze_Attribute, case Unrestricted_Access):
3713 Avoid noting bogus modification for Valid test.
3714 * snames.ads-tmpl (Name_Attr_Long_Float): New Name.
3715 * einfo.ads: Minor reformatting.
3716 * sem_warn.adb: Minor comment clarification.
3717 * sem_ch12.adb: Minor reformatting.
3719 2015-01-07 Ed Schonberg <schonberg@adacore.com>
3721 * exp_ch5.adb (Expand_Predicated_Loop): Handle properly loops
3722 over static predicates when the loop parameter specification
3723 carries a Reverse indicator.
3725 2015-01-07 Ed Schonberg <schonberg@adacore.com>
3727 * sem_ch12.adb (Instantiate_Object): If formal has a default,
3728 actual is missing and formal has an anonymous access type, copy
3729 access definition in full so that tree for instance is properly
3730 formatted for ASIS use.
3732 2015-01-07 Bob Duff <duff@adacore.com>
3734 * sem_elab.adb (Check_Internal_Call_Continue): Give a warning
3735 for P'Access, where P is a subprogram in the same package as
3736 the P'Access, and the P'Access is evaluated at elaboration
3737 time, and occurs before the body of P. For example, "X : T :=
3738 P'Access;" would allow a subsequent call to X.all to be an
3739 access-before-elaboration error; hence the warning. This warning
3740 is enabled by the -gnatw.f switch.
3741 * opt.ads (Warn_On_Elab_Access): New flag for warning switch.
3742 * warnsw.adb (Set_Dot_Warning_Switch): Set Warn_On_Elab_Access.
3743 * gnat_ugn.texi: Document the new warning.
3745 2015-01-07 Johannes Kanig <kanig@adacore.com>
3747 * lib-xref-spark_specific.adb (Collect_SPARK_Xrefs): Skip unneeded
3750 2015-01-07 Robert Dewar <dewar@adacore.com>
3752 * s-taprop-linux.adb, clean.adb: Minor reformatting.
3754 2015-01-07 Arnaud Charlet <charlet@adacore.com>
3756 * s-tassta.adb: Relax some overzealous assertions.
3758 2015-01-07 Ed Schonberg <schonberg@adacore.com>
3760 * sem_ch6.adb (Analyze_Return_Type): An call that returns a limited
3761 view of a type is legal when context is a thunk generated for
3762 operation inherited from an interface.
3763 * exp_ch6.adb (Expand_Simple_Function_Return): If context is
3764 a thunk and return type is an incomplete type do not continue
3765 expansion; thunk will be fully elaborated when generating code.
3767 2015-01-07 Doug Rupp <rupp@adacore.com>
3769 * s-osinte-mingw.ads (LARGE_INTEGR): New subtype.
3770 (QueryPerformanceFrequency): New imported procedure.
3771 * s-taprop-mingw.adb (RT_Resolution): Call above and return
3772 resolution vice a hardcoded value.
3773 * s-taprop-solaris.adb (RT_Resolution): Call clock_getres and return
3774 resolution vice a hardcoded value.
3775 * s-linux-android.ads (clockid_t): New subtype.
3776 * s-osinte-aix.ads (clock_getres): New imported subprogram.
3777 * s-osinte-android.ads (clock_getres): Likewise.
3778 * s-osinte-freebsd.ads (clock_getres): Likewise.
3779 * s-osinte-solaris-posix.ads (clock_getres): Likewise.
3780 * s-osinte-darwin.ads (clock_getres): New subprogram.
3781 * s-osinte-darwin.adb (clock_getres): New subprogram.
3782 * thread.c (__gnat_clock_get_res) [__APPLE__]: New function.
3783 * s-taprop-posix.adb (RT_Resolution): Call clock_getres to
3784 calculate resolution vice hard coded value.
3786 2015-01-07 Ed Schonberg <schonberg@adacore.com>
3788 * exp_util.adb (Make_CW_Equivalent_Type): If root type is a
3789 limited view, use non-limited view when available to create
3790 equivalent record type.
3792 2015-01-07 Vincent Celier <celier@adacore.com>
3794 * gnatcmd.adb: Remove command Sync and any data and processing
3795 related to this command. Remove project processing for gnatstack.
3796 * prj-attr.adb: Remove package Synchonize and its attributes.
3798 2015-01-07 Vincent Celier <celier@adacore.com>
3800 * clean.adb: Minor error message change.
3802 2015-01-07 Tristan Gingold <gingold@adacore.com>
3805 * env.c (__gnat_environ): Adjust for darwin9/darwin10.
3807 2015-01-07 Javier Miranda <miranda@adacore.com>
3809 * sem_ch10.adb (Analyze_With_Clause): Compiling under -gnatq
3810 protect the frontend against never ending recursion caused by
3811 circularities in the sources.
3813 2015-01-07 Robert Dewar <dewar@adacore.com>
3815 * a-reatim.adb, make.adb, exp_pakd.adb, i-cpoint.adb, sem_ch8.adb,
3816 exp_ch3.adb: Minor reformatting.
3818 2015-01-07 Doug Rupp <rupp@adacore.com>
3820 * s-linux.ads (clockid_t): New subtype.
3821 * s-osinte-linux.ads (pragma Linker Options): Add -lrt.
3822 (clockid_t): New subtype.
3823 (clock_getres): Import system call.
3824 * s-taprop-linux.adb (System.OS_Constants): With and rename.
3825 (RT_Resolution): Remove
3826 hardcoded value and call clock_getres.
3827 * s-linux-sparc.ads, s-linux-mipsel.ads, s-linux-hppa.ads,
3828 s-linux-alpha.ads, s-linux-x32.ads (clockid_t): Add new subtype.
3830 2015-01-07 Robert Dewar <dewar@adacore.com>
3832 * sem_warn.adb (Check_One_Unit): Guard against context item
3833 with no Entity field.
3835 2015-01-07 Vincent Celier <celier@adacore.com>
3837 * clean.adb (Gnatclean): Warn that 'gnatclean -P' is obsolete.
3838 * make.adb (Initialize): Warn that 'gnatmake -P' is obsolete.
3840 2015-01-07 Vincent Celier <celier@adacore.com>
3842 * prj-conf.adb (Parse_Project_And_Apply_Config): Always finalize
3843 errors/warnings in the first parsing of the project files,
3844 to display the warnings when there is no errors.
3846 2015-01-07 Tristan Gingold <gingold@adacore.com>
3848 * i-cpoint.adb (Copy_Terminated_Array): Nicely handle null target.
3850 2015-01-07 Doug Rupp <rupp@adacore.com>
3852 * s-taprop-vxworks.adb (Stop_All_Tasks): Pass return
3853 value from Int_Lock as parameter to Int_Unlock.
3854 * s-osinte-vxworks.ads (Int_Unlock): Add parameter.
3855 * s-vxwext.ads (Int_Unlock): Likewise.
3856 * s-vxwext-kernel.adb (intUnlock, Int_Unlock): Likewise.
3857 * s-vxwext-kernel.ads (Int_Unlock): Likewise.
3858 * s-vxwext-rtp.adb (Int_Unlock): Likewise.
3859 * s-vxwext-rtp.ads (Int_Unlock): Likewise.
3861 2015-01-07 Pierre-Marie de Rodat <derodat@adacore.com>
3863 * exp_pakd.adb: Add a comment in exp_pakd.adb to explain why we
3866 2015-01-07 Tristan Gingold <gingold@adacore.com>
3868 * i-cpoint.adb (Copy_Terminated_Array): Use Copy_Array to
3871 2015-01-07 Eric Botcazou <ebotcazou@adacore.com>
3873 * sem_ch3.adb (Analyze_Full_Type_Declaration): Do not
3874 automatically set No_Strict_Aliasing on access types.
3875 * fe.h (No_Strict_Aliasing_CP): Declare.
3876 * gcc-interface/trans.c (gigi): Force flag_strict_aliasing to 0 if
3877 No_Strict_Aliasing_CP is set.
3879 2015-01-07 Johannes Kanig <kanig@adacore.com>
3881 * sem_ch8.adb (Analyze_Subprogram_Renaming) do
3882 not build function wrapper in gnatprove mode when the package
3883 is externally axiomatized.
3885 2015-01-07 Jose Ruiz <ruiz@adacore.com>
3887 * a-reatim.adb (Time_Of): Reduce the number of spurious overflows in
3888 intermediate computations when the parameters have different signs.
3890 2015-01-07 Javier Miranda <miranda@adacore.com>
3892 * exp_ch3.adb (Build_Init_Procedure): For derived types,
3893 improve the code which takes care of identifying and moving to
3894 the beginning of the init-proc the call to the init-proc of the
3897 2015-01-07 Olivier Hainque <hainque@adacore.com>
3899 * gcc-interface/trans.c (gnat_to_gnu, <N_Expression_With_Action>):
3900 Elaborate the expression as part of the same stmt group as the actions.
3902 2015-01-07 Robert Dewar <dewar@adacore.com>
3904 * sem_ch3.adb: Minor error message change.
3906 2015-01-07 Ed Schonberg <schonberg@adacore.com>
3908 * sem_prag.adb (Analyze_Pragma, case Preelaborable_Initialization):
3909 Following AI05-028, the pragam applies legally to any composite type.
3911 2015-01-07 Arnaud Charlet <charlet@adacore.com>
3913 * s-osinte-vxworks.adb, s-osinte-vxworks.ads
3914 (sigwait, sigwaitinfo): Removed, not needed after all on any
3915 VxWorks configurations.
3917 2015-01-07 Robert Dewar <dewar@adacore.com>
3919 * sem_ch3.adb, freeze.adb, exp_disp.adb: Minor reformatting.
3921 2015-01-07 Javier Miranda <miranda@adacore.com>
3923 * exp_disp.adb (Expand_Interface_Conversion): Adding missing
3924 generation of accessibility check.
3926 2015-01-07 Ed Schonberg <schonberg@adacore.com>
3928 * sem_ch3.adb (Derived_Type_Declaration): In the case of an
3929 illegal completion from a class- wide type, set etype of the
3930 derived type properly to prevent cascaded errors.
3932 2015-01-07 Robert Dewar <dewar@adacore.com>
3934 * prj.ads, i-cpoint.adb, freeze.adb, ghost.adb, prj-err.adb: Minor
3937 2015-01-07 Robert Dewar <dewar@adacore.com>
3939 * restrict.adb (Check_Restriction_No_Use_Of_Attribute):
3941 (OK_No_Use_Of_Entity_Name): New function.
3942 (Set_Restriction_No_Use_Of_Entity): New procedure.
3943 * restrict.ads (Check_Restriction_No_Use_Of_Attribute):
3945 (OK_No_Use_Of_Entity_Name): New function.
3946 (Set_Restriction_No_Use_Of_Entity): New procedure.
3947 * sem_ch8.adb (Find_Direct_Name): Add check for violation of
3949 * sem_prag.adb (Process_Restrictions_Or_Restriction_Warnings):
3950 Add processing for new restriction No_Use_Of_Entity.
3952 2015-01-07 Eric Botcazou <ebotcazou@adacore.com>
3954 * freeze.adb (Freeze_Array_Type): Apply same handling to Is_Atomic
3955 component type as to Has_Atomic_Components type. Remove useless
3956 test on Is_Aliased component type.
3958 2015-01-07 Hristian Kirtchev <kirtchev@adacore.com>
3960 * alloc.ads Alphabetize several declarations. Add constants
3961 Ignored_Ghost_Units_Initial and Ignored_Ghost_Units_Increment.
3962 * atree.adb Add with and use clauses for Opt.
3963 (Allocate_Initialize_Node): Mark a node as ignored Ghost
3964 if it is created in an ignored Ghost region.
3965 (Ekind_In): New variant.
3966 (Is_Ignored_Ghost_Node): New routine.
3967 (Set_Is_Ignored_Ghost_Node): New routine.
3968 * atree.adb Aplhabetize several subprograms declarations. Flag
3969 Spare0 is now known as Is_Ignored_Ghost_Node.
3970 (Ekind_In): New variant.
3971 (Is_Ignored_Ghost_Node): New routine.
3972 (Set_Is_Ignored_Ghost_Node): New routine.
3973 * einfo.adb: Flag 279 is now known as Contains_Ignored_Ghost_Code.
3974 (Contains_Ignored_Ghost_Code): New routine.
3975 (Set_Contains_Ignored_Ghost_Code): New routine.
3976 (Set_Is_Checked_Ghost_Entity, Set_Is_Ignored_Ghost_Entity):
3977 It is now possible to set this property on an unanalyzed entity.
3978 (Write_Entity_Flags): Output the status of flag
3979 Contains_Ignored_Ghost_Code.
3980 * einfo.ads New attribute Contains_Ignored_Ghost_Code along with
3982 (Contains_Ignored_Ghost_Code): New routine
3983 along with pragma Inline.
3984 (Set_Contains_Ignored_Ghost_Code): New routine along with pragma Inline.
3985 * exp_ch3.adb Add with and use clauses for Ghost.
3986 (Freeze_Type): Capture/restore the value of Ghost_Mode on entry/exit.
3987 Set the Ghost_Mode in effect.
3988 (Restore_Globals): New routine.
3989 * exp_ch7.adb (Process_Declarations): Do not process a context
3990 that invoves an ignored Ghost entity.
3991 * exp_dbug.adb (Qualify_All_Entity_Names): Skip an ignored Ghost
3992 construct that has been rewritten as a null statement.
3993 * exp_disp.adb Add with and use clauses for Ghost.
3994 (Make_DT): Capture/restore the value of Ghost_Mode on entry/exit. Set
3995 the Ghost_Mode in effect.
3996 (Restore_Globals): New routine.
3997 * exp_util.adb (Requires_Cleanup_Actions): An ignored Ghost entity
3998 does not require any clean up. Add two missing cases that deal
3999 with block statements.
4000 * freeze.adb Add with and use clauses for Ghost.
4001 (Freeze_Entity): Capture/restore the value of Ghost_Mode on entry/exit.
4002 Set the Ghost_Mode in effect.
4003 (Restore_Globals): New routine.
4004 * frontend.adb Add with and use clauses for Ghost. Remove any
4005 ignored Ghost code from all units that qualify.
4006 * ghost.adb New unit.
4007 * ghost.ads New unit.
4008 * gnat1drv.adb Add with clause for Ghost. Initialize and lock
4009 the table in package Ghost.
4010 * lib.ads: Alphabetize several subprogram declarations.
4011 * lib-xref.adb (Output_References): Do not generate reference
4012 information for ignored Ghost entities.
4013 * opt.ads Add new type Ghost_Mode_Type and new global variable
4015 * rtsfind.adb (Load_RTU): Provide a clean environment when
4016 loading a runtime unit.
4017 * sem.adb (Analyze): Capture/restore the value of Ghost_Mode on
4018 entry/exit as the node may set a different mode.
4020 Capture/restore the value of Ghost_Mode on entry/exit as the
4021 unit may be withed from a unit with a different Ghost mode.
4022 * sem_ch3.adb Add with and use clauses for Ghost.
4023 (Analyze_Full_Type_Declaration, Analyze_Incomplete_Type_Decl,
4024 Analyze_Number_Declaration, Analyze_Private_Extension_Declaration,
4025 Analyze_Subtype_Declaration): Set the Ghost_Mode in effect. Mark
4026 the entity as Ghost when there is a Ghost_Mode in effect.
4027 (Array_Type_Declaration): The implicit base type inherits the
4028 "ghostness" from the array type.
4029 (Derive_Subprogram): The
4030 alias inherits the "ghostness" from the parent subprogram.
4031 (Make_Implicit_Base): The implicit base type inherits the
4032 "ghostness" from the parent type.
4033 * sem_ch5.adb Add with and use clauses for Ghost.
4034 (Analyze_Assignment): Set the Ghost_Mode in effect.
4035 * sem_ch6.adb Add with and use clauses for Ghost.
4036 (Analyze_Abstract_Subprogram_Declaration, Analyze_Procedure_Call,
4037 Analyze_Subprogram_Body_Helper, Analyze_Subprogram_Declaration):
4038 Set the Ghost_Mode in effect. Mark the entity as Ghost when
4039 there is a Ghost_Mode in effect.
4040 * sem_ch7.adb Add with and use clauses for Ghost.
4041 (Analyze_Package_Body_Helper, Analyze_Package_Declaration,
4042 Analyze_Private_Type_Declaration): Set the Ghost_Mode in
4043 effect. Mark the entity as Ghost when there is a Ghost_Mode
4045 * sem_ch8.adb Add with and use clauses for Ghost.
4046 (Analyze_Exception_Renaming, Analyze_Generic_Renaming,
4047 Analyze_Object_Renaming, Analyze_Package_Renaming,
4048 Analyze_Subprogram_Renaming): Set the Ghost_Mode in effect. Mark
4049 the entity as Ghost when there is a Ghost_Mode in effect.
4050 (Find_Type): Check the Ghost context of a type.
4051 * sem_ch11.adb Add with and use clauses for Ghost.
4052 (Analyze_Exception_Declaration): Set the Ghost_Mode in
4053 effect. Mark the entity as Ghost when there is a Ghost_Mode
4055 * sem_ch12.adb Add with and use clauses for Ghost.
4056 (Analyze_Generic_Package_Declaration,
4057 Analyze_Generic_Subprogram_Declaration): Set the Ghost_Mode in effect.
4058 Mark the entity as Ghost when there is a Ghost_Mode in effect.
4059 * sem_prag.adb Add with and use clauses for Ghost.
4060 (Analyze_Pragma): Ghost-related checks are triggered when there
4061 is a Ghost mode in effect.
4062 (Create_Abstract_State): Mark the
4063 entity as Ghost when there is a Ghost_Mode in effect.
4064 * sem_res.adb Add with and use clauses for Ghost.
4065 (Check_Ghost_Context): Removed.
4066 * sem_util.adb (Check_Ghost_Completion): Removed.
4067 (Check_Ghost_Derivation): Removed.
4068 (Incomplete_Or_Partial_View):
4069 Add a guard in case the entity has not been analyzed yet
4070 and does carry a scope.
4071 (Is_Declaration): New routine.
4072 (Is_Ghost_Entity): Removed.
4073 (Is_Ghost_Statement_Or_Pragma):
4075 (Is_Subject_To_Ghost): Removed.
4076 (Set_Is_Ghost_Entity):
4078 (Within_Ghost_Scope): Removed.
4079 * sem_util.adb (Check_Ghost_Completion): Removed.
4080 (Check_Ghost_Derivation): Removed.
4081 (Is_Declaration): New routine.
4082 (Is_Ghost_Entity): Removed.
4083 (Is_Ghost_Statement_Or_Pragma): Removed.
4084 (Is_Subject_To_Ghost): Removed.
4085 (Set_Is_Ghost_Entity): Removed.
4086 (Within_Ghost_Scope): Removed.
4087 * sinfo.ads Add a section on Ghost mode.
4088 * treepr.adb (Print_Header_Flag): New routine.
4089 (Print_Node_Header): Factor out code. Output flag
4090 Is_Ignored_Ghost_Node.
4091 * gcc-interface/Make-lang.in: Add dependency for unit Ghost.
4093 2015-01-06 Eric Botcazou <ebotcazou@adacore.com>
4095 * freeze.adb (Freeze_Array_Type) <Complain_CS>: Remove always
4096 true test and unreachable 'else' arm.
4098 2015-01-06 Vincent Celier <celier@adacore.com>
4100 * prj-conf.adb (Check_Target): Improve error message when
4101 there are mismatched targets between the on in the configuration
4102 project file and the specified one, either in the main project
4103 file or in the --target= switch.
4105 2015-01-06 Pascal Obry <obry@adacore.com>
4107 * prj-attr.adb, projects.texi, snames.ads-tmpl: Add Mode and
4108 Install_Name attribute definitions.
4110 2015-01-06 Ed Schonberg <schonberg@adacore.com>
4112 * freeze.adb (Wrap_Imported_Subprogram): Indicate that the
4113 generated Import pragma for the internal imported procedure does
4114 not come from an aspect, so that Is_Imported can be properly
4117 2015-01-06 Gary Dismukes <dismukes@adacore.com>
4119 * sem_ch12.adb (Might_Inline_Subp): Record whether
4120 any subprograms in the generic package are marked with
4121 pragma Inline_Always (setting flag Has_Inline_Always).
4122 (Analyze_Package_Instantiation): Add test of Has_Inline_Always
4123 alongside existing test of Front_End_Inlining as alternative
4124 conditions for setting Inline_Now. Also add test of
4125 Has_Inline_Always along with Front_End_Inlining test as an
4126 alternative condition for setting Needs_Body to False.
4128 2015-01-06 Tristan Gingold <gingold@adacore.com>
4130 * i-cpoint.adb (Copy_Array): Handle overlap.
4132 2015-01-06 Pascal Obry <obry@adacore.com>
4134 * bindgen.adb: Minor style fix.
4136 2015-01-06 Robert Dewar <dewar@adacore.com>
4138 * sem_util.ads, sem_util.adb: Minor reformatting.
4140 2015-01-06 Vincent Celier <celier@adacore.com>
4142 * prj-conf.adb (Parse_Project_And_Apply_Config): Reset incomplete
4143 with flags before parsing the projects.
4144 * prj-err.adb (Error_Msg): Do nothing if there are incomplete withs.
4145 * prj-part.adb (Post_Parse_Context_Clause): Set Incomplete_Withs
4146 to True in the flags, when Ignore_Missing_With is True and an
4147 imported project cannot be found.
4148 * prj-proc.adb (Expression): When there are incomplete withs and
4149 a variable or attribute is not found, set the variable/attribute
4151 * prj.ads (Processing_Flags): New flag Incomplete_Withs,
4154 2015-01-06 Vasiliy Fofanov <fofanov@adacore.com>
4156 * prj-proc.adb, prj-part.adb, prj.adb, prj.ads, prj-conf.adb,
4157 prj-err.adb: Add new switch --no-command-line.
4159 2015-01-06 Ed Schonberg <schonberg@adacore.com>
4161 * sem_ch12.adb: Sloc of wrapper is that of instantiation.
4163 2015-01-06 Robert Dewar <dewar@adacore.com>
4165 * sem_ch11.adb: Minor reformatting.
4167 2015-01-06 Ed Schonberg <schonberg@adacore.com>
4169 * exp_aggr.adb (Get_Assoc_Expr): New routine internal to
4170 Build_Array_Aggr_Code, used to initialized components covered
4171 by a box association. If the component type is scalar and has
4172 a default aspect, use it to initialize such components.
4174 2015-01-06 Pascal Obry <obry@adacore.com>
4176 * rtinit.c (__gnat_runtime_initialize): Add a parameter to
4177 control the setup of the exception handler.
4178 * initialize.c: Remove unused declaration.
4179 * bindgen.adb: Always call __gnat_runtime_initialize and pass
4180 whether the exeception handler must be set or not.
4182 2015-01-06 Thomas Quinot <quinot@adacore.com>
4184 * freeze.adb (Set_SSO_From_Defaults): When setting scalar storage
4185 order to native from default, make sure to also adjust bit order.
4186 * exp_aggr.adb: Minor reformatting.
4188 2015-01-06 Robert Dewar <dewar@adacore.com>
4190 * s-valllu.adb, s-valllu.ads, s-valuti.ads, s-valuns.adb, s-valuns.ads,
4191 s-valrea.adb, s-valrea.ads: Add some additional guards for
4192 Str'Last = Positive'Last.
4194 2015-01-06 Ed Schonberg <schonberg@adacore.com>
4196 * sem_ch12.adb, sem_ch8.adb: Ongoing work for wrappers for actual
4199 2015-01-06 Javier Miranda <miranda@adacore.com>
4201 * exp_disp.adb (Expand_Interface_Conversion): Reapply patch.
4203 2015-01-06 Thomas Quinot <quinot@adacore.com>
4205 * sem_util.ads: Minor reformatting.
4206 * sem_cat.adb (In_RCI_Visible_Declarations): Change back to...
4207 (In_RCI_Declaration) Return to old name, as proper checking of
4208 entity being in the visible part depends on entity kind and must
4209 be done by the caller.
4211 2015-01-06 Ed Schonberg <schonberg@adacore.com>
4213 * sem_ch12.adb, sem_ch12.ads, sem_ch8.adb: Ongoing work for wrappers
4214 for operators in SPARK.
4216 2015-01-06 Ed Schonberg <schonberg@adacore.com>
4218 * sem_aggr.adb (Get_Value): In ASIS mode, preanalyze the
4219 expression in an others association before making copies for
4220 separate resolution and accessibility checks. This ensures that
4221 the type of the expression is available to ASIS in all cases,
4222 in particular if the expression is itself an aggregate.
4224 2015-01-06 Eric Botcazou <ebotcazou@adacore.com>
4226 * einfo.ads (Has_Independent_Components): Document extended
4228 * einfo.adb (Has_Independent_Components): Remove obsolete assertion.
4229 (Set_Has_Independent_Components): Adjust assertion.
4230 * sem_prag.adb (Analyze_Pragma): Also set Has_Independent_Components
4231 for pragma Atomic_Components. Set Has_Independent_Components
4232 on the object instead of the type for an object declaration with
4233 pragma Independent_Components.
4235 2015-01-06 Olivier Hainque <hainque@adacore.com>
4237 * set_targ.adb (Read_Target_Dependent_Values): Set
4238 Long_Double_Index when "long double" is read.
4239 (elaboration code): Register_Back_End_Types only when not reading from
4240 config files. Doing otherwise is pointless and error prone.
4242 2015-01-06 Robert Dewar <dewar@adacore.com>
4244 * s-valrea.adb (Value_Real): Check for Str'Last = Positive'Last
4246 2015-01-06 Robert Dewar <dewar@adacore.com>
4248 * a-wtgeau.adb, a-ztgeau.adb, a-tigeau.adb (String_Skip): Raise PE if
4249 Str'Last = Positive'Last.
4251 2015-01-06 Ed Schonberg <schonberg@adacore.com>
4253 * sem_ch6.adb (Matches_Limited_View): Handle properly the case
4254 where the non-limited type is a generic actual and appears as
4255 a subtype of the non-limited view of the other.
4256 * freeze.adb (Build_Renamed_Body): If the return type of the
4257 declaration that is being completed is a limited view and the
4258 non-limited view is available, use it in the specification of
4261 2015-01-06 Ed Schonberg <schonberg@adacore.com>
4263 * sem_ch3.adb (Find_Type_Name): If there is a previous tagged
4264 incomplete view, the type of the classwide type common to both
4265 views is the type being declared.
4267 2015-01-06 Eric Botcazou <ebotcazou@adacore.com>
4269 * einfo.ads (Is_Independent): Further document extended usage.
4271 2015-01-06 Eric Botcazou <ebotcazou@adacore.com>
4273 * einfo.ads (Is_Independent): Document extended usage.
4274 * einfo.adb (Is_Independent): Remove obsolete assertion.
4275 (Set_Is_Independent): Likewise.
4276 * sem_prag.adb (Process_Atomic_Shared_Volatile): Rename into...
4277 (Process_Atomic_Independent_Shared_Volatile): ...this.
4278 Deal with pragma Independent here.
4279 (Analyze_Pragma): Adjust
4280 to above renaming and also invoke it for pragma Independent.
4281 Adjust comment for Independent_Components.
4283 2015-01-06 Robert Dewar <dewar@adacore.com>
4285 * snames.ads-tmpl: Remove entries for attribute Enum_Image.
4286 * exp_attr.adb: Remove reference to Attribute_Enum_Image.
4288 2015-01-06 Robert Dewar <dewar@adacore.com>
4290 * s-vallli.adb (Value_Long_Long_Integer): Handle case of Str'Last
4292 * s-valllu.adb (Value_Long_Long_Unsigned): Handle case of
4293 Str'Last = Positive'Last.
4295 2015-01-06 Robert Dewar <dewar@adacore.com>
4297 * sem_prag.adb (Process_Inline): Remove redundant construct
4298 warning (-gnatw.r) for an ineffective pragma Inline.
4300 2015-01-06 Robert Dewar <dewar@adacore.com>
4302 * s-valint.adb: Fix typo in last checkin.
4303 * s-valuns.adb (Value_Unsigned): More efficient fix for
4305 * sem_attr.adb (Analyze_Attribute): Minor reformatting
4306 (Eval_Attribute): Static ervaluation of 'Img for enumeration types.
4308 2015-01-06 Robert Dewar <dewar@adacore.com>
4310 * s-valint.adb, s-valuns.adb (Value_Integer): Deal with case where
4311 Str'Last = Positive'Last
4313 2015-01-06 Thomas Quinot <quinot@adacore.com>
4315 * xoscons.adb: Display exception information and return non-zero
4316 exit status in top level exception handler.
4318 2015-01-06 Ed Schonberg <schonberg@adacore.com>
4320 * sem_ch8.adb: Code clean up.
4322 2015-01-06 Tristan Gingold <gingold@adacore.com>
4324 * targparm.ads: Remove obsolete comment.
4326 2015-01-06 Olivier Hainque <hainque@adacore.com>
4328 * gcc-interface/decl.c (gnat_to_gnu_entity, case E_Variable): When
4329 constructing a ref to variable, update inner_const_flag from the
4330 variable TREE_READONLY attribute.
4331 * gcc-interface/targtyps.c (WIDEST_HARDWARE_FP_SIZE): Remove default
4333 (get_target_float_size): Remove.
4334 (get_target_double_size): Remove.
4335 (get_target_long_double_size): Remove.
4337 2015-01-06 Pascal Obry <obry@adacore.com>
4339 * adaint.c (ProcListEvt): Set to NULL.
4340 * rtinit.c: New file.
4341 (__gnat_rt_init_count): New reference counter set to 0.
4342 (__gnat_runtime_initialize): Move code here from __gnat_initialize when
4343 this code is actually needed for the runtime initialization. This
4344 routine returns immediately if the initialization has already been done.
4345 * final.c: Revert previous change.
4346 * rtfinal.c: New file.
4347 (__gnat_runtime_finalize)[Win32]: Add finalization of the critical
4348 section and event. The default version of this routine is empty (except
4349 for the reference counting code). This routine returns immediately if
4350 some others libraries are referencing the runtime.
4351 * bindgen.adb (Gen_Adainit): Generate call to Runtime_Initialize
4352 remove circuitry to initialize the signal handler as this is
4353 now done by the runtime initialization routine.
4354 (Gen_Adafinal): Generate call to Runtime_Finalize.
4355 * gnat_ugn.texi: Update documentation about concurrency and
4356 initialization/finalization of the run-time.
4357 * gcc-interface/Makefile.in, gcc-interface/Make-lang.in: Add
4358 references to rtfinal.o and rtinit.o
4360 2015-01-06 Robert Dewar <dewar@adacore.com>
4362 * exp_attr.adb (Expand_N_Attribute_Reference): Add dummy entry
4364 * sem_attr.adb: Implement Enum_Image attribute.
4365 * snames.ads-tmpl: Add entries for Enum_Image attribute.
4367 2015-01-06 Robert Dewar <dewar@adacore.com>
4369 * namet.ads: Document use of Boolean2 for No_Use_Of_Entity.
4370 * restrict.ads (No_Use_Of_Entity): New table.
4371 * sem_prag.adb (Process_Restrictions_Or_Restriction_Warnings):
4372 Ignore No_Use_Of_Entity (will be processed in parser).
4373 * snames.ads-tmpl: Add entry for Name_No_Use_Of_Entity.
4375 2015-01-06 Vincent Celier <celier@adacore.com>
4377 * prj-tree.adb (Imported_Or_Extended_Project_Of): Do not try
4378 to check for an extended project, if a project does not have
4379 yet a project declaration.
4381 2015-01-06 Pierre-Marie Derodat <derodat@adacore.com>
4383 * scos.ads: Update documentation about the SCO table build
4384 process and about table records format.
4385 * par_sco.ads (SCO_Record): Rename to SCO_Record_Raw.
4386 (SCO_Record_Filtered): New procedure.
4387 (Set_SCO_Logical_Operator): New procedure.
4388 (dsco): Update documentation.
4389 * par_sco.adb: Update library-level comments.
4390 (SCO_Generation_State_Type): New type.
4391 (SCO_Generation_State): New variable.
4392 (SCO_Raw_Table): New package instanciation.
4393 (Condition_Pragma_Hash_Table): Rename to SCO_Raw_Hash_Table.
4395 (Tristate): New type.
4396 (Is_Logical_Operator): Return Tristate and update documentation.
4397 (Has_Decision): Update call to Is_Logical_Operator and complete
4399 (Set_Table_Entry): Rename to Set_Raw_Table_Entry, update
4400 comment, add an assertion for state checking and change
4401 references to SCO_Table into SCO_Raw_Table.
4402 (dsco): Refactor to dump the raw and the filtered tables.
4403 (Process_Decisions.Output_Decision_Operand): Handle putative
4404 short-circuit operators.
4405 (Process_Decisions.Output_Element): Update references
4406 to Set_Table_Entry and to Condition_Pragma_Hash_Table.
4407 (Process_Decisions.Process_Decision_Operand): Update call
4408 to Is_Logical_Operator.
4409 (Process_Decisions.Process_Node): Handle putative short-circuit
4410 operators and change references to
4411 SCO_Table into SCO_Raw_Table.
4412 (SCO_Output): Add an assertion
4413 for state checking and remove code that used to stamp out SCO entries.
4414 (SCO_Pragma_Disabled): Change reference to SCO_Table
4416 (SCO_Record): Rename to SCO_Record_Raw,
4417 add an assertion for state checking and change references
4418 to SCO_Table into SCO_Raw_Table.
4419 (Set_SCO_Condition): Add an assertion for state checking, update
4420 references to Condition_Pragma_Hash_Table and change references to
4421 SCO_Table into SCO_Raw_Table.
4422 (Set_SCO_Pragma_Enabled): Add an assertion for state checking and
4423 change references to SCO_Table into SCO_Raw_Table.
4424 (Set_SCO_Logical_Operator): New procedure.
4425 (Traverse_Declarations_Or_Statements.Set_Statement_Entry): Update
4426 references to Set_Table_Entry and to Condition_Pragma_Hash_Table.
4427 (SCO_Record_Fildered): New procedure.
4428 * gnat1drv.adb (Gnat1drv): Invoke the SCO filtering pass.
4429 * lib-writ.adb (Write_ALI): Invoke the SCO filtering pass and
4431 * par-load.adb (Load): Update reference to SCO_Record.
4432 * par.adb (Par): Update reference to SCO_Record.
4433 * put_scos.adb (Put_SCOs): Add an assertion to check that no
4434 putative SCO condition reaches this end.
4435 * sem_ch10.adb (Analyze_Proper_Body): Update reference to SCO_Record.
4436 * sem_res.adb (Resolve_Logical_Op): Validate putative SCOs
4437 when corresponding to an "and"/"or" operator affected by the
4438 Short_Circuit_And_Or pragma.
4440 2015-01-06 Robert Dewar <dewar@adacore.com>
4442 * sem_ch8.adb (Analyze_Use_Package): Give more specific error
4443 msg for attempted USE of generic subprogram or subprogram.
4445 2015-01-06 Robert Dewar <dewar@adacore.com>
4447 * s-valllu.adb, a-tiinau.adb, a-timoau.adb, a-ztinau.adb, a-ztmoau.adb,
4448 s-valuns.adb, s-valrea.adb, a-wtflau.adb, a-tiflau.adb, a-ztflau.adb,
4449 a-wtinau.adb, a-wtmoau.adb: Document recognition of : in place of #.
4451 2015-01-06 Ed Schonberg <schonberg@adacore.com>
4453 * sem_ch13.adb (Analyze_Aspect_Specifications): For aspects
4454 that specify stream subprograms, if the prefix is a class-wide
4455 type then the generated attribute definition clause must apply
4456 to the same class-wide type.
4457 (Default_Iterator): An iterator defined by an aspect of some
4458 container type T must have a first parameter of type T, T'class,
4459 or an access to such (from code reading RM 5.5.1 (2/3)).
4461 2015-01-06 Arnaud Charlet <charlet@adacore.com>
4463 * gnat1drv.adb: Minor: complete previous change.
4465 2015-01-06 Olivier Hainque <hainque@adacore.com>
4467 * set_targ.ads (C_Type_For): New function. Return the name of
4468 a C type supported by the back-end and suitable as a basis to
4469 construct the standard Ada floating point type identified by
4470 the T parameter. This is used as a common ground to feed both
4471 ttypes values and the GNAT tree nodes for the standard floating
4473 * set_targ.adb (Long_Double_Index): The index at which "long
4474 double" gets registered in the FPT_Mode_Table. This is useful to
4475 know whether we have a "long double" available at all and get at
4476 it's characteristics without having to search the FPT_Mode_Table
4477 when we need to decide which C type should be used as the
4478 basis for Long_Long_Float in Ada.
4479 (Register_Float_Type): Fill Long_Double_Index.
4480 (FPT_Mode_Index_For): New function. Return the index in
4481 FPT_Mode_Table that designates the entry corresponding to the
4482 provided C type name.
4483 (FPT_Mode_Index_For): New function. Return the index in
4484 FPT_Mode_Table that designates the entry for a back-end type
4485 suitable as a basis to construct the standard Ada floating point
4486 type identified by the input T parameter.
4487 (elaboration code): Register_Back_End_Types unconditionally,
4488 so C_Type_For can operate regardless of -gnateT. Do it
4489 early so we can query it for the floating point sizes, via
4490 FPT_Mode_Index_For. Initialize Float_Size, Double_Size and
4491 Long_Double_Size from the FPT_Mode_Table, as cstand will do.
4492 * cstand.adb (Create_Float_Types): Use C_Type_For to determine
4493 which C type should be used as the basis for the construction
4494 of the Standard Ada floating point types.
4495 * get_targ.ads (Get_Float_Size, Get_Double_Size,
4496 Get_Long_Double_Size): Remove.
4497 * get_targ.adb: Likewise.
4499 2015-01-06 Thomas Quinot <quinot@adacore.com>
4501 * sem_cat.adb (In_RCI_Declaration): Remove unnecessary
4502 parameter and rename to...
4503 (In_RCI_Visible_Declarations): Fix handling of private part of nested
4505 (Validate_RCI_Subprogram_Declaration): Reject illegal function
4506 returning anonymous access in RCI unit.
4508 2015-01-06 Ed Schonberg <schonberg@adacore.com>
4510 * sem_ch6.adb (New_Overloaded_Entity): In GNATprove mode, a
4511 function wrapper may be a homonym of another local declaration.
4512 * sem_ch8.adb (Analyze_Subprogram_Renaming): In GNATprove mode,
4513 build function and operator wrappers after the actual subprogram
4514 has been resolved, and replace the standard renaming declaration
4515 with the declaration of wrapper.
4516 * sem_ch12.ads (Build_Function_Wrapper, Build_Operator_Wraooer):
4517 make public for use elsewhere.
4518 * sem_ch12.adb (Build_Function_Wrapper, Build_Operator_Wraooer):
4519 rewrite, now that actual is fully resolved when wrapper is
4522 2015-01-06 Javier Miranda <miranda@adacore.com>
4524 * exp_disp.adb: Revert previous change.
4526 2015-01-06 Robert Dewar <dewar@adacore.com>
4528 * exp_util.adb: Change name Name_Table_Boolean to
4529 Name_Table_Boolean1.
4530 * namet.adb: Change name Name_Table_Boolean to Name_Table_Boolean1
4531 Introduce Name_Table_Boolean2/3.
4532 * namet.ads: Change name Name_Table_Boolean to Name_Table_Boolean1
4533 Introduce Name_Table_Boolean2/3.
4534 * par-ch13.adb: Change name Name_Table_Boolean to
4535 Name_Table_Boolean1.
4537 2015-01-06 Bob Duff <duff@adacore.com>
4539 * gnat_rm.texi: Improve documentation regarding No_Task_Termination.
4541 2015-01-06 Ed Schonberg <schonberg@adacore.com>
4543 * sem_aggr.adb (Resolve_Record_Aggregte, Get_Value): For an
4544 others choice that covers multiple components, analyze each
4545 copy with the type of the component even in compile-only mode,
4546 to detect potential accessibility errors.
4548 2015-01-06 Hristian Kirtchev <kirtchev@adacore.com>
4550 * sem_res.adb (Is_Assignment_Or_Object_Expression): New routine.
4551 (Resolve_Actuals): An effectively volatile out
4552 parameter cannot act as an in or in out actual in a call.
4553 (Resolve_Entity_Name): An effectively volatile out parameter
4556 2015-01-06 Ed Schonberg <schonberg@adacore.com>
4558 * sem_ch6.adb (Analyze_Subprogram_Body_Helper): If the body is
4559 the expansion of an expression function it may be pre-analyzed
4560 if a 'access attribute is applied to the function, in which case
4561 last_entity may have been assigned already.
4563 2015-01-06 Ed Schonberg <schonberg@adacore.com>
4565 * sem_ch4.adb (Analyze_One_Call): If formal has an incomplete
4566 type and actual has the corresponding full view, there is no
4567 error, but a case of use of incomplete type in a predicate or
4568 invariant expression.
4570 2015-01-06 Vincent Celier <celier@adacore.com>
4572 * makeutl.adb (Insert_No_Roots): Make sure that the same source
4573 in two different project tree is checked in both trees, if they
4574 are sources of two different projects, extended or not.
4576 2015-01-06 Arnaud Charlet <charlet@adacore.com>
4578 * gnat1drv.adb: Minor code clean up.
4579 (Adjust_Global_Switches): Ignore gnatprove_mode in codepeer_mode.
4581 2015-01-06 Bob Duff <duff@adacore.com>
4583 * osint.adb (Read_Source_File): Don't print out
4584 file name unless T = Source.
4586 2015-01-06 Ed Schonberg <schonberg@adacore.com>
4588 * sem_util.adb (Is_Variable, Is_OK_Variable_For_Out_Formal):
4589 recognize improper uses of constant_reference types as actuals
4590 for in-out parameters.
4591 (Check_Function_Call): Do not collect identifiers if function
4592 name is missing because of previous error.
4594 2015-01-06 Robert Dewar <dewar@adacore.com>
4596 * ali-util.adb, sem_prag.adb, rtsfind.adb, sem_util.adb, sem_res.adb,
4597 ali.adb, binde.adb, namet.adb, namet.ads, gnatls.adb, bcheck.adb:
4598 Minor change of name Name_Table_Info => Name_Table_Int.
4600 2015-01-06 Robert Dewar <dewar@adacore.com>
4602 * exp_strm.adb (Build_Elementary_Input_Call): Clarify comments
4603 in previous checkin.
4604 * freeze.adb (Freeze_Fixed_Point_Type): Add warning for shaving
4606 * sem_prag.adb, sem_ch10.adb, sem_ch6.adb: Minor reformatting.
4608 2015-01-06 Vincent Celier <celier@adacore.com>
4610 * a-strsup.adb (Times (Natural;String;Positive)): Raise
4611 Length_Error, not Index_Error, when the result is too long.
4613 2015-01-06 Thomas Quinot <quinot@adacore.com>
4615 * a-direct.adb (Create_Path): Minor error handling and
4616 performance improvement.
4618 2015-01-06 Robert Dewar <dewar@adacore.com>
4620 * checks.ads, sem_ch12.adb: Minor reformatting.
4621 * exp_ch4.adb (Expand_N_Op_Divide): Generate explicit divide by
4622 zero check for fixed-point case if Backend_Divide_Checks_On_Target
4625 2015-01-06 Robert Dewar <dewar@adacore.com>
4627 * sem_prag.adb (Analyze_Pragma, case No_Elaboration_Code_All):
4628 Do not set restriction No_Elaboration_Code unless the pragma
4629 appears in the main unit).
4631 2015-01-06 Ed Schonberg <schonberg@adacore.com>
4633 * sem_ch10.adb (Is_Regular_With_Clause): Add guard to verify
4634 that with clause has already been analyzed before checking kind
4637 2015-01-06 Robert Dewar <dewar@adacore.com>
4639 * exp_strm.adb (Build_Elementary_Input_Call): Return base type
4640 (as required by RM).
4642 2015-01-06 Arnaud Charlet <charlet@adacore.com>
4644 * a-reatim.adb ("/"): Add explicit pragma Unsuppress (Division_Check).
4646 2015-01-06 Robert Dewar <dewar@adacore.com>
4648 * sem_prag.adb (Process_Suppress_Unsuppress): Add extra warning
4649 for ignoring pragma Suppress (Elaboration_Check) in SPARK mode.
4651 2015-01-06 Javier Miranda <miranda@adacore.com>
4653 * exp_disp.adb (Expand_Interface_Conversion): No displacement
4654 of the pointer to the object needed when the type of the operand
4655 is not an interface type and the interface is one of its parent
4656 types (since they share the primary dispatch table).
4658 2015-01-06 Vincent Celier <celier@adacore.com>
4660 * prj-env.adb: Minor comment update.
4662 2015-01-06 Javier Miranda <miranda@adacore.com>
4664 * sem_res.adb (Valid_Conversion): Restrict the checks on anonymous
4665 access types whose target type is an interface type to operands
4666 that are access types; required to report an error when the
4667 operand is not an access type.
4669 2015-01-06 Bob Duff <duff@adacore.com>
4671 * a-cfinve.adb (Copy): Set the discriminant to the Length when
4673 * a-cofove.ads (Capacity): Add a postcondition.
4674 * a-cfinve.ads (Capacity): Add a postcondition.
4675 (Reserve_Capacity): Correct the postcondition in the case where
4676 Capacity = 0; that means "Capacity => Length (Container)".
4677 * a-cofove.adb (Elems[c]): Add a comment
4678 explaining the dangers and how to avoid them.
4680 2015-01-06 Ed Schonberg <schonberg@adacore.com>
4682 * sem_ch12.adb: Code clean up.
4684 2015-01-06 Arnaud Charlet <charlet@adacore.com>
4686 * gnatvsn.ads: Bump copyright year.
4688 2015-01-06 Robert Dewar <dewar@adacore.com>
4690 * s-taskin.ads, s-traces.ads: Minor reformatting.
4691 * exp_util.adb: Minor typo fix.
4693 2015-01-06 Vincent Celier <celier@adacore.com>
4695 * gnatls.adb (Search_RTS): Invoke Initialize_Default_Project_Path
4696 with the runtime name.
4697 * prj-env.adb (Initialize_Default_Project_Path): When both
4698 Target_Name and Runtime_Name are not empty string, add to the
4699 project path the two directories .../lib/gnat and .../share/gpr
4700 related to the runtime.
4701 * prj-env.ads (Initialize_Default_Project_Path): New String
4702 parameter Runtime_Name, defaulted to the empty string.
4704 2015-01-06 Hristian Kirtchev <kirtchev@adacore.com>
4706 * frontend.adb: Guard against the case where a configuration
4707 pragma may be split into multiple pragmas and the original
4708 rewritten as a null statement.
4709 * sem_prag.adb (Analyze_Pragma): Insert a brand new Check_Policy
4710 pragma using Insert_Before rather than Insert_Action. This
4711 takes care of the configuration pragma case where Insert_Action
4714 2015-01-06 Bob Duff <duff@adacore.com>
4716 * a-coboho.ads (Element_Access): Add "pragma
4717 No_Strict_Aliasing (Element_Access);". This is needed because
4718 we are unchecked-converting from Address to Element_Access.
4719 * a-cofove.ads, a-cofove.adb (Elems,Elemsc): Fix bounds of the
4722 2015-01-06 Hristian Kirtchev <kirtchev@adacore.com>
4724 * sem_res.adb (Resolve_Actuals): Remove the
4725 restriction which prohibits volatile actual parameters with
4726 enabled external propery Async_Writers to act appear in procedure
4727 calls where the corresponding formal is of mode OUT.
4729 2015-01-05 Jakub Jelinek <jakub@redhat.com>
4731 * gnat_ugn.texi: Bump @copying's copyright year.
4733 2015-01-05 Eric Botcazou <ebotcazou@adacore.com>
4736 * gcc-interface/Makefile.in (../stamp-tools): Reinstate dropped code.
4738 2015-01-04 Uros Bizjak <ubizjak@gmail.com>
4740 * gcc-interface/misc.c (internal_error_function): Use xasprintf instead
4741 of unchecked asprintf.
4744 Copyright (C) 2015 Free Software Foundation, Inc.
4746 Copying and distribution of this file, with or without modification,
4747 are permitted in any medium without royalty provided the copyright
4748 notice and this notice are preserved.