1 2013-04-23 Yannick Moy <moy@adacore.com>
3 * exp_ch5.adb: Minor typo.
5 2013-04-23 Thomas Quinot <quinot@adacore.com>
7 * gnat_ugn.texi: Fix typo.
9 2013-04-23 Ed Schonberg <schonberg@adacore.com>
11 * einfo.ads: Minor documentation clarification.
13 2013-04-23 Bob Duff <duff@adacore.com>
15 * types.ads: Fix incorrect comment.
17 2013-04-23 Ed Schonberg <schonberg@adacore.com>
19 * sem_aux.adb sem_aux.ads (Effectively_has_Constrained_Partial_View):
20 Rename subprogram as Object_Type_Has_Constrained_Partial_View, better
21 description of purpose.
22 * checks.adb (Apply_Discriminant_Check): Use above renaming.
23 * sem_ch4.adb (Analyze_Allocator): Check Has_Constrained_Partial_View
24 of the base type, rather than using the Object_Type predicate.
25 * sem_attr.adb (Analyze_Attribute, case 'Access): Use above renaming.
26 * sem_util.adb (Is_Dependent_Component_Of_Mutable_Object): ditto.
27 * exp_attr.adb (Expand_N_Attribute_Reference, case 'Constrained): Ditto.
28 * exp_ch4.adb (Expand_N_Allocator): Ditto.
30 2013-04-23 Robert Dewar <dewar@adacore.com>
32 * exp_prag.adb (Expand_Pragma_Check): Check for Assert rather
34 * sem_prag.adb (Is_Valid_Assertion_Kind): Moved to spec
35 (Effective_Name): New function (Analyze_Pragma, case Check):
36 Disallow [Statement_]Assertions (Check_Kind): Implement
37 Statement_Assertions (Check_Applicable_Policy): Use Effective_Name
38 (Is_Valid_Assertion_Kind): Allow Statement_Assertions.
39 * sem_prag.ads (Is_Valid_Assertion_Kind): Moved here from body
40 (Effective_Name): New function.
41 * sem_res.adb: Minor reformatting.
42 * snames.ads-tmpl (Name_Statement_Assertions): New entry.
43 * gnat_rm.texi: Add documentation of new assertion kind
46 2013-04-23 Robert Dewar <dewar@adacore.com>
48 * sinfo.ads, einfo.adb, sem_res.adb, exp_ch6.adb, aspects.adb: Minor
49 reformatting and code clean up.
51 2013-04-23 Vincent Celier <celier@adacore.com>
53 * prj-part.ads, prj-conf.ads: Minor comment updates.
55 2013-04-23 Ed Schonberg <schonberg@adacore.com>
57 * einfo.adb (Predicate_Function): For a private type, retrieve
58 predicate function from full view.
59 * aspects.adb (Find_Aspect): Ditto.
60 * exp_ch6.adb (Expand_Actuals): If the formal is class-wide and
61 the actual is a definite type, apply predicate check after call.
62 * sem_res.adb: Do not apply a predicate check before the call to
63 a generated Init_Proc.
65 2013-04-23 Robert Dewar <dewar@adacore.com>
67 * sem_ch13.adb (Analyze_Aspect_Specifications): Significant
68 rewrite to make sure Is_Ignore is properly captured when aspect
70 * sem_ch6.adb: Minor reformatting.
71 * sem_prag.adb (Analyze_Pragma): Do not test policy at time of
72 pragma for the case of a pragma coming from an aspect (already
73 tested when we analyzed the aspect).
75 2013-04-23 Vincent Celier <celier@adacore.com>
77 * prj-conf.adb (Parse_Project_And_Apply_Config): New
78 Boolean parameter Implicit_Project, defaulted to False. Call
79 Prj.Part.Parse with Implicit_Project.
80 * prj-conf.ads (Parse_Project_And_Apply_Config): New Boolean
81 parameter Implicit_Project, defaulted to False.
82 * prj-part.adb (Parse_Single_Project): New Boolean parameter
83 Implicit_Project, defaulted to False. When Implicit_Project is
84 True, change the Directory of the project node to the Current_Dir.
85 * prj-part.ads (Parse): New Boolean parameter, defaulted to False
87 2013-04-23 Robert Dewar <dewar@adacore.com>
89 * exp_util.adb: Minor reformatting.
91 2013-04-23 Robert Dewar <dewar@adacore.com>
93 * xoscons.adb: Minor reformatting.
95 2013-04-23 Hristian Kirtchev <kirtchev@adacore.com>
97 * sem_prag.adb (Check_Mode): Ensure that a
98 self-referential output appears in both input and output lists of
99 the subprogram as categorized by aspect Global.
100 (Check_Usage): Rename formal parameters to better illustrate their
101 function. Update all uses of the said formals.
103 2013-04-23 Thomas Quinot <quinot@adacore.com>
105 * exp_util.adb, exp_util.ads (Fully_Qualified_Name_String): New
106 parameter Append_NUL to make NUL-termination optional.
107 * exp_dist.adb: Consistently use the above throughout instead of
108 Get_Library_Unit_Name_String.
110 2013-04-23 Robert Dewar <dewar@adacore.com>
112 * sem_util.adb, sem_res.adb, prj-tree.adb, prj-tree.ads: Minor
115 2013-04-23 Pascal Obry <obry@adacore.com>
117 * xoscons.adb: Remove unused use clause, minor code clean-up.
119 2013-04-23 Ed Schonberg <schonberg@adacore.com>
121 * sem_util.ads, sem_util.adb: Code cleanup for Is_Expression_Function
122 (can apply to any scope entity).
123 * sem_res.adb (Resolve_Call): If the call is within another
124 expression function it does not constitute a freeze point.
126 2013-04-23 Yannick Moy <moy@adacore.com>
128 * exp_ch6.adb (Expand_Actuals): Test that Subp
129 is overloadable before testing if it's an inherited operation.
131 2013-04-23 Robert Dewar <dewar@adacore.com>
133 * a-envvar.adb, a-envvar.ads, exp_util.adb, sem_ch12.adb: Minor
136 2013-04-23 Ed Schonberg <schonberg@adacore.com>
138 * sem_ch3.adb (Analyze_Object_Declarations): Undo previous patch.
139 * exp_util.adb (Expand_Subtype_From_Expr): If the expression
140 is a source entity and the declaration is for an aliased
141 unconstrained array, create a new subtype so that the flag
142 Is_Constr_Subt_For_UN_Aliased does not pollute other entities.
144 2013-04-23 Hristian Kirtchev <kirtchev@adacore.com>
146 * aspects.adb: Move tables Base_Aspect and Inherited_Aspect
147 from the spec to the body.
148 (Find_Aspect): Update the call to Get_Aspect_Id.
149 (Get_Aspect_Id): New version that takes an aspect specification.
150 * aspects.ads: Reorganize all aspect related tables.
151 (Get_Aspect_Id): New version that takes an aspect specification.
152 * par_sco.adb (Traverse_Aspects): Update the call to Get_Aspect_Id.
153 * sem_ch12.adb (Analyze_Generic_Subprogram_Declaration): Update
154 the call to Get_Aspect_Id.
155 * sem_ch13.adb (Analyze_Aspect_At_Freeze_Point): Update the
156 call to Get_Aspect_Id. (Analyze_Aspect_Specifications): Update
157 the call to Get_Aspect_Id. Update the call to Impl_Defined_Aspect.
159 2013-04-23 Robert Dewar <dewar@adacore.com>
161 * sem_prag.adb (Fix_Error): Rewrite to do more accurate job
162 of getting proper name in the case where pragma comes from
164 * sem_ch3.adb, sinfo.ads, par-ch6.adb, exp_ch6.adb: Minor reformatting.
166 2013-04-23 Yannick Moy <moy@adacore.com>
168 * sem_ch6.adb (Process_PPCs): Do not filter postconditions based on
171 2013-04-23 Thomas Quinot <quinot@adacore.com>
173 * par_sco.adb (Traverse_Aux_Decls): Minor code reorganization.
175 2013-04-23 Doug Rupp <rupp@adacore.com>
177 * init.c: Move facility macros outside IN_RTS.
179 2013-04-23 Thomas Quinot <quinot@adacore.com>
181 * freeze.adb (Freeze_Entity): For the case of a bit-packed
182 array time that is known at compile time to have more that
183 Integer'Last+1 elements, issue an error, since such arrays are
186 2013-04-23 Hristian Kirtchev <kirtchev@adacore.com>
188 * sem_prag.adb (Analyze_Dependency_Clause): Update all calls to
189 Analyze_Input_Output.
190 (Analyze_Input_List): Update all calls to Analyze_Input_Output.
191 (Analyze_Input_Output): Add formal parameter Self_Ref along with
192 comment on its usage. Update all calls to Analyze_Input_Output.
193 (Analyze_Pragma): Add new local variable Self_Ref to capture
194 the presence of a self-referential dependency clause. Update
195 all calls to Analyze_Input_Output.
196 (Check_Mode): Add formal parameter Self_Ref along with comment on its
197 usage. Verify the legality of a self-referential output.
199 2013-04-23 Ed Schonberg <schonberg@adacore.com>
201 * exp_ch6.adb: Add predicate checks on by-copy parameter.
203 2013-04-23 Vincent Celier <celier@adacore.com>
205 * a-envvar.adb, a-envvar.ads (Value): New.
207 2013-04-22 Yannick Moy <moy@adacore.com>
209 * exp_prag.adb (Expand_Pragma_Loop_Variant): Rewrite pragma as
210 null statement if ignored.
211 * sem_ch6.adb (Expand_Contract_Cases): Do nothing if pragma is ignored.
212 * sem_prag.adb (Analyze_Pragma): Keep analyzing ignored pragmas.
214 2013-04-22 Hristian Kirtchev <kirtchev@adacore.com>
216 * sem_prag.adb (Analyze_Contract_Case): New routine.
217 (Analyze_Pragma): Aspect/pragma Contract_Cases can
218 now be associated with a library level subprogram.
219 Add circuitry to detect illegal uses of aspect/pragma Contract_Cases
220 in a subprogram body.
221 (Chain_Contract_Cases): Rename formal parameter Subp_Decl to
222 Subp_Id. Remove local constant Subp. The entity of the subprogram
223 is now obtained via the formal paramter.
225 2013-04-22 Ed Schonberg <schonberg@adacore.com>
227 * sem_ch3.adb (Analyze_Object_Declaration): Do not set
228 Is_Constr_Subt_For_Unc_Aliased on the subtype of the expression,
229 if the expression is a source entity.
231 2013-04-22 Yannick Moy <moy@adacore.com>
233 * exp_prag.adb, sinfo.ads, sem_prag.ads: Minor correction of typos in
235 * sem_ch6.adb (Expand_Contract_Cases): Add location to message.
237 2013-04-22 Thomas Quinot <quinot@adacore.com>
239 * sem_prag.adb (Fix_Error): For a pragma rewritten from another
240 pragma, fix up error message to include original pragma name.
241 * par_sco.adb: Minor reformatting.
243 2013-04-22 Robert Dewar <dewar@adacore.com>
245 * sem_prag.adb, sem_util.adb, sem_util.ads, sem_res.adb, exp_ch6.adb,
246 sem_ch6.adb, opt.ads: Minor reformatting.
248 2013-04-22 Pascal Obry <obry@adacore.com>
250 * gnat_ugn.texi, prj-nmsc.adb, projects.texi: Add check for
251 Library_Standalone and Library_Kind.
253 2013-04-22 Ed Schonberg <schonberg@adacore.com>
255 * exp_ch6.adb (Expand_Actuals): If the call is to an
256 inherited operation and the actual is a by-reference type with
257 predicates, add predicate call to post-call actions.
258 * sem_util.adb (Is_Inherited_Operation_For_Type): Fix coding
259 error: a type declaration has a defining identifier, not an Etype.
260 * sem_res.adb: Restore code removed because of above error.
262 2013-04-22 Doug Rupp <rupp@adacore.com>
264 * init.c (__gnat_handle_vms_condition): Also match C$_SIGINT.
266 2013-04-22 Yannick Moy <moy@adacore.com>
268 * gnat_rm.texi, exp_util.adb, sem_prag.adb, sem_prag.ads, par-ch2.adb,
269 opt.ads, sem_ch13.adb: Minor correction of typos in comments/doc.
271 2013-04-22 Vincent Celier <celier@adacore.com>
273 * prj-nmsc.adb (Check_Library_Attributes): Set Library_Dir to
274 No_Path_Information only when Directories_Must_Exist_In_Projects
276 (Get_Directories): Set Object_Directory
277 or Exec_Directory to No_Path_Information only when
278 Directories_Must_Exist_In_Projects is False.
280 2013-04-22 Yannick Moy <moy@adacore.com>
282 * par-prag.adb, sem_attr.adb, sem_ch6.adb, sem_prag.adb, sem_warn.adb,
283 snames.ads-tmpl, sinfo.ads, sem_util.ads: Remove all references to
284 Pragma_Contract_Case and Name_Contract_Case.
286 2013-04-22 Yannick Moy <moy@adacore.com>
288 * aspects.ads, aspects.adb, sem_ch13.adb: Removal of references to
290 * gnat_ugn.texi, gnat_rm.texi Description of Contract_Case replaced by
291 description of Contract_Cases.
293 2013-04-12 Robert Dewar <dewar@adacore.com>
295 * makeutl.adb, prj-nmsc.adb: Minor reformatting.
297 2013-04-12 Robert Dewar <dewar@adacore.com>
299 * exp_util.adb (Make_Invariant_Call): Use Check_Kind instead
301 * gnat_rm.texi (Check_Policy): Update documentation for new
303 * sem_prag.adb (Check_Kind): Replaces Check_Enabled
304 (Analyze_Pragma, case Check_Policy): Rework to accomodate new
305 syntax (like Assertion_Policy).
306 * sem_prag.ads (Check_Kind): Replaces Check_Enabled.
308 2013-04-12 Doug Rupp <rupp@adacore.com>
310 * init.c (SS$_CONTROLC, SS$_CONTINUE) [VMS]: New macros.
311 (__gnat_handle_vms_condition) [VMS]: Dispatch on the Crtl/C user
312 handler if installed.
313 * ctrl_c.c (__gnat_install_int_handler)
314 [VMS]: Install a dummy sigaction handler to trigger the real
315 user handler dispatch in init.c/__gnat_handle_vms_condition.
316 (__gnat_uninstall_int_handler) [VMS]: Likewise.
318 2013-04-12 Vincent Celier <celier@adacore.com>
320 * clean.adb (Parse_Cmd_Line): Set Directories_Must_Exist_In_Projects
321 to False if switch is specified.
322 * makeutl.adb (Initialize_Source_Record): Do not look for the
323 object file if there is no object directory.
324 * opt.ads (Directories_Must_Exist_In_Projects): New Boolean
325 variable, defaulted to True.
326 * prj-nmsc.adb (Check_Library_Attributes): Do not fail if library
327 directory does not exist when Directories_Must_Exist_In_Projects is
329 (Get_Directories): Do not fail when the object or the exec directory
330 do not exist when Directories_Must_Exist_In_Projects is False.
332 2013-04-12 Robert Dewar <dewar@adacore.com>
334 * namet.adb, namet.ads: Minor addition (7 arg version of Nam_In).
335 * exp_prag.adb, sem_ch3.adb, sem_intr.adb, sem_type.adb, exp_util.adb,
336 sem_aux.adb, exp_ch9.adb, sem_ch7.adb, sem_ch10.adb, sem_prag.adb,
337 par-ch2.adb, tbuild.adb, rtsfind.adb, freeze.adb, sem_util.adb,
338 sem_res.adb, sem_attr.adb, exp_ch2.adb, prj-makr.adb, sem_elab.adb,
339 exp_ch4.adb, sem_ch4.adb, sem_mech.adb, sem_ch6.adb, par-prag.adb,
340 prj-nmsc.adb, exp_disp.adb, sem_ch8.adb, sem_warn.adb, par-util.adb,
341 sem_eval.adb, exp_intr.adb, sem_ch13.adb, exp_cg.adb, lib-xref.adb,
342 sem_disp.adb, exp_ch3.adb: Minor code reorganization (use Nam_In).
344 2013-04-12 Doug Rupp <rupp@adacore.com>
346 * init.c: Don't clobber condition code on VMS.
348 2013-04-12 Robert Dewar <dewar@adacore.com>
350 * exp_aggr.adb: Minor reformatting.
351 * namet.ads, namet.adb (Nam_In): New functions.
353 2013-04-12 Robert Dewar <dewar@adacore.com>
355 * einfo.adb (Has_Dynamic_Predicate_Aspect): New flag.
356 (Has_Static_Predicate_Aspect): New flag.
357 * einfo.ads (Has_Dynamic_Predicate_Aspect): New flag.
358 (Has_Static_Predicate_Aspect): New flag.
359 * exp_ch9.adb: Minor reformatting.
360 * exp_util.adb (Make_Invariant_Call): Check_Enabled now handles
362 * gnat1drv.adb: Remove setting of Debug_Pragmas_Enabled,
363 since this switch is gone and control of Debug is done with
365 * gnat_rm.texi: Update documentation for Assertion_Policy and
366 Check_Policy pragmas.
367 * opt.adb (Debug_Pragmas_Disabled[_Config]): Removed
368 (Debug_Pragmas_Enabled[_Config]): Removed Since debug now
369 controlled by Assertion_Enabled.
370 * opt.ads (Debug_Pragmas_Disabled[_Config]): Removed
371 (Debug_Pragmas_Enabled[_Config]): Removed Since debug now
372 controlled by Assertion_Enabled.
373 * par-ch2.adb (Scan_Pragma_Argument_Association): Allow new
375 * sem_attr.adb: Minor reformatting.
376 * sem_ch13.adb (Analyze_Aspect_Specification): Disable aspect
377 if DISABLE policy applies.
378 * sem_ch6.adb (Grab_PPC): Check original name of aspect for
379 aspect from pragma (Process_PPCs): Properly check assertion policy.
380 * sem_prag.adb (Check_Enabled): Rewritten for new Assertion_Policy
381 (Check_Appicable_Policy): New procedure.
382 (Is_Valid_Assertion_Kind): New function.
383 (Rewrite_Assertion_Kind): New procedure.
384 (Analyze_Pragma): Handle case of disabled assertion pragma.
385 (Analyze_Pragma, case Assertion_Policy): Rewritten for Ada 2012.
386 (Analyze_Pragma, case Check): Deal with 'Class possibilities.
387 (Analyze_Pragma, case Check_Policy): Deal with 'Class possibilities.
388 (Analyze_Pragma, case Contract_Class): New handling of ignored pragma.
389 (Analyze_Pragma, case Debug): New control with Assertion_Policy.
390 (Analyze_Pragma, case Debug_Policy): Now consistent with
392 (Analyze_Pragma, case Loop_Invariant): New handling of ignored
394 (Analyze_Pragma, case Loop_Variant): New handling of ignored pragma.
395 (Analyze_Pragma, case Precondition): Use proper name for Check pragma.
396 (Analyze_Pragma, case Check_Enabled): Rewritten for new policy stuff.
397 * sem_prag.ads (Check_Enabled): Rewritten for new
398 Assertion_Policy stuff.
399 (Check_Appicable_Policy): New procedure.
400 * sinfo.adb (Is_Disabled): New flag.
401 (Is_Ignored): New flag.
402 * sinfo.ads (Is_Disabled): New flag.
403 (Is_Ignored): New flag.
404 (N_Pragma_Argument_Association): New 'Class forms.
405 * snames.ads-tmpl: New names Name_uPre, Name_uPost,
406 Name_uType_Invariant, Name_uInvariant.
407 * switch-c.adb: Remove setting of Debug_Pragmas_Enabled for -gnata.
408 * tree_io.ads (ASIS_Version_Number): Updated (remove
409 read write of obsolete flags Debug_Pragmas_Disabled and
410 Debug_Pragmas_Enabled.
412 2013-04-12 Ed Schonberg <schonberg@adacore.com>
414 * exp_aggr.adb (Get_Explicit_Discriminant_Value): Subsidiary
415 of Build_Record_Aggr_Code, used to retrieve explicit values
416 for inherited discriminants in an extension aggregate, when the
417 ancestor type is unconstrained.
419 2013-04-12 Ed Schonberg <schonberg@adacore.com>
421 * sem_attr.adb (Check_Stream_Attribute): If restriction
422 No_Default_Stream_Attributes is active, it is illegal to use a
423 predefined elementary type stream attribute either by itself,
424 or more importantly as part of the attribute subprogram for a
425 composite type. However, if the broader restriction No_Streams
426 is active, then stream operations are not generated, and there
429 2013-04-12 Robert Dewar <dewar@adacore.com>
431 * gnatbind.adb: Minor reformatting.
433 2013-04-12 Bob Duff <duff@adacore.com>
435 * sem_attr.adb (Analyze_Access_Attribute): Treat P'Access like a
436 call only in the static elaboration model.
438 2013-04-12 Hristian Kirtchev <kirtchev@adacore.com>
440 * sem_prag.adb (Analyze_Input_List): Detect an illegal dependency
441 clause where both input and output lists are null.
442 (Analyze_Pragma): Update the grammar of pragma Depends.
444 2013-04-12 Vincent Celier <celier@adacore.com>
446 * gnatbind.adb (No_Restriction_List): Exclude restrictions that
447 take a parameter value, not a count.
448 * prj.ads, prj.adb (Remove_All_Restricted_Languages): New procedure.
449 * projects.texi: Complete documentation of attribute Roots.
451 2013-04-12 Thomas Quinot <quinot@adacore.com>
453 * exp_ch3.adb, exp_util.ads, checks.adb, freeze.adb, sem_attr.adb,
454 sem_ch3.adb: Minor reformatting.
455 * exp_ch4.adb (Size_In_Storage_Elements): Minor documentation
456 improvement: note that the computation is pessimistic for bit
458 * gnat_rm.texi (Range_Length): Fix minor error in description
461 2013-04-12 Hristian Kirtchev <kirtchev@adacore.com>
463 * aspects.adb (Find_Aspect): New routine.
464 (Find_Value_Of_Aspect): New routine.
465 (Has_Aspect): Reimplemented.
466 * aspects.ads (Find_Aspect): New routine.
467 (Find_Value_Of_Aspect): New routine, previously known as Find_Aspect.
468 * exp_ch5.adb (Expand_Iterator_Loop): Update the call to Find_Aspect.
469 * exp_util.adb (Is_Iterated_Container): Update the call to Find_Aspect.
470 * sem_ch4.adb (Try_Container_Indexing): Update calls to Find_Aspect.
471 * sem_ch5.adb (Analyze_Iterator_Specification): Update
472 the call to Find_Aspect. Use function Has_Aspect for better
474 (Preanalyze_Range): Use function Has_Aspect for better readability.
475 * sem_ch13.adb (Check_One_Function): Update the call to Find_Aspect.
476 * sem_prag.adb (Analyze_Pragma): There is no longer need to
477 look at the parent to extract the corresponding pragma for
480 2013-04-12 Robert Dewar <dewar@adacore.com>
482 * checks.adb, sem_elab.adb, repinfo.adb, sem_ch4.adb, restrict.adb,
483 restrict.ads: Minor reformatting.
485 2013-04-12 Ed Schonberg <schonberg@adacore.com>
487 * lib-xref.adb: Retrieve original name of classwide type if any.
489 2013-04-12 Thomas Quinot <quinot@adacore.com>
491 * exp_ch11.ads: Minor reformatting.
493 2013-04-12 Hristian Kirtchev <kirtchev@adacore.com>
495 * aspects.adb: Alphabetize subprogram bodies in this unit. Add
496 an entry for Aspect_Ghost in the table of canonical aspects.
497 (Has_Aspect): New routine.
498 * aspects.ads: Add Aspect_Ghost to all relevant
499 tables. Alphabetize subprograms in this unit.
500 (Has_Aspect): New routine.
501 * einfo.adb: Add with and use clauses for Aspects.
502 (Is_Ghost_Function): New routine.
503 * einfo.ads: Add new synthesized attribute Is_Ghost_Function and
504 update the structure of the related nodes.
505 (Is_Ghost_Function): New routine.
506 * exp_ch4.adb (Find_Enclosing_Context): Use routine
507 Is_Body_Or_Package_Declaration to terminate a search.
508 (Is_Body_Or_Unit): Removed.
509 * exp_util.adb (Within_Case_Or_If_Expression): Use routine
510 Is_Body_Or_Package_Declaration to terminate a search.
511 * par-prag.adb: Add pragma Ghost to the list of pragmas that do
512 not need special processing by the parser.
513 * sem_attr.adb (Analyze_Access_Attribute): Detect an
514 illegal use of 'Access where the prefix is a ghost function.
515 (Analyze_Attribute): Use routine Is_Body_Or_Package_Declaration
516 to terminate a search. (Check_References_In_Prefix): Use routine
517 Is_Body_Or_Package_Declaration to terminate a search.
518 * sem_ch4.adb (Analyze_Call): Mark a function when it appears
519 inside an assertion expression. Verify the legality of a call
521 (Check_Ghost_Function_Call): New routine.
522 * sem_ch6.adb (Analyze_Function_Call): Code reformatting. Move
523 the setting of attribute In_Assertion_Expression to Analyze_Call.
524 (Check_Overriding_Indicator): Detect an illegal attempt to
525 override a function with a ghost function.
526 * sem_ch12.adb (Preanalyze_Actuals): Detect an illegal use of
527 a ghost function as a generic actual.
528 * sem_elab.adb (Check_Internal_Call_Continue): Update the call
530 * sem_prag.adb: Add an entry for pragma Ghost in the table
531 of significant arguments.
532 (Analyze_Pragma): Do not analyze
533 an "others" case guard. Add processing for pragma Ghost. Use
534 Preanalyze_Assert_Expression when analyzing the expression of
535 pragmas Loop_Invariant and Loop_Variant.
536 * sem_util.adb (Get_Subprogram_Entity): Reimplemented.
537 (Is_Body_Or_Package_Declaration): New routine.
538 * sem_util.ads: Alphabetize subprotrams in this unit.
539 (Is_Body_Or_Package_Declaration): New routine.
540 * sinfo.adb (In_Assertion): Rename to In_Assertion_Expression.
541 (Set_In_Assertion): Rename to Set_In_Assertion_Expression.
542 * sinfo.ads: Rename flag In_Assertion to In_Assertion_Expression
543 to better reflect its use. Update all places that mention the flag.
544 (In_Assertion): Rename to In_Assertion_Expression. Update
545 related pragma Inline. (Set_In_Assertion): Rename to
546 Set_In_Assertion_Expression. Update related pragma Inline.
547 * snames.ads-tmpl: Add new predefined name Ghost. Add new pragma
550 2013-04-12 Arnaud Charlet <charlet@adacore.com>
552 * sem_prag.adb (Set_Imported): Do not generate error for multiple
553 Import in CodePeer mode.
554 * s-rident.ads: Fix minor typo.
556 2013-04-12 Ed Schonberg <schonberg@adacore.com>
558 * checks.adb (Insert_Valid_Check): Do not insert validity check
559 in the body of the generated predicate function, to prevent
562 2013-04-12 Ed Schonberg <schonberg@adacore.com>
564 * s-rident.ads: Add various missing Ada 2012 restrictions:
565 No_Access_Parameter_Allocators, No_Coextensions,
566 No_Use_Of_Attribute, No_Use_Of_Pragma.
567 * snames.ads-tmpl: Add corresponding names.
568 * restrict.ads restrict.adb: Subprograms and data structures to
569 handle aspects No_Use_Of_Attribute and No_Use_Of_Pragma.
570 * sem_ch4.adb: Correct name of restrictions is
571 No_Standard_Allocators_After_Elaboration.
572 * sem_ch13.adb (Analyze_Attribute_Definition_Clause): Check
573 violation of restriction No_Use_Of_Attribute.
574 * sem_prag.adb (Process_Restrictions_Or_Restriction_Warnings):
575 Set restrictions No_Use_Of_Pragma and No_Use_Of_Attribute.
576 (Analyze_Pragma): Check violation of restriction No_Use_Of_Pragma.
577 * sem_res.adb: Check restrictions No_Access_Parameter_Allocators
579 * bcheck.adb: Correct name of restrictions is
580 No_Standard_Allocators_After_Elaboration.
581 * gnatbind.adb: Correct name of restrictions is
582 No_Standard_Allocators_After_Elaboration.
584 2013-04-12 Hristian Kirtchev <kirtchev@adacore.com>
586 * sem_prag.adb (Analyze_Pragma, (Check_Mode_Restriction_In_Function):
587 Correct error message format.
589 2013-04-12 Robert Dewar <dewar@adacore.com>
591 * sem_attr.adb: Minor reformatting.
593 2013-04-12 Ed Schonberg <schonberg@adacore.com>
595 * sem_elab.adb (Within_Elaborate_All): Do not examine a context
596 item that has not been analyzed, because the unit may have errors,
597 or the context item may come from a proper unit inserted at the
598 point of a stub and not analyzed yet.
600 2013-04-12 Thomas Quinot <quinot@adacore.com>
602 * gnat1drv.adb, repinfo.adb, repinfo.ads (Repinfo.List_Array_Info,
603 List_Record_Info): Also include scalar storage order information in
606 2013-04-12 Yannick Moy <moy@adacore.com>
608 * sem_ch6.adb (Process_Contract_Cases): Update code to apply to
609 Contract_Cases instead of Contract_Case pragma.
611 2013-04-12 Robert Dewar <dewar@adacore.com>
613 * a-cfdlli.ads, g-socket.adb, s-fileio.adb: Minor reformatting.
615 2013-04-12 Yannick Moy <moy@adacore.com>
617 * sem_attr.adb (Analyze_Attribute): Update analyse of
618 Attribute_Old and Attribute_Result so they are allowed in the
619 right-hand-side of an association in a Contract_Cases pragma.
620 * sem_prag.adb (Analyze_CTC_In_Decl_Part): Add pre-analysis of
621 the expressions in a Contract_Cases pragma.
623 2013-04-12 Robert Dewar <dewar@adacore.com>
625 * sem.ads, opt.ads: Minor comment edits.
626 * sem_warn.adb, sem_ch6.adb: Minor reformatting.
628 2013-04-12 Claire Dross <dross@adacore.com>
630 * a-cfdlli.adb a-cfdlli.ads (List, Not_No_Element, Iterate,
631 Reverse_Iterate, Query_Element, Update_Element, Read, Write): Removed,
632 not suitable for formal analysis.
634 2013-04-12 Ed Schonberg <schonberg@adacore.com>
636 * sem_prag.adb (Analyze_Abstract_State): Use Defining entity
637 to locate package entity, which may be a child unit.
639 2013-04-12 Thomas Quinot <quinot@adacore.com>
641 * g-socket.adb, g-socket.ads (Connect_Socket, version with timeout): If
642 the specified timeout is 0, do not attempt to determine whether the
643 connection succeeded.
645 2013-04-12 Doug Rupp <rupp@adacore.com>
647 * s-fileio.adb (Form_RMS Context_Key): Fix some thinkos.
649 2013-04-12 Doug Rupp <rupp@adacore.com>
651 * s-fileio.adb: Minor reformatting.
653 2013-04-12 Ed Schonberg <schonberg@adacore.com>
655 * sem_warn.adb (Check_Infinite_Loop_Warning): Do not warn if
656 the last statement in the analyzed loop is an unconditional
659 2013-04-12 Robert Dewar <dewar@adacore.com>
661 * opt.ads (Style_Check_Main): New switch.
662 * sem.adb (Semantics): Set Style_Check flag properly for new
664 * sem_ch10.adb (Analyze_With_Clause): Don't reset Style_Check,
665 the proper setting of this flag is now part of the Semantics
667 * switch-c.adb (Scan_Front_End_Switches): Set Style_Check_Main
668 for -gnatg and -gnaty
670 2013-04-12 Doug Rupp <rupp@adacore.com>
672 * s-crtl.ads (fopen, freopen): Add vms_form parameter
673 * i-cstrea.ads (fopen, freopen): Likewise.
674 * adaint.h (__gnat_fopen, __gnat_freopen): Likewise.
675 * adaint.c (__gnat_fopen, __gnat_freopen): Likewise.
676 [VMS]: Split out RMS keys and call CRTL function appropriately.
677 * s-fileio.adb (Form_VMS_RMS_Keys, Form_RMS_Context_Key): New
679 (Open, Reset): Call Form_VMS_RMS_Keys. Call fopen,freopen with
681 * gnat_rm.texi: Document implemented RMS keys.
683 2013-04-12 Hristian Kirtchev <kirtchev@adacore.com>
685 * sem_ch13.adb (Analyze_Aspect_Specifications):
686 Insert the corresponding pragma for aspect Abstract_State at
687 the top of the visible declarations of the related package.
688 Previously this was only done when the package is a compilation
691 2013-04-12 Arnaud Charlet <charlet@adacore.com>
693 * gnat_ugn.texi: Further menu clean ups.
694 * sem_prag.adb, opt.ads: Minor reformatting.
695 * sem_util.ads: Minor comment fix.
697 2013-04-12 Hristian Kirtchev <kirtchev@adacore.com>
699 * sem_ch13.adb (Analyze_Aspect_Specifications): Aspect
700 Depends is now a delayed aspect. The delay is required
701 due to the interplay between aspects Depends and Global.
702 (Check_Aspect_At_Freeze_Point): Add an entry for aspect Depends.
703 * sem_prag.adb: Reformat various error messages.
704 (Add_Item): New subsidiary routine.
705 (Analyze_Pragma): Add new variables
706 Global_Seen, Result_Seen, Subp_Inputs and Subp_Outputs. The
707 analysis of pragma Depends now has the capability to check
708 the proper mode and usage of subprogram inputs and outputs.
709 (Appears_In): New routine.
710 (Check_Function_Return): New routine.
711 (Check_Mode): New routine.
712 (Check_Usage): New routine.
713 (Collect_Subprogram_Inputs_Outputs): New routine.
715 2013-04-12 Bob Duff <duff@adacore.com>
717 * par-ch7.adb (P_Package): Initialize Sloc in the newly-pushed scope
720 2013-04-12 Robert Dewar <dewar@adacore.com>
722 * switch-c.adb: Minor fix to wording of error message for
725 2013-04-12 Robert Dewar <dewar@adacore.com>
727 * impunit.adb: Add s-multip and s-mudido to list of impl defined
729 * gnat_rm.texi: Add documentation for
730 System.Multiprocessors[.Dispatching_Domains].
732 2013-04-12 Ben Brosgol <brosgol@adacore.com>
734 * gnat_ugn.texi: Completion of menu cleanups.
736 2013-04-12 Arnaud Charlet <charlet@adacore.com>
738 * sem_prag.adb (Diagnose_Multiple_Pragmas): Relax the rules
739 in Relaxed_RM_Semantics.
741 2013-04-12 Arnaud Charlet <charlet@adacore.com>
743 * set_targ.adb (elab code): Add support for non gcc back-ends
744 where save_argv is null.
746 2013-04-12 Robert Dewar <dewar@adacore.com>
748 * gnat1drv.adb (Gnat1drv): Test Target_Dependent_Info_Write_Name.
749 * opt.ads (Target_Dependent_Info_Read): Add _Name, now an access
750 type (Target_Dependent_Info_Write): Add _Name, now an access type.
751 * set_targ.adb (Write_Target_Dependent_Values): Use name
752 from -gnatet switch stored in Target_Dependent_Info_Write_Name
753 (Read_Target_Dependent_Values): Use name from -gnateT switch
754 stored in Target_Dependent_Info_Read_Name.
755 * switch-c.adb: New form of -gnatet and -gnateT switches.
756 * usage.adb: New form of -gnatet and -gnateT switches with
759 2013-04-11 Eric Botcazou <ebotcazou@adacore.com>
761 * gcc-interface/decl.c (elaborate_expression_1): Skip only constant
762 arithmetics when looking for a read-only variable in the expression.
764 2013-04-11 Javier Miranda <miranda@adacore.com>
766 * check.ads, exp_ch6.adb (Install_Null_Excluding_Check): No check in
767 interface thunks since it is performed at the caller side.
768 (Expand_Simple_Function_Return): No accessibility check needed in thunks
769 since the check is done by the target routine.
771 2013-04-11 Ed Schonberg <schonberg@adacore.com>
773 * sem_prag.adb (Analyze_Pragma, case Priority): pre-analyze
774 expression with type Any_Priority.
775 * exp_ch9.adb (Initialize_Protection): Check that the value
776 of the priority expression is within the bounds of the proper
779 2013-04-11 Robert Dewar <dewar@adacore.com>
781 * sem_prag.adb, prj-env.adb: Minor reformatting.
783 2013-04-11 Ben Brosgol <brosgol@adacore.com>
785 * gnat_ugn.texi: Clean ups.
787 2013-04-11 Yannick Moy <moy@adacore.com>
789 * set_targ.adb: Minor comment update.
791 2013-04-11 Pascal Obry <obry@adacore.com>
793 * gnat_ugn.texi: Remove obsolete comment about DLL calling
796 2013-04-11 Javier Miranda <miranda@adacore.com>
798 * exp_ch6.adb (Expand_Call): For the call to the target primitive
799 of an interface thunks do not compute the extra actuals; just
800 propagate the extra actuals received by the thunk.
801 * exp_disp.adb (Expand_Interface_Thunk): Decorate new attribute
803 * sem_ch6.adb (Create_Extra_Formals): Do not generate extra
804 formals in interface thunks whose target primitive has no extra
807 2013-04-11 Hristian Kirtchev <kirtchev@adacore.com>
809 * sem_prag.adb (Analyze_Pragma): Detect
810 a renaming by looking at the Renamed_Object attribute.
811 (Is_Renaming): Removed.
813 2013-04-11 Vincent Celier <celier@adacore.com>
815 * prj-env.adb (Initialize_Default_Project_Path): Take
816 into account a project path file, specified by environment
817 variable GPR_PROJECT_PATH_FILE, before taking into account
819 * projects.texi: Add documentation for GPR_PROJECT_PATH_FILE
821 2013-04-11 Ed Schonberg <schonberg@adacore.com>
823 * a-cdlili.adb, a-cdlili.ads, a-cihama.adb, a-cihama.ads, a-coinve.adb,
824 a-coinve.ads, a-ciorse.adb, a-ciorse.ads, a-coorma.adb, a-coorma.ads,
825 a-cfdlli.adb, a-cfdlli.ads, a-cborma.adb, a-cborma.ads, a-cidlli.adb,
826 a-cidlli.ads, a-ciormu.adb, a-ciormu.ads, a-cihase.adb, a-cihase.ads,
827 a-cohama.adb, a-cohama.ads, a-coorse.adb, a-coorse.ads, a-cbhama.adb,
828 a-cbhama.ads, a-cborse.adb, a-cborse.ads, a-ciorma.adb, a-cobove.adb,
829 a-ciorma.ads, a-cobove.ads, a-coormu.adb, a-coormu.ads, a-cohase.adb,
830 a-cohase.ads, a-cbdlli.adb, a-cbdlli.ads, a-cbhase.adb, a-cbhase.ads:
831 Move Iterator operations from body to private part of spec.
833 2013-04-11 Eric Botcazou <ebotcazou@adacore.com>
835 * ttypes.ads, get_targ.ads: More minor rewording of comments.
837 2013-04-11 Johannes Kanig <kanig@adacore.com>
839 * debug.adb: Document use of switch -gnatd.Z.
841 2013-04-11 Hristian Kirtchev <kirtchev@adacore.com>
843 * sem_prag.adb (Analyze_Pragma): Both pragma Depends and Global can now
844 support renamings of entire objects. Legal renamings are replaced by
845 the object they rename.
846 (Is_Renaming): New routine.
848 2013-04-11 Yannick Moy <moy@adacore.com>
850 * set_targ.adb, opt.ads: Minor changes in comments.
852 2013-04-11 Ben Brosgol <brosgol@adacore.com>
854 * gnat_ugn.texi: Minor clean ups.
856 2013-04-11 Robert Dewar <dewar@adacore.com>
858 * nlists.ads, nlists.adb, treepr.adb, treepr.ads: Move debugging
859 function p from Nlists to Treepr.
861 2013-04-11 Ed Schonberg <schonberg@adacore.com>
863 * sem_disp.adb (Check_Dispatching_Context): If the context is
864 a contract for a null procedure defer error reporting until
865 postcondition body is created.
866 * exp_ch13.adb (Expand_N_Freeze_Entity): If the entity is a
867 null procedure, complete the analysis of its contracts so that
868 calls within classwide conditions are properly rewritten as
871 2013-04-11 Thomas Quinot <quinot@adacore.com>
873 * sem_ch10.adb, sem_ch12.adb: Minor reformatting.
875 2013-04-11 Robert Dewar <dewar@adacore.com>
877 * exp_attr.adb, sem_res.adb, sem_attr.adb: Minor reformatting.
879 2013-04-11 Robert Dewar <dewar@adacore.com>
881 * atree.adb, atree.ads (Node31): New function.
882 (Set_Node31): New procedure.
884 2013-04-11 Robert Dewar <dewar@adacore.com>
886 * errout.ads: Minor typo correction.
888 2013-04-11 Javier Miranda <miranda@adacore.com>
890 * einfo.ad[sb] (Thunk_Entity/Set_Thunk_Entity): New attribute.
892 2013-04-11 Robert Dewar <dewar@adacore.com>
894 * back_end.adb (Register_Back_End_Types): Moved to Get_Targ
895 * back_end.ads (C_String): Moved to Get_Targ
896 (Register_Type_Proc): Moved to Get_Targ (Register_Back_End_Types):
898 * cstand.adb (Register_Float_Type): New interface
899 (Create_Back_End_Float_Types): Use entries in FPT_Mode_Table.
900 * get_targ.adb (Register_Back_End_Types): Moved here from
902 * get_targ.ads (C_String): Moved here from Back_End
903 (Register_Type_Proc): Moved here from Back_End
904 (Register_Back_End_Types): here from Back_End.
905 * gnat1drv.adb (GGnat11drv): Add call to
906 Write_Target_Dependent_Values;
907 * lib-writ.ads, lib-writ.adb (Write_ALI): Remove section writing
908 obsolete target dependent info.
909 * opt.ads (Generate_Target_Dependent_Info):
910 Removed (Target_Dependent_Info_Read): New flag
911 (Target_Dependent_Info_Write): New flag
912 * output.adb: Minor comment change
913 * s-os_lib.ads: Minor reformatting
914 * set_targ.ads, set_targ.adb: Minor reformatting.
915 * switch-c.adb (Scan_Switches.First_Ptr): New variable
916 (Scan_Front_End_Switches): Check -gnatd.b, -gnateT come first
917 (Scan_Front_End_Switches): Handle -gnatet, -gnateT
918 * ttypes.ads: Remove documentation section on target dependent
919 info in ali file Remove four letter codes, no longer used Instead
920 of using Get_Targ.Get_xxx, we use Set_Targ.xxx
921 * usage.adb: Add usage lines for -gnatet/-gnateT
922 * gcc-interface/Make-lang.in: Update dependencies.
924 2013-04-11 Thomas Quinot <quinot@adacore.com>
926 * sem_ch4.adb: Update documentation.
927 * sinfo.ads (N_Expression_With_Actions): Ditto.
929 2013-04-11 Hristian Kirtchev <kirtchev@adacore.com>
931 * sem_ch13.adb (Analyze_Aspect_Specifications):
932 Add a guard to prevent the double insertion of the same aspect
933 into a rep item list. This previously led to a circularity.
935 2013-04-11 Ed Schonberg <schonberg@adacore.com>
937 * sem_attr.adb (Eval_Attribute, case 'Access): Reject attribute
938 reference if the prefix is the dereference of an anonymous access
940 * exp_attr.adb (Expand_N_Attribute_Reference, Access_Cases): Handle
941 properly a reference to the current instance of a protected type
942 from within a protected subprogram.
943 * sem_res.adb (Find_Unique_Access_Type): Treat
944 Attribute_Access_Type like Allocator_Type when resolving an
947 2013-04-11 Arnaud Charlet <charlet@adacore.com>
949 * xgnatugn.adb: Remove obsolete comments.
951 2013-04-11 Robert Dewar <dewar@adacore.com>
953 * back_end.ads, back_end.adb: Minor reformatting.
954 * set_targ.ads, set_targ.adb: New files.
956 2013-04-11 Hristian Kirtchev <kirtchev@adacore.com>
958 * sem_case.adb (Check_Against_Predicate): New routine.
959 (Check_Choices): When the type covered by the list of choices
960 is a static subtype with a static predicate, check all choices
961 agains the predicate.
962 (Issue_Msg): All versions removed.
963 (Missing_Choice): New routines.
964 * sem_ch4.adb: Code and comment reformatting.
965 (Analyze_Case_Expression): Do not check the choices when the case
966 expression is being preanalyzed and the type of the expression
967 is a subtype with a static predicate.
968 (Has_Static_Predicate): New routine.
969 * sem_ch13.adb: Code and comment reformatting. (Build_Range):
970 Always build a range even if the low and hi bounds denote the
971 same value. This is needed by the machinery in Check_Choices.
972 (Build_Static_Predicate): Always build a range even if the low and
973 hi bounds denote the same value. This is needed by the machinery
976 2013-04-11 Robert Dewar <dewar@adacore.com>
978 * einfo.ads, sem_util.adb, exp_ch6.adb, xgnatugn.adb: Minor
981 2013-04-11 Doug Rupp <rupp@adacore.com>
983 * gnatlink.adb: Fold program basename to lower case on VMS for
986 2013-04-11 Matthew Heaney <heaney@adacore.com>
988 * a-rbtgbo.adb (Generic_Equal): Initialize Result variable before
991 2013-04-11 Arnaud Charlet <charlet@adacore.com>
993 * xgnatugn.adb: Remove dead code (handling of @ifset/@ifclear).
995 2013-04-11 Arnaud Charlet <charlet@adacore.com>
997 * gnat_ugn.texi: Remove some use of ifset in menus. Not strictly
998 needed, and seems to confuse some versions of makeinfo.
1000 2013-04-11 Javier Miranda <miranda@adacore.com>
1002 * einfo.adb (Is_Thunk): Remove assertion.
1003 (Set_Is_Thunk): Add assertion.
1004 * einfo.ads (Is_Thunk): Complete documentation.
1005 * exp_ch11.adb (Expand_N_Handled_Sequence_Of_Statements): Code cleanup.
1006 * exp_ch3.ad[sb] (Is_Variable_Size_Array): Moved to sem_util
1007 (Is_Variable_Size_Record): Moved to sem_util
1008 * exp_ch6.adb (Expand_Call): Code cleanup.
1009 (Expand_N_Extended_Return_Statement): Code cleanup.
1010 (Expand_Simple_Function_Return): Code cleanup.
1011 * exp_disp.adb Remove dependency on exp_ch3
1012 (Expand_Interface_Thunk): Add minimum decoration needed to set
1014 * sem_ch3.ad[sb] (Is_Constant_Bound): moved to sem_util
1015 * sem_util.ad[sb] (Is_Constant_Bound): Moved from
1016 sem_ch3 (Is_Variable_Size_Array): Moved from exp_ch3
1017 (Is_Variable_Size_Record): Moved from exp_ch3
1019 2013-04-11 Javier Miranda <miranda@adacore.com>
1021 * exp_ch11.adb (Expand_N_Handled_Sequence_Of_Statements): Do
1022 not add cleanup actions in thunks associated with interface types.
1023 * exp_ch3.ad[sb] (Is_Variable_Size_Record): Move declaration to
1025 * exp_ch4.adb (Tagged_Conversion): Update call to
1026 Expand_Interface_Conversion since the parameter Is_Static is no
1028 * exp_ch6.adb (Expand_N_Extended_Return_Statement): Adding
1029 assertion to ensure that interface thunks are never handled by
1031 (Expand_N_Simple_Function_Return): Do not rewrite this statement
1032 as an extended return statement in interface thunks, and do not
1033 perform copy in the secondary stack if the return statement is
1035 * exp_disp.adb (Expand_Dispatching_Call): No longer displace
1036 the pointer to the returned object in functions returning interface
1038 (Expand_Interface_Thunk): For functions returning interface types
1039 displace the pointer to the returned object.
1040 (Expand_Interface_Conversion): Remove formal
1041 Is_Static since this subprogram can now evaluate it locally.
1042 * sem_ch3.adb (Add_Internal_Interface_Entities): For functions
1043 propagate the type returned by the covered interface primitive to
1044 the internal interface entity. Needed by the thunk to generate
1045 the code which displaces "this" to reference the corresponding
1046 secondary dispatch table.
1047 * sem_disp.adb (Propagate_Tag): Update call to
1048 Expand_Interface_Conversion since the parameter Is_Static is no
1050 * sem_res.adb (Resolve_Type_Conversion): Update calls to
1051 Expand_Interface_Conversion since the parameter Is_Static is no
1052 longer needed plus code cleanup.
1054 2013-04-11 Eric Botcazou <ebotcazou@adacore.com>
1056 * init.c (RETURN_ADDR_OFFSET): Delete as unused.
1058 2013-04-11 Robert Dewar <dewar@adacore.com>
1060 * a-crbtgk.adb, a-ciorse.adb, a-crbtgo.adb, a-coorse.adb, a-rbtgbo.adb,
1061 a-cborse.adb, a-rbtgso.adb, exp_ch3.adb: Minor reformatting.
1063 2013-04-11 Yannick Moy <moy@adacore.com>
1065 * exp_ch4.adb (Expand_N_Selected_Component): Do not expand
1066 discriminant check for Unchecked_Union.
1067 * sem_res.adb (Resolve_Selected_Component): Set flag
1068 Do_Discriminant_Check even when expansion is not performed.
1069 * sinfo.ads (Do_Discriminant_Check): Update documentation for the case
1072 2013-04-11 Thomas Quinot <quinot@adacore.com>
1074 * sem_ch13.adb (Same_Representation): Two types with different scalar
1075 storage order never have the same representation.
1077 2013-04-11 Arnaud Charlet <charlet@adacore.com>
1079 * xgnatugn.adb (Push_Conditional): Simplify handling,
1080 no longer need to keep track of "excluding" sections.
1081 (Currently_Excluding): Removed.
1082 (Process_Source_File):
1083 Set unw/vms flag so that texinfo can do the whole handling of
1084 @ifset/@ifclear sections. Fix handling of nested @ifset/@ifclear
1086 * gnat_ugn.texi: Add a section on performing unassisted install
1089 2013-04-11 Johannes Kanig <kanig@adacore.com>
1091 * debug.adb: Document usage of -gnatd.Q switch.
1093 2013-04-11 Matthew Heaney <heaney@adacore.com>
1095 * a-crbtgk.adb (Ceiling, Find, Floor): Adjust locks
1096 before element comparisons.
1097 (Generic_Conditional_Insert, Generic_Conditional_Insert_With_Hint):
1099 * a-crbtgo.adb, a-rbtgbo.adb (Generic_Equal): Adjust locks before
1100 element comparisons.
1101 * a-rbtgso.adb (Difference, Intersection): Adjust locks
1102 before element comparisons.
1103 (Is_Subset, Overlap): Ditto
1104 (Symmetric_Difference, Union): Ditto
1105 * a-btgbso.adb (Set_Difference, Set_Intersection): Adjust locks
1106 before element comparisons.
1107 (Set_Subset, Set_Overlap): Ditto
1108 (Set_Symmetric_Difference, Set_Union): Ditto
1109 * a-coorse.adb, a-ciorse.adb, a-cborse.adb
1110 (Update_Element_Preserving_Key): Adjust locks before element
1111 comparisons (Replace_Element): Ditto
1113 2013-04-11 Pascal Obry <obry@adacore.com>
1115 * prj-attr.adb, projects.texi, snames.ads-tmpl: Remove Build_Slaves
1118 2013-04-11 Ed Schonberg <schonberg@adacore.com>
1120 * exp_ch3.adb (Build_Equivalent_Aggregate): Subsidiary of
1121 Expand_N_Object_Declaration, used to construct an aggregate
1122 with static components whenever possible, so that objects of a
1123 discriminated type can be initialized without calling the init.
1126 2013-04-11 Vincent Celier <celier@adacore.com>
1128 * prj-makr.adb (Process_Directory): On VMS, always delete,
1129 then recreate the temporary file with Create_Output_Text_File,
1130 otherwise the output redirection does not work properly.
1132 2013-04-11 Eric Botcazou <ebotcazou@adacore.com>
1134 * urealp.ads: Fix minor typo.
1136 2013-04-11 Fabien Chouteau <chouteau@adacore.com>
1138 * cio.c (mktemp): Don't use tmpnam function from the
1139 system on VxWorks in kernel mode.
1141 2013-04-11 Vincent Celier <celier@adacore.com>
1143 * make.adb (Compile): Clarify the error message reported
1144 when gnatmake refuses to compile a runtime source.
1145 (Start_Compile_If_Possible): Ditto.
1147 2013-04-11 Vincent Celier <celier@adacore.com>
1149 * gnat_ugn.texi: Add documentation about -gnatc and gnatmake.
1151 2013-04-11 Vincent Celier <celier@adacore.com>
1153 * switch-c.adb: Document internal switches.
1154 * usage.adb: Remove lines for internal switches: -gnatea, -gnateO,
1155 -gnatez and -gnateO.
1157 2013-04-11 Ed Schonberg <schonberg@adacore.com>
1159 * par-ch6.adb (P_Subprogram): Attach aspects to subprogram stub.
1160 * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Allow aspects on
1162 * sem_ch13.adb (Analyze_Aspect_Specifications): Analyze generated
1163 pre/post pragmas at once before analyzing the proper body.
1164 * sem_prag.adb (Chain_PPC): Handle pragma that comes from an
1165 aspect on a subprogram stub.
1166 * aspects.adb: Aspect specifications can appear on a
1167 subprogram_Body_Stub.
1169 2013-04-11 Vincent Celier <celier@adacore.com>
1171 * gnatname.adb: Minor comment fix.
1173 2013-04-11 Vincent Celier <celier@adacore.com>
1175 * prj-makr.adb (Process_Directory): Create a new temporary
1176 file for each invocation of the compiler, in directory pointed
1177 by environment variable TMPDIR if it exists.
1179 2013-04-11 Arnaud Charlet <charlet@adacore.com>
1181 * gnat_ugn.texi: Minor editing/clean ups.
1183 2013-04-11 Ed Schonberg <schonberg@adacore.com>
1185 * sem_ch6.adb (Analyze_Null_Procedure): New subprogram, mostly
1186 extracted from Analyze_Subprogram_Declaration, to handle null
1187 procedure declarations that in ada 2012 can be completions of
1188 previous declarations.
1190 2013-04-11 Hristian Kirtchev <kirtchev@adacore.com>
1192 * sem_prag.adb (Entity_Of): Moved to Exp_Util.
1193 * exp_util.ads, exp_util.adb (Entity_Of): New routine.
1195 2013-04-11 Robert Dewar <dewar@adacore.com>
1197 * g-spipat.ads: Minor comment fix.
1199 2013-04-11 Robert Dewar <dewar@adacore.com>
1201 * sem_prag.adb, sem_util.adb, sem_res.adb, exp_ch4.adb: Minor
1204 2013-04-11 Thomas Quinot <quinot@adacore.com>
1206 * exp_util.ads (Fully_Qualified_Name_String): Document that the
1207 constructed literal is the entity name in all upper case.
1209 2013-04-11 Thomas Quinot <quinot@adacore.com>
1211 * sem_util.adb (Set_Entity_With_Style_Check): Fix logic of
1212 check for implementation defined identifiers.
1214 2013-04-11 Yannick Moy <moy@adacore.com>
1216 * checks.adb (Apply_Type_Conversion_Checks): Add an explanation
1217 of why range check and length are put on different nodes.
1218 * exp_ch4.adb (Apply_Type_Conversion_Checks): Remove check marks
1219 when doing their expansion.
1221 2013-04-11 Ed Schonberg <schonberg@adacore.com>
1223 * sem_util.ads, sem_util.adb (Get_Incomplete_View_Of_Ancestor):
1224 New function to implement the notion introduced in RM 7.3.1
1225 (5.2/3): in a child unit, a derived type is within the derivation
1226 class of an ancestor declared in a parent unit, even if there
1227 is an intermediate derivation that does not see the full view
1229 * sem_res.adb (Valid_Conversion): if all else fails, examine if an
1230 incomplete view of an ancestor makes a numeric conversion legal.
1232 2013-04-11 Ed Schonberg <schonberg@adacore.com>
1234 * sem_ch6.adb: in Ada2012 operators can only have in
1237 2013-04-11 Vincent Celier <celier@adacore.com>
1239 * makeutl.adb (Create_Binder_Mapping_File): Do not put into
1240 the mapping file ALI files of sources that have been replaced.
1242 2013-04-11 Vincent Celier <celier@adacore.com>
1244 * projects.texi: Add subsection Duplicate Sources in Projects.
1246 2013-04-11 Vincent Celier <celier@adacore.com>
1248 * gnat_ugn.texi: Add documentation for gnatmake switch -droot_dir/**
1250 2013-04-11 Arnaud Charlet <charlet@adacore.com>
1252 * init.c (__gnat_install_handler): Only set up an alternate
1253 stack when installing a signal handler for SIGSEGV.
1255 2013-04-11 Thomas Quinot <quinot@adacore.com>
1257 * g-socket.adb (Connect_Socket, timeout version): Call
1258 underlying connect operation directly, not through the 2-argument
1259 Connect_Socket thick binding, in order to avoid raising a junk
1260 exception for the EINPROGRESS return.
1262 2013-04-11 Robert Dewar <dewar@adacore.com>
1264 * a-cdlili.adb: Minor addition of pragma Warnings (Off).
1266 2013-04-11 Robert Dewar <dewar@adacore.com>
1268 * hostparm.ads: Minor reformatting.
1270 2013-04-11 Hristian Kirtchev <kirtchev@adacore.com>
1272 * aspects.ads, aspects.adb: Add Aspect_Depends to all the relevant
1274 * elists.ads, elists.adb (Contains): New routine.
1275 * par-prag.adb: Pragma Depends does not need any special treatment
1277 * sem_ch13.adb (Analyze_Aspect_Specifications):
1278 Transform aspect Depends into a corresponding pragma.
1279 (Check_Aspect_At_Freeze_Point): Aspect Depends does not need
1280 inspection at its freeze point.
1281 * sem_prag.adb (Analyze_Pragma): Perform analysis and
1282 normalization of pragma Depends. Remove the use of function
1283 Is_Duplicate_Item. Use End_Scope to uninstalle the formal
1284 parameters of a subprogram. Add a value for pragma Depends in
1286 (Is_Duplicate_Item): Removed.
1287 * snames.ads-tmpl: Add predefined name for Depends as well as
1288 a pragma identifier.
1290 2013-04-11 Arnaud Charlet <charlet@adacore.com>
1292 * gnat1drv.adb: Minor code clean up.
1294 2013-04-11 Arnaud Charlet <charlet@adacore.com>
1296 * debug.adb, sem_ch13.adb (Analyze_Enumeration_Representation_Clause):
1297 Ignore enumeration rep clauses by default in CodePeer mode, unless
1298 -gnatd.I is specified.
1300 2013-04-11 Ed Schonberg <schonberg@adacore.com>
1302 * sem_util.adb (Safe_To_Capture_Value): If the node belongs to
1303 an expression that has been attached to the else_actions of an
1304 if-expression, the capture is not safe.
1306 2013-04-11 Yannick Moy <moy@adacore.com>
1308 * checks.adb (Apply_Type_Conversion_Checks): Put check mark on type
1309 conversion for arrays.
1311 2013-04-11 Robert Dewar <dewar@adacore.com>
1313 * a-cdlili.adb, a-cidlli.adb, a-cbdlli.adb: Minor reformatting.
1315 2013-04-11 Johannes Kanig <kanig@adacore.com>
1317 * adabkend.adb: Minor comment addition.
1319 2013-04-11 Matthew Heaney <heaney@adacore.com>
1321 * a-cdlili.adb, a-cidlli.adb, a-cbdlli.adb ("="): Increment
1322 lock counts before entering loop.
1324 (Is_Sorted, Merge, Sort): Ditto.
1325 (Reverse_Find): Ditto.
1326 (Splice_Internal): Internal operation to refactor splicing logic.
1327 (Splice): Some logic moved into Splice_Internal.
1329 2013-04-11 Johannes Kanig <kanig@adacore.com>
1331 * adabkend.adb (Scan_Compiler_Arguments): Do not call
1332 Set_Output_Object_File_Name in Alfa_Mode
1333 * gnat1drv.adb (Adjust_Global_Switches): Take Alfa_Mode into account.
1334 * opt.ads: Fix documentation.
1336 2013-04-11 Robert Dewar <dewar@adacore.com>
1338 * sem_res.adb: Minor code reorganization and comment fixes.
1339 * sem_type.adb: Minor reformatting.
1341 2013-04-11 Hristian Kirtchev <kirtchev@adacore.com>
1343 * exp_ch4.adb (Process_Transient_Object): Add new
1344 local variable Fin_Call. Remove and explain ??? comment. Use the
1345 Actions of logical operators "and then" and "or else" to insert
1346 the generated finalization call.
1348 2013-04-11 Eric Botcazou <ebotcazou@adacore.com>
1350 * gnat_rm.texi: Fix typo.
1352 2013-04-11 Ed Schonberg <schonberg@adacore.com>
1354 * sem_res.adb: Minor reformatting.
1356 2013-04-11 Robert Dewar <dewar@adacore.com>
1358 * atree.h: Add declarations for Flag255-Flag289 Fix declaration
1359 of Field30 (was wrong, but no effect, since not yet referenced by
1360 back end) Add declarations for Field31-Field35 Add declarations
1362 * einfo.ads, einfo.adb (Has_Invariants): No longer applies to
1364 (Has_Predicates): No longer applies to functions.
1365 (Is_Predicate_Function): New flag.
1366 (Is_Predicate_Function_M): New flag.
1367 (Is_Invariant_Procedure): New flag.
1368 (Predicate_Function_M): New function.
1369 (Set_Predicate_Function_M): New procedure.
1370 * exp_ch11.adb (Expand_N_Raise_Expression): Take care of special
1371 case of appearing in predicate used for membership test.
1372 * exp_ch3.adb (Insert_Component_Invariant_Checks): Set
1373 Is_Invariant_Procedure flag.
1374 * exp_ch4.adb (Expand_Op_In): Call special predicate function
1375 that takes care of raise_expression nodes in the predicate.
1376 * exp_util.ads, exp_util.adb (Make_Predicate_Call): Add argument Mem for
1378 * sem_ch13.adb (Build_Predicate_Functions): New name for
1379 Build_Predicate_Function. Major rewrite to take care of raise
1380 expression in predicate for membership tests.
1381 * sem_res.adb (Resolve_Actuals): Include both predicate functions
1382 in defense against infinite predicate function loops.
1383 * sinfo.ads, sinfo.adb (Convert_To_Return_False): New flag.
1385 2013-04-11 Robert Dewar <dewar@adacore.com>
1387 * sem_prag.adb: Minor reformatting.
1389 2013-04-11 Ed Schonberg <schonberg@adacore.com>
1391 * lib-xref.adb: Generate reference for component of anonymous
1394 2013-04-11 Robert Dewar <dewar@adacore.com>
1396 * stand.ads: Minor reformatting.
1398 2013-04-11 Matthew Heaney <heaney@adacore.com>
1400 * a-convec.adb, a-coinve.adb, a-cobove.adb ("="): Increment lock
1401 counts before entering loop.
1402 (Find, Find_Index): Ditto.
1403 (Is_Sorted, Merge, Sort): Ditto.
1404 (Reverse_Find, Reverse_Find_Index): Ditto.
1406 2013-04-11 Robert Dewar <dewar@adacore.com>
1408 * exp_ch11.ads, exp_ch11.adb (Expand_N_Raise_Expression): New procedure.
1409 * exp_util.adb (Insert_Actions): Add entry for N_Raise_Expression.
1410 * expander.adb: Add call to Expand_N_Raise_Expression.
1411 * par-ch11.adb (P_Raise_Expression): New procedure.
1412 * par-ch4.adb (P_Relation): Handle Raise_Expression.
1413 * par.adb (P_Raise_Expression): New procedure.
1414 * sem.adb: Add handling for N_Raise_Expression.
1415 * sem_ch11.ads, sem_ch11.adb (Analyze_Raise_Expression): New procedure.
1416 * sem_res.adb (Resolve): Add handling for N_Raise_Expression.
1417 * sinfo.ads, sinfo.adb (N_Raise_Expression): New node.
1418 * sprint.adb (Sprint_Node_Actual): Add handling for N_Raise_Expression.
1419 * stand.ads (Any_Type): Document use with N_Raise_Expression.
1421 2013-04-11 Vincent Celier <celier@adacore.com>
1423 * gnat_ugn.texi: Remove section "The Development Environments"
1424 now that all predefined attributes are documented, including
1425 those in package IDE.
1427 2013-04-11 Ed Schonberg <schonberg@adacore.com>
1429 * sem_ch6.adb: Preserve parent link in copy of expression.
1431 2013-04-11 Vincent Celier <celier@adacore.com>
1433 * projects.texi: Complete rewrite of the subsection Attributes
1434 in section "Project file Reference".
1436 2013-04-11 Robert Dewar <dewar@adacore.com>
1438 * exp_ch4.adb: Minor reformatting.
1440 2013-04-11 Robert Dewar <dewar@adacore.com>
1442 * exp_ch4.adb (Expand_Concatenate): Remove wrapping in
1443 expression-with-actions node. No longer needed given fix to
1444 sem_prag and caused loss of some useful warnings.
1445 * sem.ads: Minor reformatting.
1446 * sem_prag.adb (Check_Disabled): Removed, to be replaced by not
1447 Check_Enabled. These two routines were curiously incompatible
1449 (Analyze_Pragma, case Check): Make sure we do
1450 not expand the string argument if the check is disabled. Avoid
1451 use of Check_Disabled, which resulted in missing analysis in
1453 * sem_prag.ads (Check_Disabled): Removed, to be replaced by not
1454 Check_Enabled. These two routines were curiously incompatible
1457 2013-04-11 Hristian Kirtchev <kirtchev@adacore.com>
1459 * exp_ch4.adb (Process_Transient_Object): Use
1460 an unchecked conversion when associating a transient controlled
1461 object with its "hook".
1463 2013-04-11 Ed Schonberg <schonberg@adacore.com>
1465 * sem_prag.adb (Analyze_Pragma, case
1466 Preelaborable_Initialization): The pragma is legal if it comes
1467 from an aspect on the private view of the type, even though its
1468 analysis point takes place later at the freeze point.
1470 2013-04-11 Robert Dewar <dewar@adacore.com>
1472 * sem_ch6.adb: Minor reformatting.
1474 2013-04-11 Yannick Moy <moy@adacore.com>
1476 * ali-util.adb (Read_Withed_ALIs): Do not consider it an error to
1477 read ALI files with No_Object=True in Alfa mode.
1478 * gnat1drv.adb: Set appropriately Back_End_Mode in Alfa mode, whether
1479 this is during frame condition generation of translation to Why.
1481 2013-04-11 Robert Dewar <dewar@adacore.com>
1483 * exp_ch4.adb: Minor code reorganization
1484 * types.ads: Minor reformatting.
1486 2013-04-11 Johannes Kanig <kanig@adacore.com>
1488 * opt.ads New global boolean Frame_Condition_Mode to avoid
1489 referring to command line switch.
1490 * gnat1drv.adb (Gnat1drv) set frame condition mode when -gnatd.G
1491 is present, and disable Code generation in that case. Disable
1492 ALI file generation when switch is *not* present.
1494 2013-04-11 Ed Schonberg <schonberg@adacore.com>
1496 * sem_ch6.adb (Analyze_Expression_Function): Perform the
1497 pre-analysis on a copy of the expression, to prevent downstream
1498 visbility issues involving operators and instantiations.
1500 2013-04-11 Johannes Kanig <kanig@adacore.com>
1502 * debug.adb: Reservation and documentation for -gnatd.G switch.
1503 * gnat1drv.adb (Adjust_Global_Switches) Take into account -gnatd.G
1504 switch, and set ALI file generation accordingly.
1506 2013-04-11 Robert Dewar <dewar@adacore.com>
1508 * exp_ch4.adb, exp_dist.adb: Minor reformatting.
1509 * gnat_rm.texi, gnat_ugn.texi: -020 Add documentation clarifying that
1510 check names introduced with pragma Check_Name are suppressed by -gnatp.
1512 2013-04-11 Vincent Celier <celier@adacore.com>
1514 * gnat_ugn.texi, projects.texi: Move chapter "Tools Supporting Project
1515 Files" from projects.texi to gnat_ugn.texi.
1517 2013-04-11 Arnaud Charlet <charlet@adacore.com>
1519 * gcc-interface/Make-lang.in: Update dependencies.
1521 2013-04-11 Yannick Moy <moy@adacore.com>
1523 * gnat1drv.adb (Adjust_Global_Switches): Allow missing body in Alfa
1526 2013-04-11 Hristian Kirtchev <kirtchev@adacore.com>
1528 * exp_ch4.adb (Expand_N_Allocator): Detect the
1529 allocation of an anonymous controlled object where the type of
1530 the context is named. Use the pool and finalization master of
1531 the named access type to allocate the object.
1533 2013-04-11 Vincent Celier <celier@adacore.com>
1535 * gnat_ugn.texi: Remove most mentions of gprbuild.
1536 * projects.texi: Remove all mentions of asociative array
1539 2013-04-11 Robert Dewar <dewar@adacore.com>
1541 * sem_prag.adb, sem_attr.adb, gnat1drv.adb, prj-makr.adb,
1542 opt.ads, sem_ch13.adb: Minor reformatting.
1543 * debug.adb: Minor comment fix (remove junk .I doc).
1545 2013-04-11 Thomas Quinot <quinot@adacore.com>
1547 * rtsfind.ads, exp_dist.adb, exp_dist.ads (Rtsfind.PCS_Version, case
1548 PolyORB): Bump to 6.
1549 (Exp_Dist.PolyORB_Support): Replace TC_Build with
1552 2013-04-11 Arnaud Charlet <charlet@adacore.com>
1554 * debug.adb, sem_prag.adb, par-ch2.adb, sem_attr.adb, gnat1drv.adb,
1555 exp_disp.adb, opt.ads, sem_ch13.adb (Relaxed_RM_Semantics): New flag.
1556 Enable this flag in CodePeer mode, and also via -gnatd.M.
1557 Replace some uses of CodePeer_Mode by Relaxed_RM_Semantics.
1559 2013-04-11 Ed Schonberg <schonberg@adacore.com>
1561 * sem_ch8.adb (Check_Constrained_Object): If a subtype is created
1562 from the renamed object in an object renaming declaration with
1563 an unconstrained nominal subtype, freeze the created subtype at
1564 once, to prevent order of elaboration issues in the backend.
1566 2013-04-11 Arnaud Charlet <charlet@adacore.com>
1568 * exp_aggr.adb (Aggr_Size_OK): Refine setting of Max_Aggr_Size
1569 in particular in CodePeer mode.
1571 2013-04-11 Vincent Celier <celier@adacore.com>
1573 * gnat_ugn.texi: Add documentation for backup copies of project
1576 2013-04-11 Tristan Gingold <gingold@adacore.com>
1578 * gnat_rm.texi: Add Detect_BLocking in the ravenscar profile
1581 2013-04-11 Vincent Celier <celier@adacore.com>
1583 * gnatname.adb (Scan_Args): Recognize new switch --no-backup
1584 (Usage): Add line for --no-backup.
1585 * opt.ads (No_Backup): New Boolean variable, initialized to False.
1586 (Ada_Version_Default): Switch to Ada 2012 by default.
1587 * prj-makr.adb (Initialize): Create a backup for an existing
1588 project file if gnatname is not invoked with --no-backup.
1590 2013-04-11 Thomas Quinot <quinot@adacore.com>
1592 * exp_ch4.adb: Minor code improvement: replace various calls to
1593 Make_If_Statement in expansion with Make_Implicit_If_Statement.
1595 2013-04-11 Eric Botcazou <ebotcazou@adacore.com>
1597 * ali.adb: Fix minor typo.
1599 2013-04-11 Thomas Quinot <quinot@adacore.com>
1601 * exp_ch4.adb (Find_Enclosing_Context): Add missing case of
1602 N_Procedure_Call_Statement.
1604 2013-04-11 Robert Dewar <dewar@adacore.com>
1606 * debug.adb: Minor comment fix.
1608 2013-04-11 Johannes Kanig <kanig@adacore.com>
1610 * debug.adb: Remove comment for -gnatd.G.
1612 2013-04-11 Thomas Quinot <quinot@adacore.com>
1614 * exp_ch4.adb (Expand_Record_Equality.Suitable_Element):
1615 Remove recursive routine, replace with...
1616 (Expand_Record_Equality.Element_To_Compare): New subroutine,
1617 implement iterative search for next element to compare.
1618 Add explanatory comment in the tagged case.
1620 2013-04-11 Ed Schonberg <schonberg@adacore.com>
1622 * sem_ch5.adb: remove spurious warning from non-empty loop.
1623 * sem_ch8.adb (Enclosing_Instance): Make public to other routines
1624 in the package, in order to suppress redundant semantic checks
1625 on subprogram renamings in nested instantiations.
1627 2013-04-11 Robert Dewar <dewar@adacore.com>
1629 * errout.ads: Minor reformatting.
1630 * sem_eval.adb (Why_Not_Static): Now issues continuation messages
1631 (Why_Not_Static): Test for aggregates behind string literals.
1632 * sem_eval.ads (Why_Not_Static): Now issues continuation messages.
1634 2013-04-11 Robert Dewar <dewar@adacore.com>
1636 * exp_ch4.adb (Expand_Concatenation): Wrap expansion in
1637 Expressions_With_Actions.
1639 2013-04-11 Ed Schonberg <schonberg@adacore.com>
1641 * sem_ch6.adb (Base_Types_Match): For an actual type in an
1642 instance, the base type may itself be a subtype, so find true
1643 base type to determine compatibility.
1645 2013-04-11 Robert Dewar <dewar@adacore.com>
1647 * s-osprim-mingw.adb, sem_ch3.adb, sem_prag.adb, sem_util.adb.
1648 makeutl.adb, sem_ch8.adb: Minor reformatting.
1650 2013-04-11 Vincent Celier <celier@adacore.com>
1652 * gnat_ugn.texi: Minor fixes for VMS.
1653 * ug_words: Minor addition: -gnato? => /OVERFLOW_CHECKS=?.
1655 2013-04-11 Robert Dewar <dewar@adacore.com>
1657 * usage.adb (Usage): Minor edit to -gnatW message
1659 2013-04-11 Robert Dewar <dewar@adacore.com>
1661 * exp_aggr.adb (Expand_N_Aggregate): Add circuit for handling
1662 others for string literal case. Also add big ??? comment about
1663 this new code, which should be redundant, but is not.
1664 * sem_eval.adb (Eval_Concatenation): Handle non-static case
1665 properly (Eval_String_Literal): Handle non-static literal properly
1667 2013-03-20 Tobias Burnus <burnus@net-b.de>
1669 * i-fortra.ads: Update comment, add Ada 2012's optional
1670 Star and Kind data types for enhanced interoperability.
1672 2013-03-16 Eric Botcazou <ebotcazou@adacore.com>
1674 * gnatvsn.ads (Library_Version): Bump to 4.9.
1676 2013-03-08 Cesar Strauss <cestrauss@gmail.com>
1679 * seh_init.c (Raise_From_Signal_Handler): Declare as no-return.
1680 (__gnat_SEH_error_handler): Likewise. Remove final return.
1682 2013-03-06 Eric Botcazou <ebotcazou@adacore.com>
1684 * gcc-interface/trans.c (Attribute_to_gnu): Abort instead of erroring
1685 out for an unimplemented attribute.
1687 2013-03-06 Eric Botcazou <ebotcazou@adacore.com>
1689 * gcc-interface/decl.c (gnat_to_gnu_field): Remove the wrapper around
1690 a misaligned integral type if a size is specified for the field.
1692 2013-03-06 Eric Botcazou <ebotcazou@adacore.com>
1694 * gcc-interface/trans.c (Raise_Error_to_gnu) <CE_Index_Check_Failed>:
1695 Record the unpadded type of the index type on the RCI stack.
1697 2013-03-06 Eric Botcazou <ebotcazou@adacore.com>
1699 * gcc-interface/trans.c (emit_range_check): Assert that the range type
1700 is a numerical type and remove useless local variables.
1702 2013-02-25 Eric Botcazou <ebotcazou@adacore.com>
1704 * gcc-interface/ada-tree.h: Back out change accidentally committed.
1706 2013-02-21 Jakub Jelinek <jakub@redhat.com>
1709 * gnat-style.texi (@title): Remove @hfill.
1710 * projects.texi: Avoid line wrapping inside of @pxref or @xref.
1712 2013-02-14 Rainer Emrich <rainer@emrich-ebersheim.de>
1715 * tracebak.c: Cast from pointer via FARPROC.
1717 2013-02-07 Simon Wright <simon@pushface.org>
1720 * init.c (__darwin_major_version): New function for x86-64/Darwin.
1721 (__gnat_adjust_context_for_raise) [Darwin]: Disable the workaround
1722 on Darwin 12 and above.
1724 2013-02-06 Rainer Emrich <rainer@emrich-ebersheim.de>
1727 * adaint.c (__gnat_check_OWNER_ACL): Cast from pointer via
1728 SECURITY_DESCRIPTOR *
1729 (__gnat_set_OWNER_ACL): Cast from DWORD to ACCESS_MODE
1730 (__gnat_portable_spawn): Fix cast to char* const*
1731 (add_handle): Cast from pointer via void **
1732 (add_handle): Cast from pointer via int *
1733 (__gnat_locate_exec_on_path): Cast from pointer via TCHAR *
1734 (__gnat_locate_exec_on_path): Cast from pointer via char *
1735 * initialize.c (append_arg): Cast from pointer via LPWSTR
1736 (__gnat_initialize): Cast from pointer via LPWSTR
1737 * seh_init.c (__gnat_map_SEH): Cast from pointer via FARPROC
1739 2013-02-06 Hristian Kirtchev <kirtchev@adacore.com>
1741 * gcc-interface/Make-lang.in: Enable System.Stack_Checking.Operations
1742 target pairs on VxWorks 5 only.
1744 2013-02-06 Arnaud Charlet <charlet@adacore.com>
1746 * gcc-interface/Make-lang.in: Update dependencies.
1748 2013-02-06 Vincent Celier <celier@adacore.com>
1750 * prj-proc.adb (Process_Aggregated_Projects): Use a new project
1751 node tree for each project tree rooted at an aggregated project.
1753 2013-02-06 Hristian Kirtchev <kirtchev@adacore.com>
1755 * sem_util.adb (Is_Interface_Conversion): New routine.
1756 (Object_Access_Level): Detect an interface conversion
1757 that has been rewritten into a different construct. Use the
1758 original form of the conversion to find the access level of
1761 2013-02-06 Eric Botcazou <ebotcazou@adacore.com>
1763 * einfo.ads (Has_Pragma_No_Inline): New flag using Flag201.
1764 (Has_Pragma_No_Inline): Declare and mark as inline.
1765 (Set_Has_Pragma_No_Inline): Likewise.
1766 * einfo.adb (Has_Pragma_No_Inline): New function.
1767 (Set_Has_Pragma_No_Inline): New procedure.
1768 (Write_Entity_Flags): Handle Has_Pragma_No_Inline.
1769 * snames.ads-tmpl (Name_No_Inline): New pragma-related name.
1770 (Pragma_Id): Add Pragma_No_Inline value.
1771 * par-prag.adb (Prag): Handle Pragma_Inline.
1772 * sem_prag.adb (Inline_Status): New enumeration type.
1773 (Process_Inline): Change Active parameter
1774 to Inline_Status and add support for suppressed inlining.
1775 (Analyze_Pragma) <Pragma_Inline>: Adjust to above change.
1776 <Pragma_Inline_Always>: Likewise.
1777 <Pragma_No_Inline>: Implement new pragma No_Inline.
1778 (Sig_Flags): Add Pragma_No_Inline.
1779 * gnat_rm.texi (Implementation Defined Pragmas): Add No_Inline.
1780 * gnat_ugn.texi (Switches for gcc): Mention Pragma No_Inline.
1782 2013-02-06 Pascal Obry <obry@adacore.com>
1784 * s-osprim-mingw.adb (Clock): Make sure we copy all data locally
1785 to avoid interleaved modifications that could happen from another
1786 task calling Get_Base_Data.
1787 (Get_Base_Data): Make it a critical section. Avoid updating if another
1788 task has already done it.
1790 2013-02-06 Eric Botcazou <ebotcazou@adacore.com>
1792 * sem_prag.adb: Minor reformatting.
1794 2013-02-06 Pascal Obry <obry@adacore.com>
1796 * s-tasloc.ads: Set System.Task_Lock to preelaborate.
1798 2013-02-06 Eric Botcazou <ebotcazou@adacore.com>
1800 * snames.ads-tmpl (Name_Loop_Optimize, Name_No_Unroll,
1801 Name_Unroll, Name_No_Vector, Name_Vector): New pragma-related
1803 (Pragma_Id): Add Pragma_Loop_Optimize value.
1804 * par-prag.adb (Prag): Handle Pragma_Loop_Optimize.
1805 * sem_prag.adb (Check_Loop_Invariant_Variant_Placement): Rename to...
1806 (Check_Loop_Pragma_Placement): ...this.
1808 <Pragma_Loop_Invariant>: Adjust to above renaming.
1809 <Loop_Variant>: Likewise.
1810 <Pragma_Loop_Optimize>: Implement new pragma Loop_Optimize.
1811 (Sig_Flags): Add Pragma_Loop_Optimize.
1812 * gnat_rm.texi (Implementation Defined Pragmas): Add Loop_Optimize.
1813 * gnat_ugn.texi (Vectorization of loops): Mention Loop_Optimize.
1815 2013-02-06 Robert Dewar <dewar@adacore.com>
1817 * osint.ads: Minor fix of typo.
1819 2013-02-06 Sergey Rybin <rybin@adacore.com frybin>
1821 * gnat_ugn.texi: gnatmetric: update the documentation of
1822 complexity metrics for Ada 2012.
1824 2013-02-06 Javier Miranda <miranda@adacore.com>
1826 * exp_disp.adb (Make_Secondary_DT): Code cleanup:
1827 remove useless initialization.
1829 2013-02-06 Ed Schonberg <schonberg@adacore.com>
1831 * sem_ch3.adb (Build_Discriminant_Constraints): Do not
1832 generate overflow checks on a discriminant expression if the
1833 discriminant constraint is applied to a private type that has
1834 a full view, because the check will be applied when the full
1835 view is elaborated. Removing the redundant check is not just
1836 an optimization, but it prevents spurious assembler errors,
1837 because of the way the backend generates names for expressions
1838 that require overflow checking.
1840 2013-02-06 Pascal Obry <obry@adacore.com>
1842 * s-osprim-mingw.adb: Removes workaround for an old GNU/Linker
1843 limitation on Windows.
1853 (Clock): Use variable corresponding to access.
1854 (Get_Base_Time): Likewise.
1855 (Monotonic_Clock): Likewise.
1857 2013-02-06 Vincent Celier <celier@adacore.com>
1859 * make.adb (Gnatmake): When gnatmake is called with a project
1860 file, do not invoke gnatbind with -I-.
1861 * makeutl.adb (Create_Binder_Mapping_File): Rewrite function. Get
1862 the infos from all the sources.
1864 2013-02-06 Ed Schonberg <schonberg@adacore.com>
1866 * snames.ads-tmpl: Add Name_Overriding_Renamings and pragma
1867 Overriding_Renamings.
1868 * par-prag.adb: Recognize pragma Overriding_Renamings.
1869 * opt.ads (Overriding_Renamings): flag to control compatibility
1870 mode with Rational compiler, replaces Rational_Profile flag.
1871 * sem_ch8.adb (Analyze_Subprogram_Renaming): When
1872 Overriding_Renamings is enabled, accept renaming declarations
1873 where the new subprogram renames and overrides a locally inherited
1874 operation. Improve error message for some illegal renamings.
1875 * sem_prag.adb (Analyze_Pragma): Add case for Overriding_Renamings.
1876 (Set_Rational_Profile): The Rational_Profile enables
1877 Overriding_Renamings, Implicit_Packing, and Use_Vads_Size.
1879 2013-02-06 Ed Schonberg <schonberg@adacore.com>
1881 * sem_util.adb: Set parent of copied aggregate component, to
1882 prevent infinite loop.
1884 2013-02-06 Robert Dewar <dewar@adacore.com>
1886 * sem_ch3.adb, sem_ch10.adb: Minor reformatting.
1887 * exp_disp.adb: Minor comment update.
1888 * comperr.ads, osint.ads, rtsfind.adb, sem_prag.adb: Minor addition of
1891 2013-02-06 Thomas Quinot <quinot@adacore.com>
1893 * targparm.ads, sem_ch13.adb (Support_Nondefault_SSO): New target
1894 parameter, defaulted to False for now, indicates targets where
1895 non-default scalar storage order may be specified.
1897 2013-02-06 Thomas Quinot <quinot@adacore.com>
1899 * sprint.adb (Write_Itype): Treat E_Record_Subtype_With_Private
1900 same as E_Record_Subtype. Display E_Class_Wide_Subtype as
1903 2013-02-06 Hristian Kirtchev <kirtchev@adacore.com>
1905 * sem_ch3.adb (Complete_Private_Subtype): Inherit the
1906 Has_Unknown_Discriminants from the full view of the base type.
1908 2013-02-06 Tristan Gingold <gingold@adacore.com>
1910 * raise-gcc.c: Remove useless includes (sys/stat.h, adaint.h)
1911 Enclosing debugging functions within #ifndef inhibit_libc to
1912 support builds without full C headers.
1914 2013-02-06 Thomas Quinot <quinot@adacore.com>
1916 * gnat_rm.texi: Add a minimal example of Scalar_Storage_Order.
1918 2013-02-06 Hristian Kirtchev <kirtchev@adacore.com>
1920 * sem_ch10.adb (Install_Limited_Withed_Unit): Add a missing
1921 check to detect a parent-child relationship between two units in
1922 order to correctly bypass the installation of a limited view. In
1923 other words, the comment on the intended usage of the check was
1924 correct, but the code itself did not reflect the behavior.
1926 2013-02-06 Javier Miranda <miranda@adacore.com>
1928 * exp_ch5.adb (Expand_N_Assignment_Statement): Do not generate the
1929 runtime check on assignment to tagged types if compiling with checks
1932 2013-02-06 Robert Dewar <dewar@adacore.com>
1934 * exp_util.adb, checks.adb, sem_ch12.adb, sem_res.adb, prj-conf.adb,
1935 s-os_lib.adb: Minor reformatting
1937 2013-02-06 Vincent Celier <celier@adacore.com>
1939 * ug_words: Add -gnateY = /IGNORE_STYLE_CHECKS_PRAGMAS.
1941 2013-02-06 Ed Schonberg <schonberg@adacore.com>
1943 * snames.ads-tmpl: Add Name_Rational and pragma Rational.
1944 * par-prag.adb: Recognize pragma Rational.
1945 * opt.ads (Rational_Profile): flag to control compatibility mode
1946 with Rational compiler.
1947 * sem_ch8.adb (Analyze_Subprogram_Renaming): When Rational profile
1948 is enable, accept renaming declarations where the new subprogram
1949 and the renamed entity have the same name.
1950 * sem_prag.adb (analyze_pragma): Add pragma Rational, and recognize
1951 Rational as a profile.
1953 2013-02-06 Hristian Kirtchev <kirtchev@adacore.com>
1955 * exp_ch5.adb (Expand_Loop_Entry_Attributes): When
1956 dealing with a for loop that iterates over a subtype indication
1957 with a range, use the low and high bounds of the subtype.
1959 2013-02-06 Nicolas Roche <roche@adacore.com>
1961 * s-os_lib.adb (Normalize_Arguments): Arguments containing tabs should
1964 2013-02-06 Vincent Celier <celier@adacore.com>
1966 * prj-conf.adb (Process_Project_And_Apply_Config): New variable
1967 Conf_Project. New recursive procedure Check_Project to find a non
1968 aggregate project and put its Project_Id in Conf_Project. Fails if
1969 no such project can be found.
1970 (Get_Or_Create_Configuration_File): New parameter Conf_Project.
1971 (Do_Autoconf): Use project directory of project Conf_Project to store
1972 the generated configuration project file.
1973 * prj-conf.ads (Get_Or_Create_Configuration_File): New parameter
1976 2013-02-06 Javier Miranda <miranda@adacore.com>
1978 * sem_res.adb (Resolve_Actuals): Generate a read
1979 reference for out-mode parameters in the cases specified by
1982 2013-02-06 Hristian Kirtchev <kirtchev@adacore.com>
1984 * sem_attr.adb (Resolve_Attribute): Do not resolve the prefix of
1985 Loop_Entry, instead wait until the attribute has been expanded. The
1986 delay ensures that any generated checks or temporaries are inserted
1987 before the relocated prefix.
1989 2013-02-06 Ed Schonberg <schonberg@adacore.com>
1991 * sem_ch12.adb: Code clean up.
1993 2013-02-06 Ed Schonberg <schonberg@adacore.com>
1995 * checks.adb (Apply_Discriminant_Check): Look for discriminant
1996 constraint in full view of private type when needed.
1997 * sem_ch12.adb (Validate_Array_Type_Instance): Specialize
1998 previous patch to components types that are private and without
2001 2013-02-06 Hristian Kirtchev <kirtchev@adacore.com>
2003 * exp_ch4.adb (Find_Enclosing_Context): Recognize
2004 a simple return statement as one of the cases that require special
2005 processing with respect to temporary controlled function results.
2006 (Process_Transient_Object): Do attempt to finalize a temporary
2007 controlled function result when the associated context is
2008 a simple return statement. Instead, leave this task to the
2009 general finalization mechanism.
2011 2013-02-06 Thomas Quinot <quinot@adacore.com>
2013 * einfo.ads: Minor reformatting.
2014 (Status_Flag_Or_Transient_Decl): Add ??? comment.
2016 2013-02-06 Hristian Kirtchev <kirtchev@adacore.com>
2018 * exp_ch4.adb (Expand_N_Expression_With_Actions): Rewritten. This
2019 routine should be able to properly detect controlled transient
2020 objects in its actions and generate the appropriate finalization
2022 * exp_ch6.adb (Enclosing_Context): Removed.
2023 (Expand_Ctrl_Function_Call): Remove local subprogram and
2024 constant. Use routine Within_Case_Or_If_Expression to determine
2025 whether the lifetime of the function result must be extended to
2026 match that of the context.
2027 * exp_util.ads, exp_util.adb (Within_Case_Or_If_Expression): New
2030 2013-02-06 Ed Schonberg <schonberg@adacore.com>
2032 * sem_ch12.adb (Validate_Array_Type_Instance): Extend check
2033 for subtype matching of component type of formal array type,
2034 to avoid spurious error when component type is a separate actual
2035 in the instance, and there may be a discrepancy between private
2036 and full view of component type.
2038 2013-02-06 Robert Dewar <dewar@adacore.com>
2040 * s-dim.ads, clean.adb: Minor reformatting.
2042 2013-02-06 Javier Miranda <miranda@adacore.com>
2044 * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Undo previous patch.
2045 (Can_Split_Unconstrained_Function): Only split the inlined function if
2046 the compiler generates the code of its body.
2048 2013-02-06 Robert Dewar <dewar@adacore.com>
2050 * exp_prag.adb, sem_ch3.adb, exp_attr.adb, sem_prag.adb, sem_ch6.adb,
2051 exp_intr.adb, exp_dist.adb, sem_ch13.adb: Internal clean up for
2054 2013-02-06 Robert Dewar <dewar@adacore.com>
2056 * gnat_rm.texi: Minor text updates for pragma Warning.
2058 2013-02-06 Geert Bosch <bosch@adacore.com>
2060 * s-multip.adb (Number_Of_CPUs): Short-circuit in case of
2063 2013-02-06 Vincent Celier <celier@adacore.com>
2065 * clean.adb (Delete): On VMS use host notation to delete all files.
2067 2013-02-06 Robert Dewar <dewar@adacore.com>
2069 * sem_prag.adb, sem_ch6.adb, prj-conf.adb, erroutc.adb: Minor
2072 2013-02-06 Gary Dismukes <dismukes@adacore.com>
2074 * sem_ch6.adb (Check_For_Primitive_Subprogram): Test for
2075 the special case of a user-defined equality that overrides
2076 the predefined equality of a nonderived type declared in a
2078 * sem_util.adb (Collect_Primitive_Operations): Add test for
2079 Is_Primitive when looping over the subprograms following a type,
2080 to catch the case of primitives such as a user-defined equality,
2081 which otherwise won't be found when the type is not a derived
2082 type and is declared in a declarative part.
2084 2013-02-06 Vincent Celier <celier@adacore.com>
2086 * prj-conf.adb (Check_Target): Always return True when Target
2087 is empty (Get_Or_Create_Configuration_File.Get_Project_Target):
2088 New procedure to get the value of attribute Target in the main
2090 (Get_Or_Create_Configuration_File.Do_Autoconf): No
2091 need to get the value of attribute Target in the main project.
2092 (Get_Or_Create_Configuration_File): Call Get_Project_Target and
2093 use the target fom this call.
2095 2013-02-06 Eric Botcazou <ebotcazou@adacore.com>
2097 * erroutc.adb (Validate_Specific_Warning): Do not issue the
2098 warning about an ineffective Pragma Warnings for -Wxxx warnings.
2099 * sem_prag.adb (Analyze_Pragma) <Warnings>: Accept -Wxxx warnings.
2100 * gnat_rm.texi (Pragma Warnings): Document coordination with
2101 warnings of the GCC back-end.
2103 2013-02-06 Javier Miranda <miranda@adacore.com>
2105 * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Do not build the body
2106 of an inlined function if we do not generate code for the function.
2108 2013-02-06 Pascal Obry <obry@adacore.com>
2110 * s-os_lib.adb (Locate_Exec_On_Path): Call Normalize_Pathname
2111 with Resolve_Links set to False.
2113 2013-02-03 Eric Botcazou <ebotcazou@adacore.com>
2115 * gcc-interface/decl.c: Include diagnostic-core.h.
2116 (gnat_to_gnu_entity) <E_Array_Type>: Sorry if Reverse_Storage_Order
2117 is set on the entity.
2118 <E_Record_Type>: Likewise.
2119 * gcc-interface/Make-lang.in (ada/decl.o): Add $(DIAGNOSTIC_CORE_H).
2121 2013-01-29 Ben Brosgol <brosgol@adacore.com>
2123 * gnat_rm.texi: Fixed typos. Minor edits.
2125 2013-01-29 Bob Duff <duff@adacore.com>
2127 * a-convec.adb: Minor reformatting.
2129 2013-01-29 Pascal Obry <obry@adacore.com>
2131 * tempdir.adb, tempdir.ads (Use_Temp_Dir): Set wether to use the temp
2134 2013-01-29 Ed Schonberg <schonberg@adacore.com>
2136 * exp_ch5.adb (Expand_Iterator_Loop_Over_Array): Preserve loop
2137 identifier only if it comes from source.
2138 (Expand_N_Loop_Statement): If the domain of iteration is an
2139 enumeration type with a representation clause, remove from
2140 visibility the loop identifier before rewriting the loop as a
2141 block with a declaration for said identifier.
2142 * sem_util.adb (Remove_Homonym): Handle properly the default case.
2144 2013-01-29 Vincent Celier <celier@adacore.com>
2146 * prj-proc.adb: Minor comment spelling fix.
2148 2013-01-29 Pascal Obry <obry@adacore.com>
2150 * prj-proc.adb (Process_Expression_Variable_Decl): Prepend
2151 Project_Path to current environment.
2153 2013-01-29 Thomas Quinot <quinot@adacore.com>
2155 * sprint.adb (Sprint_Node_Actual): Output freeze nodes for
2156 itypes even if Dump_Freeze_Null is not set.
2158 2013-01-29 Robert Dewar <dewar@adacore.com>
2160 * sem_util.adb: Minor reformatting.
2161 * s-rident.ads: Minor comment fixes.
2163 2013-01-29 Pascal Obry <obry@adacore.com>
2165 * prj-env.ads, prj-env.adb (Add_Directories): Add parameter to
2166 control if the path is prepended or appended.
2168 2013-01-29 Ed Schonberg <schonberg@adacore.com>
2170 * sem_ch6.adb (Analyze_Expression_Function): An expression
2171 function declaration is not a subprogram declaration, and thus
2172 cannot appear in a protected definition.
2174 2013-01-29 Hristian Kirtchev <kirtchev@adacore.com>
2176 * exp_util.adb (Insert_Actions): When new
2177 actions come from the expression of the expression with actions,
2178 then they must be added to the list of existing actions.
2180 2013-01-29 Eric Botcazou <ebotcazou@adacore.com>
2182 * sem_ch3.adb (Analyze_Subtype_Declaration) <Private_Kind>: For
2183 the subtype of a constrained private type with discriminants
2184 that has got a full view, show that the completion is a clone
2187 2013-01-29 Javier Miranda <miranda@adacore.com>
2189 * errout.ads, errout.adb (Get_Ignore_Errors): New subprogram.
2190 * opt.ads (Warn_On_Overlap): Update documentation.
2191 * sem_aggr.adb (Resolve_Aggregate, Resolve_Extension_Aggregate):
2192 Check function writable actuals.
2193 * sem_ch3.adb (Build_Derived_Record_Type,
2194 Record_Type_Declaration): Check function writable actuals.
2195 * sem_ch4.adb (Analyze_Range): Check function writable actuals.
2196 * sem_ch5.adb (Analyze_Assignment): Remove code of the initial
2197 implementation of AI05-0144.
2198 * sem_ch6.adb (Analyze_Function_Return,
2199 (Analyze_Procedure_Call.Analyze_Call_And_Resolve): Remove code
2200 of the initial implementation of AI05-0144.
2201 * sem_res.adb (Resolve): Remove code of the initial implementation.
2202 (Resolve_Actuals): Call Check_Function_Writable_Actuals and remove call
2203 of the initial implementation.
2204 (Resolve_Arithmetic_Op, Resolve_Logical_Op,
2205 Resolve_Membership_Op): Check function writable actuals.
2206 * sem_util.ad[sb] (Actuals_In_Call): Removed
2207 (Check_Order_Dependence): Removed (Save_Actual): Removed
2208 (Check_Function_Writable_Actuals): New subprogram.
2209 * usage.adb (Usage): Update documentation.
2210 * warnsw.adb (Set_Warning_Switch): Enable warn_on_overlap when
2211 setting all warnings.
2213 2013-01-29 Robert Dewar <dewar@adacore.com>
2215 * a-calend-vms.adb: Minor comment fix.
2217 2013-01-29 Robert Dewar <dewar@adacore.com>
2219 * mlib-utl.adb, gnatlink.adb: Avoid reference to ASCII.Back_Slash
2220 because of casing issues.
2221 * sem_util.ads: Minor comment fix.
2222 * style.adb (Check_Identifier): Set proper casing for entities
2224 * styleg.adb: Minor comment improvement.
2225 * stylesw.ads (Style_Check_Standard): Fix bad comments.
2227 2013-01-29 Hristian Kirtchev <kirtchev@adacore.com>
2229 * sem_prag.adb: Add the grammar for pragmas Abstract_State and Global.
2230 (Analyze_Pragma): Push the scope of the related subprogram and install
2231 its formals once before starting the analysis of the [moded] global
2234 2013-01-29 Pascal Obry <obry@adacore.com>
2236 * prj-proc.adb (Process_Expression_Variable_Decl): Always handle
2237 relative paths in Project_Path as relative to the aggregate
2238 project location. Note that this was what was documented.
2240 2013-01-29 Vincent Celier <celier@adacore.com>
2242 * gnatcmd.adb: For "gnat stub -P ...", do not check the naming
2243 scheme for Ada, when Ada is not a language for the project.
2245 2013-01-29 Ed Schonberg <schonberg@adacore.com>
2247 * sem_ch3.adb (Analyze_Subtype_Declaration): Inherit
2248 Is_Generic_Actual_Type flag in a nested instance.
2249 * sem_ch12.adb (Restore_Private_Views): Preserve
2250 Is_Generic_Actual_Type flag if actual is a Generic_Actual_Type
2251 of an enclosing instance.
2252 * sem_util.adb (Corresponding_Generic_Type): Handle generic actual
2253 which is an actual of an enclosing instance.
2254 * sem_type.adb (Real_Actual): If a generic_actual_type is the
2255 formal of an enclosing generic and thus renames the corresponding
2256 actual, use the actual of the enclosing instance to resolve
2257 spurious ambiguities in instantiations when two formals are
2258 instantiated with the same actual.
2260 2013-01-29 Robert Dewar <dewar@adacore.com>
2262 * gnat_rm.texi: Document all Ada 2005 and Ada 2012 pragmas as
2263 being available as implementation-defined pragmas in earlier
2266 2013-01-29 Vincent Celier <celier@adacore.com>
2268 * clean.adb (Delete): On VMS, delete all versions of the file.
2270 2013-01-29 Robert Dewar <dewar@adacore.com>
2272 * par-ch6.adb (No_Constraint_Maybe_Expr_Func): New procedure.
2273 * par-util.adb (No_Constraint): Undo special handling, moved
2276 2013-01-29 Robert Dewar <dewar@adacore.com>
2278 * aspects.ads: Aspect Warnings is implementation defined Add
2279 some other missing entries to impl-defined list Mark Warnings
2280 as GNAT pragma in main list.
2281 * sem_ch8.adb: Process aspects for all cases of renaming
2284 2013-01-29 Robert Dewar <dewar@adacore.com>
2286 * sem_ch6.adb (Analyze_Function_Call): Set In_Assertion flag.
2287 * sem_elab.adb (Check_Internal_Call_Continue): Do not issue
2288 warnings about possible elaboration error if call is within
2290 * sinfo.ads, sinfo.adb (In_Assertion): New flag in N_Function_Call node.
2292 2013-01-29 Robert Dewar <dewar@adacore.com>
2294 * a-calend-vms.adb, g-eacodu-vms.adb, g-trasym-vms-alpha.adb,
2295 * s-auxdec-vms-ia64.adb, s-mastop-vms.adb, s-osprim-vms.adb,
2296 s-tasdeb-vms.adb: Replace pragma Interface by pragma Import.
2298 2013-01-29 Robert Dewar <dewar@adacore.com>
2300 * opt.ads (Ignore_Style_Checks_Pragmas): New flag.
2301 * par-prag.adb (Par, case Style_Checks): Recognize
2302 Ignore_Style_Checks_Pragmas.
2303 * sem_prag.adb (Analyze_Pragma, case Style_Checks): Recognize
2304 Ignore_Style_Checks_Pragmas.
2305 * switch-c.adb: Recognize -gnateY switch.
2306 * usage.adb: Add documentation for "-gnateY".
2307 * vms_data.ads: Add IGNORE_STYLE_CHECKS_PRAGMAS (-gnateY).
2309 2013-01-29 Vincent Celier <celier@adacore.com>
2311 * clean.adb (Clean_Executables): Add Sid component when calling
2313 * make.adb: When inserting in the Queue, add the Source_Id
2314 (Sid) when it is known (Start_Compile_If_Possible): When the
2315 Source_Id is known (Sid), get the path name of the ALI file
2316 (Full_Lib_File) from it, to avoid finding old ALI files in other
2318 * makeutl.ads (Source_Info): New Source_Id component Sid in
2319 Format_Gnatmake variant.
2321 2013-01-29 Robert Dewar <dewar@adacore.com>
2323 * gnat_ugn.texi: Document -gnateY.
2325 2013-01-29 Doug Rupp <rupp@adacore.com>
2327 * s-osinte-vms.ads, s-taprop-vms.adb, system-vms_64.ads,
2328 system-vms-ia64.ads: Replace pragma Interface by pragma Import.
2330 2013-01-29 Robert Dewar <dewar@adacore.com>
2332 * atree.ads, atree.adb (Node30): New function.
2333 (Set_Node30): New procedure.
2334 (Num_Extension_Nodes): Change to 5 (activate new fields/flags).
2335 * atree.h: Add macros for Field30 and Node30.
2336 * einfo.ads, einfo.adb: Move some fields to avoid duplexing.
2337 * treepr.adb (Print_Entity_Information): Print fields 30-35.
2339 2013-01-29 Robert Dewar <dewar@adacore.com>
2341 * sem_prag.adb (Analyze_Pragma, case Interface): Consider to
2342 be a violation of No_Obsolescent_Features even in Ada 95. Also
2343 generates a warning in -gnatwj mode.
2344 (Analyze_Pragma, case Interface_Name): Generates a warning in -gnatwj
2346 * gnat_ugn.texi: Additional documentation on -gnatwj and pragma
2349 2013-01-29 Vincent Celier <celier@adacore.com>
2351 * snames.ads-tmpl: Add new standard name Trailing_Switches.
2353 2013-01-29 Ed Schonberg <schonberg@adacore.com>
2355 * sem_disp.adb (Check_Controlling_Type): If a designated type T
2356 of an anonymous access type is a limited view of a tagged type,
2357 it can be a controlling type only if the subprogram is in the
2360 2013-01-29 Vincent Celier <celier@adacore.com>
2362 * gnatcmd.adb: Use the project where the config pragmas file is
2363 declared to get its path.
2365 2013-01-29 Vincent Celier <celier@adacore.com>
2367 * prj-attr.adb: New attribute Linker'Trailing_Switches.
2369 2013-01-22 Eric Botcazou <ebotcazou@adacore.com>
2371 * gcc-interface/trans.c (gnat_to_gnu) <N_Expression_With_Actions>: Do
2372 not translate the Etype of the node before translating the Actions.
2374 2013-01-22 Eric Botcazou <ebotcazou@adacore.com>
2376 * gcc-interface/trans.c (Pragma_to_gnu) <Name_Space>: Use optimize_size
2377 instead of optimize and adjust warning message.
2378 (Compilation_Unit_to_gnu): Process pragmas preceding the unit.
2380 2013-01-22 Tristan Gingold <gingold@adacore.com>
2382 * gcc-interface/gigi.h (ADT_unhandled_except_decl,
2383 ADT_unhandled_others_decl): New.
2384 (unhandled_others_decl, unhandled_except_decl): Define.
2385 * gcc-interface/trans.c: Include common/common-target.h.
2386 (gigi): Initialize them.
2387 (Subprogram_Body_to_gnu): On SEH targets, wrap the body of the main
2388 function in a try/catch clause.
2390 2013-01-11 Eric Botcazou <ebotcazou@adacore.com>
2392 * gcc-interface/Make-lang.in (COMMON_ADAFLAGS): Remove -gnata.
2393 (CHECKING_ADAFLAGS): New.
2394 (ALL_ADAFLAGS): Include CHECKING_ADAFLAGS.
2396 2013-01-10 Eric Botcazou <ebotcazou@adacore.com>
2398 * gcc-interface/config-lang.in (boot_language_boot_flags): Delete.
2399 * gcc-interface/Make-lang.in (BOOT_ADAFLAGS): Likewise.
2401 2013-01-07 Eric Botcazou <ebotcazou@adacore.com>
2403 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Record_Type>: Adjust
2404 comment about type extension with discriminants.
2405 <E_Record_Subtype>: Remove useless test and reorder conditions.
2406 (elaborate_entity) <E_Record_Subtype>: Likewise.
2408 2013-01-07 Richard Biener <rguenther@suse.de>
2411 * gcc-interface/Make-lang.in (ada.install-common): Always apply
2412 program_transform_name.
2414 2013-01-06 Eric Botcazou <ebotcazou@adacore.com>
2416 * gnatvsn.ads (Current_Year): Bump to 2013.
2418 2013-01-06 Olivier Hainque <hainque@adacore.com>
2420 * gcc-interface/decl.c (gnat_to_gnu_field): Emit a specialized
2421 diagnostic for component size mismatch wrt volatile requirements.
2422 Add a gcc_unreachable() at the end of the checks for size. Split
2423 the check on volatile for positions into one check on atomic and
2424 a subsequent one on volatile.
2426 2013-01-06 Eric Botcazou <ebotcazou@adacore.com>
2428 * gcc-interface/decl.c (elaborate_entity) <E_Record_Type>: Delete.
2430 2013-01-06 Eric Botcazou <ebotcazou@adacore.com>
2432 * gcc-interface/decl.c (gnat_to_gnu_entity) <discrete_type>: Do not
2433 pack the field of the record type made for a misaligned type.
2435 2013-01-06 Eric Botcazou <ebotcazou@adacore.com>
2437 * gcc-interface/decl.c (annotate_value) <COMPONENT_REF>: Be prepared
2438 for discriminants inherited from parent record types.
2440 2013-01-04 Robert Dewar <dewar@adacore.com>
2442 * warnsw.adb: Minor fixes to -gnatw.d handling.
2444 2013-01-04 Robert Dewar <dewar@adacore.com>
2446 * einfo.adb, atree.adb: Enlarge entities to make 63 more flags, 6 more
2449 2013-01-04 Joel Brobecker <brobecker@adacore.com>
2451 * gnat_ugn.texi: Fix typo.
2453 2013-01-04 Robert Dewar <dewar@adacore.com>
2455 * gnat_rm.texi: Document alignment choice for subtypes.
2457 2013-01-04 Robert Dewar <dewar@adacore.com>
2459 * validsw.ads: Minor fix to comment.
2461 2013-01-04 Doug Rupp <rupp@adacore.com>
2463 * Makefile.rtl (GNATRTL_NONTASKING_OBJS,
2464 GNATRTL_ALTIVEC_OBJS): Factor g-al* objects.
2465 * gcc-interface/Makefile.in (ADA_EXCLUDE_SRCS): Add g-al* sources.
2466 (GNATRTL_ALTIVEC_OBJS): Override to null for VMS.
2467 Rename leon vxworks toolchain as leon-wrs-vxworks.
2468 * gcc-interface/Make-lang.in: Update dependencies
2470 2013-01-04 Pascal Obry <obry@adacore.com>
2472 * prj.ads (For_Each_Source): Add Locally_Removed parameter.
2473 (Source_Iterator): Add Locally_Removed field.
2474 * prj.adb (For_Each_Source): Ignore Locally_Removed files if needed.
2477 2013-01-04 Robert Dewar <dewar@adacore.com>
2479 * exp_attr.adb: Minor reformatting.
2481 2013-01-04 Robert Dewar <dewar@adacore.com>
2483 * checks.adb (Insert_Valid_Check): Fix handling of renamed
2484 packed array element.
2485 * exp_ch4.adb (Expand_Concatenate): Fix some missing parent
2486 fields in generated code.
2487 * exp_util.adb (Side_Effect_Free): Improve detection of cases
2490 2013-01-04 Robert Dewar <dewar@adacore.com>
2492 * sinfo.ads: Clean up order of N_xxx subtypes
2494 2013-01-04 Vincent Celier <celier@adacore.com>
2496 * prj-conf.adb (Check_Target): Allow --autoconf= with no target.
2498 2013-01-04 Robert Dewar <dewar@adacore.com>
2500 * types.ads, prj-conf.adb, par-tchk.adb: Minor reformatting.
2502 2013-01-04 Robert Dewar <dewar@adacore.com>
2504 * par-ch6.adb (P_Subprogram): Better handling of missing IS
2505 after expression function.
2506 * par-util.adb (No_Constraint): Improve handling to avoid bad warnings.
2508 2013-01-04 Robert Dewar <dewar@adacore.com>
2510 * exp_util.ads, exp_util.adb (Insert_Actions): In expression with
2511 actions case, new actions are appended to the sequence rather than
2514 2013-01-04 Robert Dewar <dewar@adacore.com>
2516 * gnat_ugn.texi: Document -gnatw.d/w.D (does no apply in VMS mode).
2517 * usage.adb: Add lines for -gnatw.d/w.D switches.
2518 * warnsw.adb: Minor fixes (some missing cases of setting
2519 Warning_Doc_Switch). Reject -gnatw.d and -gnatw.D in VMS mode.
2521 2013-01-04 Robert Dewar <dewar@adacore.com>
2523 * exp_util.adb (Remove_Side_Effects): Make sure scope suppress
2524 is restored on exit.
2526 2013-01-04 Robert Dewar <dewar@adacore.com>
2528 * usage.adb: Document -gnateF (check overflow for predefined Float).
2530 2013-01-04 Robert Dewar <dewar@adacore.com>
2532 * sem_res.adb (Resolve_Type_Conversion): Remove incorrect
2533 prevention of call to Apply_Type_Conversion_Checks, which resulted
2534 in missing check flags in formal mode.
2536 2013-01-04 Vincent Celier <celier@adacore.com>
2538 * makeutl.ads (Db_Switch_Args): New table used by gprbuild.
2539 * prj-conf.adb (Check_Builder_Switches): Check for switches
2540 --config= (Get_Db_Switches): New procedure to get the --db
2541 switches so that they are used when invoking gprconfig in
2543 (Do_Autoconf): When invoking gprconfig, use the --db switches, if any.
2545 2013-01-04 Pascal Obry <obry@adacore.com>
2547 * prj-nmsc.adb: Minor reformatting.
2549 2013-01-04 Vincent Celier <celier@adacore.com>
2551 * makeutl.ads (Root_Environment): New variable, moved rom
2552 gprbuild (Load_Standard_Base): New Boolean variable, moved
2554 * prj-conf.adb (Check_Builder_Switches): New procedure to check
2555 for switch --RTS in package Builder. If a runtime specified
2556 by --RTS is a relative path name, but not a base name, then
2557 find the path on the Project Search Path.
2558 (Do_Autoconf): Call Check_Builder_Switches.
2559 (Locate_Runtime): New procedure, moved from gprbuild, to get the
2560 absolute paths of runtimes when they are not specified as a base name.
2561 * prj-conf.ads (Locate_Runtime): New procedure, moved from gprbuild.
2563 2013-01-04 Ed Schonberg <schonberg@adacore.com>
2565 * sem_ch3.adb (Build_Private_Derived_Type): Set
2566 Has_Private_Ancestor on type derived from an untagged private
2567 type whose full view has discriminants
2568 * sem_aggr.adb (Resolve_Record_Aggregate): Reject non-extension
2569 aggregate for untagged record type with private ancestor.
2571 2013-01-04 Thomas Quinot <quinot@adacore.com>
2573 * sem_elab.adb, sem_ch3.adb: Minor reformatting.
2575 2013-01-04 Robert Dewar <dewar@adacore.com>
2577 * table.adb: Minor reformatting.
2579 2013-01-04 Ed Schonberg <schonberg@adacore.com>
2581 * sem_ch10.adb (Check_Redundant_Withs): A with_clause that does
2582 not come from source does not generate a warning for redundant
2585 2013-01-04 Hristian Kirtchev <kirtchev@adacore.com>
2587 * aspects.adb, aspects.ads: Add Aspect_Global to all relevant tables.
2588 * par-prag.adb: Add pragma Global to the list of pragmas that
2589 do not need special processing by the parser.
2590 * sem_ch13.adb (Analyze_Aspect_Specifications): Convert aspect
2591 Global into a pragma without any form of legality checks. The
2592 work is done by Analyze_Pragma. The aspect and pragma are both
2593 marked as needing delayed processing. Insert the corresponding
2594 pragma of aspect Abstract_State in the visible declarations of the
2596 (Check_Aspect_At_Freeze_Point): Aspect Global
2597 does not need processing even though it is marked as delayed.
2598 Alphabetize the list on aspect names.
2599 * sem_prag.adb: Add a value for pragma Global in table Sig_Flags.
2600 (Analyze_Pragma): Add ??? comment about the grammar of pragma
2601 Abstract_State. Move the error location from the pragma to the
2602 state to improve the quality of error placement. Add legality
2603 checks for pragma Global.
2604 * snames.ads-tmpl Add the following specially recognized names
2606 2013-01-04 Eric Botcazou <ebotcazou@adacore.com>
2608 * sem_ch3.adb: Fix minor typo.
2610 2013-01-04 Ed Schonberg <schonberg@adacore.com>
2612 * par-ch13.adb (Aspect_Specifications_Present): In Strict mode,
2613 accept an aspect name followed by a comma, indicating a defaulted
2616 2013-01-04 Joel Brobecker <brobecker@adacore.com brobecker>
2618 * gnat_ugn.texi: Document procedure to codesign GDB on Darwin.
2619 Update doc on gnattest --separates switch.
2621 2013-01-04 Thomas Quinot <quinot@adacore.com>
2623 * s-chepoo.ads: Minor reformatting.
2625 2013-01-04 Arnaud Charlet <charlet@adacore.com>
2627 * usage.adb: Remove mention of -gnatN in usage.
2629 2013-01-04 Robert Dewar <dewar@adacore.com>
2631 * exp_prag.adb, gnatcmd.adb, exp_util.adb, table.adb, sem_prag.adb,
2632 freeze.adb, sem_ch4.adb, sem_warn.adb, opt.ads, exp_aggr.adb,
2633 prj-conf.adb, sem_ch13.adb: Minor reformatting.
2635 2013-01-04 Thomas Quinot <quinot@adacore.com>
2637 * sinfo.ads: Minor documentation update.
2639 2013-01-04 Thomas Quinot <quinot@adacore.com>
2641 * sem_ch3.adb, einfo.adb (Analyze_Object_Declaration): Do not set Ekind
2642 before resolving initialization expression.
2644 2013-01-04 Hristian Kirtchev <kirtchev@adacore.com>
2646 * checks.adb (Generate_Index_Checks): Delay the generation of
2647 the check for an indexed component where the prefix mentions
2648 Loop_Entry until the attribute has been properly expanded.
2649 * exp_ch5.adb (Expand_Loop_Entry_Attributes): Perform minor
2650 decoration of the constant that captures the value of Loop_Entry's
2651 prefix at the entry point into a loop. Generate index checks
2652 for an attribute reference that has been transformed into an
2655 2013-01-04 Thomas Quinot <quinot@adacore.com>
2657 * exp_prag.adb, exp_util.adb, exp_util.ads, freeze.adb, exp_aggr.adb,
2658 sem_ch13.adb (Exp_Aggr.Collect_Initialization_Statements): Nothing to
2659 do if Obj is already frozen.
2660 (Exp_Util.Find_Init_Call): Rename to...
2661 (Exp_Util.Remove_Init_Call): New subprogram, renamed from
2662 Find_Init_Call. Remove the initialization call from the enclosing
2663 list if found, and if it is from an Initialization_Statements
2664 attribute, reset it.
2665 (Exp_Util.Append_Freeze_Action): Minor code reorganization.
2666 (Exp_Util.Append_Freeze_Actions): Ensure a freeze node has been
2667 allocated (as is already done in Append_Freeze_Action).
2668 (Freeze.Freeze_Entity): For an object with captured
2669 Initialization_Statements and non-delayed freezeing, unwrap the
2670 initialization statements and insert and them directly in the
2672 (Sem_Ch13.Check_Address_Clause): For an object
2673 with Initialization_Statements and an address clause, unwrap the
2674 initialization statements when moving them to the freeze actions.
2676 2013-01-03 Pascal Obry <obry@adacore.com>
2678 * prj-attr.adb, projects.texi, snames.ads-tmpl: Add package remote and
2679 corresponding attibutes.
2681 2013-01-03 Thomas Quinot <quinot@adacore.com>
2683 * exp_aggr.adb: Minor comment improvement.
2685 2013-01-03 Hristian Kirtchev <kirtchev@adacore.com>
2687 * aspects.adb, aspects.ads: Add Aspect_Abstract_State to all the
2689 * einfo.ads, einfo.adb: Add Integrity_Level and Refined_State to
2690 the description of fields (Abstract_States): New routine.
2691 (Integrity_Level): New routine.
2692 (Has_Property): New routine.
2693 (Is_Input_State): New routine.
2694 (Is_Null_State): New routine.
2695 (Is_Output_State): New routine.
2696 (Is_Volatile_State): New routine.
2697 (Refined_State): New routine.
2698 (Set_Abstract_States): New routine.
2699 (Set_Integrity_Level): New routine.
2700 (Set_Refined_State): New routine.
2701 (Write_Field8_Name): Add proper output for E_Abstract_State.
2702 (Write_Field9_Name): Add proper output for E_Abstract_State.
2703 (Write_Field25_Name): Add proper output for E_Package.
2704 * lib-xref.ads: Add new letter for an abstract state.
2705 * par-prag.adb: Add pragma Abstract_State to the list of pragma
2706 that do not need special processing by the parser.
2707 * sem_ch13.adb (Analyze_Aspect_Specifications): Convert
2708 aspect Abstract_State into a pragma without any form
2709 of legality checks. The work is done by Analyze_Pragma.
2710 (Check_Aspect_At_Freeze_Point): Aspect Abstract_State does not
2711 require delayed analysis.
2712 * sem_prag.adb: Add a value for pragma Abstract_State in table
2714 (Analyze_Pragma): Add legality checks for pragma
2715 Abstract_State. Analysis of individual states introduces a state
2716 abstraction entity into the visibility chain.
2717 * snames.ads-tmpl: Add new names for abstract state and
2718 integrity. Add new pragma id for abstract state.
2720 2013-01-03 Bob Duff <duff@adacore.com>
2722 * table.adb (Reallocate): Calculate new Length in
2723 Long_Integer to avoid overflow.
2725 2013-01-03 Thomas Quinot <quinot@adacore.com>
2727 * sem_ch3.adb, sinfo.ads, freeze.adb, sem_ch4.adb, exp_aggr.adb
2728 (Sem_Ch3.Analyze_Object_Declaration): Set Ekind early so that
2729 it is set properly when expanding the initialization expression.
2730 (Freeze.Check_Address_Clause): Transfer initialization expression
2731 to an assignment in the freeze actions, so that the object is
2732 initialized only after being elaborated by GIGI.
2733 (Sinfo (comments), Sem_Ch4.Analyze_Expression_With_Actions): Allow
2734 a Null_Statement as the expression in an Expression_With_Actions.
2735 (Exp_Aggr.Collect_Initialization_Statements): New subprogram
2736 shared by expansion of record and array aggregates, used to
2737 capture statements for an aggregate used to initalize an object
2738 into an Expression_With_Actions (which acts as a container for
2740 (Exp_Aggr.Convert_Aggr_In_Obj_Decl): Use the above to
2741 capture initialization statements, instead of the previously
2742 existing loop which left freeze nodes out of the capturing
2743 construct (causing out of order elaboration crashes in GIGI).
2744 (Exp_Aggr.Expand_Array_Aggregate): Use the above to capture
2745 initialization statements (this was previously not done for
2746 arrays). Also do not unconditionally prevent in place expansion
2747 for an object with address clause.
2749 2013-01-03 Thomas Quinot <quinot@adacore.com>
2751 * gnat_rm.texi, freeze.adb (Check_Component_Storage_Order): Check that
2752 a record extension has the same scalar storage order as the parent type.
2754 2013-01-03 Thomas Quinot <quinot@adacore.com>
2756 * exp_ch4.adb: Add comment.
2758 2013-01-03 Vincent Celier <celier@adacore.com>
2760 * prj.adb: Minor spelling error correction in comment.
2762 2013-01-03 Vincent Celier <celier@adacore.com>
2764 * gnatcmd.adb (GNATCmd): If a single main has been specified
2765 as an absolute path, use its simple file name to find specific
2766 switches, instead of the absolute path.
2768 2013-01-03 Javier Miranda <miranda@adacore.com>
2770 * sem_warn.adb (Warn_On_Overlapping_Actuals): For overlapping
2771 parameters that are record types or array types generate warnings
2772 only compiling under -gnatw.i
2773 * opt.ads (Extensions_Allowed): Restore previous documentation.
2775 2013-01-03 Vincent Celier <celier@adacore.com>
2777 * prj-conf.adb (Do_Autoconf): If Target is specified in the
2778 main project, but not on the command line, use the Target in
2779 the project to invoke gprconfig in auto-configuration.
2780 * makeutl.ads (Default_Config_Name): New constant String.
2782 2013-01-03 Arnaud Charlet <charlet@adacore.com>
2784 * usage.adb: Minor: fix typo in usage.
2786 2013-01-03 Thomas Quinot <quinot@adacore.com>
2788 * sem_ch13.adb (Analyze_Record_Representation_Clause): Reject
2789 an illegal component clause for an inherited component in a
2792 2013-01-03 Emmanuel Briot <briot@adacore.com>
2794 * xref_lib.adb (Parse_Identifier_Info): Fix handling of arrays, which
2795 have information in the ALI file for both the index and the component
2798 2013-01-03 Emmanuel Briot <briot@adacore.com>
2800 * projects.texi: Fix error in documenting the project path
2801 computed for an aggregate project.
2803 2013-01-03 Javier Miranda <miranda@adacore.com>
2805 * sem_warn.adb (Warn_On_Overlapping_Actuals): Adding documentation
2806 plus restricting the functionality of this routine to cover the
2807 cases described in the Ada 2012 reference manual. The previous
2808 extended support is now available under -gnatX.
2809 * s-tassta.adb (Finalize_Global_Tasks): Addition of a dummy
2810 variable to call Timed_Sleep. Required to avoid warning on
2811 overlapping out-mode actuals.
2812 * opt.ads (Extensions_Allowed): Update documentation.
2814 2013-01-03 Tristan Gingold <gingold@adacore.com>
2816 * s-arit64.ads: Use Multiply_With_Ovflo_Check as __gnat_mulv64.
2818 * gcc-interface/Makefile.in: Remove reference to arit64.c.
2820 2013-01-03 Thomas Quinot <quinot@adacore.com>
2822 * checks.adb, checks.ads (Apply_Address_Clause_Check): The check must
2823 be generated at the start of the freeze actions for the entity, not
2824 before (or after) the freeze node.
2826 2013-01-03 Thomas Quinot <quinot@adacore.com>
2828 * exp_aggr.adb (Exp_Aggr.Convert_Aggregate_In_Obj_Decl):
2829 Reorganize code to capture initialization statements in a block,
2830 so that freeze nodes are excluded from the captured block.
2832 2013-01-03 Thomas Quinot <quinot@adacore.com>
2834 * exp_ch11.adb: Minor reformatting.
2836 2013-01-03 Thomas Quinot <quinot@adacore.com>
2838 * exp_util.adb, einfo.adb, einfo.ads, freeze.adb, exp_aggr.adb,
2839 sem_ch13.adb (Einfo.Initialization_Statements,
2840 Einfo.Set_Initialization_Statements): New entity attribute
2842 (Exp_Util.Find_Init_Call): Handle case of an object initialized
2843 by an aggregate converted to a block of assignment statements.
2844 (Freeze.Check_Address_Clause): Do not clear Has_Delayed_Freeze
2845 even for objects that require a constant address, because the
2846 address expression might involve entities that have yet to be
2847 elaborated at the point of the object declaration.
2848 (Exp_Aggr.Convert_Aggregate_In_Obj_Decl): For a type that does
2849 not require a transient scope, capture the assignment statements
2850 in a block so that they can be moved down after elaboration of
2851 an address clause if needed.
2852 (Sem_Ch13.Check_Constant_Address_Clause.Check_Expr_Constants,
2853 case N_Unchecked_Conversion): Do not replace operand subtype with
2854 its base type as this violates a GIGI invariant if the operand
2855 is an identifier (in which case the etype of the identifier
2856 is expected to be equal to that of the denoted entity).
2858 2013-01-03 Javier Miranda <miranda@adacore.com>
2860 * sem_util.ads, sem_util.adb (Denotes_Same_Object): Extend the
2861 functionality of this routine to cover cases described in the Ada 2012
2864 2013-01-03 Ed Schonberg <schonberg@adacore.com>
2866 * sem_elab.adb (Set_Elaboration_Constraint): Handle properly
2867 a 'Access attribute reference when the subprogram is called
2870 2013-01-03 Arnaud Charlet <charlet@adacore.com>
2872 * s-tpobop.adb (PO_Do_Or_Queue): Refine assertion, since a
2873 select statement may be called from a controlled (e.g. Initialize)
2874 operation and have abort always deferred.
2876 2013-01-03 Robert Dewar <dewar@adacore.com>
2878 * sem_ch8.adb, einfo.ads, einfo.adb: Minor code reorganization.
2880 2013-01-03 Javier Miranda <miranda@adacore.com>
2882 * exp_ch3.adb (Make_Controlling_Function_Wrappers): Exclude
2883 internal entities associated with interfaces and add minimum
2884 decoration to the defining entity of the generated wrapper to
2885 allow overriding interface primitives.
2886 * sem_disp.ads (Override_Dispatching_Operation): Addition of a
2887 new formal (Is_Wrapper).
2888 * sem_disp.adb (Override_Dispatching_Operation): When overriding
2889 interface primitives the new formal helps identifying that the
2890 new operation is not fully decorated.
2892 2013-01-03 Thomas Quinot <quinot@adacore.com>
2894 * sem_ch7.adb, sem_ch10.adb, einfo.adb, einfo.ads, sem_ch12.adb,
2895 rtsfind.adb, sem_elab.adb, sem_ch4.adb, sem_ch8.adb
2896 (Einfo.Is_Visible_Child_Unit, Einfo.Set_Is_Visible_Child_Unit):
2897 Rename to Is_Visible_Lib_Unit, Set_Is_Visible_Lib_Unit, and
2898 update spec accordingly (now also applies to root library units).
2899 (Sem_Ch10.Analyze_Subunit.Analyze_Subunit_Context): Toggle above flag
2900 on root library units, not only child units.
2901 (Sem_Ch10.Install[_Limited]_Withed_Unit): Same.
2902 (Sem_Ch10.Remove_Unit_From_Visibility): Reset Is_Visible_Lib_Unit
2903 even for root library units.
2904 (Sem_Ch8.Find_Expanded_Name): A selected component form whose prefix is
2905 Standard is an expanded name for a root library unit.
2907 2013-01-03 Thomas Quinot <quinot@adacore.com>
2909 * exp_ch3.adb: Minor reformatting.
2911 2013-01-03 Olivier Hainque <hainque@adacore.com>
2913 * tracebak.c: Reinstate changes to support ppc-lynx178.
2915 2013-01-03 Ed Schonberg <schonberg@adacore.com>
2917 * atree.ads: Minor reformatting and documentation enhancement.
2919 2013-01-03 Ed Schonberg <schonberg@adacore.com>
2921 * exp_ch3.adb (Expand_N_Object_Declaration): If the object has
2922 a class-wide type and a renaming declaration is created for it,
2923 preserve entity chain, which already contains generated internal
2924 types. This ensures that freezing actions are properly generated
2925 for all objects declared subsequently in the same scope, and
2926 that debugging information is generated for them.
2927 * sem_util.adb, sem_util.ads (we): New debugging routine, to
2928 display entity chain of a given scope.
2930 2013-01-03 Robert Dewar <dewar@adacore.com>
2932 * exp_intr.adb: Minor reformatting.
2934 2013-01-03 Robert Dewar <dewar@adacore.com>
2936 * einfo.adb: Minor reformatting.
2938 2013-01-03 Pascal Obry <obry@adacore.com>
2940 * adaint.c, adaint.h (__gnat_get_module_name): Removed.
2941 (__gnat_is_module_name_supported): Removed.
2942 * s-win32.ads: Add some needed definitions.
2943 * g-trasym.ads: Update comments.
2945 2013-01-03 Robert Dewar <dewar@adacore.com>
2947 * layout.adb (Set_Composite_Alignment): Fix problems of
2948 interactions with Optimize_Alignment set to Space.
2950 2013-01-03 Thomas Quinot <quinot@adacore.com>
2952 * exp_disp.adb: Minor reformatting.
2954 2013-01-02 Richard Biener <rguenther@suse.de>
2957 * gcc-interface/Makefile.in: Add $(GMPINC) to includes.
2959 2013-01-02 Thomas Quinot <quinot@adacore.com>
2961 * exp_intr.adb (Expand_Dispatching_Constructor_Call): Remove
2962 side effects from Tag_Arg early, doing it too late may cause a
2963 crash due to inconsistent Parent link.
2964 * sem_ch8.adb, einfo.ads: Minor reformatting.
2966 2013-01-02 Robert Dewar <dewar@adacore.com>
2968 * einfo.ads, einfo.adb (Has_Independent_Components): New flag.
2969 * freeze.adb (Size_Known): We do not know the size of a packed
2970 record if it has atomic components, by reference type components,
2971 or independent components.
2972 * sem_prag.adb (Analyze_Pragma, case Independent_Components): Set new
2973 flag Has_Independent_Components.
2975 2013-01-02 Yannick Moy <moy@adacore.com>
2977 * opt.ads (Warn_On_Suspicious_Contract): Set to True by default.
2978 * usage.adb (Usage): Update usage message.
2980 2013-01-02 Pascal Obry <obry@adacore.com>
2982 * adaint.c (__gnat_is_module_name_supported): New constant.
2984 2013-01-02 Ed Schonberg <schonberg@adacore.com>
2986 * sem_attr.adb (Check_Array_Type): Reject an attribute reference on an
2987 array whose component type does not have a completion.
2989 2013-01-02 Geert Bosch <bosch@adacore.com>
2991 * a-nllcef.ads, a-nlcefu.ads, a-nscefu.ads: Make Pure.
2993 2013-01-02 Robert Dewar <dewar@adacore.com>
2995 * par_sco.adb: Minor reformatting.
2997 2013-01-02 Javier Miranda <miranda@adacore.com>
2999 * sem_aggr.adb (Resolve_Array_Aggregate): Remove dead code.
3001 2013-01-02 Olivier Hainque <hainque@adacore.com>
3003 * a-exctra.ads (Get_PC): New function.
3005 2013-01-02 Thomas Quinot <quinot@adacore.com>
3007 * sem_ch8.adb: Minor reformatting.
3009 2013-01-02 Thomas Quinot <quinot@adacore.com>
3011 * sem_ch7.adb: Minor reformatting.
3013 2013-01-02 Thomas Quinot <quinot@adacore.com>
3015 * freeze.adb (Check_Component_Storage_Order): Do not crash on
3018 2013-01-02 Robert Dewar <dewar@adacore.com>
3020 * gnat1drv.adb, targparm.adb, targparm.ads: Minor name change: add
3021 On_Target to Atomic_Sync_Default.
3023 2013-01-02 Robert Dewar <dewar@adacore.com>
3025 * sem_warn.adb (Warn_On_Known_Condition): Suppress warning for
3026 comparison of attribute result with constant
3027 * a-ststio.adb, s-direio.adb, s-rannum.adb: Remove unnecessary pragma
3028 Warnings (Off, "..");
3030 2013-01-02 Yannick Moy <moy@adacore.com>
3032 * sem_prag.ads: Minor correction of comment.
3034 2013-01-02 Thomas Quinot <quinot@adacore.com>
3036 * par_sco.adb (Traverse_Package_Declaration): The first
3037 declaration in a nested package is dominated by the preceding
3038 declaration in the enclosing scope.
3040 2013-01-02 Pascal Obry <obry@adacore.com>
3042 * adaint.c, adaint.h (__gnat_get_module_name): Return the actual
3043 module containing a given address.
3045 2013-01-02 Thomas Quinot <quinot@adacore.com>
3047 * sem_ch3.adb: Minor reformatting.
3049 2013-01-02 Pascal Obry <obry@adacore.com>
3051 * cstreams.c (__gnat_ftell64): New routine. Use _ftelli64 on
3052 Win64 and default to ftell on other platforms.
3053 (__gnat_fsek64): Likewise.
3054 * i-cstrea.ads: Add fssek64 and ftell64 specs.
3055 * s-crtl.ads: Likewise.
3056 * a-ststio.adb, s-direio.adb (Size): Use 64 bits version when required.
3057 (Set_Position): Likewise.
3059 2013-01-02 Thomas Quinot <quinot@adacore.com>
3061 * par_sco.adb: Generate X SCOs for default expressions in
3062 subprogram body stubs. Do not generate any SCO for package,
3063 task, or protected body stubs.
3065 2013-01-02 Ed Schonberg <schonberg@adacore.com>
3067 * sem_ch3.adb: Further improvement to ASIS mode for anonymous
3068 access to protected subprograms.
3070 2013-01-02 Robert Dewar <dewar@adacore.com>
3072 * par_sco.adb, vms_data.ads: Minor reformatting.
3074 2013-01-02 Thomas Quinot <quinot@adacore.com>
3076 * par_sco.adb (Traverse_Declarations_Or_Statement): Function
3077 form, returning value of Current_Dominant upon exit, for chaining
3079 (Traverse_Declarations_Or_Statement.Traverse_One, case
3080 N_Block_Statement): First statement is dominated by last declaration.
3081 (Traverse_Subprogram_Or_Task_Body): Ditto.
3082 (Traverse_Package_Declaration): First private
3083 declaration is dominated by last visible declaration.
3084 (Traverse_Sync_Definition): Ditto.
3086 2013-01-02 Thomas Quinot <quinot@adacore.com>
3088 * gnat_rm.texi: Restrict the requirement for Scalar_Storage_Order
3089 matching Bit_Order to record types only, since array types do not
3092 2013-01-02 Vincent Celier <celier@adacore.com>
3094 * gnat_ugn.texi: Remove documentation of -gnateO, which is an
3096 * usage.adb: Indicate that -gnateO is an internal switch.
3098 2013-01-02 Thomas Quinot <quinot@adacore.com>
3100 * par_sco.adb: Add SCO generation for task types and single
3102 * get_scos.adb: When adding an instance table entry for a
3103 non-nested instantiation, make sure the Enclosing_Instance is
3106 2013-01-02 Hristian Kirtchev <kirtchev@adacore.com>
3108 * sem_attr.adb (Analyze_Attribute): Skip the special _Parent
3109 scope generated for subprogram inlining purposes while trying
3110 to locate the enclosing function.
3111 * sem_prag.adb (Analyze_Pragma): Preanalyze the boolean
3112 expression of pragma Postcondition when the pragma comes from
3113 source and appears inside a subprogram body.
3115 2013-01-02 Thomas Quinot <quinot@adacore.com>
3117 * switch-c.adb, fe.h, back_end.adb: Enable generation of instantiation
3118 information in debug info unconditionally when using -fdump-scos,
3119 instead of relying on a separate command line switch -fdebug-instances.
3120 * gcc-interface/Make-lang.in: Update dependencies.
3122 2013-01-02 Ed Schonberg <schonberg@adacore.com>
3124 * sem_ch12.adb: Additional refinement of predicate.
3126 2013-01-02 Vincent Celier <celier@adacore.com>
3128 * vms_data.ads: Remove incorrect spaces at end of descriptions
3129 of qualifiers for single switch.
3131 2013-01-02 Ben Brosgol <brosgol@adacore.com>
3133 * gnat_rm.texi: Minor edits / wordsmithing in section on pragma
3134 Check_Float_Overflow.
3136 2013-01-02 Thomas Quinot <quinot@adacore.com>
3138 * sprint.adb (Sprint_Node_Actual): Do not add extra parens for
3139 a conditional expression (CASE or IF expression) that already
3140 has parens. Also omit ELSE keyword for an IF expression without
3143 2013-01-02 Thomas Quinot <quinot@adacore.com>
3145 * gnat1drv.adb (Adjust_Global_Switches): Adjust back-end
3146 flag_debug_instances here, after front-end switches have been
3149 2013-01-02 Vincent Celier <celier@adacore.com>
3151 * usage.adb: Minor reformatting.
3153 2013-01-02 Arnaud Charlet <charlet@adacore.com>
3155 * opt.ads: Fix typo.
3157 2013-01-02 Thomas Quinot <quinot@adacore.com>
3159 * par_sco.adb: Generate P decision SCOs for SPARK pragmas
3160 Assume and Loop_Invariant.
3162 2013-01-02 Robert Dewar <dewar@adacore.com>
3164 * vms_data.ads: Add entry for Float_Check_Valid (-gnateF).
3165 * ug_words: Add entry for Float_Check_Overflow.
3166 * usage.adb: Minor reformatting.
3167 * gnat_ugn.texi: Add documentation for -gnateF (Check_Float_Overflow).
3169 2013-01-02 Vincent Celier <celier@adacore.com>
3171 * gnat_ugn.texi: Add documentation for switches -gnateA, -gnated,
3172 -gnateO=, -gnatet and -gnateV.
3173 * ug_words: Add qualifiers equivalent to -gnateA, -gnated,
3174 -gnatet and -gnateV.
3175 * usage.adb: Add lines for -gnatea, -gnateO and -gnatez.
3176 * vms_data.ads: Add new compiler qualifiers /ALIASING_CHECK
3177 (-gnateA), /DISABLE_ATOMIC_SYNCHRONIZATION (-gnated),
3178 /PARAMETER_VALIDITY_CHECK (-gnateV) and /TARGET_DEPENDENT_INFO
3181 2013-01-02 Robert Dewar <dewar@adacore.com>
3183 * checks.adb (Apply_Scalar_Range_Check): Implement Check_Float_Overflow.
3184 * opt.ads, opt.adb: Handle flags Check_Float_Overflow[_Config].
3185 * par-prag.adb: Add dummy entry for pragma Check_Float_Overflow.
3186 * sem_prag.adb: Implement pragma Check_Float_Overflow.
3187 * snames.ads-tmpl: Add entries for pragma Check_Float_Overflow.
3188 * switch-c.adb: Recognize -gnateF switch.
3189 * tree_io.ads: Update ASIS version number.
3190 * gnat_rm.texi: Add documentation of pragma Check_Float_Overflow.
3192 2013-01-02 Robert Dewar <dewar@adacore.com>
3194 * checks.adb, exp_ch4.adb, exp_ch6.adb, exp_ch7.adb, exp_ch9.adb,
3195 exp_disp.adb, exp_dist.adb, exp_intr.adb, exp_prag.adb, exp_util.adb,
3196 freeze.adb, gnat1drv.adb, inline.adb, layout.adb, lib-xref.adb,
3197 par-ch10.adb, par-labl.adb, par-load.adb, par-util.adb, restrict.adb,
3198 sem_ch13.adb, sem_ch4.adb, sem_ch6.adb, sem_dim.adb, sem_elab.adb,
3199 sem_res.adb, sem_warn.adb, sinput-l.adb: Add tags to warning messages.
3200 * sem_ch6.ads, warnsw.ads, opt.ads: Minor comment updates.
3202 2013-01-02 Robert Dewar <dewar@adacore.com>
3204 * err_vars.ads: Minor comment fix.
3206 2013-01-02 Ed Schonberg <schonberg@adacore.com>
3208 * sem_ch12.adb: Refine predicate.
3210 2013-01-02 Robert Dewar <dewar@adacore.com>
3212 * errout.ads: Minor comment fixes.
3213 * opt.ads: Minor comment additions.
3214 * exp_aggr.adb: Add tags to warning messages
3215 * exp_ch11.adb, exp_ch3.adb, exp_ch4.adb, exp_util.adb, sem_aggr.adb,
3216 sem_attr.adb, sem_case.adb, sem_cat.adb, sem_ch3.adb, sem_ch4.adb,
3217 sem_ch5.adb, sem_disp.adb, sem_dist.adb, sem_elab.adb, sem_eval.adb,
3218 sem_intr.adb, sem_mech.adb, sem_prag.adb, sem_res.adb, sem_util.adb,
3219 sem_warn.adb: Add tags to warning messages
3221 2013-01-02 Doug Rupp <rupp@adacore.com>
3223 * init.c [VMS] Remove subtest on reason mask for ACCVIO that is a C_E.
3225 2013-01-02 Ed Schonberg <schonberg@adacore.com>
3227 * sem_ch12.adb: Recover source name for renamed packagea.
3229 2013-01-02 Robert Dewar <dewar@adacore.com>
3231 * errout.adb (Set_Msg_Insertion_Warning): Correct typo causing
3232 tests to fail if insertion sequence is at end of message string.
3233 * opt.ads: Minor comment fixes and additions.
3234 * sem_ch7.adb, sem_ch8.adb, sem_ch9.adb, sem_ch10.adb, sem_ch11.adb,
3235 sem_ch12.adb, sem_ch13.adb: Add tags to warning messages.
3236 * sem_ch6.ads, sem_ch6.adb (Cannot_Inline): Deal with warning message
3237 tags. Add tags to warning messages.
3239 2013-01-02 Robert Dewar <dewar@adacore.com>
3241 * err_vars.ads (Warning_Doc_Switch): New flag.
3242 * errout.adb (Error_Msg_Internal): Implement new warning flag
3243 doc tag stuff (Set_Msg_Insertion_Warning): New procedure.
3244 * errout.ads: Document new insertion sequences ?? ?x? ?.x?
3245 * erroutc.adb (Output_Msg_Text): Handle ?? and ?x? warning doc
3247 * erroutc.ads (Warning_Msg_Char): New variable.
3248 (Warn_Chr): New field in error message object.
3249 * errutil.adb (Error_Msg): Set Warn_Chr in error message object.
3250 * sem_ch13.adb: Minor reformatting.
3251 * warnsw.adb: Add handling for -gnatw.d and -gnatw.D
3252 (Warning_Doc_Switch).
3253 * warnsw.ads: Add handling of -gnatw.d/.D switches (warning
3256 2013-01-02 Robert Dewar <dewar@adacore.com>
3258 * opt.ads: Minor reformatting.
3260 2013-01-02 Doug Rupp <rupp@adacore.com>
3262 * init.c: Reorganize VMS section.
3263 (scan_condtions): New function for scanning condition tables.
3264 (__gnat_handle_vms_condtion): Use actual exception name for imported
3265 exceptions vice IMPORTED_EXCEPTION.
3266 Move condition table scanning into separate function. Move formerly
3267 special handled conditions to system condition table. Use SYS$PUTMSG
3268 output to fill exception message field for formally special handled
3269 condtions, in particular HPARITH to provide more clues about cause and
3270 location then raised from the translated image.
3272 2013-01-02 Thomas Quinot <quinot@adacore.com>
3274 * sem_ch13.adb (Analyze_Aspect_Specifications): For a Pre/Post
3275 aspect that applies to a library subprogram, prepend corresponding
3276 pragma to the Pragmas_After list, in order for split AND THEN
3277 sections to be processed in the expected order.
3279 2013-01-02 Thomas Quinot <quinot@adacore.com>
3281 * exp_prag.adb (Expand_Pragma_Check): The statements generated
3282 for the pragma must have the sloc of the pragma, not the
3283 sloc of the condition, otherwise this creates anomalies in the
3284 generated debug information that confuse coverage analysis tools.
3286 2013-01-02 Thomas Quinot <quinot@adacore.com>
3288 * sem_ch13.adb: Minor reformatting.
3290 2013-01-02 Arnaud Charlet <charlet@adacore.com>
3292 * g-excact.ads (Core_Dump): Clarify that this subprogram does
3293 not dump cores under Windows.
3295 2013-01-02 Ed Schonberg <schonberg@adacore.com>
3297 * sem_ch8.adb (Analyze_Primitive_Renamed_Operation): The prefixed
3298 view of a subprogram has convention Intrnnsic, and a renaming
3299 of a prefixed view cannot be the prefix of an Access attribute.
3301 2013-01-02 Robert Dewar <dewar@adacore.com>
3303 * restrict.adb: Minor reformatting.
3305 2013-01-02 Thomas Quinot <quinot@adacore.com>
3307 * exp_prag.adb: Minor reformatting.
3309 2013-01-02 Ed Schonberg <schonberg@adacore.com>
3311 * sem_ch12.adb (Get_Associated_Node): If the node is an
3312 identifier that denotes an unconstrained array in an object
3313 declaration, it is rewritten as the name of an anonymous
3314 subtype whose bounds are given by the initial expression in the
3315 declaration. When checking whether that identifier is global
3316 reference, use the original node, not the local generated subtype.
3318 2013-01-02 Olivier Hainque <hainque@adacore.com>
3320 * tracebak.c: Revert previous change, incomplete.
3322 2013-01-02 Ed Schonberg <schonberg@adacore.com>
3324 * sem_ch13.adb (Analyze_Aspect_Specifications): If the aspect
3325 appears on a subprogram body that acts as a spec, place the
3326 corresponding pragma in the declarations of the body, so that
3327 e.g. pre/postcondition checks can be generated appropriately.
3329 2013-01-02 Robert Dewar <dewar@adacore.com>
3331 * sem_ch3.adb: Minor reformatting and code reorganization.
3333 2013-01-02 Vincent Celier <celier@adacore.com>
3335 * switch-m.adb (Normalize_Compiler_Switches): Record the
3336 complete switch -fstack-check=specific instead of its shorter
3337 alias -fstack-check.
3339 2013-01-02 Ed Schonberg <schonberg@adacore.com>
3341 * sem_ch3.adb (Derive_Subprogram): Enforce RM 6.3.1 (8):
3342 if the derived type is a tagged generic formal type with
3343 unknown discriminants, the inherited operation has convention
3344 Intrinsic. As such, the 'Access attribute cannot be applied to it.
3346 2013-01-02 Thomas Quinot <quinot@adacore.com>
3348 * sem_attr.adb: Minor reformatting.
3350 2013-01-02 Thomas Quinot <quinot@adacore.com>
3352 * par_sco.adb: Add SCO generation for S of protected types and
3353 single protected object declarations.
3355 2013-01-02 Robert Dewar <dewar@adacore.com>
3357 * sem_eval.adb, osint.ads: Minor reformatting.
3359 2013-01-02 Hristian Kirtchev <kirtchev@adacore.com>
3361 * sem_prag.adb (Analyze_Pragma): Check the legality of pragma Assume.
3363 2013-01-02 Thomas Quinot <quinot@adacore.com>
3365 * sem_eval.adb (Compile_Time_Compare): For static operands, we
3366 can perform a compile time comparison even if in preanalysis mode.
3368 2013-01-02 Thomas Quinot <quinot@adacore.com>
3370 * par_sco.adb (SCO_Record): Always use
3371 Traverse_Declarations_Or_Statements to process the library level
3372 declaration, so that SCOs are properly generated for its aspects.
3374 2013-01-02 Thomas Quinot <quinot@adacore.com>
3376 * scos.ads (In_Decision): Add missing entry for 'a'.
3377 * sem_prag.adb (Analyze_Pragma, case pragma Check): Omit
3378 call to Set_SCO_Pragma_Enabled for Invariant and Predicate.
3379 * sem_ch13.adb: Minor comment update.
3381 Copyright (C) 2013 Free Software Foundation, Inc.
3383 Copying and distribution of this file, with or without modification,
3384 are permitted in any medium without royalty provided the copyright
3385 notice and this notice are preserved.