1 2012-08-14 Diego Novillo <dnovillo@google.com>
3 Merge from cxx-conversion branch. Re-implement VEC in C++.
5 * gcc-interface/trans.c (finalize_nrv_unc_r): Adjust VEC_index usage.
6 * gcc-interface/utils.c (convert): Likewise.
7 (remove_conversions): Likewise.
8 * gcc-interface/utils2.c (compare_fat_pointers): Likewise.
9 (build_unary_op): Likewise.
10 (gnat_stabilize_reference): Likewise.
12 2012-08-06 Jose Ruiz <ruiz@adacore.com>
14 * gcc-interface/Makefile.in: Add support for 32-bit VxWorks for SPARC
17 2012-08-06 Arnaud Charlet <charlet@adacore.com>
19 * prj-attr.adb (Register_New_Package): Add missing blank.
21 2012-08-06 Ed Schonberg <schonberg@adacore.com>
23 * exp_aggr.adb (Is_Two_Dim_Packed_Array): New predicate,
24 used when computing maximum size allowable to construct static
27 2012-08-06 Vincent Pucci <pucci@adacore.com>
29 * freeze.adb (Freeze_Entity): Inherit_Aspects_At_Freeze_Point
30 calls added for derived types and subtypes.
31 * sem_aux.adb, sem_aux.ads (Get_Rep_Item, Get_Rep_Pragma,
32 Has_Rep_Pragma): New routines.
33 * sem_ch13.ads (Inherit_Aspects_At_Freeze_Point): New routine.
34 * sem_ch13.adb (Analyze_Aspect_Specifications): Error message
35 for aspect Lock_Free fixed.
36 (Inherits_Aspects_At_Freeze_Point): New routine.
37 * sem_ch3.adb: Several flag settings removed since inheritance
38 of aspects must be performed at freeze point.
40 2012-08-06 Thomas Quinot <quinot@adacore.com>
42 * s-oscons-tmplt.c: Fix s-oscons.ads formatting on VxWorks.
44 2012-08-06 Vincent Pucci <pucci@adacore.com>
46 * sem_dim.adb (Analyze_Dimension_Binary_Op): Issue an error message
47 for unknown exponent at compile-time.
49 2012-08-06 Gary Dismukes <dismukes@adacore.com>
51 * sem_eval.ads (Compile_Time_Known_Value_Or_Aggr): Enhance
52 comment to make it clear that the aggregate's evaluation might
53 still involve run-time checks even though the aggregate is
54 considered known at compile time.
55 * sinfo.ads (Compile_Time_Known_Aggregate): Correct comment to
56 refer to Exp_Aggr instead of Sem_Aggr.
58 2012-08-06 Robert Dewar <dewar@adacore.com>
60 * xoscons.adb: Minor code reorganization (remove unused variable
62 * g-sercom.ads, exp_attr.adb: Minor reformatting.
63 * sinfo.adb, sinfo.ads: Minor cleanup, remove unused flag
66 2012-08-06 Ed Schonberg <schonberg@adacore.com>
68 * sem_ch3.adb (Build_Derived_Concurrent_Type): Copy discriminant
69 constraint when building a constrained subtype, to prevent
70 undesirable tree sharing betweeb geberated subtype and derived
73 2012-08-06 Thomas Quinot <quinot@adacore.com>
75 * g-sercom-mingw.adb, s-oscons-tmplt.c: Add missing constants
78 2012-08-06 Sergey Rybin <rybin@adacore.com frybin>
80 * tree_io.ads: Update ASIS_Version_Number because of the tree fix
81 for discriminant constraints for concurrent types.
83 2012-08-06 Thomas Quinot <quinot@adacore.com>
85 * sem_ch4.adb: Minor reformatting.
87 2012-08-06 Thomas Quinot <quinot@adacore.com>
89 * s-oscons-tmplt.c, xoscons.adb: Per the Single UNIX Specification,
90 types cc_t, speed_t, and tcflag_t defined in <termios.h> all are
91 unsigned types. Add required special handling to have their correct
92 unsigned values in s-oscons.ads.
94 2012-08-06 Thomas Quinot <quinot@adacore.com>
96 * par-ch13.adb: Minor reformatting.
98 2012-08-06 Thomas Quinot <quinot@adacore.com>
100 * g-sercom.adb, g-sercom.ads, g-sercom-mingw.adb, g-sercom-linux.adb
101 (Set): Add Local and Flow_Control settings.
103 2012-08-06 Ed Schonberg <schonberg@adacore.com>
105 * exp_attr.adb: Suppress saving of 'Old if assertions are not
108 2012-08-06 Yannick Moy <moy@adacore.com>
110 * sem_ch4.adb (Analyze_Selected_Component): Issue an error in
111 Alfa mode for component not present.
113 2012-08-06 Thomas Quinot <quinot@adacore.com>
115 * exp_ch7.adb (Insert_Actions_In_Scope_Around): Do not
116 use a renaming of Scope_Stack.Table (Scope_Stack.Last), as
117 Process_Transient_Object may introduce new scopes and cause
118 Scope_Stack.Table to be reallocated.
120 2012-08-06 Robert Dewar <dewar@adacore.com>
122 * exp_util.adb, switch-c.adb, inline.ads, sem_ch10.adb, types.ads,
123 checks.adb, sem_prag.adb, sem.adb, sem.ads, sem_res.adb, sem_attr.adb,
124 gnat1drv.adb, exp_ch4.adb, exp_ch6.adb, opt.ads, osint.adb: Implement
125 extended overflow checks (step 1).
126 (Overflow_Check_Type, Suppress_Record, Suppress_All): New types.
127 (Suppress_Array): Extended to include switches to control extended
128 overflow checking (and renamed to Suppress_Record).
129 Update all uses of Suppress_Array.
131 2012-08-06 Thomas Quinot <quinot@adacore.com>
133 * makeutl.ads: Minor documentation fix.
135 2012-08-06 Thomas Quinot <quinot@adacore.com>
137 * exp_ch7.adb: Minor reformatting.
139 2012-08-06 Geert Bosch <bosch@adacore.com>
141 * a-ngelfu.adb: Change obsolete comment that this is a non-strict
144 2012-08-06 Steve Baird <baird@adacore.com>
146 * exp_ch7.adb (Build_Finalizer.Process_Object_Declaration): If
147 CodePeer_Mode = True then omit exception handlers for finalization calls
149 2012-08-06 Robert Dewar <dewar@adacore.com>
151 * exp_aggr.adb: Minor reformatting.
153 2012-08-06 Robert Dewar <dewar@adacore.com>
155 * sem_ch6.adb: Remove useless flag Body_Deleted.
157 2012-08-06 Thomas Quinot <quinot@adacore.com>
159 * sinfo.ads (End_Span): Change default from No_Uint to Uint_0,
160 as this is what all usage occurrences of this attribute are
162 * uintp.adb (UI_To_Int): Add assertion to guard against calling
165 2012-08-06 Vincent Pucci <pucci@adacore.com>
168 * exp_attr.adb (Expand_N_Attribute_Reference): Expand new
169 Atomic_Always_Lock_Free attribute.
170 * sem_attr.adb (Analyze_Attribute): Analyze new
171 Atomic_Always_Lock_Free attribute.
172 (Eval_Attribute): Nothing to do with new Atomic_Always_Lock_Free
174 * sem_ch9.adb (Allows_Lock_Free_Implementation):
175 Support_Atomic_Primitives check replaces previous erroneous
177 * sem_util.adb, sem_util.ads (Support_Atomic_Primitives):
179 * snames.ads-tmpl: New name Name_Atomic_Always_Lock_Free and
180 new attribute Attribute_Atomic_Always_Lock_Free defined.
181 * s-atopri.adb: Support_Atomic_Primitives checks replaced by
182 Atomic_Always_Lock_Free queries.
183 * system-aix64.ads, system-aix.ads, system-darwin-ppc.ads,
184 system-hpux.ads, system-linux-alpha.ads, system-linux-hppa.ads,
185 system-linux-ppc.ads, system-linux-s390.ads,
186 system-linux-s390x.ads, system-linux-sh4.ads,
187 system-linux-sparc.ads, system-lynxos178-ppc.ads,
188 system-lynxos-ppc.ads, system-mingw.ads,
189 system-vxworks-arm.ads, system-solaris-sparc.ads,
190 system-solaris-sparcv9.ads, system-vms_64.ads,
191 system-vxworks-m68k.ads, system-vxworks-mips.ads,
192 system-vxworks-ppc.ads, system-vxworks-sparcv9.ads: Flag
193 Support_Atomic_Primitives removed.
195 2012-08-06 Hristian Kirtchev <kirtchev@adacore.com>
197 * sem_mech.adb (Set_Mechanisms): OUT and IN OUT parameters are
198 now unconditionally passed by reference. IN parameters subject
199 to convention C_Pass_By_Copy are passed by copy, otherwise they
200 are passed by reference.
202 2012-08-06 Ed Schonberg <schonberg@adacore.com>
204 * sem_ch3.adb (Analyze_Object_Declaration): According to
205 AI95-0303, protected objects with interrupt handlers can be
206 declared in nested scopes. This is a binding interpretation,
207 and thus applies to all versions of the compiler.
209 2012-08-06 Robert Dewar <dewar@adacore.com>
211 * frontend.adb, exp_aggr.adb: Minor reformatting.
213 2012-08-06 Thomas Quinot <quinot@adacore.com>
215 * par-endh.adb: Minor reformatting.
217 2012-08-06 Hristian Kirtchev <kirtchev@adacore.com>
219 * exp_ch7.adb (Process_Transient_Objects): Remove obsolete loop
220 processing related to array initialization. The expansion of
221 loops already contains a mechanism to detect controlled objects
222 generated by expansion and introduce a block around the loop
223 statements for finalization purposes.
225 2012-08-06 Vincent Pucci <pucci@adacore.com>
227 * sem_ch13.adb: Current scope must be within
228 or same as the scope of the entity while analysing aspect
229 specifications at freeze point.
231 2012-08-06 Thomas Quinot <quinot@adacore.com>
233 * par_sco.adb: Add note about dubious SCO for TERMINATE
235 * sem_ch8.adb, exp_ch11.adb: Minor reformatting.
237 2012-08-06 Ed Schonberg <schonberg@adacore.com>
239 * exp_aggr.adb (Two_Dim_Packed_Array_Handled): New procedure to
240 transform an aggregate for a packed two-dimensional array into
241 a one-dimensional array of constant values, in order to avoid
242 the generation of component-by-component assignments.
244 2012-08-06 Thomas Quinot <quinot@adacore.com>
246 * frontend.adb: Do not attempt to process deferred configuration
247 pragmas if the main unit failed to load, to avoid cascaded
248 inconsistencies that can lead to a compiler crash.
250 2012-08-06 Vincent Pucci <pucci@adacore.com>
252 * s-atopri.adb: Minor reformatting.
254 2012-08-06 Arnaud Charlet <charlet@adacore.com>
256 * gnat-style.texi: Clarify that all subprograms should be
257 documented. Minor rewording.
259 2012-08-06 Robert Dewar <dewar@adacore.com>
261 * aspects.ads: Define Aspect_Id_Exclude_No_Aspect.
262 * par-ch13.adb, restrict.adb: Use Aspect_Id_Exclude_No_Aspect to
265 2012-08-06 Yannick Moy <moy@adacore.com>
267 * gnat-style.texi: Update style guide for declarations.
269 2012-08-06 Yannick Moy <moy@adacore.com>
271 * sem_attr.adb (Analyze_Attribute): In the case for 'Old,
272 skip a special expansion which is not needed in Alfa mode.
274 2012-08-06 Yannick Moy <moy@adacore.com>
276 * sem_ch5.adb (Analyze_Iterator_Specification): Do not perform
277 an expansion of the iterator in Alfa mode.
279 2012-08-06 Robert Dewar <dewar@adacore.com>
281 * s-oscons-tmplt.c, sem_ch9.adb, osint.adb: Minor reformatting.
283 2012-08-06 Hristian Kirtchev <kirtchev@adacore.com>
285 * sem_ch5.adb (Analyze_Loop_Parameter_Specification): Remove obsolete
286 Alfa-specific guard. The code is a leftover from an early
287 implementation of iterators which is no longer in use.
289 2012-08-06 Vincent Celier <celier@adacore.com>
291 * par-ch13.adb (Get_Aspect_Specifications): Do not consider
292 No_Aspect when checking for a mispelled aspect.
294 2012-08-06 Robert Dewar <dewar@adacore.com>
296 * s-htable.adb: Minor reformatting.
298 2012-08-06 Thomas Quinot <quinot@adacore.com>
300 * s-oscons-tmplt.c, g-socket.adb (System.OS_Constants.Target_OS):
301 Suppress warnings so that we don't have to do it at each usage.
303 2012-08-06 Vincent Pucci <pucci@adacore.com>
305 * exp_ch9.adb (Build_Lock_Free_Unprotected_Subprogram_Body):
306 Use of Known_Static_Esize instead of Known_Esize and
307 Known_Static_RM_Size instead of Known_RM_Size in order to
308 properly call UI_To_Int. Don't check the size of the component
309 type in case of generic.
310 * sem_ch9.adb (Allows_Lock_Free_Implementation):
311 Use of Known_Static_Esize instead of Known_Esize and
312 Known_Static_RM_Size instead of Known_RM_Size in order to properly
313 call UI_To_Int. Don't check the size of the component type in
316 2012-08-06 Hristian Kirtchev <kirtchev@adacore.com>
318 * checks.adb (Discrete_Range_Cond): Do not try to optimize on
319 the assumption that the type of an expression can always fit in
320 the target type of a conversion.
322 2012-07-30 Robert Dewar <dewar@adacore.com>
324 * bindusg.adb: Clarify file in -A lines.
326 2012-07-30 Robert Dewar <dewar@adacore.com>
328 * freeze.adb: Minor reformatting.
330 2012-07-30 Robert Dewar <dewar@adacore.com>
332 * gnatcmd.adb, makeutl.adb, makeutl.ads: Minor code reorganization.
334 2012-07-30 Vincent Pucci <pucci@adacore.com>
336 * exp_ch9.adb (Build_Lock_Free_Unprotected_Subprogram_Body): Minor
338 * sem_ch9.adb (Allows_Lock_Free_Implementation): Minor reformatting.
339 Capture the correct error message in case of a quantified expression.
341 2012-07-30 Thomas Quinot <quinot@adacore.com>
343 * g-socket.adb (Get_Socket_Option, Set_Socket_Option): On Windows, the
344 value is a milliseconds count in a DWORD, not a struct timeval.
346 2012-07-30 Hristian Kirtchev <kirtchev@adacore.com>
348 * sem_ch12.adb (Earlier): Add local variables T1 and T2. Minor code
351 2012-07-30 Thomas Quinot <quinot@adacore.com>
353 * gnatcmd.adb, make.adb, makeutl.adb, makeutl.ads
354 (Test_If_Relative_Path): Rename to Ensure_Absolute_Path to better
355 reflect what this subprogram does. Rename argument Including_L_Switch
356 to For_Gnatbind, and also exempt -A from rewriting.
357 * bindusg.adb: Document optional =file argument to gnatbind -A.
359 2012-07-30 Ed Schonberg <schonberg@adacore.com>
361 * freeze.adb (Freeze_Entity): Do no apply restriction check on
362 storage pools to access to subprogram types.
364 2012-07-30 Robert Dewar <dewar@adacore.com>
366 * par_sco.adb, a-cihama.adb, a-coinve.adb, exp_ch7.adb, a-ciorse.adb,
367 exp_ch9.adb, sem_dim.adb, par-ch13.adb, sem_ch9.adb, a-cidlli.adb,
368 a-cimutr.adb, freeze.adb, a-ciormu.adb, sem_res.adb, sem_attr.adb,
369 a-cihase.adb, exp_ch4.adb, sem_ch4.adb, a-ciorma.adb,
370 s-tasinf-linux.ads, sem_ch13.adb, a-coinho.adb: Minor reformatting.
373 2012-07-30 Vincent Pucci <pucci@adacore.com>
375 * sem_ch9.adb (Allows_Lock_Free_Implementation): Restrict implicit
376 dereferences of access values.
378 2012-07-27 Iain Sandoe <iain@codesourcery.com>
380 * system-darwin-ppc64.ads: Add Support_Atomic_Primitives, set to True.
382 2012-07-25 Eric Botcazou <ebotcazou@adacore.com>
384 * gcc-interface/utils2.c (gnat_stabilize_reference) <BIT_FIELD_REF>: Do
385 not stabilize operand #1 and #2.
387 2012-07-23 Tristan Gingold <gingold@adacore.com>
389 * gcc-interface/trans.c (Handled_Sequence_Of_Statements_to_gnu): Use
390 End_Label sloc when possible for sloc of the TRY_CATCH_EXPR node.
392 2012-07-23 Olivier Hainque <hainque@adacore.com>
394 * gcc-interface/Makefile.in: Adjust processing of Linker_Options for
396 * gcc-interface/Make-lang.in: Update dependencies.
398 2012-07-23 Arnaud Charlet <charlet@adacore.com>
400 * s-tasinf-linux.ads: Fix typo.
402 2012-07-23 Thomas Quinot <quinot@adacore.com>
404 * exp_ch7.adb, switch-m.adb, exp_ch3.adb, freeze.adb: Minor reformatting
406 2012-07-23 Ed Schonberg <schonberg@adacore.com>
408 * exp_ch5.adb (Expand_Iterator_Loop_Over_Array): If original
409 loop carries an identifier, preserve it when rewriting it as a
410 standard loop to validate exit statements that may reference
411 that name in the body of the loop.
413 2012-07-23 Thomas Quinot <quinot@adacore.com>
415 * exp_ch9.adb: Minor code cleanup.
417 2012-07-23 Ed Schonberg <schonberg@adacore.com>
419 * sem_ch4.adb (Analyze_Selected_Component): When checking for
420 potential ambiguities with class-wide operations on synchronized
421 types, attach the copied node properly to the tree, to prevent
422 errors during expansion.
424 2012-07-23 Yannick Moy <moy@adacore.com>
426 * sem_ch5.adb (Analyze_Loop_Statement): Make sure the loop body
427 is analyzed in Alfa mode.
429 2012-07-23 Ed Schonberg <schonberg@adacore.com>
431 * sem_res.adb: Adjust previous change.
433 2012-07-23 Vincent Pucci <pucci@adacore.com>
435 * sem_ch9.adb (Allows_Lock_Free_Implementation): Flag
436 Lock_Free_Given renames previous flag Complain. Description
437 updated. Henceforth, catch every error messages issued by this
438 routine when Lock_Free_Given is True. Declaration restriction
439 updated: No non-elementary parameter instead (even in parameter)
440 New subprogram body restrictions implemented: No allocator,
441 no address, import or export rep items, no delay statement,
442 no goto statement, no quantified expression and no dereference
445 2012-07-23 Hristian Kirtchev <kirtchev@adacore.com>
447 * checks.adb (Determine_Range): Add local variable Btyp. Handle
448 the case where the base type of an enumeration subtype is
449 private. Replace all occurrences of Base_Type with Btyp.
450 * exp_attr.adb (Attribute_Valid): Handle the case where the
451 base type of an enumeration subtype is private. Replace all
452 occurrences of Base_Type with Btyp.
453 * sem_util.adb (Get_Enum_Lit_From_Pos): Add local variable
454 Btyp. Handle the case where the base type of an enumeration
455 subtype is private. Replace all occurrences of Base_Type with
458 2012-07-23 Ed Schonberg <schonberg@adacore.com>
460 * par-ch6.adb (P_Mode): in Ada 2005, a mode indicator can apply
461 to a formal object of an anonymous access type.
463 2012-07-23 Ed Schonberg <schonberg@adacore.com>
465 * sem_ch4.adb (Try_Container_Indexing): A user-defined indexing
466 aspect can have more than one index, e.g. to describe indexing
467 of a multidimensional object.
469 2012-07-23 Hristian Kirtchev <kirtchev@adacore.com>
471 * exp_ch4.adb (Apply_Accessibility_Check): Reimplemented. The check is
472 now more complex and contains optional finalization part and mandatory
475 2012-07-23 Gary Dismukes <dismukes@adacore.com>
477 * a-cihama.adb, a-cihase.adb, a-cimutr.adb, a-ciorma.adb, a-ciormu.adb,
478 a-ciorse.adb, a-coinho.adb, a-coinve.adb, a-cidlli.adb: Unsuppress
479 Accessibility_Check for Element_Type allocators.
481 2012-07-23 Vasiliy Fofanov <fofanov@adacore.com>
483 * projects.texi: Fix typo.
485 2012-07-23 Ed Schonberg <schonberg@adacore.com>
487 * sem_res.adb (Resolve_Explicit_Derenference): If prefix is
488 overloaded, remove those interpretations whose designated type
489 does not match the context, to avoid spurious ambiguities that
490 may be caused by the Ada 2012 conversion rule for anonymous
493 2012-07-23 Vincent Celier <celier@adacore.com>
495 * g-spitbo.adb (Substr (String)): Return full string and do not
496 raise exception when Start is 1 and Len is exactly the length
497 of the string parameter.
498 * g-spitbo.ads: Fix spelling error in the name of exception
501 2012-07-23 Ed Schonberg <schonberg@adacore.com>
503 * par.adb: new subprogram Get_Aspect_Specifications.
504 * par-ch6.adb (P_Subprogram): handle subprogram bodies with aspect
506 * par-ch13.adb (Get_Aspect_Specifications): extracted from
507 P_Aspect_Specifications. Collect aspect specifications in some
508 legal context, but do not attach them to any declaration. Used
509 when parsing subprogram declarations or bodies that include
510 aspect specifications.
511 * sem_ch6.adb (Analyze_Subprogram_Body_Helper): If aspects are
512 present, analyze them, or reject them if the subprogram as a
515 2012-07-23 Vasiliy Fofanov <fofanov@adacore.com>
517 * gnat_ugn.texi: Omit section on other platforms/runtimes support
518 in gnattest for vms version.
520 2012-07-23 Ed Schonberg <schonberg@adacore.com>
522 * sem_ch13.adb (Analyze_Aspect_Specifications):
523 Handle properly aspects that can be specified on a subprogram
524 body: CPU, Priority, and Interrupt_Priority.
526 2012-07-23 Claire Dross <dross@adacore.com>
528 * a-cfdlli.ads: Switch definition of Constant_Reference_Type
531 2012-07-23 Thomas Quinot <quinot@adacore.com>
533 * par_sco.adb (Process_Decisions.Output_Header): For the guard
534 on an alternative in a SELECT statement, use the First_Sloc
535 of the guard expression (not its topmost sloc) as the decision
536 location, because this is what is referenced by dominance markers.
538 2012-07-23 Hristian Kirtchev <kirtchev@adacore.com>
540 * exp_ch7.adb (Requires_Hooking): Examine the original expression
541 of an object declaration node because a function call that
542 returns on the secondary stack may have been rewritten into
545 2012-07-23 Vincent Pucci <pucci@adacore.com>
547 * sem_dim.adb (Analyze_Dimension_Has_Etype): For identifier, propagate
548 dimension when entity is a non-dimensionless constant.
549 (Analyze_Dimension_Object_Declaration): Propagate
550 dimension from the expression to the entity when type is a
551 dimensioned type and object is a constant.
553 2012-07-23 Ed Schonberg <schonberg@adacore.com>
555 * sem_attr.adb (Analyze_Attribute, case 'Old): if the prefix
556 is not an entity name, expand at once so that code generated by
557 the expansion of the prefix is not generated before the constant
558 that captures the old value is properly inserted and analyzed.
560 2012-07-23 Thomas Quinot <quinot@adacore.com>
562 * exp_ch9.adb (Ensure_Statement_Present): Mark generated NULL
563 statement as Comes_From_Source so that GIGI does not eliminate it.
565 2012-07-23 Hristian Kirtchev <kirtchev@adacore.com>
567 * sem_ch12.adb (Insert_Freeze_Node_For_Instance): Inst is now
568 a local variable. Retrieve the related instance when processing
569 a subprogram instantiation. Such instances appear as wrapper
572 2012-07-23 Vincent Pucci <pucci@adacore.com>
574 * system-aix64.ads, system-aix.ads, system-darwin-ppc.ads,
575 system-hpux.ads, system-linux-alpha.ads,
576 system-linux-hppa.ads, system-linux-ppc.ads,
577 system-linux-s390.ads, system-linux-s390x.ads,
578 system-linux-sh4.ads, system-linux-sparc.ads,
579 system-lynxos-ppc.ads, system-mingw.ads,
580 system-solaris-sparc.ads, system-solaris-sparcv9.ads,
581 system-vms_64.ads, * system-vxworks-arm.ads, system-vxworks-m68k.ads,
582 system-vxworks-mips.ads, system-vxworks-ppc.ads,
583 system-vxworks-sparcv9.ads: Support_Atomic_Primitives set to False.
584 * system-darwin-x86.ads, system-darwin-x86_64.ads,
585 system-freebsd-x86.ads, system-freebsd-x86_64.ads,
586 system-hpux-ia64.ads, system-linux-ia64.ads, system-linux-x86.ads,
587 system-linux-x86_64.ads, system-lynxos-x86.ads,
588 system-mingw-x86_64.ads, system-solaris-x86.ads,
589 system-solaris-x86_64.ads, system-vms-ia64.ads,
590 system-vxworks-x86.ads: Support_Atomic_Primitives set to True.
591 * s-atopri.adb (Lock_Free_Read_X): New body.
592 (Lock_Free_Try_Write_X): Support_Atomic_Primitives check added.
593 (Lock_Free_Try_Write_64): New body.
594 * s-atopri.ads: New type uint.
595 (Sync_Compare_And_Swap_64): __sync_val_compare_and_swap_8 intrinsic
597 (Lock_Free_Read_X): Body moved to s-atopri.adb.
598 (Lock_Free_Try_Write_64): Similar to other Lock_Free_Try_Write_X
600 * targparm.adb: New enumeration literal SAP
601 (Support_Atomic_Primitives) for type Targparm_Tags. New constant
602 SAP_Str. New component SAP_Str'Access for array Targparm_Str.
603 (Get_Target_Parameters): Parse Support_Atomic_Primitives_On_Target
605 * targparm.ads: New back-end code generation flag
606 Support_Atomic_Primitives_On_Target
608 2012-07-23 Vincent Pucci <pucci@adacore.com>
610 * gnat_ugn.texi: Dimensionality checking documentation updated.
612 2012-07-23 Ed Schonberg <schonberg@adacore.com>
614 * sem_prag.adb (Make_Inline): If the pragma applies to a
615 subprogram renaming, set inline flags on both the renamed entity
616 and on the renaming, so that some ASIS queries can be handled
617 consistently in the absence of expansion.
619 2012-07-23 Fedor Rybin <frybin@adacore.com>
621 * gnat_ugn.texi: Removing obsolete limitation of gnattest
622 to support only ada05. Updating gnattest support for other
623 platforms/run-times section to reflect the usage of taget
624 prefix in gnattest calls. Fixing missed obsolete --stub-default
627 2012-07-23 Robert Dewar <dewar@adacore.com>
629 * uintp.adb: Minor reformatting.
631 2012-07-23 Olivier Hainque <hainque@adacore.com>
633 * system-vxworks-ppc.ads: Replace the default
634 Linker_Options requesting crtbe by a commented out request for
637 2012-07-23 Vincent Celier <celier@adacore.com>
639 * prj-nmsc.adb (Check_Naming): Do not get the exceptions names
640 in a virtual project.
642 2012-07-23 Robert Dewar <dewar@adacore.com>
644 * layout.adb, sem_prag.adb, sem.ads, freeze.adb,
645 switch-m.adb, exp_disp.adb, system-vxworks-ppc.ads, exp_ch6.adb: Minor
648 2012-07-23 Tristan Gingold <gingold@adacore.com>
650 * gcc-interface/trans.c: (Handled_Sequence_Of_Statements_to_gnu): Set
651 location on TRY_CATCH_EXPR.
653 2012-07-19 Eric Botcazou <ebotcazou@adacore.com>
655 * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: Try to ensure
656 that an object of CW type initialized to a value is sufficiently
657 aligned for this value.
659 2012-07-19 Eric Botcazou <ebotcazou@adacore.com>
661 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Record_Subtype>: Do not
662 look up the REP part of the base type in advance. Deal with that of
664 (get_rep_part): Be prepared for record types with fields.
666 2012-07-18 Eric Botcazou <ebotcazou@adacore.com>
668 * gcc-interface/trans.c (stmt_group_may_fallthru): New function.
669 (gnat_to_gnu) <N_Block_Statement>: Use it to find out whether the
670 block needs to be translated.
672 2012-07-17 Tristan Gingold <gingold@adacore.com>
674 * gnat_rm.texi: Adjust previous change.
676 2012-07-17 Ed Schonberg <schonberg@adacore.com>
678 * sem_prag.adb (Process_Import_Or_Interface): If the pragma
679 comes from an aspect, it applies to the corresponding entity
680 without further check.
682 2012-07-17 Olivier Hainque <hainque@adacore.com>
684 * initialize.c (__gnat_initialize for VxWorks): Remove section with
685 call to __gnat_vxw_setup_for_eh.
686 * system-vxworks-ppc.ads: Add -auto-register to -crtbe, relying
687 on the VxWorks constructor mechanism for network loaded modules
690 2012-07-17 Tristan Gingold <gingold@adacore.com>
692 * adaint.c: Minor reformatting.
694 2012-07-17 Pascal Obry <obry@adacore.com>
696 * s-regexp.adb (Adjust): Fix access violation in Adjust.
698 2012-07-17 Ed Schonberg <schonberg@adacore.com>
700 * freeze.adb (Freeze_Entity): Warn if an imported subprogram
701 has pre/post conditions, because these will not be enforced.
703 2012-07-17 Eric Botcazou <ebotcazou@adacore.com>
705 * exp_ch7.adb (Process_Transient_Objects): Put all the
706 finalization blocks and the final raise statement into a wrapper
709 2012-07-17 Vincent Pucci <pucci@adacore.com>
711 * s-atopri.adb (Lock_Free_Try_Write_X): Atomic_Compare_Exchange_X
712 replaced by Sync_Compare_And_Swap_X.
713 (Lock_Free_Try_Write_64): Removed.
714 * s-atopri.ads (Sync_Compare_And_Swap_X): Replaces previous
715 routine Atomic_Compare_Exchange_X.
716 (Lock_Free_Read_64): Renaming of Atomic_Load_64.
717 (Lock_Free_Try_Write_64): Renaming of Sync_Compare_And_Swap_64.
719 2012-07-17 Vincent Celier <celier@adacore.com>
721 * switch-m.adb (Normalize_Compiler_Switches): Recognize new
722 switches -gnatn1 and -gnatn2.
724 2012-07-17 Vincent Pucci <pucci@adacore.com>
726 * gnat_ugn.texi: GNAT dimensionality checking
727 documentation updated with System.Dim.Mks modifications.
729 2012-07-17 Ed Schonberg <schonberg@adacore.com>
731 * exp_ch3.adb: sloc of array init_proc is sloc of type declaration.
733 2012-07-17 Tristan Gingold <gingold@adacore.com>
735 * raise-gcc.c (get_call_site_action_for): Remove useless init
737 (get_action_description_for): Do not overwrite action->kind.
739 2012-07-17 Hristian Kirtchev <kirtchev@adacore.com>
741 * exp_attr.adb (Expand_N_Attribute_Reference): Add local variables Attr
742 and Conversion_Added. Add local constant Typ.
743 Retrieve the original attribute after the arithmetic check
744 machinery has modified the node. Add a conversion to the target
745 type when the prefix of attribute Max_Size_In_Storage_Elements
746 is a controlled type.
748 2012-07-17 Gary Dismukes <dismukes@adacore.com>
750 * exp_ch6.adb (Expand_Inlined_Call): For each actual parameter
751 of mode 'out' or 'in out' that denotes an entity, reset
752 Last_Assignment on the entity so that any assignments to the
753 corresponding formal in the inlining will not trigger spurious
754 warnings about overwriting assignments.
756 2012-07-17 Robert Dewar <dewar@adacore.com>
758 * s-assert.ads: Fix comments to make it clear that this is used
759 for all assertions, not just pragma Assert.
761 2012-07-17 Jerome Guitton <guitton@adacore.com>
763 * par_sco.ads: Minor typo fix.
765 2012-07-17 Gary Dismukes <dismukes@adacore.com>
767 * layout.adb (Layout_Type): In the case where the target is
768 AAMP, use 32 bits (a single pointer) rather than 64 bits for an
769 anonymous access-to-subprogram type if the type is library-level
770 and Is_Local_Anonymous_Access is True.
772 2012-07-17 Jose Ruiz <ruiz@adacore.com>
774 * s-tassta.adb, s-tarest.adb (Create_Task, Create_Restricted_Task,
775 Initialize): Add comments explaining that the CPU affinity value that
776 is passed to the run-time library can be either Unspecified_CPU, to
777 indicate that the task inherits the affinity of its activating task,
778 or a value in the range of CPU_Range but no greater than Number_Of_CPUs.
780 2012-07-17 Javier Miranda <miranda@adacore.com>
782 * exp_disp.adb (Make_DT): Remove decoration of Ada.Tags entities.
783 (Make_Tags): Add decoration of Ada.Tags entities.
785 2012-07-17 Ed Schonberg <schonberg@adacore.com>
787 * sem_ch6.adb (Check_Statement_Sequence): When locating the
788 last significant statement in a sequence, ignore iserted nodes
789 that typically come from expansion of controlled operations.
791 2012-07-17 Tristan Gingold <gingold@adacore.com>
793 * gnat_rm.texi: Document foreign exceptions.
795 2012-07-17 Robert Dewar <dewar@adacore.com>
797 * sem_prag.adb, treepr.ads: Minor reformatting.
799 2012-07-17 Robert Dewar <dewar@adacore.com>
801 * exp_ch9.adb: Minor code reorganization.
802 * exp_ch3.adb: Minor code improvement.
804 2012-07-17 Tristan Gingold <gingold@adacore.com>
806 * seh_init.c (__gnat_SEH_error_handler): Not compiled anymore
807 on Windows 64 (+ SEH), as it is unused.
809 2012-07-17 Javier Miranda <miranda@adacore.com>
811 * sem_prag.adb (CPP_Class): Transform obsolescent pragma CPP_Class into
812 CPP convention automatically.
814 2012-07-16 Tristan Gingold <gingold@adacore.com>
816 * gcc-interface/decl.c (intrin_return_compatible_p): Map Address to
819 2012-07-16 Thomas Quinot <quinot@adacore.com>
821 * exp_ch9.adb (Ensure_Statement_Present): New subprogram.
822 (Expand_N_Asynchronous_Select,
823 Expand_N_Selective_Accept.Process_Accept_Alternative,
824 Expand_N_Selective_Accept.Process_Delay_Alternative,
825 Expand_N_Timed_Entry_Call): For an alternative with no trailing
826 statements, introduce a null statement to carry the sloc of
827 the initial special statement (accept, delay, or entry call)
828 in the alternative, for coverage analysis purposes.
830 2012-07-16 Thomas Quinot <quinot@adacore.com>
832 * sem_eval.adb (In_Subrange_Of): Fix typo in test for scalar
835 2012-07-16 Robert Dewar <dewar@adacore.com>
837 * a-exexpr.adb, freeze.adb, a-exexpr-gcc.adb, a-except-2005.adb,
838 sem_eval.adb, s-fileio.adb: Minor reformatting.
840 2012-07-16 Javier Miranda <miranda@adacore.com>
842 * sem_prag.adb (Analyze_Pragma): Remove support for obsolescent
844 * sem_ch13.adb (Analyze_Freeze_Entity): Add missing error on Ada
845 derivations of CPP types. Found updating the tests affected by
846 the removal of pragma CPP_Class.
848 2012-07-16 Thomas Quinot <quinot@adacore.com>
850 * back_end.adb: Minor reformatting.
852 2012-07-16 Thomas Quinot <quinot@adacore.com>
854 * exp_ch9.adb (Expand_N_Selective_Accept.Process_Accept_Alternative):
855 Remove junk test that was always true. For the case of no statements
856 following the ACCEPT, jump directly to End_Lab instead of
857 introducing an intermediate jump.
858 (Expand_N_Selective_Accept.Process_Delay_Alternative): Fix
859 predicate testing for presence of statements following the DELAY.
860 that was always true. For the case of no statements following
861 the ACCEPT, jump directly to End_Lab instead of introducing an
863 (Expand_N_Selective_Accept): Fix incorrect insertion point for
866 2012-07-16 Thomas Quinot <quinot@adacore.com>
868 * gnat_rm.texi: Minor documentation improvements.
870 2012-07-16 Yannick Moy <moy@adacore.com>
872 * sem_ch13.adb (Analyze_Aspect_Specifications): Allow Pre
873 and Pre'Class aspects on the same declaration.
874 * sem_prag.adb (Chain_PPC): Allow Pre and Pre'Class aspects on the
875 same hierarchy of primitive operations.
877 2012-07-16 Thomas Quinot <quinot@adacore.com>
879 * freeze.adb (Check_Component_Storage_Order): Do not reject a
880 nested composite with different scalar storage order if it is
883 2012-07-16 Thomas Quinot <quinot@adacore.com>
885 * gnat_rm.texi: Update documentation for Scalar_Storage_Order.
887 2012-07-16 Tristan Gingold <gingold@adacore.com>
889 * a-exexpr.adb (Propagate_Exception): Adjust call to
890 Exception_Traces procedures.
891 * a-exexpr-gcc.adb (Setup_Current_Excep): Now a
892 function that returns an access to the Ada occurrence.
893 (Propagate_GCC_Exception): Adjust calls.
894 * raise.h (struct Exception_Occurrence): Declare.
895 * a-exextr.adb: Remove useless pragma. (Notify_Handled_Exception,
896 Notify_Unhandled_Exception) (Unhandled_Exception_Terminate):
898 * a-except.adb (Notify_Handled_Exception,
899 Notify_Unhandled_Exception) (Unhandled_Exception_Terminate):
901 (Process_Raise_Exception): Adjust calls.
902 * a-except-2005.adb (Notify_Handled_Exception,
903 Notify_Unhandled_Exception) (Unhandled_Exception_Terminate): Add
905 (Raise_Exception): Calls Raise_Exception_Always.
906 * raise-gcc.c (__gnat_setup_current_excep,
907 __gnat_notify_handled_exception)
908 (__gnat_notify_unhandled_exception): Adjust declarations.
909 (PERSONALITY_FUNCTION): Adjust calls.
910 (__gnat_personality_seh0): Remove warning.
912 2012-07-16 Javier Miranda <miranda@adacore.com>
914 * sem_eval.adb (Test_Expression_Is_Foldable): Adding documentation.
915 (Eval_Relational_Op): Adding documentation.
917 2012-07-16 Robert Dewar <dewar@adacore.com>
919 * freeze.adb, g-debpoo.adb, exp_ch3.adb: Minor reformatting.
921 2012-07-16 Thomas Quinot <quinot@adacore.com>
923 * s-oscons-tmplt.c: Add definitions of E2BIG and EILSEQ.
925 2012-07-16 Tristan Gingold <gingold@adacore.com>
927 * a-exexpr.adb (Propagate_Continue): New function replacing
929 (Allocate_Occurrence): New function.
930 (Propagate_Exception): Add Excep parameter, remove call to Call_Chain.
931 * a-exexpr-gcc.adb (GNAT_GCC_Exception): Occurrence component
933 (To_GCC_Exception): Convert from Address.
934 (Allocate_Occurrence): Allocate an Unwind exception occurrence.
935 (Setup_Current_Excep): Fill the machine occurrence in case of
937 (Propagate_Exception): Add Excep parameter, remove call to Call_Chain.
938 * a-except.adb (Set_Exception_C_Msg, Set_Exception_Msg): add
940 (Raise_Exception, Raise_Exception_Always,
941 Raise_Exception_No_Defer): Adjust calls to the above procedures.
942 (Raise_From_Signal_Handler, Raise_With_Location_And_Msg)
943 (Rcheck_PE_Finalize_Raised_Exception): Likewise.
944 * a-except-2005.adb (Set_Exception_C_Msg, Set_Exception_Msg):
946 (Propagate_Exception): Likewise.
947 (Allocate_Occurrence): New function.
948 (Raise_Current_Excep): Removed.
949 (Complete_Occurrence): New function to save the call chain.
950 (Complete_And_Propagate_Occurrence): New procedure.
951 (Create_Occurrence_From_Signal_Handler): New function to build an
952 occurrence without propagating it.
953 (Create_Machine_Occurrence_From_Signal_Handler): Likewise, but
954 return the machine occurrence.
955 (Raise_From_Signal_Handler): Use Create_Occurrence_From_Signal_Handler.
956 (Raise_Exception, Raise_Exception_Always, Raise_Exception_No_Defer):
957 Adjust calls to the above procedures. Allocate the occurrence at
959 (Raise_With_Location_And_Msg, Raise_With_Msg)
960 (Rcheck_PE_Finalize_Raised_Exceptionm Reraise): Likewise.
961 (Reraise_Occurrence): Use Reraise_Occurrence_Always.
962 (Reraise_Occurrence_Always): Use Reraise_Occurrence_No_Defer.
963 (Reraise_Occurrence_No_Defer): Preserve machine occurrence.
964 (Save_Occurrence): Do not save machine occurrence.
965 * a-except-2005.ads (Exception_Occurrence): Add Machine_Occurrence
967 (Null_Occurrence): Consider it.
968 * a-exexda.adb (Set_Exception_C_Msg, Set_Exception_Msg): add
971 2012-07-16 Tristan Gingold <gingold@adacore.com>
973 * seh_init.c (__gnat_map_SEH): New function extracted from
974 __gnat_SEH_error_handler.
975 * raise-gcc.c: __gnat_personality_seh0: Directly transforms
976 Windows system exception into GCC one when possible, in order
977 to save stack room (particularly useful when Storage_Error will
980 2012-07-16 Robert Dewar <dewar@adacore.com>
982 * a-direct.adb, g-dirope.adb: Minor reformatting.
984 2012-07-16 Tristan Gingold <gingold@adacore.com>
986 * a-except.ads, a-except-2005.ads: Remove outdated comment.
988 2012-07-16 Robert Dewar <dewar@adacore.com>
990 * sem_ch6.adb (Subprogram_Name_Greater): Fix algorithm to
991 conform to documentation.
993 2012-07-16 Ed Schonberg <schonberg@adacore.com>
995 * gnat1drv.adb (Check_Library_Items): Removed, no longer used.
997 2012-07-16 Ed Schonberg <schonberg@adacore.com>
999 * sem_ch3.adb (Array_Type_Declaration): if component type has
1000 invariants, the array type itself requires an invariant procedure.
1001 * exp_ch3.ads, exp_ch3.adb (Build_Array_Invariant_Proc): new
1002 procedure, to build a checking procedure that applies the
1003 invariant check on some type T to each component of an array
1004 of T's. Code is similar to the construction of the init_proc
1005 for an array, and handles multidimensional arrays by recursing
1006 over successive dimensions.
1008 2012-07-16 Hristian Kirtchev <kirtchev@adacore.com>
1010 * g-debpoo.adb: Revert previous change.
1012 2012-07-16 Hristian Kirtchev <kirtchev@adacore.com>
1014 * freeze.adb (Freeze_Entity): Insert the itype reference to a
1015 library-level class-wide subtype after the freeze node of the
1016 equivalent record type.
1018 2012-07-16 Pascal Obry <obry@adacore.com>
1020 * s-crtl.ads (mkdir): New routine, support encoding.
1021 * adaint.h (__gnat_mkdir): Update spec to pass encoding.
1022 * mkdir.c (__gnat_mkdir): Add encoding parameter.
1023 * a-direct.adb (Create_Directory): Use CRTL.mkdir, parse encoding
1025 * g-dirope.adb (Make_Dir): Update to pass encoding parameter.
1027 2012-07-16 Pascal Obry <obry@adacore.com>
1029 * adaint.c: Minor reformatting.
1031 2012-07-16 Steven Bosscher <steven@gcc.gnu.org>
1033 * gcc-interface/utils.c: Include timevar.h.
1034 * Make-lang.in: Fix dependencies.
1036 2012-07-16 Vasiliy Fofanov <fofanov@adacore.com>
1038 * ug_words, vms_data.ads: Document VMS qualifiers for -gnatn1/2
1041 2012-07-16 Bob Duff <duff@adacore.com>
1043 * sinfo.ads: Minor comment fix.
1045 2012-07-16 Bob Duff <duff@adacore.com>
1047 * sem_elab.adb (Within_Elaborate_All): Walk the with clauses to
1048 find pragmas Elaborate_All that may be found in the transitive
1049 closure of the dependences.
1051 2012-07-16 Robert Dewar <dewar@adacore.com>
1053 * exp_pakd.adb, freeze.adb, sem_util.adb, vms_data.ads: Minor
1056 2012-07-12 Vasiliy Fofanov <fofanov@adacore.com>
1058 * vms_data.ads: Add VMS qualifiers for -gnatn1/2 switches.
1060 2012-07-12 Thomas Quinot <quinot@adacore.com>
1062 * exp_ch5.adb, exp_pakd.adb, rtsfind.ads, freeze.adb, sem_util.adb,
1063 sem_util.ads, exp_aggr.adb
1064 (Exp_Aggr.Packed_Array_Aggregate_Handled): Simplify processing
1065 for reverse storage order aggregate.
1066 (Exp_Pakd.Byte_Swap): New utility routine used by...
1067 (Exp_Pakd.Expand_Bit_Packed_Element_Set,
1068 Expand_Packed_Element_Reference): For the case of a free-standing
1069 packed array with reverse storage order, perform byte swapping.
1070 (Rtsfind): Make new entities RE_Bswap_{16,32,64} available.
1071 (Freeze.Check_Component_Storage_Order): New utility routine
1072 to enforce legality rules for nested composite types whose
1073 enclosing composite has an explicitly defined Scalar_Storage_Order
1075 (Sem_Util.In_Reverse_Storage_Order_Object): Renamed from
1076 Sem_Util.In_Reverse_Storage_Order_Record, as SSO now applies to
1077 array types as well.
1078 (Exp_Ch5.Expand_Assign_Array): Remove now unnecessary kludge
1079 for change of scalar storage order in assignments. The Lhs and
1080 Rhs now always have the same scalar storage order.
1082 2012-07-12 Hristian Kirtchev <kirtchev@adacore.com>
1084 * g-debpoo.adb (Allocate): Add local constant
1085 No_Element. Initialize the allocated memory chunk to No_Element.
1087 2012-07-12 Ed Schonberg <schonberg@adacore.com>
1089 * sem_ch12.adb (Validate_Derived_Type_Instance): Handle properly
1090 the case of an instance of a child unit where a formal derived
1091 type DT is an extension of a type T declared in a parent unit,
1092 and the actual in the instance of the child is the type T declared
1093 in the parent instance, and that actual is not a derived type.
1095 2012-07-12 Eric Botcazou <ebotcazou@adacore.com>
1096 Tristan Gingold <gingold@adacore.com>
1098 * system-hpux-ia64.ads: Enable ZCX by default.
1099 * gcc-interface/Makefile.in: Use alternate stack on ia64-hpux.
1100 Change soext to .so.
1102 2012-07-12 Robert Dewar <dewar@adacore.com>
1104 * s-atopri.adb, s-atopri.ads: Minor reformatting.
1106 2012-07-12 Robert Dewar <dewar@adacore.com>
1108 * ali.adb: Add circuitry to read new named form of restrictions lines.
1109 * debug.adb: Add doc for new -gnatd.R switch (used positional
1110 notation for output of restrictions data in ali file).
1111 * lib-writ.adb: Implement new named format for restrictions lines.
1112 * lib-writ.ads: Add documentation for new named format for
1113 restrictions in ali files.
1114 * restrict.adb, restrict.ads, sem_prag.adb: Update comments.
1115 * rident.ads: Go back to withing System.Rident
1116 * s-rident.ads: Add extensive comment on dealing with consistency
1119 2012-07-12 Thomas Quinot <quinot@adacore.com>
1121 * par_sco.adb, scos.ads: Emit detailed SCOs for SELECT statements.
1123 2012-07-12 Robert Dewar <dewar@adacore.com>
1125 * sem_disp.adb: Minor reformatting
1126 * s-bytswa.ads: Minor comment update.
1128 2012-07-12 Vincent Pucci <pucci@adacore.com>
1130 * exp_ch9.adb (Build_Lock_Free_Unprotected_Subprogram_Body):
1131 Atomic_Load_N replaced by Lock_Free_Read_N. Atomic_Compare_Exchange_N
1132 replaced by Lock_Free_Try_Write_N.
1133 Renaming of several local variables. For
1134 procedure, Expected_Comp declaration moved to the declaration
1135 list of the procedure.
1136 * rtsfind.ads: RE_Atomic_Compare_Exchange_8,
1137 RE_Atomic_Compare_Exchange_16, RE_Atomic_Compare_Exchange_32,
1138 RE_Atomic_Compare_Exchange_64, RE_Atomic_Load_8,
1139 RE_Atomic_Load_16, RE_Atomic_Load_32, RE_Atomic_Load_64,
1140 RE_Atomic_Synchronize, RE_Relaxed removed. RE_Lock_Free_Read_8,
1141 RE_Lock_Free_Read_16, RE_Lock_Free_Read_32, RE_Lock_Free_Read_64,
1142 RE_Lock_Free_Try_Write_8, RE_Lock_Free_Try_Write_16,
1143 RE_Lock_Free_Try_Write_32, RE_Lock_Free_Try_Write_64 added.
1144 * s-atopri.adb: New file.
1145 * s-atopri.ads (Atomic_Compare_Exchange_8): Renaming of
1146 parameters. Import primitive __sync_val_compare_and_swap_1.
1147 (Atomic_Compare_Exchange_16): Renaming of parameters.
1148 Import primitive __sync_val_compare_and_swap_2.
1149 (Atomic_Compare_Exchange_32): Renaming of parameters.
1150 Import primitive __sync_val_compare_and_swap_4.
1151 (Atomic_Compare_Exchange_64): Renaming of parameters. Import
1152 primitive __sync_val_compare_and_swap_8.
1153 (Atomic_Load_8): Ptr renames parameter X.
1154 (Atomic_Load_16): Ptr renames parameter X.
1155 (Atomic_Load_32): Ptr renames parameter X.
1156 (Atomic_Load_64): Ptr renames parameter X.
1157 (Lock_Free_Read_8): New routine.
1158 (Lock_Free_Read_16): New routine.
1159 (Lock_Free_Read_32): New routine.
1160 (Lock_Free_Read_64): New routine.
1161 (Lock_Free_Try_Write_8): New routine.
1162 (Lock_Free_Try_Write_16): New routine.
1163 (Lock_Free_Try_Write_32): New routine.
1164 (Lock_Free_Try_Write_64): New routine.
1166 2012-07-12 Robert Dewar <dewar@adacore.com>
1168 * exp_attr.adb, exp_ch9.adb, sem_ch9.adb, exp_aggr.adb: Minor
1171 2012-07-12 Vincent Pucci <pucci@adacore.com>
1173 * sem_dim.adb (Analyze_Dimension_Function_Call): Reformatting of error
1174 msgs for elementary functions.
1176 2012-07-12 Vincent Pucci <pucci@adacore.com>
1178 * sem_attr.adb (Eval_Attribute): Minor reformatting.
1180 2012-07-12 Pascal Obry <obry@adacore.com>
1182 * prj-nmsc.adb (Check_Library_Attributes): Allow the same library
1183 project in different project tree (different aggregated projects).
1185 2012-07-12 Thomas Quinot <quinot@adacore.com>
1187 * s-bytswa.adb, g-bytswa.adb, g-bytswa.ads, s-bytswa.ads: Further
1188 reorganization of byte swapping routines.
1190 2012-07-12 Ed Schonberg <schonberg@adacore.com>
1192 * sem_disp.adb (Check_Dispatching_Context): Refine legality
1193 checks on tagg indeterminate calls to abstract operations,
1194 that appear in the context of other calls.
1196 2012-07-12 Thomas Quinot <quinot@adacore.com>
1198 * s-bytswa.adb (Swapped2.Bswap16): Remove local function,
1201 2012-07-12 Javier Miranda <miranda@adacore.com>
1203 * exp_attr.adb (Expand_N_Attribute_Reference): For
1204 attributes 'access, 'unchecked_access and 'unrestricted_access,
1205 iff the current instance reference is located in a protected
1206 subprogram or entry then rewrite the access attribute to be the
1207 name of the "_object" parameter.
1209 2012-07-12 Tristan Gingold <gingold@adacore.com>
1211 * raise.h: Revert previous patch: structure is used in init.c
1214 2012-07-12 Vincent Celier <celier@adacore.com>
1216 * make.adb (Binding_Phase): If --subdirs was used, but not
1217 -P, change the working directory to the specified subdirectory
1218 before invoking gnatbind.
1219 (Linking_Phase): If --subdirs was used, but not -P, change the working
1220 directory to the specified subdirectory before invoking gnatlink.
1222 2012-07-12 Vincent Pucci <pucci@adacore.com>
1224 * exp_ch9.adb (Build_Lock_Free_Unprotected_Subprogram_Body):
1225 For a procedure, instead of replacing each Comp reference by a
1226 reference to Current_Comp, make a renaming Comp of Current_Comp
1227 that rewrites the original renaming generated by the compiler
1228 during the analysis. Move the declarations of the procedure
1229 inside the generated block.
1230 (Process_Stmts): Moved in the body
1231 of Build_Lock_Free_Unprotected_Subprogram_Body.
1233 Moved in the body of Build_Lock_Free_Unprotected_Subprogram_Body.
1234 * sem_ch9.adb (Allows_Lock_Free_Implementation): Restrict any
1235 non-elementary out parameters in protected procedures.
1237 2012-07-12 Thomas Quinot <quinot@adacore.com>
1239 * sem_ch13.adb (Analyze_Attribute_Definition_Clause, case
1240 Scalar_Storage_Order): Attribute applies to base type only.
1242 2012-07-12 Ed Schonberg <schonberg@adacore.com>
1244 * exp_aggr.adb (Convert_To_Positional): Increase acceptable size
1245 of static aggregate when Static_Elaboration_Desired is requested.
1246 Add a warning if the request cannot be satisfied either because
1247 some components or some array bounds are non-static.
1249 2012-07-12 Thomas Quinot <quinot@adacore.com>
1251 * exp_pakd.adb: Minor reformatting.
1253 2012-07-12 Tristan Gingold <gingold@adacore.com>
1255 * tracebak.c: Fix warnings.
1256 * raise-gcc.c (__gnat_adjust_context): New function
1257 (__gnat_personality_seh0): Call __gnat_adjust_context to adjust
1258 PC in machine frame for exceptions that occur in the current
1261 2012-07-12 Thomas Quinot <quinot@adacore.com>
1263 * g-bytswa.adb, g-bytswa.ads, s-bytswa.adb, s-bytswa.ads, Makefile.rtl:
1264 Move GNAT.Byte_Swapping to System (with a renaming under GNAT)
1265 so that it is usable in expanded code.
1267 2012-07-12 Tristan Gingold <gingold@adacore.com>
1269 * s-osinte-hpux.ads: Increase alternate stack size on hpux.
1271 2012-07-12 Javier Miranda <miranda@adacore.com>
1273 * exp_ch3.adb (Make_Neq_Body): Fix typo in comment.
1275 2012-07-12 Eric Botcazou <ebotcazou@adacore.com>
1277 * tb-gcc.c (trace_callback): On IA-64/HP-UX, use workaround only
1278 if USE_LIBUNWIND_EXCEPTIONS is defined.
1279 * init.c: Further tweaks for IA-64/HP-UX.
1281 2012-07-12 Tristan Gingold <gingold@adacore.com>
1283 * raise-gcc.c: Do not include unwind-dw2-fde.h. Adjust comments.
1284 (db_region_for): Second argument is ip. Do not recompute ip.
1285 (action_kind): Remove typedef, add unhandler enum const.
1286 (action_descriptor): Adjust type of kind field.
1287 (db_action_for): Second argument is ip, do not recompute it.
1288 (get_call_site_action_for): First argument is call_site, do not
1289 recompute it. Remove useless return.
1290 (is_handled_by): Now return enum action_kind.
1291 Handle GNAT_ALL_OTHERS first.
1292 Return unhandler for GNAT_UNHANDLED_OTHERS.
1293 (get_action_description_for): First argument is now ip, do not
1294 recompute it. Adjust code for call to is_handled_by.
1295 (__gnat_notify_unhandled_exception): Add prototype.
1296 (PERSONALITY_FUNCTION): Call get_ip_from_context. Adjust calls.
1297 Handle unhandler case.
1298 (__gnat_cleanupunwind_handler): Add comments, add
1299 ATTRIBUTE_UNUSED on arguments.
1300 (__gnat_Unwind_RaiseException, __gnat_Unwind_ForcedUnwind): Define
1302 * raise.h: Makes struct Exception_Data opaque.
1304 2012-07-12 Robert Dewar <dewar@adacore.com>
1306 * make.adb, sem_ch9.adb, prj.adb, s-rident.ads, snames.ads-tmpl: Minor
1309 2012-07-12 Javier Miranda <miranda@adacore.com>
1311 * exp_ch3.adb (Is_User_Defined_Equality): New subprogram.
1312 (Make_Neq_Body): New subprogram.
1313 (Make_Predefined_Primitive_Specs): Adding local variable
1314 Has_Predef_Eq_ Renaming to ensure that we enable the machinery
1315 which handles renamings of predefined primitive operators.
1317 2012-07-09 Pascal Obry <obry@adacore.com>
1319 * prj.adb (For_Every_Project_Imported_Context): Make sure we
1320 callback with the project having sources.
1323 2012-07-09 Eric Botcazou <ebotcazou@adacore.com>
1325 * make.adb: Fix typo.
1327 2012-07-09 Vincent Pucci <pucci@adacore.com>
1329 * sem_ch9.adb (Check_Node): Allow attributes
1330 that denote static function for lock-free implementation.
1331 (Is_Static_Function): New routine.
1333 2012-07-09 Tristan Gingold <gingold@adacore.com>
1335 * tracebak.c: Adjust skip_frames on Win64.
1337 2012-07-09 Tristan Gingold <gingold@adacore.com>
1339 * init.c: Add __gnat_adjust_context_for_raise for ia64/hpux.
1340 * raise-gcc.c: __gnat_cleanupunwind_handler: Do not call
1341 _Unwind_GetGR on hpux when using libgcc unwinder. Part of
1343 2012-07-09 Vincent Pucci <pucci@adacore.com>
1345 * exp_attr.adb, sem_attr.adb: Minor reformatting.
1346 * par-ch13.adb, par-ch4.adb, par-util.adb: Reformatting
1347 considering that internal attribute names are not defined anymore
1348 in the main attribute names list.
1349 * snames.adb-tmpl (Get_Attribute_Id): Special processinf
1350 for names CPU, Dispatching_Domain and Interrupt_Priority.
1351 (Is_Internal_Attribute_Name): Minor reformatting.
1352 * snames.ads-tmpl: New list of internal attribute names. Internal
1353 attributes moved at the end of the attribute Id list.
1355 2012-07-09 Robert Dewar <dewar@adacore.com>
1357 * freeze.adb: Minor code reorganization (use Ekind_In).
1358 * exp_attr.adb, sem_ch9.adb par-ch4.adb, s-taprop-mingw.adb,
1359 sem_attr.adb, exp_ch8.adb, snames.adb-tmpl, par-util.adb,
1360 sem_ch13.adb, snames.ads-tmpl: Minor reformatting.
1362 2012-07-09 Tristan Gingold <gingold@adacore.com>
1364 * raise-gcc.c: Adjust previous patch.
1366 2012-07-09 Vincent Celier <celier@adacore.com>
1368 * make.adb (Compilation_Phase): Do not build libraries in
1369 Codepeer mode (do not call Library_Phase).
1371 2012-07-09 Ed Schonberg <schonberg@adacore.com>
1373 * sem_ch13.adb: Extend previous change to elementary types.
1375 2012-07-09 Javier Miranda <miranda@adacore.com>
1377 * exp_ch8.adb (Expand_N_Subprogram_Renaming_Declaration): Reverse
1378 previous patch since unconditionally handling as renaming_as_body
1379 renamings of predefined dispatching equality and unequality operator
1380 cause visibility problems with private overridings of the equality
1381 operator (see ACATS C854001).
1383 2012-07-09 Vincent Pucci <pucci@adacore.com>
1385 * exp_attr.adb (Signal_Bad_Attribute): Raise Program_Error in
1386 case of internal attribute names (already rejected by the parser).
1387 * par-ch13.adb (P_Representation_Clause): Complain if an internal
1388 attribute name that comes from source occurs.
1389 * par-ch4.adb (P_Name): Complain if an internal attribute name
1390 occurs in the context of an attribute reference.
1391 * par-util.adb (Signal_Bad_Attribute): Don't complain about
1392 mispelling attribute with internal attributes.
1393 * sem_attr.adb (Analyze_Attribute): Raise Program_Error in case
1394 of internal attribute names (already rejected by the parser).
1395 * snames.adb-tmpl (Is_Internal_Attribute_Name): New routine.
1396 * snames.ads-tmpl: Attributes CPU, Dispatching_Domain and
1397 Interrupt_Priority are marked as INT attributes since they
1398 don't denote real attribute and are only used internally in
1400 (Is_Internal_Attribute_Name): New routine.
1402 2012-07-09 Thomas Quinot <quinot@adacore.com>
1404 * einfo.adb (Set_Reverse_Storage_Order): Update assertion,
1405 flag is now valid for array types as well.
1407 2012-07-09 Tristan Gingold <gingold@adacore.com>
1409 * tracebak.c: Implement __gnat_backtrace for Win64 SEH.
1411 2012-07-09 Robert Dewar <dewar@adacore.com>
1413 * einfo.ads: Minor reformatting.
1415 2012-07-09 Javier Miranda <miranda@adacore.com>
1417 * exp_ch8.adb (Expand_N_Subprogram_Renaming_Declaration): Handle as
1418 renaming_as_body renamings of predefined dispatching equality
1419 and unequality operators.
1421 2012-07-09 Robert Dewar <dewar@adacore.com>
1423 * rident.ads: Do not instantiate r-ident.ads, this is now an
1426 2012-07-09 Javier Miranda <miranda@adacore.com>
1428 * exp_disp.adb (Write_DT): Avoid runtime crash of this debugging
1430 * sem_disp.adb (Find_Dispatching_Time): Protect this routine
1431 against partially decorated entities.
1433 2012-07-09 Ed Schonberg <schonberg@adacore.com>
1435 * sem_ch13.adb (Check_Size): Reject a size clause that specifies
1436 a value greater than Int'Last for a scalar type.
1438 2012-07-09 Vincent Pucci <pucci@adacore.com>
1440 * sem_ch9.adb (Allows_Lock_Free_Implementation): type must support
1441 atomic operation moved to the protected body case. No non-elementary
1442 out parameter moved to the protected declaration case. Functions have
1443 only one lock-free restriction.
1444 (Analyze_Protected_Type_Declaration): Issue a warning when
1445 Priority given with Lock_Free.
1447 2012-07-09 Vincent Pucci <pucci@adacore.com>
1449 * sem_dim.adb: Grammar of aspect Dimension fixed.
1451 2012-07-09 Vincent Pucci <pucci@adacore.com>
1453 * freeze.adb (Freeze_Record_Type): Code reorg in order to avoid
1454 pushing and popping the scope stack whenever a delayed aspect occurs.
1456 2012-07-09 Gary Dismukes <dismukes@adacore.com>
1458 * s-os_lib.ads: Remove pragma Elaborate_Body, as
1459 this is now unnecessary due to recently added pragma Preelaborate.
1461 2012-07-09 Jose Ruiz <ruiz@adacore.com>
1463 * s-taprop-mingw.adb (Set_Priority): Remove the code that was
1464 previously in place to reorder the ready queue when a task drops
1465 its priority due to the loss of inherited priority.
1467 2012-07-09 Robert Dewar <dewar@adacore.com>
1469 * layout.adb, i-cstrea.ads, a-ststio.ads, prj-util.ads, sem_cat.adb,
1470 s-commun.ads, s-ficobl.ads, s-os_lib.ads, s-fileio.ads: Minor
1473 2012-07-09 Eric Botcazou <ebotcazou@adacore.com>
1475 * raise-gcc.c: Update comments. Fix typo.
1477 2012-07-09 Thomas Quinot <quinot@adacore.com>
1479 * einfo.adb, einfo.ads, sem_attr.adb, sem_ch13.adb: Attribute
1480 Scalar_Storage_Order can be defined or queried for array types as well
1483 2012-07-09 Tristan Gingold <gingold@adacore.com>
1485 * a-exexpr-gcc.adb (CleanupUnwind_Handler): Now imported from
1487 * raise-gcc.c (__gnat_cleanupunwind_handler): Defined.
1488 Strictly follow the ABI convention on ia64.
1490 2012-07-09 Gary Dismukes <dismukes@adacore.com>
1492 * a-ststio.ads: Add pragma Preelaborate, per AI05-0283.
1493 * i-cstrea.ads (max_path_len): Change from variable to deferred
1494 constant to allow it to be used as a bound in string component
1495 in type System.File_IO.Temp_File_Record.
1496 * s-os_lib.ads, s-commun.ads, s-ficobl.ads, s-fileio.ads: Add pragma
1498 * s-fileio.adb (Get_Case_Sensitive): Move function inside
1500 (File_Names_Case_Sensitive): Move variable inside
1501 procedure Open, to avoid violation of Preelaborate restriction
1502 (due to call to Get_Case_Sensitive).
1504 2012-07-09 Ed Schonberg <schonberg@adacore.com>
1506 * layout.adb (Set_Elem_Alignment): Protect against meaningless
1507 size clause, to prevent overflow in internal computation of
1510 2012-07-09 Robert Dewar <dewar@adacore.com>
1512 * freeze.adb, prj-util.adb, prj-util.ads, sem_ch13.adb: Minor
1515 2012-07-09 Gary Dismukes <dismukes@adacore.com>
1517 * sem_cat.adb (Check_Categorization_Dependencies):
1518 Allow dependence of both Remote_Types and Remote_Call_Interface
1519 declarations (not just Remote_Types units) on preelaborated
1520 units, but require that the dependence be made via a private
1521 with_clause. Issue a specialized error message.
1523 2012-07-09 Pascal Obry <obry@adacore.com>
1525 * prj-util.adb, prj-util.ads (For_Interface_Sources): New routine.
1527 2012-07-09 Tristan Gingold <gingold@adacore.com>
1529 * seh_init.c (__gnat_SEH_error_handler): On Win64 and SEH,
1530 return for unknown exceptions.
1531 * raise-gcc.c (__gnat_personality_seh0): Call __gnat_SEH_error_handler.
1533 2012-07-09 Joel Brobecker <brobecker@adacore.com brobecker>
1535 * exp_dbug.ads (No_Dollar_In_Label): Delete.
1537 2012-07-09 Vincent Pucci <pucci@adacore.com>
1539 * sem_ch13.adb (Check_Overloaded_Name): New routine.
1541 2012-07-09 Vincent Pucci <pucci@adacore.com>
1543 * freeze.adb (Freeze_Record_Type): Analyze the delayed aspects of the
1544 components in a record type.
1546 2012-07-09 Pascal Obry <obry@adacore.com>
1548 * prj-util.ads: Minor reformatting.
1550 2012-07-09 Tristan Gingold <gingold@adacore.com>
1552 * raise-gcc.c (db_indent): Simplify style, improve comments.
1553 Remove !IN_RTS part (dead).
1555 2012-07-09 Robert Dewar <dewar@adacore.com>
1557 * usage.adb: Minor change to format of -gnatn line.
1559 2012-07-09 Tristan Gingold <gingold@adacore.com>
1561 * a-exexpr-gcc.adb: Reorder routine.
1563 2012-07-09 Vincent Celier <celier@adacore.com>
1565 * lib-writ.ads: Add documentation for the Z lines (implicitly
1566 withed units) and Y lines (limited withed units).
1568 2012-07-09 Robert Dewar <dewar@adacore.com>
1570 * lib.ads, exp_attr.adb, exp_ch9.adb, sem_dim.adb, sem_ch9.adb,
1571 sem_prag.adb, sem_ch12.adb, mlib-utl.adb, freeze.adb, sem_res.adb,
1572 sem_attr.adb, sem_case.adb, gnatlink.adb, exp_ch4.adb, sem_ch6.adb,
1573 sem_elim.adb, s-dimmks.ads, sem_ch13.adb: Minor code clean ups.
1575 2012-07-09 Eric Botcazou <ebotcazou@adacore.com>
1577 * gnat_ugn.texi (Switches for gcc): Document -gnatn[12] only
1578 lightly in the summary and more thoroughly in inlining section.
1579 (Performance Considerations): Document -gnatn[12] in inlining
1582 2012-07-09 Tristan Gingold <gingold@adacore.com>
1584 * a-exexpr-gcc.adb (Unhandled_Except_Handler): New procedure.
1585 (Unhandled_Others_Value): New const.
1586 * raise-gcc.c (GNAT_UNHANDLED_OTHERS): Define.
1587 (action_descriptor): Remove ttype_entry.
1588 (get_action_description_for): Do not assign ttype_entry.
1589 (is_handled_by): Consider GNAT_UNHANDLED_OTHERS.
1591 2012-07-03 Eric Botcazou <ebotcazou@adacore.com>
1593 * gcc-interface/trans.c (Call_to_gnu): Robustify test for function case
1594 if the CICO mechanism is used.
1596 2012-07-03 Eric Botcazou <ebotcazou@adacore.com>
1598 * gcc-interface/utils2.c (build_simple_component_ref): Do not look
1599 through an extension if the type contains a placeholder.
1601 2012-07-03 Eric Botcazou <ebotcazou@adacore.com>
1603 * exp_disp.adb (Expand_Dispatching_Call): Propagate the convention on
1604 the designated subprogram type and also set Is_Dispatch_Table_Entity.
1605 (Expand_Interface_Thunk): Propagate the convention on the thunk.
1606 (Set_CPP_Constructors_Old): Set Is_Constructor and Convention_CPP on
1607 the internal view of the constructors.
1608 (Set_CPP_Constructors): Likewise.
1609 * sem_prag.adb (Analyze_Pragma) <Pragma_CPP_Constructor>: Set the
1610 convention on the function.
1611 * gcc-interface/gigi.h (is_cplusplus_method): Declare.
1612 * gcc-interface/decl.c (Has_Thiscall_Convention): New macro.
1613 (gnat_to_gnu_entity) <E_Subprogram_Type>: Test it to set the `thiscall'
1615 (get_minimal_subprog_decl): Likewise.
1616 (is_cplusplus_method): New predicate.
1617 * gcc-interface/trans.c (Attribute_to_gnu) <Attr_Access>: Issue an
1618 error on access to C++ constructor or member function.
1620 2012-07-03 Eric Botcazou <ebotcazou@adacore.com>
1622 * gcc-interface/utils.c (gnat_pushdecl): Set TYPE_CONTEXT for types
1623 attached to a TYPE_DECL.
1625 2012-06-26 Vincent Pucci <pucci@adacore.com>
1627 * exp_ch3.adb (Build_Init_Statements): Don't check the parents
1628 in the Rep Item Chain of the task for aspects Interrupt_Priority,
1629 Priority, CPU and Dispatching_Domain.
1630 * exp_ch9.adb (Expand_N_Task_Type_Declaration): fields _Priority,
1631 _CPU and _Domain are present in the corresponding record type
1632 only if the task entity has a pragma, attribute definition
1633 clause or aspect specification.
1634 (Make_Initialize_Protection): Don't check the parents in the Rep Item
1635 Chain of the task for aspects Interrupt_Priority, Priority, CPU and
1637 * freeze.adb (Freeze_Entity): Use of Evaluate_Aspects_At_Freeze_Point
1638 call replaced by Analyze_Aspects_At_Freeze_Point.
1639 * sem_ch13.adb, sem_ch13.ads (Analyze_Aspects_At_Freeze_Point):
1640 Renaming of Evaluate_Aspects_At_Freeze_Point.
1642 2012-06-26 Yannick Moy <moy@adacore.com>
1644 * sem_attr.adb (Analyze_Attribute): Detect if 'Old is used outside a
1645 postcondition, and issue an error in such a case.
1647 2012-06-26 Yannick Moy <moy@adacore.com>
1649 * gnat_rm.texi: Minor editing.
1651 2012-06-26 Tristan Gingold <gingold@adacore.com>
1653 * raise-gcc.c: Minor cleanup: remove unused prototype.
1654 * seh_init.c: Do not create an image wide unwind info to catch
1655 SEH when SEH unwind info are emitted by the compiler.
1657 2012-06-19 Steven Bosscher <steven@gcc.gnu.org>
1659 * gcc-interface/trans.c: Include target.h.
1660 (gigi): Try to put out .ident with targetm.asm_out.output_ident.
1661 Remove uses of ASM_OUTPUT_IDENT.
1662 * gcc-interface/Make-lang.in: Fix dependencies.
1664 2012-06-15 Eric Botcazou <ebotcazou@adacore.com>
1667 * gcc-interface/gigi.h (maybe_vector_array): Make static inline.
1668 * gcc-interface/utils.c (maybe_vector_array): Delete.
1669 * gcc-interface/trans.c (gnat_to_gnu) <N_Indexed_Component>: Mark the
1670 array object as addressable if it has vector type and is on the LHS.
1672 2012-06-15 Eric Botcazou <ebotcazou@adacore.com>
1675 * gcc-interface/misc.c (gnat_init_options_struct): Set
1676 opts->x_flag_delete_dead_exceptions to 1.
1678 2012-06-14 Jose Ruiz <ruiz@adacore.com>
1680 * gcc-interface/Make-lang.in (ada.install-common, ada.uninstall):
1681 Use the prefix specified with the --program-prefix configure option
1682 to determine the install name of the Ada tools.
1683 (ada.all.cross): Use a for loop to iterate over the set of Ada tools
1684 instead of duplicate the same processing.
1685 Update dependencies.
1687 2012-06-14 Vincent Pucci <pucci@adacore.com>
1689 * exp_ch6.adb (Expand_Call): Expand_Put_Call_With_Dimension_Symbol
1690 call replaced by Expand_Put_Call_With_Symbol call.
1691 * sem_dim.adb: New fields Unit_Names, Unit_Symbols
1692 and Dim_Symbols for record type System_Type.
1693 (From_Dimension_To_String_Of_Symbols): Removed.
1694 (From_Dim_To_Str_Of_Dim_Symbols): Renames previous
1695 routine From_Dimension_To_String_Of_Symbols.
1696 (From_Dim_To_Str_Of_Unit_Symbols): New routine.
1697 (Analyze_Aspect_Dimension): argument Symbol in aspect
1698 Dimension aggregate is optional. Named association implemented.
1699 (Has_Compile_Time_Known_Expressions): Removed.
1700 (Analyze_Aspect_Dimension_System): New
1701 component Dim_Symbol in each Dimension aggregate in
1702 aspect Dimension_System. Named associations implemented.
1703 (Add_Dimension_Vector_To_Buffer): Removed.
1704 (Add_Whole_To_Buffer): Removed.
1705 (Expand_Put_Call_With_Dimension_Symbol.): Removed.
1706 (Expand_Put_Call_With_Symbol): Renames previous routine
1707 Expand_Put_Call_With_Dimension_Symbol.
1708 (Has_Dimension_Symbols): Removed.
1709 (Has_Symbols): Renames previous routine
1710 Has_Dimension_Symbols. (Store_String_Oexpon): New routine.
1711 * sem_dim.ads (Expand_Put_Call_With_Dimension_Symbol.): Removed.
1712 (Expand_Put_Call_With_Symbol): Renames previous routine
1713 Expand_Put_Call_With_Dimension_Symbol.
1714 * s-diflio.adb, s-diinio.adb (Put): Symbol renames Symbols.
1715 (Put_Dim_Of): New routines.
1716 * s-diflio.ads, s-diinio.ads: documentation updated.
1717 (Put): Symbol renames Symbols.
1718 (Put_Dim_Of): New routines.
1719 * s-dim.ads: documentation updated.
1720 * s-dimmks.ads: dimensioned type and subtypes updated.
1721 * snames.ads-tmpl: Name_Dim_Symbol, Name_Put_Dim_Of, Name_Symbol,
1722 and Name_Unit_Symbol added. Name_Symbols removed.
1724 2012-06-14 Vincent Pucci <pucci@adacore.com>
1726 * freeze.adb (In_Exp_Body): Expression function case added.
1727 (Freeze_Expression): Insert the Freeze_Nodes
1728 list before the correct current scope in case of a quantified
1731 2012-06-14 Pascal Obry <obry@adacore.com>
1733 * projects.texi: Document the Install package for gprinstall.
1734 2012-06-14 Ed Schonberg <schonberg@adacore.com>
1736 * sem_elim.adb (Check_For_Eliminated_Subprogram): Do not check within
1737 a default expression.
1738 * sem_res.adb (Resolve_Call): simplify code.
1740 2012-06-14 Ed Schonberg <schonberg@adacore.com>
1742 * sem_case.adb (Check, Issue_Msg): within an instance, non-other
1743 values in a variant part or a case expression do not have to
1744 belong to the actual subtype.
1746 2012-06-14 Ed Schonberg <schonberg@adacore.com>
1748 * sem_ch12.adb (Validate_Derived_Type_Instance): If parent is
1749 an interface type, check whether it is itself a previous formal
1750 already instantiated in the current list of actuals.
1752 2012-06-14 Ed Schonberg <schonberg@adacore.com>
1754 * sem_ch13.adb (Check_Aspect_At_End_Of_Declarations): The
1755 expression for a stream attribute is a name that may be overloaded
1756 with other declarations. To determine whether it matches the
1757 aspect at the freeze point, it is necessary to verify that one
1758 of its interpretations matches.
1760 2012-06-14 Robert Dewar <dewar@adacore.com>
1762 * exp_ch7.adb, exp_util.adb, sem_aux.ads, exp_ch9.adb,
1763 sem_ch10.adb, freeze.adb, sem_util.adb, exp_ch4.adb,
1764 s-taprop-dummy.adb: Minor reformatting.
1766 2012-06-14 Vincent Pucci <pucci@adacore.com>
1768 * exp_attr.adb (Expand_N_Attribute_Reference): Lock_Free
1769 attribute case added.
1770 * par-prag.adb (Prag): Lock_Free pragma case added.
1771 * sem_attr.adb (Analyze_Attribute_Reference): Lock_Free attribute
1773 * sem_ch13.adb (Analyze_Aspect_Specifications): Record_Rep_Item
1774 call added for Aspect_Lock_Free.
1775 * sem_ch9.adb (Allows_Lock_Free_Implementation): New Lock_Free
1776 error messages for subprogram bodies.
1777 (Lock_Free_Disabled): New routine.
1778 (Analyze_Protected_Body): Call to Lock_Free_Disabled added.
1779 * sem_prag.adb (Analyze_Pragma): Lock_Free pragma case added.
1780 * snames.adb-tmpl (Get_Pragma_Id): Name_Lock_Free case added.
1781 (Is_Pragma_Name): Name_Lock_Free case added.
1782 * snames.ads-tmpl: Attribute_Lock_Free and Pragma_Lock_Free added.
1784 2012-06-14 Ed Schonberg <schonberg@adacore.com>
1786 * a-coorma.adb, a-cborma.adb, a-cbhama.adb, a-ciorma.adb: Add missing
1789 2012-06-14 Bob Duff <duff@adacore.com>
1791 * lib.ads, lib.adb, sem.adb (Write_Unit_Info): Move this
1792 procedure from Sem body to Lib spec, so it can be used for
1793 debugging elsewhere.
1795 2012-06-14 Ed Schonberg <schonberg@adacore.com>
1797 * sem_ch6.adb (Check_Conformance): Add Ada 2012 check on mode
1798 conformance: "aliased" must apply to both or neither formal
1801 2012-06-14 Gary Dismukes <dismukes@adacore.com>
1803 * exp_ch9.adb: Minor reformatting.
1805 2012-06-14 Thomas Quinot <quinot@adacore.com>
1807 * freeze.adb (Freeze_Record_Type): Warn about useless bit order
1808 specification [when there's no component clause] regardless
1809 of whether the specified bit order is reversed or not.
1811 2012-06-14 Tristan Gingold <gingold@adacore.com>
1813 * raise-gcc.c (__gnat_personality_seh0): New function.
1815 2012-06-14 Tristan Gingold <gingold@adacore.com>
1817 * gnatname.adb (Gnatname): Make sure that dynamic table
1818 argument_data is initialized.
1820 2012-06-14 Robert Dewar <dewar@adacore.com>
1822 * sem_aux.adb: Minor code reorganization.
1824 2012-06-14 Vincent Pucci <pucci@adacore.com>
1826 * einfo.adb einfo.ads (Get_Rep_Item): Removed.
1827 (Get_Rep_Item_For_Entity): Removed.
1828 (Get_Rep_Pragma): Removed.
1829 (Get_Rep_Pragma_For_Entity): Removed.
1830 (Has_Rep_Item): Removed.
1831 (Has_Rep_Pragma): Removed.
1832 (Has_Rep_Pragma_For_Entity): Removed.
1833 * exp_ch9.adb (Expand_N_Task_Type_Declaration):
1834 Has_Rep_Pragma_For_Entity replaced by Has_Rep_Pragma
1835 and Get_Rep_Pragma_For_Entity replaced by Get_Rep_Pragma.
1836 (Make_Task_Create_Call): Has_Rep_Pragma_For_Entity replaced
1837 by Has_Rep_Pragma and Get_Rep_Pragma_For_Entity replaced by
1839 * exp_intr.adb: Dependency to Sem_Aux added for call to Get_Rep_Pragma.
1840 * sem_aux.adb (Get_Rep_Item): New routine.
1841 (Get_Rep_Pragma): New routine.
1842 (Has_Rep_Item): New routine.
1843 (Has_Rep_Pragma): New routine.
1844 (Nearest_Ancestor): Minor reformatting.
1845 * sem_aux.ads (Get_Rep_Item): New routine.
1846 (Get_Rep_Pragma): New routine.
1847 (Has_Rep_Item): New routine.
1848 (Has_Rep_Pragma): New routine.
1849 * sem_ch13.adb (Duplicate_Clause): Restore original error messages.
1850 * sem_eval.adb (Subtypes_Statically_Match): Get_Rep_Item_For_Entity
1851 replaced by Get_Rep_Item.
1852 * sem_prag.adb (Analyze_Pragma): Restore original error messages.
1853 (Check_Duplicate_Pragma): Restore original error messages.
1855 2012-06-14 Ed Schonberg <schonberg@adacore.com>
1857 * sem_util.adb (Is_Object_Reference): in Ada 2012, qualified
1858 expressions are valid names.
1860 2012-06-14 Ed Schonberg <schonberg@adacore.com>
1862 * sem_ch10.adb (Analyze_Compilation_Unit): If the unit is an
1863 instantiation do not emit warnings for obsolescent units. The
1864 warnings belong on the corresponding generic.
1866 2012-06-14 Hristian Kirtchev <kirtchev@adacore.com>
1868 * einfo.adb: Update the usage of Node15.
1869 (Return_Flag_Or_Transient_Decl): Removed.
1870 (Set_Return_Flag_Or_Transient_Decl): Removed.
1871 (Set_Status_Flag_Or_Transient_Decl): New routine.
1872 (Status_Flag_Or_Transient_Decl): New routine.
1873 (Write_Field15_Name): Update the output for variables and constants.
1874 * einfo.ads: Remove attribute
1875 Return_Flag_Or_Transient_Decl along with occurrences in nodes.
1876 (Return_Flag_Or_Transient_Decl): Removed along with pragma Inline.
1877 (Set_Return_Flag_Or_Transient_Decl): Removed along with pragma Inline.
1878 (Set_Status_Flag_Or_Transient_Decl): New routine along with pragma
1880 (Status_Flag_Or_Transient_Decl): New routine along with pragma Inline.
1881 * exp_ch4.adb (Create_Alternative): New routine.
1882 (Expand_N_Conditional_Expression): Handle the case
1883 where at least one of the conditional expression
1884 alternatives prodices a controlled temporary by means of a function
1886 (Is_Controlled_Function_Call): New routine.
1887 (Process_Transient_Object): Update the call to
1888 Set_Return_Flag_Or_Transient_Decl.
1889 * exp_ch6.adb (Enclosing_Context): New routine.
1890 (Expand_N_Extended_Return_Statement): Update all calls to
1891 Set_Return_Flag_Or_Transient_Decl.
1892 (Expand_Ctrl_Function_Call): Prohibit the finalization of a controlled
1893 function result when the context is a conditional expression.
1894 * exp_ch7.adb (Process_Declarations): Update all calls to
1895 Return_Flag_Or_Transient_Decl. Add processing for intermediate
1896 results of conditional expressions where one of the alternatives
1897 uses a controlled function call.
1898 (Process_Object_Declaration): Update all calls to
1899 Return_Flag_Or_Transient_Decl and rearrange the logic to process
1900 "hook" objects first.
1901 (Process_Transient_Objects): Update the call to
1902 Set_Return_Flag_Or_Transient_Decl.
1903 * exp_util.adb (Requires_Cleanup_Actions (List_Id, Boolean,
1904 Boolean)): Update all calls to Return_Flag_Or_Transient_Decl. Add
1905 detection for intermediate results of conditional expressions
1906 where one of the alternatives uses a controlled function call.
1908 2012-06-13 Eric Botcazou <ebotcazou@adacore.com>
1911 2012-05-19 Eric Botcazou <ebotcazou@adacore.com>
1913 * gcc-interface/decl.c (Has_Thiscall_Convention): New macro.
1914 (gnat_to_gnu_entity) <E_Subprogram_Type>: Test it to set the thiscall
1916 (get_minimal_subprog_decl): Likewise.
1917 (gnat_first_param_is_class): New predicate.
1919 2012-06-12 Robert Dewar <dewar@adacore.com>
1921 * gcc-interface/Make-lang.in: Update dependencies.
1922 * sem_ch9.ads, einfo.adb, einfo.ads, sem_prag.adb, freeze.adb,
1923 sem_util.adb, sem_ch13.adb, sem_ch13.ads, exp_ch3.adb: Add comments.
1926 2012-06-12 Ed Schonberg <schonberg@adacore.com>
1928 * sem_ch12.adb (Instantiate_Formal_Subprogram): Remove code that
1929 implements AI05-0296, because the actual may be overloaded.
1930 * sem_ch8.adb (Analyze_Subprogram_Renaming): and move it here,
1931 to be applied once the actual subprogram is properly resolved.
1933 2012-06-12 Robert Dewar <dewar@adacore.com>
1935 * switch-c.adb, a-exexpr-gcc.adb: Minor reformatting.
1937 2012-06-12 Vincent Pucci <pucci@adacore.com>
1939 * checks.adb (Tag_Checks_Suppressed): Remove Kill_Tag_Checks check.
1940 * einfo.adb (Universal_Aliasing): Apply to the implementation
1941 base type instead of the base type.
1942 (Get_Rep_Item_For_Entity):
1943 Return a pragma if the pragma node is not present in the Rep
1944 Item chain of the parent.
1945 (Kill_Tag_Checks): Removed (unused flag).
1946 (Set_Kill_Tag_Checks): Removed.
1947 (Get_First_Rep_Item): New routine.
1948 (Get_Rep_Pragma_For_Entity): New routine.
1949 (Has_Rep_Item): New routine.
1950 (Has_Rep_Pragma_For_Entity): New routine.
1951 (Present_In_Rep_Item): New routine.
1952 * einfo.ads (Kill_Tag_Checks): Removed.
1953 (Set_Kill_Tag_Checks): Removed.
1954 (Get_First_Rep_Item): New routine.
1955 (Get_Rep_Pragma_For_Entity): New routine.
1956 (Has_Rep_Item): New routine.
1957 (Has_Rep_Pragma_For_Entity): New routine.
1958 (Present_In_Rep_Item): New routine.
1959 * exp_attr.adb, sem_attr.adb: Attribute_CPU,
1960 Attribute_Dispatching_Domain and Attribute_Interrupt_Priority
1962 * exp_ch13.adb (Expand_N_Attribute_Definition_Clause): For
1963 attribute Storage_Size, insert the new assignement statement
1964 after the Size variable declaration.
1965 * exp_ch3.adb (Build_Init_Statements): Fill the CPU,
1966 Dispatching_Domain, Priority and Size components with the Rep
1967 Item expression (if any).
1968 * exp_ch9.adb (Expand_N_Task_Type_Declaration): _CPU,
1969 _Priority, _Domain fields are always present in the
1970 corresponding record type.
1971 (Find_Task_Or_Protected_Pragma): Removed.
1972 (Get_Relative_Deadline_Pragma): New routine.
1973 (Make_Initialize_Protection): Find_Task_Or_Protected_Pragma removed.
1974 (Make_Task_Create_Call): Check CPU, Size or
1975 Dispatching_Domain Rep Item is present using new routine Has_Rep_Item.
1976 * freeze.adb (Freeze_All): Push_Scope_And_Install_Discriminants
1977 and Uninstall_Discriminants_And_Pop_Scope calls added.
1978 (Freeze_Entity): Evaluate_Aspects_At_Freeze_Point call added.
1979 * sem_aux.adb (Nearest_Ancestor): Retrieve the nearest ancestor
1980 for private derived types.
1981 * sem_ch13.adb (Analyze_Aspect_Specifications): Clean-up
1982 and reordering. Delay analysis for all aspects (except some
1984 (Analyze_Attribute_Definition_Clause):
1985 Attribute_CPU, Attribute_Dispatching_Domain,
1986 Interrupt_Priority and Attribute_Priority cases added.
1987 (Analyze_Freeze_Entity): Push_Scope_And_Install_Discriminants
1988 and Uninstall_Discriminants_And_Pop_Scope calls added.
1989 (Check_Aspect_At_Freeze_Point): Reordering and clean-up.
1990 (Duplicate_Clause): Issue an explicit error msg when the current
1991 clause duplicates an aspect specification, an attribute definition
1993 (Evaluate_Aspects_At_Freeze_Point): New routine.
1994 * sem_ch13.ads (Evaluate_Aspects_At_Freeze_Point): New routine.
1995 * sem_ch9.adb, sem_ch9.ads (Install_Discriminants): New routine.
1996 (Push_Scope_And_Install_Discriminants): New routine.
1997 (Uninstall_Discriminants): New routine.
1998 (Uninstall_Discriminants_And_Pop_Scope): New routine.
1999 * sem_prag.adb (Check_Duplicate_Pragma): Issue an explicit error
2000 msg when the current pragma duplicates an aspect specification,
2001 an attribute definition clause or a pragma.
2002 (Analyze_Pragma): Remove use of flags Has_Pragma_CPU,
2003 Has_Pragma_Priority and Has_Pragma_Dispatching_Domain.
2004 * sem_util.adb (Compile_Time_Constraint_Error): Don't complain
2005 about the type if the corresponding concurrent type doesn't come
2007 * sinfo.adb, sinfo.ads (Has_Pragma_CPU): Removed.
2008 (Has_Pragma_Dispatching_Domain): Removed.
2009 (Has_Pragma_Priority): Removed.
2010 (Has_Task_Info_Pragma): Removed.
2011 (Has_Task_Name_Pragma): Removed.
2012 (Set_Has_Pragma_CPU): Removed.
2013 (Set_Has_Pragma_Dispatching_Domain): Removed.
2014 (Set_Has_Pragma_Priority): Removed.
2015 (Set_Has_Task_Info_Pragma): Removed.
2016 (Set_Has_Task_Name_Pragma): Removed.
2017 * snames.adb-tmpl (Get_Pragma_Id): Pragma_CPU,
2018 Pragma_Dispatching_Domain and Pragma_Interrupt_Priority added.
2019 (Is_Pragma_Name): Name_CPU, Name_Dispatching_Domain and
2020 Name_Interrupt_Priority added.
2021 * snames.ads-tmpl: Name_Dispatching_Domain, Name_CPU
2022 and Name_Interrupt_Priority moved to the list of
2023 Attribute_Name. Attribute_CPU, Attribute_Dispatching_Domain and
2024 Attribute_Interrupt_Priority added. Pragma_Dispatching_Domain,
2025 Pragma_CPU and Pragma_Interrupt_Priority moved to the end of
2026 the Pragma_Name list.
2028 2012-06-12 Arnaud Charlet <charlet@adacore.com>
2030 * xref_lib.adb (Get_Full_Type): Add support for 'G'.
2032 2012-06-12 Tristan Gingold <gingold@adacore.com>
2034 * a-exexpr-gcc.adb (Unwind_Exception): Add 4 more private fields.
2036 2012-06-12 Fedor Rybin <frybin@adacore.com>
2038 * gnat_ugn.texi: Update doc on gnattest.
2040 2012-06-12 Robert Dewar <dewar@adacore.com>
2042 * sem_ch12.adb: Add comments.
2044 2012-06-12 Robert Dewar <dewar@adacore.com>
2046 * switch-c.adb, inline.adb, usage.adb, opt.ads: Minor reformatting.
2048 2012-06-12 Robert Dewar <dewar@adacore.com>
2050 * sem_ch12.adb: Minor reformatting.
2052 2012-06-12 Eric Botcazou <ebotcazou@adacore.com>
2054 * opt.ads (Inline_Level): New variable.
2055 * gnat1drv.adb (Adjust_Global_Switches): Set it based on optimization
2056 level if it has not been set by the user.
2057 * switch-c.adb (Scan_Front_End_Switches): Accept -gnatn1 and -gnatn2
2058 and set Inline_Level accordingly.
2059 * inline.adb (Add_Inlined_Body): Declate new Inline_Level_Type type.
2060 (Must_Inline): Return Inline_Level_T instead of Boolean to indicate
2061 whether the package of the inlined subprogram must be compiled.
2062 If Inline_Level is set to 1, only compile packages of subprograms
2063 directly called from the main unit.
2064 * usage.adb (Usage): Adjust line for -gnatn switch.
2065 * gnat_ugn.texi (Switches for gcc): Document -gnatn1 and -gnatn2.
2067 2012-06-12 Ed Schonberg <schonberg@adacore.com>
2069 * sem_ch12.adb (Instantiate_Formal_Subprogram): Do not apply
2070 AI05-296 if the actual is overloaded. In this case The rule must
2071 be applied after resolution, in Analyze_Subprogram_Renaming.
2073 2012-06-12 Robert Dewar <dewar@adacore.com>
2075 * stringt.adb: Minor reformatting.
2077 2012-06-12 Robert Dewar <dewar@adacore.com>
2079 * ali-util.adb, stringt.ads: Minor reformatting.
2081 2012-06-12 Hristian Kirtchev <kirtchev@adacore.com>
2083 * exp_ch7.adb (Process_Declarations): Handle the case where
2084 the original context has been wrapped in a block to avoid
2085 interference between exception handlers and At_End handlers.
2086 (Wrap_HSS_In_Block): Mark the block which contains the original
2087 statements of the context as being a finalization wrapper.
2088 * sinfo.adb (Is_Finalization_Wrapper): New routine.
2089 (Set_Is_Finalization_Wrapper): New routine.
2091 * sinfo.ads: Add new attribute Is_Finalization_Wrapper applicable
2093 (Is_Finalization_Wrapper): New routine with corresponding pragma Inline.
2094 (Set_Is_Finalization_Wrapper): New routine with corresponding pragma
2097 2012-06-12 Steve Baird <baird@adacore.com>
2099 * gnat1drv.adb (Adjust_Global_Switches): No longer need to set
2100 Exception_Extra_Info in CodePeer_Mode.
2102 2012-06-12 Robert Dewar <dewar@adacore.com>
2104 * sem_dist.adb, exp_ch7.adb, sem_type.adb, exp_attr.adb,
2105 sinfo.ads, sem_ch7.adb, exp_alfa.adb, sem_scil.adb, sem_ch12.adb,
2106 sem_util.adb, sem_res.adb, sem_attr.adb, sem_elab.adb, exp_ch6.adb,
2107 sem_ch4.adb, sem_warn.adb, scil_ll.adb, exp_cg.adb: Minor code
2110 2012-06-12 Eric Botcazou <ebotcazou@adacore.com>
2112 * s-tasini.ads: Minor fix in comment.
2114 2012-06-12 Thomas Quinot <quinot@adacore.com>
2116 * freeze.adb (Freeze_Record_Type): Warn on record with
2117 Scalar_Storage_Order if there is no placed component.
2119 2012-06-12 Thomas Quinot <quinot@adacore.com>
2121 * sem_ch3.adb: Minor comment fix.
2123 2012-06-12 Vincent Celier <celier@adacore.com>
2125 * ali-util.adb (Time_Stamp_Mismatch): In minimal recompilation
2126 mode, use Stringt Mark and Release to avoid growing the Stringt
2127 internal tables uselessly.
2128 * stringt.adb (Strings_Last): New global variable
2129 (String_Chars_Last): New global variable.
2130 (Mark, Release): New procedures.
2131 * stringt.ads (Mark, Release) New procedures.
2133 2012-06-12 Hristian Kirtchev <kirtchev@adacore.com>
2135 * exp_ch7.adb (Process_Transient_Objects): Renamed constant
2136 Requires_Hooking to Must_Hook and replace all occurrences of the name.
2137 (Requires_Hooking): New routine. Detect all contexts that require
2138 transient variable export to the outer finalizer due to a potential
2141 2012-06-12 Ed Schonberg <schonberg@adacore.com>
2143 * sem_ch12.adb: Small adjustment.
2145 2012-06-12 Vincent Celier <celier@adacore.com>
2147 * vms_cmds.ads (Command_Type): New enumeration value Test
2148 * vms_conv.adb (Initialize): Add component at index Test in
2150 * vms_data.ads (Test_Switches): New global variable for the
2151 switches of gnattest, currently empty.
2153 2012-06-12 Ed Schonberg <schonberg@adacore.com>
2155 * sem_ch3.adb (Analyze_Subtype_Declaration): if an incomplete
2156 type is tagged, so is a subtype of it.
2157 * sem_ch12.adb (Validate_Actual_Subprogram): implement AI05-0296,
2158 concerning freeze rules in the presence of formal incomplete
2159 types: a formal abstract subprogram cannot have an incomplete
2160 controlling type, and the profile of the actual subprogram does
2161 not freeze if it includes an incomplete untagged type.
2163 2012-06-12 Robert Dewar <dewar@adacore.com>
2165 * a-direct.adb: Minor reformatting.
2167 2012-06-12 Robert Dewar <dewar@adacore.com>
2169 * gnat_ugn.texi: Add missing documentation for -gnatw.v and
2172 2012-06-12 Thomas Quinot <quinot@adacore.com>
2174 * sem_ch7.adb, sem_prag.adb, sem_ch12.adb, sem_ch4.adb,
2175 sem_ch13.adb: Minor rewording of error messages for unchecked unions.
2177 2012-06-12 Robert Dewar <dewar@adacore.com>
2179 * lib-xref.ads: Minor reformatting.
2181 2012-06-12 Pascal Obry <obry@adacore.com>
2183 * a-direct.adb (Delete_File): Delete symbolic links silently
2184 instead of raising the Name_Error exception when the symbolic
2185 link is pointing to a non existent file.
2187 2012-06-12 Robert Dewar <dewar@adacore.com>
2189 * xref_lib.adb, sem_ch13.adb, lib-xref.adb: Minor reformatting.
2191 2012-06-12 Javier Miranda <miranda@adacore.com>
2193 * lib-xref.ads Adding missing documentation.
2195 2012-06-12 Hristian Kirtchev <kirtchev@adacore.com>
2197 * exp_ch7.adb (Create_Finalizer): Add the
2198 exception reraise mechanism at the very end of the finalizer
2199 statements. This placement ensures that all objects are finalized,
2200 the secondary stack mark released and aborts undeferred before
2201 propagating an exception.
2203 2012-06-12 Ed Schonberg <schonberg@adacore.com>
2205 * sem_ch10.adb (Remove_Unit_From_Visibility): if the unit is a
2206 wrapper package. remove from visibility the original subprogram
2209 2012-06-12 Javier Miranda <miranda@adacore.com>
2211 * sem_prag.adb (Process_Convention): Generate reference to entity
2212 exported to foreign language. Needed for GPS navigation.
2213 * xref_lib.adb (Parse_Identifier_Info): Parse exported entities.
2214 * lib-xref (Output_References): Output exported entities.
2216 2012-06-12 Pascal Obry <obry@adacore.com>
2218 * prj-attr.adb: Add install package and corresponding attributes.
2219 * snames.ads-tmpl (Name_Active): New constant.
2220 (Name_Exec_Subdir): Likewise.
2221 (Name_Install): Likewise.
2222 (Name_Lib_Subdir): Likewise.
2223 (Name_Project_Subdir): Likewise.
2224 (Name_Sources_Subdir): Likewise.
2226 2012-06-12 Bob Duff <duff@adacore.com>
2228 * sem_res.adb (Check_Infinite_Recursion):
2229 Suppress spurious warning on recursion after "raise with ...".
2231 2012-06-12 Thomas Quinot <quinot@adacore.com>
2233 * sem_prag.adb (Analyze_Pragma, case Unchecked_Union): Do
2234 not crash on illegal unchecked union that is a null record.
2236 2012-06-12 Thomas Quinot <quinot@adacore.com>
2238 * exp_ch4.adb (Has_Inferable_Discriminants): Reorganize code to
2239 treat implicit dereferences with a constrained unchecked union
2240 nominal subtype as having inferable discriminants.
2242 2012-06-12 Robert Dewar <dewar@adacore.com>
2244 * sem_ch6.adb: Minor reformatting.
2246 2012-06-12 Eric Botcazou <ebotcazou@adacore.com>
2248 * gnat_ugn.texi: Couple of minor corrections.
2250 2012-06-12 Thomas Quinot <quinot@adacore.com>
2252 * sem_prag.adb (Check_Variant): An empty component list is not
2253 illegal in an unchecked union variant.
2255 2012-06-12 Gary Dismukes <dismukes@adacore.com>
2257 * projects.texi: Remove comments.
2259 2012-06-12 Thomas Quinot <quinot@adacore.com>
2261 * back_end.adb (Scan_Back_End_Switches): Treat -fdump-scos as
2263 (gnat_post_options): Disable gimple-based SCO generator.
2264 * gnat_ugn.texi: Document that -gnateS is an obsolete synonym
2267 2012-06-12 Ed Schonberg <schonberg@adacore.com>
2269 * sem_ch6.adb (Different_Generic_Profile): new predicate for
2270 Find_Corresponding_Spec, to handle a rare case of accidental
2271 overloading in an instance, when the profile of a subprogram body
2272 that depends on a formal type becomes compatible with that of
2273 a homonym whose profile in the generic mentions the actual type.
2275 2012-06-12 Thomas Quinot <quinot@adacore.com>
2277 * gnat1drv.adb: Minor reformatting.
2279 2012-06-12 Ed Schonberg <schonberg@adacore.com>
2281 * sem_util.adb (Build_Explicit_Dereference): If the expression
2282 is an entity, ensure that the type of the expression is the same
2283 as that of the entity.
2285 2012-06-12 Pat Rogers <rogers@adacore.com>
2287 * projects.texi: Corrected instances of the word "build" that
2288 should be "built" instead. Other similar changes and minor
2289 punctuation changes.
2291 2012-06-12 Eric Botcazou <ebotcazou@adacore.com>
2293 * sem_util.adb (Is_Atomic_Object): Return true for an atomic
2294 component as well as a prefix which is an atomic component.
2296 2012-06-12 Ed Schonberg <schonberg@adacore.com>
2298 * exp_prag.adb (Expand_Pragma_Import_Or_Interface): revert previous
2299 patch. The processing of interfacing aspects now generates a
2300 proper Ada 2005 pragma.
2301 * sem_prag.adb (Analyze_Pragma, cases Pragma_Export and
2302 Pragma_Import): revert previous patch. The processing of
2303 interfacing aspects now generates a proper Ada 2005 pragma.
2304 * sem_ch13.adb (Analyze_Aspect_Specifications): generate proper
2305 pragam for aspects Convention, Import and Export. Scan list
2306 of aspects to collect link name and external name if present,
2307 and verify that a complete pragma can be generated.
2309 2012-06-11 Olivier Hainque <hainque@adacore.com>
2311 * gcc-interface/Makefile.in (GNATLIBCFLAGS_FOR_C): Remove
2312 $(PIC_FLAG_FOR_TARGET).
2313 (gnatlib-shared-default): Add $(PIC_FLAG_FOR_TARGET) to
2314 GNATLIBCFLAGS_FOR_C passed to gnatlib.
2315 (gnatlib-shared-win32): Likewise.
2316 (gnatlib-shared-darwin): Likewise.
2317 (gnatlib-shared-dual-win32): Pass PIC_FLAG_FOR_TARGET to
2318 gnatlib-shared-win32.
2320 2012-06-11 Eric Botcazou <ebotcazou@adacore.com>
2322 * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: Convert GNU_SIZE
2323 to units before invoking allocatable_size_p on it.
2324 Remove orphaned comment. Do not use ssize_int.
2325 <E_Record_Subtype>: Traverse list in original order. Minor tweak.
2326 (allocatable_size_p): Adjust and simplify.
2327 (build_subst_list): Use consistent terminology throughout.
2328 (build_variant_list): Likewise. Traverse list in original order.
2329 (create_field_decl_from): Likewise.
2330 (copy_and_substitute_in_size): Likewise.
2331 (create_variant_part_from): Add comment about field list order.
2332 * gcc-interface/utils.c (build_vms_descriptor): Do not use ssize_int.
2333 * gcc-interface/utils2.c (build_allocator): Likewise.
2335 2012-06-11 Eric Botcazou <ebotcazou@adacore.com>
2337 * gcc-interface/trans.c (Identifier_to_gnu): Test Is_Elementary_Type
2338 instead of Is_Scalar_Type for a constant with an address clause.
2339 Do not return the underlying constant for a constant used by reference
2340 if it holds the address of a constant and an lvalue is required.
2342 2012-06-11 Eric Botcazou <ebotcazou@adacore.com>
2344 * gcc-interface/decl.c (gnat_to_gnu_entity): Do not specifically deal
2345 with external constants wrt force_global here...
2346 <E_Constant>: ...but here instead.
2347 * gcc-interface/utils.c (gnat_pushdecl): Do not put external DECLs onto
2348 the list of global DECLs.
2350 2012-06-11 Eric Botcazou <ebotcazou@adacore.com>
2352 * gcc-interface/decl.c (gnat_to_gnu_entity): Translate the Esize on
2353 entry only for elementary types and abort if it is too large.
2354 <E_Record_Type>: Make sure the Esize is known before using it.
2356 2012-06-04 Steven Bosscher <steven@gcc.gnu.org>
2358 * gcc-interface/utils2.c: Do not include output.h.
2359 * gcc-interface/Make-lang.in: Fix dependencies.
2361 2012-05-29 Michael Matz <matz@suse.de>
2363 * gcc-interface/utils.c (create_var_decl_1): Don't call expand_decl.
2365 2012-05-26 Eric Botcazou <ebotcazou@adacore.com>
2367 * gcc-interface/decl.c (variant_desc): Rename 'record' to 'new_type'.
2368 (build_variant_list): Adjust to above renaming.
2369 (gnat_to_gnu_entity) <E_Record_Subtype>: Likewise. Give a unique name
2370 to the type of the variant containers.
2371 (create_variant_part_from): Likewise. Give a unique name to the type
2372 of the variant part.
2374 2012-05-25 Eric Botcazou <ebotcazou@adacore.com>
2377 * link.c (__gnat_object_file_option): Set to "-Wl,@" for GNU linker.
2378 (__gnat_using_gnu_linker): Delete.
2379 * gnatlink.adb (Gnatlink): Declare Object_File_Option_Ptr here...
2380 Declare Object_File_Option string constant and Using_GNU_response_file
2382 (Process_Binder_File): ...instead of here. Delete Using_GNU_Linker,
2383 Opening and Closing local variables. Do not handle the GNU linker
2385 (Write_RF): New procedure to write into the response file. Escape some
2386 characters if a GNU response file is used. Keep track of error status.
2387 Invoke Write_RF to write into the response file. Delete the file only
2388 if the link was successful.
2389 * mlib-utl.adb: Do not `with' package System.
2390 (Gcc): Likewise. Declare Object_File_Option string constant and
2391 Using_GNU_response_file boolean constant.
2392 (Write_RF): Take a string instead of address and length. Escape some
2393 characters if a GNU response file is used.
2394 Invoke Write_RF to write into the response file. Delete the file only
2395 if the link was successful. Do not warn if it cannot be deleted.
2397 2012-05-20 Eric Botcazou <ebotcazou@adacore.com>
2399 * gcc-interface/utils.c (gnat_write_global_declarations): Put a name
2400 on the dummy global variable.
2402 2012-05-19 Eric Botcazou <ebotcazou@adacore.com>
2404 * gcc-interface/decl.c (Has_Thiscall_Convention): New macro.
2405 (gnat_to_gnu_entity) <E_Subprogram_Type>: Test it to set the thiscall
2407 (get_minimal_subprog_decl): Likewise.
2408 (gnat_first_param_is_class): New predicate.
2410 * gcc-interface/misc.c (gnat_handle_option): Fix formatting.
2411 * gcc-interface/Makefile.in: Likewise.
2413 2012-05-18 Eric Botcazou <ebotcazou@adacore.com>
2415 * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: For an object at
2416 global level with unconstrained nominal subtype and a non-fixed size,
2417 make a variable for the size.
2419 2012-05-15 Andris Pavenis <andris.pavenis@iki.fi>
2422 * s-taprop-dummy.adb (Specific): New package.
2424 2012-05-15 Olivier Hainque <hainque@adacore.com>
2426 * gcc-interface/Make-lang.in (COMMON_FLAGS_TO_PASS): Use WARN_CFLAGS
2427 instead of trying to mimic it.
2429 2012-05-15 Robert Dewar <dewar@adacore.com>
2431 * sem_ch5.adb, sem_util.adb, s-stposu.adb, exp_ch4.adb: Minor
2434 2012-05-15 Geert Bosch <bosch@adacore.com>
2436 * uintp.adb (UI_Rem): Remove optimizations, as they are complex and are
2438 (Sum_Digits): Remove, no longer used.
2439 (Sum_Double_Digits): Likewise.
2441 2012-05-15 Yannick Moy <moy@adacore.com>
2443 * aspects.ads: Minor typo.
2445 2012-05-15 Thomas Quinot <quinot@adacore.com>
2447 * gnat_rm.texi (Scalar_Storage_Order): Fix RM reference.
2448 * sem_ch13.adb: Minor comment fix: incorrect RM reference.
2450 2012-05-15 Eric Botcazou <ebotcazou@adacore.com>
2452 * sem_prag.adb (Process_Atomic_Shared_Volatile): Propagate
2453 atomicity from an object to its underlying type only if it
2456 2012-05-15 Ed Schonberg <schonberg@adacore.com>
2458 * sem_ch5.adb (Analyze_Iterator_Specification): Set kind of
2459 loop variable after pre-analysis of iterator name, to prevent
2460 premature usage of loop variable.
2462 2012-05-15 Ed Schonberg <schonberg@adacore.com>
2464 * sem_util.adb (Is_Variable): In Ada 2012, an explicit
2465 dereference that is a rewriting of an expression whose type has
2466 a declared Implicit_Derenference aspect is a variable.
2468 2012-05-15 Hristian Kirtchev <kirtchev@adacore.com>
2470 * exp_ch4.adb (Insert_Dereference_Action): Reimplemented. The
2471 routine performs address and size adjustments for dereferences
2472 of heap-allocated controlled objects. This manipulation is needed
2473 in order to restore the original state of the memory at the time
2474 it was allocated by the finalization machinery.
2475 * rtsfind.ads: Add RE_Adjust_Controlled_Dereference to tables
2476 RE_Id and RE_Unit_Table.
2477 * sinfo.adb (Has_Dereference_Action): New routine.
2478 (Set_Has_Dereference_Action): New routine.
2479 * sinfo.ads: Add new semantic flag Has_Dereference_Action along
2480 its association in nodes.
2481 (Has_Dereference_Action): New routine and pragma Inline.
2482 (Set_Has_Dereference_Action): New routine and pragma Inline.
2483 * s-stposu.ads, s-stposu.adb (Adjust_Controlled_Dereference): New
2486 2012-05-15 Thomas Quinot <quinot@adacore.com>
2488 * uintp.adb (Image_Uint): Use UI_Div_Rem to get quotient and
2489 remainder of U / Base in a single operation.
2491 2012-05-15 Robert Dewar <dewar@adacore.com>
2493 * exp_ch5.adb, inline.adb, sem_ch10.adb, prj.ads, sem_util.adb,
2494 a-ngelfu.ads, exp_ch4.adb, exp_ch6.adb, aspects.ads, sem_ch6.adb,
2495 vms_data.ads, exp_ch3.adb, prj-env.adb: Minor reformatting.
2497 2012-05-15 Thomas Quinot <quinot@adacore.com>
2499 * exp_ch4.adb (Has_Inferable_Discriminants): For a qualified
2500 expression, use correct node for test on the subtype denoted by
2503 2012-05-15 Eric Botcazou <ebotcazou@adacore.com>
2505 * inline.adb (Scope_In_Main_Unit): Rename into...
2506 (In_Main_Unit_Or_Subunit): ...this. Also return
2507 true if the subprogram is within a subunit of the
2509 (Add_Inlined_Body): Adjust for above renaming.
2510 (Add_Inlined_Subprogram): Likewise. Pass the subprogram directly.
2511 (Analyze_Inlined_Bodies): Really set aside inlined subprograms
2512 not handled by Add_Inlined_Body.
2514 2012-05-15 Ed Schonberg <schonberg@adacore.com>
2516 * sem_ch10.adb (Expand_With_Clause): In the context of a generic
2517 package declaration, a private with-clause on a child unit implies
2518 that the implicit with clauses on its parents are private as well.
2520 2012-05-15 Javier Miranda <miranda@adacore.com>
2522 * sem_ch6.adb (Is_Interface_Conformant): Add missing call to
2523 Base_Type to handle subtypes.
2524 * exp_ch6.adb (Expand_Call): For calls located in thunks handle
2525 unchecked conversions of access types found in actuals.
2526 * exp_disp.adb (Expand_Interface_Thunk): Add missing unchecked
2527 conversion to actuals whose type is an access type. Done to
2528 avoid reporting spurious errors.
2530 2012-05-15 Vincent Celier <celier@adacore.com>
2532 * prj-env.adb (Create_Mapping): Ignore sources that are
2533 suppressed (Create_Mapping_File.Process): Ditto
2534 * prj-nmsc.adb (Add_Source): Update to take into
2535 account suppressed files that may hide inherited sources.
2536 (Mark_Excluded_Sources): Mark excluded sources of the current
2537 project as suppressed.
2538 * prj.ads (Source_Data): New Boolean component Suppressed,
2541 2012-05-15 Thomas Quinot <quinot@adacore.com>
2543 * exp_intr.adb: Minor reformatting.
2545 2012-05-15 Thomas Quinot <quinot@adacore.com>
2547 * gnat_rm.texi: Document attribute Scalar_Storage_Order.
2549 2012-05-15 Javier Miranda <miranda@adacore.com>
2551 * exp_ch3.adb (Build_Offset_To_Top): Modify the
2552 expansion of the offset_to_top functions to ensure that their
2553 profile is conformant with the profile specified in Ada.Tags. No
2554 change in functionality.
2556 2012-05-15 Eric Botcazou <ebotcazou@adacore.com>
2558 * inline.adb (Subp_Info): Remove Count and Next_Nopred
2559 components, add Processed component and move around Next component.
2560 (Add_Call): Reverse meaning of Successors table to the natural one.
2561 (Add_Inlined_Body): Do not inline a package if it is in the main unit.
2562 (Add_Inlined_Subprogram): Do not add the subprogram to the list if the
2563 package is in the main unit. Do not recurse on the successors.
2564 (Add_Subp): Adjust to new contents of Subp_Info.
2565 (Analyze_Inlined_Bodies): Do not attempt
2566 to compute a topological order on the list of inlined subprograms,
2567 but compute the transitive closure from the main unit instead.
2568 (Get_Code_Unit_Entity): Always return the spec for a package.
2570 2012-05-15 Yannick Moy <moy@adacore.com>
2572 * aspects.ads: Minor addition of comments to provide info on
2573 how to add new aspects.
2575 2012-05-15 Thomas Quinot <quinot@adacore.com>
2577 * osint.ads: Minor reformatting.
2579 2012-05-15 Thomas Quinot <quinot@adacore.com>
2581 * exp_ch5.adb, exp_pakd.adb, sem_util.adb, sem_util.ads
2582 (Expand_Assign_Array): Handle the case of a packed bit array within a
2583 record with reverse storage order (assign element by element in that
2585 (In_Reverse_Storage_Order_Record): New subprogram,
2586 code extracted from Exp_Pakd.
2588 2012-05-15 Yannick Moy <moy@adacore.com>
2590 * a-ngelfu.ads: Add postconditions using Ada 2012
2591 aspect syntax, reflecting some of the RM requirements for these
2592 functions, from Annex A.5.1 or G.2.4.
2594 2012-05-15 Thomas Quinot <quinot@adacore.com>
2596 * adaint.c: Minor fix: move misplaced comment.
2598 2012-05-15 Doug Rupp <rupp@adacore.com>
2600 * vms_data.ads: Enhance help for /IMMEDIATE_ERRORS to discourage
2603 2012-05-15 Tristan Gingold <gingold@adacore.com>
2605 * a-exextr.adb: Add comment.
2607 2012-05-15 Ed Schonberg <schonberg@adacore.com>
2609 * sem_ch3.adb: Minor reformatting (remove long dead code).
2611 2012-05-15 Ed Schonberg <schonberg@adacore.com>
2613 * aspects.adb, aspects.ads: Add aspects for Convention, Export,
2614 External_Name, Import, and Link_Name.
2615 * exp_prag.adb (Expand_Pragma_Import_Or_Interface): if the
2616 pragma comes from an aspect specification, the entity is the
2618 * sem_prag.adb (Analyze_Pragma, cases Pragma_Export and
2619 Pragma_Import): if the pragma comes from an aspect specification,
2620 the entity is the first argument, and the second has the value
2622 * sem_ch13.adb (Analyze_Aspect_Specifications): generate pragam
2623 for aspect Convention. Add placeholders for Link_Name and
2626 2012-05-15 Hristian Kirtchev <kirtchev@adacore.com>
2628 * exp_ch9.adb (Expand_N_Asynchronous_Select): Extract the statements
2629 of the abortable part and triggering alternative after being processed
2630 for controlled objects.
2631 (Expand_N_Timed_Entry_Call): Code and comment reformatting.
2633 2012-05-15 Robert Dewar <dewar@adacore.com>
2635 * sem_util.adb: Minor code reorganization.
2637 2012-05-15 Robert Dewar <dewar@adacore.com>
2639 * exp_ch7.adb, exp_ch11.adb, exp_ch11.ads: Minor reformatting.
2641 2012-05-15 Thomas Quinot <quinot@adacore.com>
2643 * sem_res.adb (Resolve): Enforce E.2.2(11/2) and E.2.2(12) for
2644 'Unrestricted_Access and 'Unchecked_Access (not just 'Access):
2645 even in those cases, a remote access type may only designate a
2648 2012-05-15 Thomas Quinot <quinot@adacore.com>
2650 * sem_util.adb, sem_util.ads, sem_cat.adb: Minor refactoring.
2651 (Enclosing_Lib_Unit_Node): Rename to Enclosing_Comp_Unit_Node.
2653 2012-05-15 Ed Schonberg <schonberg@adacore.com>
2655 * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Remove obsolete
2656 checks on nested inlined subprograms.
2658 2012-05-15 Tristan Gingold <gingold@adacore.com>
2660 * fe.h (Get_RT_Exception_Name): Declare.
2662 2012-05-15 Tristan Gingold <gingold@adacore.com>
2664 * raise-gcc.c (db_region_for): Use %p + cast to avoid warnings.
2665 (get_region_description_for): Likewise.
2666 (db_action_for): Likewise.
2667 (get_call_site_action_for): Likewise.
2668 (get_ttype_entry_for): Remove useless 'const'.
2669 (PERSONALITY_FUNCTION): Add ATTRIBUTE_UNUSED on uw_exception_class.
2671 2012-05-15 Tristan Gingold <gingold@adacore.com>
2673 * a-exextr.adb (Unhandled_Exception_Terminate): Save occurrence
2674 on the stack to avoid a dynamic memory allocation.
2676 2012-05-15 Bob Duff <duff@adacore.com>
2678 * exp_ch9.adb (Expand_N_Timed_Entry_Call): Move initialization of
2679 E_Stats and D_Stats after Process_Statements_For_Controlled_Objects,
2680 because those calls can destroy the Statements list.
2682 2012-05-15 Tristan Gingold <gingold@adacore.com>
2684 * fe.h (Get_RT_Exception_Name): Define.
2685 * types.ads (RT_Exception_Code): Update comment.
2686 * exp_ch11.adb, exp_ch11.ads (Get_RT_Exception_Name): New
2687 procedure to get the name of the rcheck subprograms.
2688 * a-except-2005.adb (Rcheck_xx): Rename.
2689 * a-except.adb Likewise, but also keep the old Rcheck_nn routines
2691 * arith64.c (__gnat_mulv64): Use __gnat_rcheck_CE_Overflow_Check
2692 instead of __gnat_rcheck_10.
2693 * gcc-interface/trans.c (build_raise_check): Use Get_RT_Exception_Name
2694 to create the __gnat_rcheck routines name.
2695 * gcc-interface/Make-lang.in: Update dependencies.
2697 2012-05-15 Tristan Gingold <gingold@adacore.com>
2699 * exp_ch7.adb (Build_Exception_Handler): Save current
2700 occurrence only if -gnateE.
2701 (Build_Object_Declaration): Declare E_Id only if -gnateE.
2702 (Build_Raise_Statement): Call Raise_From_Controlled_Operation only if
2703 -gnateE (else raise PE).
2704 * s-soflin.adb (Save_Library_Occurrence): Handle null occurrence
2706 * a-except-2005.adb (Reraise_Library_Exception_If_Any): Call
2707 Raise_From_Controlled_Operation only if the saved occurrence is
2708 not null, otherwise raise PE.
2710 2012-05-15 Yannick Moy <moy@adacore.com>
2712 * exp_alfa.ads: Add comments describing the Alfa mode.
2714 2012-05-15 Tristan Gingold <gingold@adacore.com>
2716 * s-soflin.ads, s-soflin.adb (Save_Library_Occurrence): Parameter
2717 E is now of type Exception_Occurrence_Access.
2718 * exp_ch7.ads, exp_ch7.adb (Build_Exception_Handler): Adjust generated
2719 call to Save_Library_Occurrence.
2721 2012-05-15 Thomas Quinot <quinot@adacore.com>
2723 * exp_ch4.adb (Rewrite_Coextension): Use Insert_Action to
2724 insert temporary variable decl at the proper place in the tree.
2726 2012-05-15 Hristian Kirtchev <kirtchev@adacore.com>
2728 * g-calend.adb (Split_At_Locale): New routine.
2729 (Time_Of_At_Locale): New routine.
2730 * g-calend.ads (Split_At_Locale): New routine.
2731 (Time_Of_At_Locale): New routine.
2733 2012-05-15 Gary Dismukes <dismukes@adacore.com>
2735 * a-except.ads: Minor reformatting.
2737 2012-05-15 Ed Schonberg <schonberg@adacore.com>
2739 * sem_ch5.adb (Analyze_Loop_Parameter_Specification): If the loop
2740 parameter specification is part of a quantified expression, and it
2741 already carries a type, do not repeat the analysis to preserve
2742 type information: a range attribute reference may have been
2743 rewritten as a range with static bounds, and its re-analysis may
2744 type it as Integer by default, instead of the original index type.
2746 2012-05-15 Robert Dewar <dewar@adacore.com>
2748 * s-osprim-mingw.adb: Minor reformatting.
2750 2012-05-15 Arnaud Charlet <charlet@adacore.com>
2752 * a-except.adb, a-except.ads (Reraise_Library_Exception_If_Any): New.
2753 Mark this unit preelaborate.
2754 * s-soflin.ads: Make package Preelaborate.
2756 2012-05-15 Robert Dewar <dewar@adacore.com>
2758 * s-osprim-mingw.adb, sem_eval.adb, a-calend-vms.ads: Minor reformatting
2760 2012-05-15 Ed Schonberg <schonberg@adacore.com>
2762 * sem_eval.adb (Subtypes_Statically_Match): In Ada 2012, static
2763 matching requires matching of static subtype predicates as well.
2765 2012-05-15 Ed Schonberg <schonberg@adacore.com>
2767 * sem_case.adb (Analyze_Choices): If the subtype of the
2768 expression has a non-static predicate, the case alternatives
2769 must cover the base type.
2771 2012-05-15 Tristan Gingold <gingold@adacore.com>
2773 * a-calend-vms.ads: Add pragma export to Split and Time_Of.
2774 Merge comments from a-calend.ads to minimize differences.
2776 2012-05-15 Sergey Rybin <rybin@adacore.com frybin>
2778 * gnat_ugn.texi: gnatmetric: add a small example that demonstrates
2779 the difference between control coupling and unit coupling.
2781 2012-05-15 Tristan Gingold <gingold@adacore.com>
2783 * bindgen.adb (Gen_Header): Remove code to emit LE_Set.
2784 (Gen_Finalize_Library): Replace test with
2785 a call to __gnat_reraise_library_exception_if_any.
2786 * s-soflin.ads (Library_Exception): Do not export.
2787 (Library_Exception_Set): Likewise.
2788 * a-except-2005.ads, a-except-2005.adb
2789 (Reraise_Library_Exception_If_Any): New procedure.
2791 2012-05-15 Geert Bosch <bosch@adacore.com>
2793 * sem_ch9.adb (Allows_Lock_Free_Implementation): out or in out
2794 parameters can be access types as well, not just scalar types,
2795 so relax the test to Is_Elementary_Type.
2797 2012-05-15 Bob Duff <duff@adacore.com>
2799 * s-atacco.ads s-atacco.adb: Replace pragma Elaborate_Body
2800 with pragma No_Body.
2801 (Xyz): Remove Xyz, which is apparently unnecessary.
2803 2012-05-15 Tristan Gingold <gingold@adacore.com>
2805 * a-calend-vms.adb: Complete previous change.
2807 2012-05-15 Bob Duff <duff@adacore.com>
2809 * s-win32.ads: Minor comment fix.
2810 * s-osprim-mingw.adb: Minor editing.
2812 2012-05-15 Robert Dewar <dewar@adacore.com>
2814 * exp_ch9.adb, sem_ch9.adb, sem_ch13.adb: Minor reformatting.
2816 2012-05-15 Robert Dewar <dewar@adacore.com>
2818 * g-comlin.adb, g-comlin.ads: Minor reformatting.
2820 2012-05-15 Vincent Pucci <pucci@adacore.com>
2822 * aspects.adb, aspects.adb: Reordering of the Aspect_Idi list. New
2823 aspect Aspect_Lock_Free.
2824 * einfo.adb, einfo.ads: New flag Uses_Lock_Free (flag 188).
2825 (Set_Uses_Lock_Free): New routine.
2826 (Uses_Lock_Free): New routine.
2827 * exp_ch7.adb (Is_Simple_Protected_Type): Return False for
2828 lock-free implementation.
2829 * exp_ch9.adb (Allows_Lock_Free_Implementation): Moved to Sem_Ch9.
2830 (Build_Lock_Free_Unprotected_Subprogram_Body): Protected
2831 procedure uses __sync_synchronise. Check both Object_Size
2833 (Expand_N_Protected_Body): Lock_Free_Active
2834 renames Lock_Free_On.
2835 (Expand_N_Protected_Type_Declaration):
2836 _Object field removed for lock-free implementation.
2837 (Install_Private_Data_Declarations): Protection object removed
2838 for lock-free implementation.
2839 (Make_Initialize_Protection):
2840 Protection object initialization removed for lock-free implementation.
2841 * rtsfind.ads: RE_Atomic_Synchronize and RE_Relaxed added.
2842 * sem_ch13.adb (Analyze_Aspect_Specifications): Aspect_Lock_Free
2844 * sem_ch9.adb (Allows_Lock_Free_Implementation): New routine.
2845 (Analyze_Protected_Body): Allows_Lock_Free_Implementation call added.
2846 (Analyze_Protected_Type_Declaration):
2847 Allows_Lock_Free_Implementation call added.
2848 (Analyze_Single_Protected_Declaration): Second analysis of
2850 * s-atopri.ads: Header added.
2851 (Atomic_Synchronize): New routine.
2853 2012-05-15 Robert Dewar <dewar@adacore.com>
2855 * exp_ch7.ads: Add comment.
2857 2012-05-15 Hristian Kirtchev <kirtchev@adacore.com>
2859 * a-calend.adb (Day_Of_Week): The routine once again treats
2860 all dates as historic. (Formatting_Operations.Split): All
2861 calls to UTC_Time_Offset are now controlled through formal
2862 parameter Is_Historic. (Formatting_Operations.Time_Of):
2863 All calls to UTC_Time_Offset are now handled through
2864 formal parameter Is_Historic.
2865 (Split): Update the call to Formatting_Operations.Split.
2866 (Time_Of): Update the call to Formatting_Operations.Time_Of.
2867 (To_Ada_Time): Update the call to Formatting_Operations.Time_Of.
2868 (To_Strict_Tm): Update the call to Formatting_Operations.Split.
2869 * a-calend.ads (Split): Add new formal Is_Historic along with
2870 comment on usage. This routine is now exported for the purposes
2871 of GNAT.Calendar.Locale.
2872 (Time_Of): Remove defaults. Add new
2873 formal Is_Historic along with comment on usage. This routine is
2874 now exported for the purposes of GNAT.Calendar.Locale.
2875 * a-calend-vms.adb (Split): Update the call to
2876 Formatting_Operations.Split.
2877 (Time_Of): Update the call to Formatting_Operations.Time_Of.
2878 * a-calend-vms.ads (Split): Add new formal Is_Historic along
2879 with comment on usage. (Time_Of): Remove defaults. Add new
2880 formal Is_Historic along with comment on usage.
2881 * a-calfor.adb (Split): Update the call to
2882 Formatting_Operations.Split.
2883 (Time_Of): Update the call to Formatting_Operations.Time_Of.
2885 2012-05-15 Vincent Celier <celier@adacore.com>
2887 * prj-nmsc.adb (Add_Source): Always add the source if it is
2888 excluded, to avoid incorrect duplicate checks.
2890 2012-05-15 Yannick Moy <moy@adacore.com>
2892 * sem_aux.ads: Correct typo.
2893 * sem_eval.adb (Compile_Time_Known_Value): Return False in Alfa
2894 mode for a deferred constant when outside of the scope of its
2897 2012-05-15 Emmanuel Briot <briot@adacore.com>
2899 * g-comlin.adb, g-comlin.ads (Define_Switch): Allow specifying the name
2900 of the argument, for the automatic help message.
2901 (Getopt): do not systematically initialize switches with string values
2902 to the empty string, when the user has already specified a default.
2904 2012-05-14 Bernd Schmidt <bernds@codesourcery.com>
2906 * gcc-interface/utils.c (DEF_ATTR_STRING): New.
2908 2012-05-14 Manuel López-Ibáñez <manu@gcc.gnu.org>
2911 * gcc-interface/misc.c: Include opts.h and options.h before tm.h.
2912 (gnat_handle_option): Call lang-specific generated function.
2914 2012-05-13 Manuel López-Ibáñez <manu@gcc.gnu.org>
2916 * gcc-interface/lang.opt (I): Comment out help text with no effect.
2917 (nostdinc): Comment out help text with no effect.
2919 2012-05-12 Eric Botcazou <ebotcazou@adacore.com>
2921 * gcc-interface/Makefile.in (TOOLS_LIBS): Add ../../ggc-none.o.
2923 2012-05-11 Manuel López-Ibáñez <manu@gcc.gnu.org>
2926 * gcc-interface/misc.c (gnat_parse_file): Move before ...
2927 (gnat_handle_option): ... this. Use handle_generated_option.
2929 2012-05-10 Richard Guenther <rguenther@suse.de>
2931 * gcc-interface/cuintp.c (UI_From_gnu): Remove TYPE_IS_SIZETYPE use.
2933 2012-05-06 Tristan Gingold <gingold@adacore.com>
2935 * gcc-interface/trans.c (gigi): Decorate reraise_zcx_decl.
2937 2012-05-06 Eric Botcazou <ebotcazou@adacore.com>
2939 * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: In the renaming
2940 case, use the padded type if the renamed object has an unconstrained
2941 type with default discriminant.
2943 2012-05-06 Eric Botcazou <ebotcazou@adacore.com>
2945 * gcc-interface/trans.c (Loop_Statement_to_gnu): Also handle invariant
2946 conditions with only one bound.
2947 (Raise_Error_to_gnu): Likewise. New function extracted from...
2948 (gnat_to_gnu) <N_Raise_Constraint_Error>: ...here. Call above function
2949 in regular mode only.
2951 2012-05-06 Eric Botcazou <ebotcazou@adacore.com>
2953 * gcc-interface/misc.c (gnat_post_options): Disable caret by default.
2955 2012-05-06 Eric Botcazou <ebotcazou@adacore.com>
2957 * gcc-interface/gigi.h (make_packable_type): Declare.
2958 (make_type_from_size): Likewise.
2959 (relate_alias_sets): Likewise.
2960 (maybe_pad_type): Adjust.
2961 (init_gnat_to_gnu): Delete.
2962 (destroy_gnat_to_gnu): Likewise.
2963 (init_dummy_type): Likewise.
2964 (destroy_dummy_type): Likewise.
2965 (init_gnat_utils): Declare.
2966 (destroy_gnat_utils): Likewise.
2967 (ceil_pow2): New inline function.
2968 * gcc-interface/decl.c (gnat_to_gnu_entity): Use ceil_pow2.
2969 <object>: Pass True for the final processing of alignment and size.
2970 <E_Subprogram_Type>: Only create the TYPE_DECL for a padded return
2972 (round_up_to_align): Delete.
2973 (ceil_alignment): Likewise.
2974 (relate_alias_sets): Move to...
2975 (make_aligning_type): Likewise.
2976 (make_packable_type): Likewise.
2977 (maybe_pad_type): Likewise.
2978 (make_type_from_size): Likewise.
2979 * gcc-interface/utils.c (MAX_BITS_PER_WORD): Delete.
2980 (struct pad_type_hash): New type.
2981 (pad_type_hash_table): New static variable.
2982 (init_gnat_to_gnu): Merge into...
2983 (init_dummy_type): Likewise.
2984 (init_gnat_utils): ...this. New function.
2985 (destroy_gnat_to_gnu): Merge into...
2986 (destroy_dummy_type): Likewise.
2987 (destroy_gnat_utils): ...this. New function.
2988 (pad_type_hash_marked_p): New function.
2989 (pad_type_hash_hash): Likewise.
2990 (pad_type_hash_eq): Likewise.
2991 (relate_alias_sets): ...here.
2992 (make_aligning_type): Likewise.
2993 (make_packable_type): Likewise.
2994 (maybe_pad_type): Likewise. Change same_rm_size parameter into
2995 set_rm_size; do not set TYPE_ADA_SIZE if it is false. Do not set
2996 null as Ada size. Do not set TYPE_VOLATILE on the padded type. If it
2997 is complete and has constant size, canonicalize it. Bail out earlier
2998 if a warning need not be issued.
2999 (make_type_from_size): Likewise.
3000 <INTEGER_TYPE>: Bail out if size is too large
3001 (gnat_types_compatible_p): Do not deal with padded types.
3002 (convert): Compare main variants for padded types.
3003 * gcc-interface/trans.c (gigi): Call {init|destroy}_gnat_utils.
3004 (gnat_to_gnu): Do not convert at the end for a call to a function that
3005 returns an unconstrained type with default discriminant.
3006 (Attribute_to_gnu) <Attr_Size>: Simplify handling of padded objects.
3007 * gcc-interface/utils2.c (build_binary_op) <MODIFY_EXPR>: Likewise.
3008 Do not use the padded type if it is BLKmode and the inner type is
3011 2012-05-02 Pascal Obry <obry@adacore.com>
3014 2012-02-24 Dave Korn <dave.korn.cygwin@gmail.com>
3016 * gcc-interface/Makefile.in (WIN_SO_PREFIX [windows targets]): New
3017 Windows-specific make variable.
3018 (WIN_SO_INSTALL_DIR [windows targets]): Likewise.
3019 (install-gnatlib): Respect the above during installation when set,
3020 and also install any windows import library that has been built.
3021 (gnatlib-shared-win32): Use WIN_SO_PREFIX to name output DLL and also
3022 build a corresponding import library.
3024 2012-04-30 Jan Hubicka <jh@suse.cz>
3026 * gcc-interface/utils.c (rest_of_subprog_body_compilation): Update
3028 (gnat_write_global_declarations): Use finalize_compilation_unit.
3030 2012-04-30 Eric Botcazou <ebotcazou@adacore.com>
3032 * gcc-interface/decl.c (gnat_to_gnu_entity): In type annotation mode,
3033 do not adjust the size of a tagged type if there is a representation
3034 clause on it. Otherwise, round the adjustment up to the alignment
3035 of the first field and use the appropriate helper routine.
3036 (maybe_pad_type): Do not warn in type annotation mode on a tagged type.
3037 (gnat_to_gnu_field): Do not error out under the same circumstances.
3038 (annotate_rep): In type annotation mode, do not adjust the offset of
3039 components of a tagged type with representation clause. Otherwise,
3040 round the adjustment up to the alignment of the first field.
3042 2012-04-30 Eric Botcazou <ebotcazou@adacore.com>
3044 * gcc-interface/utils.c (finish_record_type): Force the traditional GCC
3045 layout for bitfields on the type if it is packed or has a representation
3046 clause and an alternate layout is available.
3048 2012-04-30 Eric Botcazou <ebotcazou@adacore.com>
3050 * gcc-interface/gigi.h (mark_out_of_scope): Delete.
3051 (destroy_gnat_to_gnu): Declare.
3052 (destroy_dummy_type): Likewise.
3053 * gcc-interface/decl.c (mark_out_of_scope): Delete.
3054 * gcc-interface/utils.c (destroy_gnat_to_gnu): New function.
3055 (destroy_dummy_type): Likewise.
3056 * gcc-interface/trans.c (gnat_validate_uc_list): New variable.
3057 (gigi): Call validate_unchecked_conversion on gnat_validate_uc_list
3058 after the translation is completed. Call destroy_gnat_to_gnu and
3059 destroy_dummy_type at the end.
3060 (Subprogram_Body_to_gnu): Do not call mark_out_of_scope.
3061 (gnat_to_gnu) <N_Block_Statement>: Likewise.
3062 <N_Validate_Unchecked_Conversion>: Do not process the node, only push
3063 it onto gnat_validate_uc_list.
3064 (validate_unchecked_conversion): New function.
3066 2012-04-26 Tristan Gingold <gingold@adacore.com>
3068 * gcc-interface/Make-lang.in: Update dependencies.
3069 Remove s-traceb and tracebak objects from gnat1 and gnatbind (not used).
3070 Remove s-tasdeb and s-vaflop rules (not used).
3072 2012-04-26 Olivier Hainque <hainque@adacore.com>
3074 * gcc-interface/targtyps.c (WIDEST_HARDWARE_FP_SIZE): Default to
3075 DOUBLE_TYPE_SIZE instead of LONG_DOUBLE_TYPE_SIZE.
3077 2012-04-26 Hristian Kirtchev <kirtchev@adacore.com>
3079 * a-calend.adb (Day_Of_Week): Keep the internal
3080 usage of UTC_Time_Offset consistent with Time_Of and Split.
3082 2012-04-26 Hristian Kirtchev <kirtchev@adacore.com>
3084 * sem_ch5.adb (Analyze_Loop_Parameter_Specification): Do not freeze
3085 the loop variable while preanalyzing a quantified expression.
3087 2012-04-26 Hristian Kirtchev <kirtchev@adacore.com>
3089 * a-calend.adb (Split, Time_Of): Rename parameter Is_Ada_05
3090 to Use_TZ to better illustrate its function. Update all
3091 references to the parameter.
3092 (To_Ada_Time): Update the call to Formatting_Operations.Time_Of.
3093 * a-calend.ads (Split, Time_Of): Rename parameter Is_Ada_05
3094 to Use_TZ to better illustrate its function. Update the related
3096 * a-calend-vms.adb (Split, Time_Of): Rename parameter
3097 Is_Ada_05 to Use_TZ to better illustrate its function. Update
3098 all references to the parameter.
3099 (To_Ada_Time): Update the call to Formatting_Operations.Time_Of.
3100 * a-calend-vms.ads (Split, Time_Of): Rename parameter Is_Ada_05
3101 to Use_TZ to better illustrate its function. Update the related
3103 * a-calfor.adb (Split, Time_Of): Update the call to
3104 Formatting_Operations.Time_Of.
3105 * sysdep.c (__gnat_localtime_tzoff): Dereference pointer
3106 "is_historic" and rewrite the check as a comparison. Add a
3107 comment on flag values.
3109 2012-04-26 Robert Dewar <dewar@adacore.com>
3111 * exp_ch2.adb, sem_ch8.adb: Minor reformatting.
3113 2012-04-26 Vasiliy Fofanov <fofanov@adacore.com>
3115 * a-stzunb-shared.adb, gnat_ugn.texi, a-strunb-shared.adb,
3116 a-strunb-shared.ads, uintp.adb, a-stwiun-shared.adb,
3117 a-stwiun-shared.ads, a-cbhama.ads, vms_data.ads, a-cobove.adb,
3118 a-convec.adb, sem_ch13.adb, a-cbhase.ads: Fix common misuses of the
3119 word "then" where "than" should be used in English.
3121 2012-04-26 Robert Dewar <dewar@adacore.com>
3123 * sem_ch5.adb (Check_Unreachable_Code): Skip past pragmas.
3125 2012-04-26 Hristian Kirtchev <kirtchev@adacore.com>
3127 * s-finroo.ads: Remove with clause for
3128 Ada.Streams. Type Root_Controlled is now abstract tagged null
3129 record. Remove internal package Stream_Attributes. Root_Controlled
3130 doesn't need stream attribute redeclaration and avoids the
3131 dependency on streams.
3133 2012-04-26 Tristan Gingold <gingold@adacore.com>
3135 * adaint.c (to_host_path_spec): Removed (unused).
3138 2012-04-26 Steve Baird <baird@adacore.com>
3140 * gnat_rm.texi Improve description of Valid_Scalars attribute.
3142 2012-04-26 Ed Schonberg <schonberg@adacore.com>
3144 * sem_ch6.adb (Can_Override_Operator): If the formal is a
3145 generic type the operator cannot be overriding.
3147 2012-04-26 Ed Schonberg <schonberg@adacore.com>
3149 * sem_ch8.adb (Spec_Reloaded_For_Body): Check whether the type
3150 is declared in a package specification, and current unit is the
3151 corresponding package body. The use clauses themselves may be
3152 within a nested package.
3154 2012-04-26 Bob Duff <duff@adacore.com>
3156 * exp_ch2.adb (Param_Entity): Take into account the case where
3157 the type of the entry parameter has a representation clause.
3159 2012-04-26 Ed Schonberg <schonberg@adacore.com>
3161 * gnat_ugn.texi: Tweak dimensionality doc.
3163 2012-04-26 Robert Dewar <dewar@adacore.com>
3165 * sem_eval.adb: Minor reformatting.
3167 2012-04-26 Robert Dewar <dewar@adacore.com>
3169 * einfo.adb, einfo.ads, sem_res.adb, sem_ch4.adb,
3170 sem_eval.adb: Minor reformatting.
3172 2012-04-26 Thomas Quinot <quinot@adacore.com>
3174 * freeze.adb: Minor change in error wording.
3176 2012-04-26 Ed Schonberg <schonberg@adacore.com>
3178 * gnat_ugn.texi: Documentation on dimensional analysis.
3180 2012-04-26 Hristian Kirtchev <kirtchev@adacore.com>
3182 * einfo.adb, einfo.ads: Remove synthesized attribute
3183 Proper_First_Index along with its associations in various nodes.
3184 (Proper_First_Index): Removed.
3185 * sem_ch4.adb (Analyze_Slice): Alphabetize constants. Add new
3186 local variable Index_Type. The index type of a string literal
3187 subtype is that of the stored low bound.
3188 * sem_eval (Get_Static_Length): Remove the use of Proper_First_Index.
3189 * sem_res.adb (Resolve_Slice): Alphabetize constants. Add
3190 new local variable Index_Type. The index type of a
3191 string literal subtype is that of the stored low bound.
3192 (Set_String_Literal_Subtype): Code reformatting.
3194 2012-04-26 Robert Dewar <dewar@adacore.com>
3196 * exp_aggr.adb: Minor reformatting.
3198 2012-04-26 Hristian Kirtchev <kirtchev@adacore.com>
3200 * exp_ch7.adb (Expand_Cleanup_Actions): Update the call to
3201 Requires_Cleanup_Actions.
3202 * exp_util.adb (Requires_Cleanup_Actions (List_Id; Boolean;
3203 Boolean)): Rename formal parameter For_Package to Lib_Level to
3204 better reflect its purpose. Update the related comment and all
3205 occurrences of For_Package in the body.
3206 (Requires_Cleanup_Actions
3207 (Node_Id; Boolean)): Add new formal parameter Lib_Level. Add
3208 local constant At_Lib_Level to keep monitor whether the path
3209 taken from the top-most context to the current construct involves
3210 package constructs. Update all calls to Requires_Cleanup_Actions.
3211 * exp_util.ads (Requires_Cleanup_Actions): Add new formal
3212 parameter Lib_Level and associated comment.
3214 2012-04-26 Ed Schonberg <schonberg@adacore.com>
3216 * sem_ch6.adb (Process_Formals): If the type of the formal is
3217 a non null access type, mark the generated subtype as having a
3218 delayed freeze only if the designated type is not frozen yet.
3220 2012-04-26 Vincent Celier <celier@adacore.com>
3222 * prj-attr.adb: New package Clean with attributes
3223 Object_Artifact_Extensions and Source_Artifact_Extensions.
3224 * prj-nmsc.adb (Process_Clean): Process new package Clean
3225 * prj.ads (Language_Config): New components
3226 Clean_Object_Artifacts and Clean_Source_Artifacts.
3227 * snames.ads-tmpl: New standard names Clean,
3228 Object_Artifact_Extensions and Source_Artifact_Extensions.
3230 2012-04-26 Hristian Kirtchev <kirtchev@adacore.com>
3232 * einfo.adb (Proper_First_Index): Moved from Sem_Util.
3233 * einfo.ads: Add new synthesized attribute Proper_First_Index
3234 along with usage in nodes.
3235 (Proper_First_Index): Moved from Sem_Util.
3236 * sem_util.ads, sem_util.adb (Proper_First_Index): Moved to Einfo.
3238 2012-04-26 Gary Dismukes <dismukes@adacore.com>
3240 * layout.adb (Layout_Component_List): Test for the case of a
3241 single variant and the size of its component list was computed
3242 as an integer literal, and use that size (which is in bits)
3243 as is rather than converting to storage units.
3245 2012-04-26 Robert Dewar <dewar@adacore.com>
3247 * exp_aggr.adb: Minor reformatting.
3249 2012-04-26 Robert Dewar <dewar@adacore.com>
3251 * sem_util.adb: Minor reformatting.
3253 2012-04-26 Thomas Quinot <quinot@adacore.com>
3255 * exp_aggr.adb, exp_pakd.adb (Setup_Inline_Packed_Array_Reference,
3256 Packed_Array_Aggregate_Handled.Get_Component_Val):
3257 Reverse bit numbering within PAT when Reverse_Storage_Order
3258 applies to the enclosing record.
3260 2012-04-26 Thomas Quinot <quinot@adacore.com>
3262 * freeze.adb (Freeze_Record_Type): Improve error message for
3263 Scalar_Storage_Order inconsistent with Bit_Order.
3265 2012-04-25 Gary Dismukes <dismukes@adacore.com>
3267 * exp_ch9.adb: Add comments on the usage of the
3268 lock-free data structures.
3270 2012-04-25 Vincent Pucci <pucci@adacore.com>
3272 * exp_intr.adb (Expand_Shift): Convert the left
3273 operand and the operator when the type of the call differs from
3274 the type of the operator.
3276 2012-04-25 Geert Bosch <bosch@adacore.com>
3278 * stand.ads: Minor comment fix.
3280 2012-04-25 Hristian Kirtchev <kirtchev@adacore.com>
3282 * sem_ch4.adb (Analyze_Slice): Handle the case where the prefix
3283 is a string literal. Retrieve the first index from the base type
3284 when slicing a string literal.
3285 * sem_ch12.adb (Check_Private_View): Move the initialization
3286 of the type inside the loop to reflect the changing index.
3287 * sem_eval.adb (Eval_Relational_Op): Retrieve the first index
3288 from the base type when dealing with a string literal.
3289 * sem_res.adb (Resolve_Slice): Retrieve the first index from
3290 the base type when slicing a string literal.
3291 * sem_util.adb (Is_Internally_Generated_Renaming): New routine.
3292 (Is_Object_Reference): String literals may act
3293 as object references only when they are renamed internally.
3294 (Proper_First_Index): New routine.
3295 * sem_util.ads (Proper_First_Index): New routine.
3297 2012-04-25 Robert Dewar <dewar@adacore.com>
3299 * sem_ch3.adb, csinfo.adb, lib-writ.adb, sem_ch12.adb,
3300 lib-xref.adb: Minor reformatting.
3302 2012-04-25 Hristian Kirtchev <kirtchev@adacore.com>
3304 * exp_ch9.adb: Rename Lock_Free_Sub_Type
3305 to Lock_Free_Subprogram. Remove type Subprogram_Id.
3306 Rename LF_Sub_Table to Lock_Free_Subprogram_Table.
3307 (Allow_Lock_Free_Implementation): Renamed to
3308 Allows_Lock_Free_Implementation. Update the comment on
3309 lock-free restrictions. Code clean up and restructuring.
3310 (Build_Lock_Free_Protected_Subprogram_Body): Update the
3311 profile and related comments. Code clean up and restructuring.
3312 (Build_Lock_Free_Unprotected_Subprogram_Body): Update the
3313 profile and related comments. Code clean up and restructuring.
3316 2012-04-25 Vincent Celier <celier@adacore.com>
3318 * sem_ch12.adb (Inherit_Context): Compare library units, not
3319 names of units, when checking if a unit is already in the context.
3321 2012-04-25 Thomas Quinot <quinot@adacore.com>
3323 * sem_ch3.adb: Reverse_Storage_Order must be propagated to
3324 untagged derived record types.
3326 2012-04-25 Ed Schonberg <schonberg@adacore.com>
3328 * lib-xref.adb: Adjust position of end label.
3330 2012-04-22 Jan Hubicka <jh@suse.cz>
3332 * gcc-interface/utils.c (gnat_write_global_declarations): Do not mark
3335 2012-04-20 Jan Hubicka <jh@suse.cz>
3337 * gcc-interface/utils.c (gnat_write_global_declarations): Update for new
3338 force_output placement.
3340 2012-04-14 Jan Hubicka <jh@suse.cz>
3342 * gcc-interface/trans.c (finalize_nrv): Update field referenced for new
3343 cgraph/varpool layout.
3345 2012-04-09 Mike Stump <mikestump@comcast.net>
3347 * a-assert.ads: Remove execute permission.
3348 * a-chacon.ads: Likewise.
3349 * a-coteio.ads: Likewise.
3350 * a-envvar.ads: Likewise.
3351 * a-exetim-mingw.ads: Likewise.
3352 * a-fzteio.ads: Likewise.
3353 * a-izteio.ads: Likewise.
3354 * a-lcteio.ads: Likewise.
3355 * a-llctio.ads: Likewise.
3356 * a-scteio.ads: Likewise.
3357 * a-suenco.ads: Likewise.
3358 * a-suenst.ads: Likewise.
3359 * a-suewst.ads: Likewise.
3360 * a-suezst.ads: Likewise.
3361 * a-tirsfi.ads: Likewise.
3362 * a-wichha.ads: Likewise.
3363 * a-zchara.ads: Likewise.
3364 * a-zchhan.ads: Likewise.
3365 * a-zchuni.ads: Likewise.
3366 * a-zrstfi.ads: Likewise.
3367 * aspects.ads: Likewise.
3368 * g-byorma.ads: Likewise.
3369 * g-decstr.ads: Likewise.
3370 * g-encstr.ads: Likewise.
3371 * g-spchge.ads: Likewise.
3372 * g-u3spch.ads: Likewise.
3373 * g-wispch.ads: Likewise.
3374 * g-zspche.ads: Likewise.
3375 * namet-sp.ads: Likewise.
3376 * s-os_lib.ads: Likewise.
3377 * s-regexp.ads: Likewise.
3378 * s-regpat.ads: Likewise.
3379 * s-string.ads: Likewise.
3380 * s-tasloc.ads: Likewise.
3381 * s-utf_32.ads: Likewise.
3382 * sem_aux.ads: Likewise.
3383 * a-assert.adb: Likewise.
3384 * a-chacon.adb: Likewise.
3385 * a-envvar.adb: Likewise.
3386 * a-exetim-mingw.adb: Likewise.
3387 * a-suenco.adb: Likewise.
3388 * a-suenst.adb: Likewise.
3389 * a-suewst.adb: Likewise.
3390 * a-suezst.adb: Likewise.
3391 * a-tirsfi.adb: Likewise.
3392 * a-wichha.adb: Likewise.
3393 * a-zchhan.adb: Likewise.
3394 * a-zchuni.adb: Likewise.
3395 * a-zrstfi.adb: Likewise.
3396 * aspects.adb: Likewise.
3397 * g-byorma.adb: Likewise.
3398 * g-decstr.adb: Likewise.
3399 * g-encstr.adb: Likewise.
3400 * g-spchge.adb: Likewise.
3401 * g-u3spch.adb: Likewise.
3402 * g-wispch.adb: Likewise.
3403 * g-zspche.adb: Likewise.
3404 * namet-sp.adb: Likewise.
3405 * s-except.adb: Likewise.
3406 * s-inmaop-vxworks.adb: Likewise.
3407 * s-os_lib.adb: Likewise.
3408 * s-regexp.adb: Likewise.
3409 * s-regpat.adb: Likewise.
3410 * s-string.adb: Likewise.
3411 * s-tasloc.adb: Likewise.
3412 * s-utf_32.adb: Likewise.
3413 * s-wchcon.adb: Likewise.
3414 * sem_aux.adb: Likewise.
3416 2012-04-02 Robert Dewar <dewar@adacore.com>
3418 * s-atopri.ads: Minor reformatting.
3420 2012-04-02 Thomas Quinot <quinot@adacore.com>
3422 * sem_util.adb: Minor reformatting, minor code cleanup.
3424 2012-04-02 Ed Schonberg <schonberg@adacore.com>
3426 * lib-xref.adb (Generate_Reference): For a reference to an
3427 operator symbol, set the sloc to point to the first character
3428 of the operator name, and not to the initial quaote.
3429 (Output_References): Ditto for the definition of an operator
3432 2012-04-02 Vincent Celier <celier@adacore.com>
3434 * ali.adb (Scan_Ali): Recognize Z lines. Set
3435 Implicit_With_From_Instantiation to True in the With_Record for
3437 * ali.ads (With_Record): New Boolean component
3438 Implicit_With_From_Instantiation, defaulted to False.
3439 * csinfo.adb: Indicate that Implicit_With_From_Instantiation
3441 * lib-writ.adb (Write_ALI): New array Implicit_With.
3442 (Collect_Withs): Set Implicit_With for the unit is it is not Yes.
3443 (Write_With_Lines): Write a Z line instead of a W line if
3444 Implicit_With is Yes for the unit.
3445 * sem_ch12.adb (Inherit_Context): Only add a unit in the context
3446 if it is not there yet.
3447 * sinfo.ads: New flag Implicit_With_From_Instantiation (Flag12)
3450 2012-04-02 Yannick Moy <moy@adacore.com>
3452 * osint.adb, osint.ads (Add_Default_Search_Dirs): Add library
3453 search dirs in file specified with option -gnateO.
3455 2012-04-02 Robert Dewar <dewar@adacore.com>
3457 * sem_ch5.adb, exp_util.adb, sem_util.adb, exp_ch4.adb: Minor
3460 2012-04-02 Olivier Hainque <hainque@adacore.com>
3462 * g-sse.ads: Add x86-solaris and x86_64-darwin to the set of
3463 platforms where the use of this spec is supported. Add current
3464 year to the copyright notice.
3465 * gcc-interfaces/Makefile.in: Add g-sse.o and g-ssvety.o to
3466 EXTRA_GNATRTL_NONTASKING_OBJS on x86 32/64 targets that support
3467 it and where they were missing (x86-solaris, x86-freebsd,
3468 x86_64-freebsd, and x86-darwin).
3470 2012-04-02 Gary Dismukes <dismukes@adacore.com>
3472 * bindgen.adb (Gen_Ada_Init): When compiling for the AAMP small
3473 library, where we no longer suppress the Standard_Library,
3474 generate an empty body rather than the usual generation of
3475 assignments to imported globals, since those aren't present in
3478 2012-04-02 Ed Schonberg <schonberg@adacore.com>
3480 * sinfo.ads: Minor documentation fix.
3482 2012-04-02 Hristian Kirtchev <kirtchev@adacore.com>
3484 * sem_res.adb (Resolve_Conditional_Expression): Add local variables
3485 Else_Typ and Then_Typ. Add missing type conversions to the "then" and
3486 "else" expressions when their respective types are scalar.
3488 2012-04-02 Vincent Pucci <pucci@adacore.com>
3490 * exp_ch9.adb: Reordering of the local subprograms. New Table
3491 for the lock free implementation that maps each protected
3492 subprograms with the protected component it references.
3493 (Allow_Lock_Free_Implementation): New routine. Check if
3494 the protected body enables the lock free implementation.
3495 (Build_Lock_Free_Protected_Subprogram_Body): New routine.
3496 (Build_Lock_Free_Unprotected_Subprogram_Body): New routine.
3497 (Comp_Of): New routine.
3498 * Makefile.rtl: Add s-atopri.o
3499 * debug.adb: New compiler debug flag -gnatd9 for lock free
3501 * rtsfind.ads: RE_Atomic_Compare_Exchange_8,
3502 RE_Atomic_Compare_Exchange_16, RE_Atomic_Compare_Exchange_32,
3503 RE_Atomic_Compare_Exchange_64, RE_Atomic_Load_8,
3504 RE_Atomic_Load_16, RE_Atomic_Load_32, RE_Atomic_Load_64, RE_Uint8,
3505 RE_Uint16, RE_Uint32, RE_Uint64 added.
3506 * s-atropi.ads: New file. Defines atomic primitives used
3507 by the lock free implementation.
3509 2012-04-02 Emmanuel Briot <briot@adacore.com>
3511 * g-expect.adb (Expect_Internal): Fix leak of the input file descriptor.
3513 2012-04-02 Hristian Kirtchev <kirtchev@adacore.com>
3515 * exp_ch4.adb (Expand_N_Quantified_Expression): Reimplemented.
3516 The expansion no longer uses the copy of the original QE created
3518 * sem.adb (Analyze): Add processing for loop parameter specifications.
3519 * sem_ch4.adb (Analyze_Quantified_Expression): Reimplemented. The
3520 routine no longer creates a copy of the original QE. All
3521 constituents of a QE are now preanalyzed and resolved.
3522 * sem_ch5.adb (Analyze_Iteration_Scheme): Remove the guard which
3523 bypasses all processing when the iteration scheme is related to a
3524 QE. Relovate the code which analyzes loop parameter specifications
3525 to a separate routine. (Analyze_Iterator_Specification):
3526 Preanalyze the iterator name. This action was originally
3527 done in Analyze_Iteration_Scheme. Update the check which
3528 detects an iterator specification in the context of a QE.
3529 (Analyze_Loop_Parameter_Specification): New routine. This
3530 procedure allows for a stand-alone analysis of a loop parameter
3531 specification without the need of a parent iteration scheme. Add
3532 code to update the type of the loop variable when the range
3533 generates an itype and the context is a QE.
3534 (Pre_Analyze_Range): Renamed to Preanalyze_Range. Update all references
3536 * sem_ch5.ads: Code reformatting.
3537 (Analyze_Loop_Parameter_Specification): New routine.
3538 * sem_ch6.adb (Fully_Conformant_Expressions): Detect a case
3539 when establishing conformance between two QEs utilizing different
3541 * sem_res.adb (Proper_Current_Scope): New routine.
3542 (Resolve): Do not resolve a QE as there is nothing to be done now.
3543 Ignore any loop scopes generated for QEs when detecting an expression
3544 function as the scopes are cosmetic and do not appear in the tree.
3545 (Resolve_Quantified_Expression): Removed. All resolution of
3546 QE constituents is now performed during analysis. This ensures
3547 that loop variables appearing in array aggregates are properly
3550 2012-04-02 Ed Schonberg <schonberg@adacore.com>
3552 * sem_util.adb (Build_Default_Subtype): If the base type is
3553 private and its full view is available, use the full view in
3554 the subtype declaration.
3556 2012-04-02 Jose Ruiz <ruiz@adacore.com>
3558 * gnat_ugn.texi: Add some minimal documentation about how to
3559 use GNATtest for cross platforms.
3561 2012-04-02 Vincent Celier <celier@adacore.com>
3563 * opt.ads (Object_Path_File_Name): New variable.
3564 * prj-attr.adb: New Compiler attribute Object_Path_Switches.
3565 * prj-nmsc.adb (Process_Compiler): Recognize new attribute
3566 Object_Path_Switches.
3567 * snames.ads-tmpl: New standard name Object_Path_Switches.
3568 * switch-c.adb (Scan_Front_End_Switches): Recognize new switch
3569 -gnateO= and put its value in Opt.Object_Path_File_Name.
3571 2012-04-02 Hristian Kirtchev <kirtchev@adacore.com>
3573 * exp_ch7.adb (Process_Declarations): Detect a case where
3574 a source object was initialized by another source object,
3575 but the expression was rewritten as a class-wide conversion
3576 of Ada.Tags.Displace.
3577 * exp_util.adb (Initialized_By_Ctrl_Function): Removed.
3578 (Is_Controlled_Function_Call): New routine.
3579 (Is_Displacement_Of_Ctrl_Function_Result): Removed.
3580 (Is_Displacement_Of_Object_Or_Function_Result): New routine.
3581 (Is_Source_Object): New routine.
3582 (Requires_Cleanup_Actions): Detect a case where a source object was
3583 initialized by another source object, but the expression was rewritten
3584 as a class-wide conversion of Ada.Tags.Displace.
3585 * exp_util.ads (Is_Displacement_Of_Ctrl_Function_Result): Removed.
3586 (Is_Displacement_Of_Object_Or_Function_Result): New routine.
3588 2012-04-02 Ed Schonberg <schonberg@adacore.com>
3590 * sem_res.adb (Resolve_Call): A call to an expression function
3591 does not freeze if it appears in a different scope from the
3592 expression function itself. Such calls appear in the generated
3593 bodies of other expression functions, or in pre/postconditions
3594 of subsequent subprograms.
3596 2012-04-02 Yannick Moy <moy@adacore.com>
3598 * lib-xref-alfa.adb: Code clean up.
3600 2012-04-02 Ed Schonberg <schonberg@adacore.com>
3602 * sem_ch12.adb (Analyze_Subprogram_Instantiation): Do not suppress
3603 style checks, because the subprogram instance itself may contain
3604 violations of syle rules.
3605 * style.adb (Missing_Overriding): Check for missing overriding
3606 indicator on a subprogram instance.
3608 2012-04-02 Hristian Kirtchev <kirtchev@adacore.com>
3610 * sem_ch6.adb (Last_Implicit_Declaration): New routine.
3611 (Process_PPCs): Insert the body of _postconditions after the
3612 last internally generated declaration. This ensures that actual
3613 subtypes created for formal parameters are visible and properly
3614 frozen as _postconditions may reference them.
3616 2012-04-02 Robert Dewar <dewar@adacore.com>
3618 * einfo.adb (First_Component_Or_Discriminant) Now applies to
3619 all types with discriminants, not just records.
3620 * exp_attr.adb (Expand_N_Attribute): Add Scalar_Values handling
3621 for arrays, scalars and non-variant records.
3622 * sem_attr.adb (Analyze_Attribute): Handle Valid_Scalars
3623 * sem_attr.ads (Valid_Scalars): Update description
3624 * sem_util.ads, sem_util.adb (No_Scalar_Parts): New function.
3626 2012-03-31 Eric Botcazou <ebotcazou@adacore.com>
3629 2012-03-25 Eric Botcazou <ebotcazou@adacore.com>
3631 * gcc-interface/decl.c (SS_MARK_NAME): New define.
3632 (gnat_to_gnu_entity) <E_Function>: Prepend leaf attribute on entities
3633 whose name is SS_MARK_NAME.
3635 2012-03-30 Robert Dewar <dewar@adacore.com>
3637 * exp_ch5.adb, sem_util.adb, exp_ch4.adb: Minor comment updates.
3639 2012-03-30 Yannick Moy <moy@adacore.com>
3641 * lib-xref-alfa.adb (Add_Alfa_File): Treat possibly 2 units at the same
3642 time, putting all scopes in the same Alfa file.
3643 (Add_Alfa_Xrefs): Correct errors in comparison function. Correct value
3645 (Collect_Alfa): Possibly pass 2 units to Add_Alfa_File.
3647 2012-03-30 Hristian Kirtchev <kirtchev@adacore.com>
3649 * exp_util.adb (Is_Secondary_Stack_BIP_Func_Call): Handle a case where
3650 a build-in-place call appears as Prefix'Reference'Reference.
3652 2012-03-30 Yannick Moy <moy@adacore.com>
3654 * lib-xref-alfa.adb: Minor refactoring to remove internal package.
3656 2012-03-30 Hristian Kirtchev <kirtchev@adacore.com>
3658 * sem_ch5.adb (Analyze_Iteration_Scheme): Preanalyze the subtype
3659 definition of a loop when the context is a quantified expression.
3661 2012-03-30 Vincent Celier <celier@adacore.com>
3663 * prj.ads: Minor comment update.
3665 2012-03-30 Yannick Moy <moy@adacore.com>
3667 * lib-xref-alfa.adb, alloc.ads, lib-xref.ads: Minor addition of
3668 comments and refactoring.
3670 2012-03-30 Robert Dewar <dewar@adacore.com>
3672 * lib-xref.adb, lib-xref-alfa.adb: Minor reformatting & code
3675 2012-03-30 Yannick Moy <moy@adacore.com>
3677 * lib-xref-alfa.adb (Generate_Dereference): Use Get_Code_Unit
3678 instead of Get_Source_Unit to get file for reference.
3679 (Traverse_Compilation_Unit): Do not add scopes for generic units.
3680 * lib-xref.adb (Generate_Reference): Use Get_Code_Unit instead
3681 of Get_Source_Unit to get file for reference.
3682 * sem_ch12.adb (Analyze_Package_Instantiation): Enable
3683 instantiation in Alfa mode.
3685 2012-03-30 Hristian Kirtchev <kirtchev@adacore.com>
3687 * exp_ch7.adb (Process_Declarations): Replace
3688 the call to Is_Null_Access_BIP_Func_Call with
3689 Is_Secondary_Stack_BIP_Func_Call. Update the related comment.
3690 * exp_util.adb (Is_Null_Access_BIP_Func_Call): Removed.
3691 (Is_Secondary_Stack_BIP_Func_Call): New routine.
3692 (Requires_Cleanup_Actions): Replace
3693 the call to Is_Null_Access_BIP_Func_Call with
3694 Is_Secondary_Stack_BIP_Func_Call. Update the related comment.
3695 * exp_util.ads (Is_Null_Access_BIP_Func_Call): Removed.
3696 (Is_Secondary_Stack_BIP_Func_Call): New routine.
3698 2012-03-30 Yannick Moy <moy@adacore.com>
3700 * lib-xref-alfa.adb, lib-xref.adb: Code clean ups.
3702 2012-03-30 Gary Dismukes <dismukes@adacore.com>
3704 * exp_ch5.adb (Expand_Iterator_Loop_Over_Array): For the case of a
3705 loop entity which is rewritten as a renaming
3706 of the indexed array, explicitly mark the entity as needing
3707 debug info so that Materialize entity will be set later by
3708 Debug_Renaming_Declaration when the renaming is expanded.
3710 2012-03-30 Robert Dewar <dewar@adacore.com>
3712 * sem_attr.ads: Update comment.
3714 2012-03-30 Vincent Celier <celier@adacore.com>
3716 * prj.ads: New Dependency_Kind: ALI_Closure.
3718 2012-03-30 Thomas Quinot <quinot@adacore.com>
3720 * exp_pakd.adb: Minor reformatting.
3722 2012-03-30 Yannick Moy <moy@adacore.com>
3724 * lib-xref-alfa.adb (Add_Alfa_File): Take into account possible absence
3725 of compilation unit for unit in Sdep_Table.
3727 2012-03-30 Thomas Quinot <quinot@adacore.com>
3729 * freeze.adb (Freeze_Record_Type): For a type with reversed bit
3730 order and reversed storage order, disable front-end relayout.
3732 2012-03-25 Eric Botcazou <ebotcazou@adacore.com>
3734 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Record_Subtype>: Copy
3735 the TYPE_PACKED flag from the base type.
3737 2012-03-25 Eric Botcazou <ebotcazou@adacore.com>
3739 * gcc-interface/decl.c (SS_MARK_NAME): New define.
3740 (gnat_to_gnu_entity) <E_Function>: Prepend leaf attribute on entities
3741 whose name is SS_MARK_NAME.
3743 2012-03-25 Eric Botcazou <ebotcazou@adacore.com>
3745 * gcc-interface/utils.c (add_parallel_type): Take a TYPE instead of a
3746 DECL and adjust. Move around.
3747 (has_parallel_type): New predicate.
3748 (rest_of_record_type_compilation): Return early if the type already
3749 has a parallel type.
3750 * gcc-interface/gigi.h (add_parallel_type): Adjust.
3751 * gcc-interface/decl.c (gnat_to_gnu_entity): Adjust for above changes.
3753 2012-03-25 Eric Botcazou <ebotcazou@adacore.com>
3755 * gcc-interface/utils.c (finish_record_type): Return early for padded
3758 2012-03-20 Arnaud Charlet <charlet@adacore.com>
3760 * hlo.ads, hlo.adb: Removed, no longer used.
3761 * gcc-interface/Make-lang.in: Remove hlo.o. Update dependencies.
3762 * gcc-interface/Makefile.in: Remove EXTRA_LIBGNAT_SRCS (temporarly)
3763 and compute it from EXTRA_LIBGNAT_OBJS.
3764 Clean up comments, reorder LIBGNAT_SRCS and LIBGNAT_OBJS.
3766 2012-03-20 Yannick Moy <moy@adacore.com>
3768 * gnat_rm.texi, sem_attr.ads: Update documentation.
3770 2012-03-19 Yannick Moy <moy@adacore.com>
3772 * sem_ch6.adb: Minor code clean up.
3774 2012-03-19 Vincent Celier <celier@adacore.com>
3776 * make.adb (Scan_Make_Arg): Make sure all significant -m switches
3777 on the command line are counted.
3779 2012-03-19 Robert Dewar <dewar@adacore.com>
3781 * sem_elab.adb (Generate_Elab_Warnings): Fix spec, fix attribute
3784 2012-03-19 Robert Dewar <dewar@adacore.com>
3786 * par-ch4.adb (Check_Bad_Exp): New procedure
3788 2012-03-19 Robert Dewar <dewar@adacore.com>
3790 * exp_attr.adb, sem_attr.adb, sem_attr.ads, snames.ads-tmpl: Add
3791 initial framework for Valid_Scalars attribute.
3793 2012-03-19 Robert Dewar <dewar@adacore.com>
3795 * scng.adb (Scan): Recognize incorrect preprocessor directive
3797 2012-03-19 Robert Dewar <dewar@adacore.com>
3799 * atree.adb (Allocate_Initialize_Node): Use Num_Extension_Nodes
3800 * atree.ads (Num_Extension_Nodes): New variable
3801 * debug.adb: New debug flag -gnatd.N
3802 * gnat1drv.adb (Adjust_Global_Switches): Adjust
3803 Num_Extension_Nodes if -gnatd.N set
3805 2012-03-19 Eric Botcazou <ebotcazou@adacore.com>
3807 * einfo.ads: Minor update to First_Rep_Item and Has_Gigi_Rep_Item
3810 2012-03-19 Robert Dewar <dewar@adacore.com>
3812 * opt.ads: Remove HLO_Active flag.
3813 * sem.adb: Remove call of high level optimizer.
3814 * sem.ads (New_Nodes_OK): Removed.
3815 * sem_ch10.adb: Remove references to New_Nodes_OK.
3816 * switch-c.adb: Remove handling of -gnatH switch.
3818 2012-03-19 Yannick Moy <moy@adacore.com>
3820 * sem_ch6.adb (Check_Subprogram_Contract): Do not emit warnings
3821 on trivially True or False postconditions and Ensures components
3824 2012-03-19 Robert Dewar <dewar@adacore.com>
3826 * gnat_ugn.texi: Fix index entry for -gnatei (now we have
3829 2012-03-19 Hristian Kirtchev <kirtchev@adacore.com>
3831 * sem_ch3.adb (Get_Discriminant_Value): Instead of looking
3832 at the immediate correcponsing discriminant, traverse a
3833 potential chain of discriminants produced by type derivations.
3834 (Root_Corresponding_Discriminant): Traverse a chain of inherited
3835 discriminants and return the topmost discriminant.
3837 2012-03-19 Bob Duff <duff@adacore.com>
3839 * debug.adb: Minor comment change.
3840 * gnat_ugn.texi: Update documentation for elaboration regarding
3843 2012-03-19 Gary Dismukes <dismukes@adacore.com>
3845 * exp_ch3.adb (Expand_N_Object_Declaration): In
3846 the case of an object of a class-wide interface type, where the
3847 declaration is rewritten as a renaming, call Set_Debug_Info_Needed
3848 on the renaming entity so that Materialize_Entity will be
3849 set. Also, change existing call (for other than interface cases)
3850 to call Set_Debug_Info_Needed rather than Set_Needs_Debug_Info
3851 (as specified for that flag).
3853 2012-03-19 Hristian Kirtchev <kirtchev@adacore.com>
3855 * sem_ch4.adb (Analyze_Allocator): Detect an allocator generated
3856 by the build-in-place machinery where the designated type is
3857 indefinite, but the underlying type is not. Do not emit errors
3858 related to missing initialization in this case.
3860 2012-03-19 Robert Dewar <dewar@adacore.com>
3862 * gnat_ugn.texi: Add documentation for -gnateinnn switch.
3863 * sem_elab.adb, put_alfa.adb, lib-xref-alfa.adb: Minor reformatting.
3864 * sem_prag.adb: Minor comment update.
3866 2012-03-15 Robert Dewar <dewar@adacore.com>
3868 * errout.ads: Add entry for translating -gnateinn to
3869 /MAX_INSTANTIATIONS for VMS.
3870 * hostparm.ads (Max_Instantiations): Moved to Opt.
3871 * opt.ads (Maximum_Instantiations): Moved from Hostparm, and renamed.
3872 * sem_ch12.adb (Maximum_Instantiations): New name of
3873 Max_Instantiations (Analyze_Package_Instantiation): Change error
3874 msg for too many instantiations (mention -gnateinn switch).
3875 * switch-c.adb (Scan_Front_End_Switches): Implement -gnateinn switch.
3876 * switch.ads: Minor comment update.
3877 * usage.adb (Usage): Output line for -maxeinn switch.
3878 * vms_data.ads: Add entry for MAX_INSTANTIATIONS (-gnateinn).
3880 2012-03-15 Yannick Moy <moy@adacore.com>
3882 * alfa.ads Update the decription of ALI sections.
3883 (Alfa_File_Record): Add a component Unit_File_Name to store the
3884 unit file name for subunits.
3885 * get_alfa.adb, put_alfa.adb Adapt to the possible presence of
3887 * lib-xref-alfa.adb (Add_Alfa_File): For subunits, retrieve the
3888 file name of the unit.
3890 2012-03-15 Yannick Moy <moy@adacore.com>
3892 * sem_ch6.adb (Check_Subprogram_Contract): Do
3893 not issue warning on missing 'Result in postcondition if all
3894 postconditions and contract-cases already get a warning for only
3895 referring to pre-state.
3897 2012-03-15 Bob Duff <duff@adacore.com>
3899 * debug.adb: Add new debug switch -gnatd.U, which disables the
3900 support added below, in case someone trips over a cycle, and needs
3902 * sem_attr.adb (Analyze_Access_Attribute):
3903 Treat Subp'Access as a call for elaboration purposes.
3904 * sem_elab.ads, sem_elab.adb (Check_Elab_Call): Add support
3907 2012-03-15 Vincent Pucci <pucci@adacore.com>
3909 * sem.ads, sem.adb (Preanalyze): New routine.
3910 * sem_ch4.adb (Analyze_Quantified_Expression): Call to the
3911 Preanalyze routine in Sem added. Renaming of Needs_Expansion
3912 into Need_Preanalysis.
3913 * sem_ch6.adb (Preanalyze): Removed.
3915 2012-03-15 Robert Dewar <dewar@adacore.com>
3917 * sem_ch4.adb (Analyze_Quantified_Expression): Add comment.
3918 * sem_prag.adb: Minor comment additions.
3919 * sem_attr.adb (Check_First_Last_Valid): Make sure prefix type
3922 2012-03-15 Vincent Pucci <pucci@adacore.com>
3924 * sem_ch4.adb (Analyze_Quantified_Expression):
3925 Preanalyze the condition when the quantified expression will be
3928 2012-03-15 Yannick Moy <moy@adacore.com>
3930 * sem_prag.adb, sem_util.adb, sem_util.ads, sem_attr.adb, sem_ch6.adb,
3931 sem_warn.adb: Minor refactoring, renaming Case_Pragma in CTC_Pragma,
3932 to refer to both Test_Case pragma and Contract_Case pragma (same
3933 acronym as in Spec_CTC_List).
3935 2012-03-15 Robert Dewar <dewar@adacore.com>
3937 * sem_prag.adb, sem_prag.ads, sem_util.ads, sem_attr.adb, sem_ch6.adb,
3938 sem_warn.adb: Minor reformatting.
3940 2012-03-15 Hristian Kirtchev <kirtchev@adacore.com>
3942 * exp_util.adb (Initialized_By_Ctrl_Function): Do not loop over
3943 selector names as the function call always appears at the top selected
3946 2012-03-15 Ed Schonberg <schonberg@adacore.com>
3948 * sem_ch12.adb (Validate_Access_Subprogram_Instance): keep
3949 Mode_Conformance check for older versions of the language.
3951 2012-03-15 Yannick Moy <moy@adacore.com>
3953 * gnat_ugn.texi Document the extension of option -gnatw.t.
3954 * sem_ch3.adb (Analyze_Declaration): Check for suspicious
3955 contracts only after contract cases have been semantically
3957 * sem_ch6.adb (Check_Subprogram_Contract): Consider also Ensures
3958 components of contract cases for detecting suspicious contracts.
3960 2012-03-15 Yannick Moy <moy@adacore.com>
3962 * aspects.adb, aspects.ads (Aspect_Id): New GNAT aspect
3963 Aspect_Contract_Case.
3964 * gnat_rm.texi Document the new pragma/aspect
3965 Contract_Case. Correct the documentation of the existing
3966 pragma/aspect Test_Case with the new semantics.
3967 * sem_attr.adb (Analyze_Attribute): Allow use of 'Result in the
3968 Ensures component of a Contract_Case pragma.
3969 * sem_ch13.adb (Analyze_Aspect_Specifications): Check new aspect
3970 and translate it into a pragma.
3971 (Check_Aspect_At_Freeze_Point): Take into account the new aspect.
3972 * sem_ch3.adb, sinfo.adb, sinfo.ads Renaming of TC (for test case)
3973 into CTC (for contract and test case).
3974 * sem_ch6.adb (Process_PPCs): Generate Check pragmas from
3975 Contract_Case pragmas, similarly to what is done already for
3977 * sem_prag.adb, sem_prag.ads (Check_Contract_Or_Test_Case):
3978 Renaming of Check_Test_Case.
3979 (Analyze_Pragma, Sig_Flags): Take into account the new pragma.
3980 * sem_util.adb, sem_util.ads Renaming to take into account the
3981 new pragma, so that functions which applied only to Test_Case
3982 now apply to both Test_Case and Contract_Case.
3983 * par-prag.adb, sem_warn.adb, snames.ads-tmpl Take into account
3986 2012-03-15 Robert Dewar <dewar@adacore.com>
3988 * sem_ch6.ads: Minor comment updates.
3989 * sem_ch12.adb: Minor comment clarification.
3991 2012-03-15 Robert Dewar <dewar@adacore.com>
3993 * sem_ch5.adb: Minor reformatting.
3995 2012-03-15 Ed Schonberg <schonberg@adacore.com>
3997 * exp_ch3.adb (Expand_N_Object_Declaration): When rewriting the
3998 declaration of a class-wide object, retain the Ekind to prevent
3999 subsequent misuse of constants.
4001 2012-03-15 Yannick Moy <moy@adacore.com>
4003 * gnat_rm.texi, gnat_ugn.texi: Minor correction of invariant
4006 2012-03-15 Hristian Kirtchev <kirtchev@adacore.com>
4008 * exp_util.adb (Initialized_By_Ctrl_Function): Add code to
4009 process the case when a function call appears in object.operation
4012 2012-03-15 Ed Schonberg <schonberg@adacore.com>
4014 * sem_ch6.ads, sem_ch6.adb (Check_Subtype_Conformant): add
4015 Get_Inst formal, so that conformance within an instantiation
4016 follows renamings of formals. This is similar to what is already
4017 done in Check_Mode_conformant.
4018 * sem_ch12.adb (Vailidate_Access_Subprogram_Instance): check that
4019 formal and actual are subtype conformant. Previously only mode
4020 conformance was required.
4022 2012-03-15 Robert Dewar <dewar@adacore.com>
4024 * par-ch6.adb, einfo.ads, sem_eval.adb, sem_eval.ads,
4025 sem_case.adb: Minor reformatting.
4027 2012-03-15 Robert Dewar <dewar@adacore.com>
4029 * exp_attr.adb (Expand_N_Attribute_Reference): Add handling
4030 of First_Valid/Last_Valid.
4031 * sem_attr.adb (Check_First_Last_Valid): New procedure
4032 (Analyze_Attribute): Add handling of First_Valid and Last_Valid
4033 (Eval_Attribute): ditto.
4034 * snames.ads-tmpl: Add entries for First_Valid and Last_Valid.
4036 2012-03-15 Ed Schonberg <schonberg@adacore.com>
4038 * exp_ch5.adb (Expand_Predicated_Loop): Suppress warnings on
4039 loop variable, for the unusual case where the range has a single
4040 element and the loop variable has no visible assignment to it.
4042 2012-03-15 Vincent Pucci <pucci@adacore.com>
4044 * exp_ch4.adb (Expand_N_Quantified_Expression): Expand the
4045 original quantified expression node.
4046 * sem_ch4.adb (Analyze_Quantified_Expression): Properly analyze
4047 the quantified expression and preserve the original non-analyzed
4048 quantified expression when an expansion is needed.
4049 * sem_ch5.adb (Analyze_Iteration_Scheme): Special treatment
4050 for quantified expressions.
4051 (Analyze_Iterator_Specification): Special treatment for quantified
4054 2012-03-15 Ed Falis <falis@adacore.com>
4056 * s-vxwork-ppc.ads: Update FP_CONTEXT so name of former pad
4057 field matches VxWorks headers.
4059 2012-03-14 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
4061 * gcc-interface/Makefile.in (mips-sgi-irix6*): Remove.
4063 * a-intnam-irix.ads, mlib-tgt-specific-irix.adb,
4064 s-intman-irix.adb, s-mastop-irix.adb, s-osinte-irix.adb,
4065 s-osinte-irix.ads, s-proinf-irix-athread.adb,
4066 s-proinf-irix-athread.ads, s-taprop-irix.adb, s-tasinf-irix.ads,
4067 system-irix-n32.ads, system-irix-n64.ads, system-irix-o32.ads:
4070 * adaint.c [__mips && __sgi]: Remove.
4071 (__gnat_number_of_cpus) [__mips && __sgi]: Remove.
4072 [IS_CROSS && !(__mips && __sgi)]: Remove.
4073 * adaint.h [sgi && _LFAPI]: Remove.
4074 * cstreams.c (__gnat_full_name) [sgi]: Remove.
4075 * env.c (__gnat_unsetenv) [__mips && __sgi]: Remove.
4076 (__gnat_clearenv) [__mips && __sgi]: Remove.
4077 * errno.c (_SGI_MP_SOURCE): Remove.
4078 * gsocket.h [sgi]: Remove.
4079 * init.c: Remove IRIX reference.
4081 * link.c [sgi]: Remove.
4082 * s-oscons-tmplt.c [__mips && __sgi] (IOV_MAX): Don't define.
4083 (main) [__mips && __sgi] (MAX_tv_sec): Don't define.
4084 (CLOCK_SGI_FAST, CLOCK_SGI_CYCLE): Remove.
4085 * sysdep.c [sgi]: Remove.
4086 (getc_immediate_common) [sgi]: Remove.
4087 (__gnat_localtime_tzoff) [sgi]: Remove.
4088 * terminals.c [__mips && __sgi] (IRIX): Don't define.
4089 [IRIX] (USE_GETPTY): Don't define.
4090 (allocate_pty_desc) [USE_GETPTY]: Remove.
4092 * g-traceb.ads: Remove IRIX reference.
4093 * g-trasym.ads: Likewise.
4094 * memtrack.adb: Likewise.
4095 * s-interr-sigaction.adb: Likewise.
4097 * gnat_rm.texi (Implementation Advice): Remove SGI info.
4098 (Implementation Defined Characteristics): Likewise.
4099 * gnat_ugn.texi (Summary of Run-Time Configurations, mips-irix):
4101 (Irix-Specific Considerations): Remove.
4103 2012-03-13 Tristan Gingold <gingold@adacore.com>
4105 * gcc-interface/gigi.h (flag_vms_malloc64): Refine condition.
4107 2012-03-13 Tristan Gingold <gingold@adacore.com>
4109 * sysdep.c: Adjust condition after removal of __osf__.
4111 2012-03-12 Eric Botcazou <ebotcazou@adacore.com>
4113 * gcc-interface/gigi.h (shift_unc_components_for_thin_pointers): Kill.
4114 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Array_Type>: Remove call
4116 * gcc-interface/trans.c (Attribute_to_gnu) <Attr_Pool_Address>: Adjust
4117 handling of thin pointers.
4118 <Attr_Descriptor_Size>: Likewise.
4119 (gnat_to_gnu) <N_Free_Statement>: Likewise.
4120 * gcc-interface/utils.c (shift_unc_components_for_thin_pointers): Kill.
4121 (convert_to_fat_pointer): Adjust handling of thin pointers.
4122 (convert) <POINTER_TYPE>: Likewise.
4123 * gcc-interface/utils2.c (build_unary_op) <INDIRECT_REF>: Likewise.
4125 2012-03-12 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
4127 * gcc-interface/Makefile.in (alpha*-dec-osf*): Remove.
4128 * a-intnam-tru64.ads, mlib-tgt-specific-tru64.adb,
4129 s-mastop-tru64.adb, s-osinte-tru64.adb, s-osinte-tru64.ads,
4130 s-taprop-tru64.adb, s-tasinf-tru64.ads, s-taspri-tru64.ads,
4131 system-tru64.ads: Remove.
4133 * adaint.c (__gnat_number_of_cpus) [__alpha__ && __osf__]:
4135 [IS_CROSS] [!(__alpha__ && __osf__)]: Remove.
4136 * env.c [__alpha__ && __osf__]: Remove.
4137 * gsocket.h (_OSF_SOURCE): Remove.
4138 (HAVE_THREAD_SAFE_GETxxxBYyyy) [__osf__]: Remove.
4139 * init.c [__alpha__ && __osf__]: Remove.
4140 * link.c [__osf__]: Remove.
4141 * s-oscons-tmplt.c [__alpha__ && __osf__]: Remove.
4142 [__osf__ && !_SS_MAXSIZE]: Remove.
4143 * sysdep.c [__osf__]: Remove.
4144 * terminals.c [__alpha__ && __osf__]: Remove.
4147 * g-traceb.ads: Remove Tru64 reference.
4148 * g-trasym.ads: Likewise.
4149 * gnat_ugn.texi (Linking a Mixed C++ & Ada Program): Likewise.
4150 (Summary of Run-Time Configurations): Likewise.
4151 * memtrack.adb: Likewise.
4153 2012-03-12 Tristan Gingold <gingold@adacore.com>
4155 * gcc-interface/decl.c (gnat_to_gnu_param): Use flag_vms_malloc64
4156 instead of TARGET_MALLOC64.
4157 * gcc-interface/gigi.h (flag_vms_malloc64): Define instead
4160 2012-03-09 Robert Dewar <dewar@adacore.com>
4162 * a-direct.adb, comperr.adb, freeze.adb: Minor reformatting.
4164 2012-03-09 Arnaud Charlet <charlet@adacore.com>
4166 * s-taskin.adb (Initialize_ATCB): Set Task_Image_Len to
4167 0 so that we never access this field uninitialized (e.g. in
4168 Task_Primitives.Operations.Enter_Task for the environment task).
4170 2012-03-09 Vincent Pucci <pucci@adacore.com>
4172 * exp_ch5.adb (Expand_Iterator_Loop):
4173 Call to Expand_Iterator_Loop_Over_Array added.
4174 (Expand_Iterator_Loop_Over_Array): New routine. Expansion of
4175 "of" iterator loop over arrays. Multidimensional array case added.
4177 2012-03-09 Eric Botcazou <ebotcazou@adacore.com>
4179 * uintp.ads: Fix minor pasto in comment.
4181 2012-03-09 Vasiliy Fofanov <fofanov@adacore.com>
4183 * a-direct.adb: Do not strip the trailing directory separator
4184 from path, as this is already done inside Normalize_Pathname;
4185 doing it again produces the wrong result on Windows for the
4186 drive's root dir (i.e. "X:\" becomes "X:").
4188 2012-03-09 Thomas Quinot <quinot@adacore.com>
4190 * exp_attr.adb, freeze.adb, sem_attr.adb, aspects.adb, aspects.ads,
4191 sem_ch13.adb, snames.ads-tmpl (Exp_Attr.Expand_N_Attribute_Reference):
4192 Add Attribute_Scalar_Storage_Order.
4193 (Sem_Attr.Analyze_Attribute, Eval_Attribute): Ditto.
4194 (Aspects): Add Aspect_Scalar_Storage_Order (Snames): Add
4195 Name_Scalar_Storage_Order and Attribute_Scalar_Storage_Order.
4196 (Sem_Ch13.Analyze_Attribute_Definition_Clause): Add processing
4197 for Scalar_Storage_Order.
4198 (Freeze): If Scalar_Storage_Order is specified, check that it
4199 is compatible with Bit_Order.
4201 2012-03-09 Robert Dewar <dewar@adacore.com>
4203 * s-osinte-linux.ads, sem_util.adb, s-taprop-linux.adb, exp_ch4.adb,
4204 a-strsup.ads, sem_ch6.adb, a-stwisu.ads, exp_ch3.adb,
4205 a-stzsup.ads: Minor reformatting.
4207 2012-03-09 Thomas Quinot <quinot@adacore.com>
4209 * s-ransee-vms.adb: Minor reformatting.
4211 2012-03-09 Arnaud Charlet <charlet@adacore.com>
4213 * comperr.adb (Delete_SCIL_Files): Fix handling of
4214 N_Package_Renaming_Declaration and N_Generic_Package_Declaration.
4216 2012-03-09 Javier Miranda <miranda@adacore.com>
4218 * sem_ch6.adb (Check_Body_To_Inline): In AAMP and VM targets
4219 use frontend inlining at all optimization levels.
4220 * sem_util.adb (Must_Inline): In AAMP and VM targets, given that
4221 there is no inlining support in the backend, use also frontend
4222 inlining when compiling with optimizations enabled.
4223 * exp_ch6.adb (Expand_Call): Minor code reorganization.
4225 2012-03-09 Eric Botcazou <ebotcazou@adacore.com>
4227 * gcc-interface/ada-tree.h (TYPE_VAX_FLOATING_POINT_P): Move around.
4228 (TYPE_UNCONSTRAINED_ARRAY): Adjust comment.
4229 * gcc-interface/trans.c (Attribute_to_gnu) <Attr_Pool_Address>: Tidy
4230 up. Add comment and use canonical predicate for thin pointers.
4231 (gnat_to_gnu) <N_Free_Statement>: Tidy up and reorder. Add comment
4232 and use canonical predicate for thin pointers.
4233 * gcc-interface/utils.c (convert_to_fat_pointer): Remove superfluous
4234 'else' and use standard name.
4235 (convert_to_thin_pointer): Delete.
4236 (convert) <POINTER_TYPE>: Do the difference in sizetype directly and
4237 change obsolete idioms. Do not call above function.
4238 (unchecked_convert): Fix formatting.
4239 * gcc-interface/utils2.c (build_unary_op) <INDIRECT_REF>: In the thin
4240 pointer case, use byte_position to get the field position.
4242 2012-03-07 Eric Botcazou <ebotcazou@adacore.com>
4244 * gcc-interface/decl.c (gnat_to_gnu_entity): Do not set flags on the
4245 DECL node built for a type which has a non-trivial equivalent type.
4247 2012-03-07 Eric Botcazou <ebotcazou@adacore.com>
4249 * gcc-interface/gigi.h (rest_of_type_decl_compilation): Delete.
4250 * gcc-interface/decl.c (defer_finalize_level): Likewise.
4251 (defer_finalize_list): Likewise.
4252 (gnat_to_gnu_entity): Delete references to above variables and do not
4253 call rest_of_type_decl_compilation.
4254 (rest_of_type_decl_compilation): Delete.
4255 (rest_of_type_decl_compilation_no_defer): Likewise.
4256 * gcc-interface/utils.c (rest_of_record_type_compilation): Do not call
4257 rest_of_type_decl_compilation.
4258 (create_type_decl): Likewise.
4259 (update_pointer_to): Likewise.
4261 2012-03-07 Eric Botcazou <ebotcazou@adacore.com>
4263 * gcc-interface/trans.c (Identifier_to_gnu): Don't unshare initializer.
4264 (add_decl_expr): Mark external DECLs as used.
4265 * gcc-interface/utils.c (convert) <CONSTRUCTOR>: Copy the vector.
4267 2012-03-07 Tristan Gingold <gingold@adacore.com>
4269 * s-ransee-vms.adb: New file.
4270 * gcc-interface/Makefile.in: Use s-ransee-vms.adb on VMS.
4271 * gcc-interface/Make-lang.in: Update dependencies.
4273 2012-03-07 Bob Duff <duff@adacore.com>
4275 * rtsfind.ads: Add support for finding Super_String types.
4276 * sem_util.ads, sem_util.adb (Is_Bounded_String): New function
4277 to determine whether a given type is a bounded string type.
4278 (Is_Fully_Initialized_Type): Return True for bounded
4279 string types, to suppress bogus warnings.
4280 * exp_ch4.adb (Expand_Composite_Equality): Special case for bounded
4281 strings: equality composes. This allows us to remove default values in
4283 * a-strsup.ads, a-stwisu.ads, a-stzsup.ads: Update comments.
4284 * exp_ch3.adb (Expand_Freeze_Record_Type): Comment.
4286 2012-03-07 Robert Dewar <dewar@adacore.com>
4288 * sem_util.adb, exp_ch4.adb, exp_ch6.adb, sem_ch6.adb: Minor
4291 2012-03-07 Sergey Rybin <rybin@adacore.com frybin>
4293 * gnat_ugn.texi: gnatpp: fix paragraph about sources with
4294 preprocessor directives.
4296 2012-03-07 Arnaud Charlet <charlet@adacore.com>
4298 * s-osinte-linux.ads, s-taprop-linux.adb (prctl): New function.
4299 (Enter_Task): Call prctl when relevant.
4301 2012-03-07 Tristan Gingold <gingold@adacore.com>
4303 * s-osinte-vms.ads: pthread_mutex_setname_np: new function.
4305 2012-03-07 Ed Schonberg <schonberg@adacore.com>
4307 * sem_ch6.adb (Process_Formals): a generic subprogram with
4308 a formal incomplete type does not require a freeze node.
4310 2012-03-07 Bob Duff <duff@adacore.com>
4312 * sem_util.ads: Minor reformatting.
4314 2012-03-07 Geert Bosch <bosch@adacore.com>
4316 * targparm.ads: New target parameter Atomic_Sync_Default,
4318 * targparm.adb (Get_Target_Parameters): Add processing for
4319 Atomic_Sync_Default.
4320 * gnat1drv.adb (Adjust_Global_Switches): Adjust Supress_Options
4323 2012-03-07 Javier Miranda <miranda@adacore.com>
4325 * sem_ch3.adb (Analyze_Object_Declaration): If the object
4326 declaration has an init expression then stop the analysis of the
4327 object declaration if the expression which initializes the object
4328 is a call to an inlined function which returns an unconstrained
4329 and has been expanded into a procedure call.
4330 * sem_ch5.adb (Has_Call_Using_Secondary_Stack): Add missing
4331 support to handle selected components.
4332 * sem_ch6.ads (Cannot_Inline): Adding parameter Is_Serious plus
4334 * sem_ch6.adb (Check_And_Build_Body_To_Inline): New
4335 subprogram which implements the checks required by the
4336 new rules for frontend inlining and builds the body to inline.
4337 (Analyze_Subprogram_Body_Helper): Move code that
4338 checks inlining of subprogram that has nested subprogram
4339 to Check_And_Build_Body_To_Inline. Replace call to
4340 Build_Body_To_Inline by call to the new subprogram
4341 Check_And_Build_Body_To_Inline.
4342 (Cannot_Inline): New implementation.
4343 * sem_ch12.adb (Analyze_Package_Instantiation.Must_Inline_Subp):
4345 * sem_util.ad[sb] (Must_Inline): New subprogram.
4346 (Returns_Unconstrained_Type): New subprogram.
4347 * sem_res.adb (Resolve_Call): Do not create a transient scope
4349 * inline.ads (Analyzing_Inlined_Bodies): Remove unreferenced variable.
4350 * inline.adb (Analyze_Inlined_Bodies, Initialize): Remove setting
4351 to false the variable Analyzing_Inlined_Bodies. Fix comments.
4352 * exp_ch4.adb (Expand_N_Allocator): Fix handling of finalization master.
4353 * exp_ch6.ads (List_Inlining_Info): New subprogram.
4354 * exp_ch6.adb (Expand_Call.Do_Inline): New subprogram.
4355 (Expand_Call.Do_Inline_Always): New subprogram.
4356 (In_Unfrozen_Instance): Move the declaration of this subprogram.
4357 (Expand_Inlined_Call.Reset_Dispatching_Calls): New subprogram.
4358 (Expand_Inlined_Call): Adding new support for inlining functions
4359 that return unconstrained types.
4360 (List_Inlining_Info): New subprogram.
4361 * debug.adb Document flags -gnatd.j and -gnatd.k
4362 * gnat1drv.adb Add call to generate the new listing of inlined
4363 calls and calls passed to the backend.
4365 2012-03-07 Robert Dewar <dewar@adacore.com>
4367 * sem_ch5.adb, s-vaflop.adb, s-taprop-vms.adb, exp_ch6.adb,
4368 s-gearop.adb, sem_ch6.adb, g-trasym.adb: Minor reformatting.
4370 2012-03-07 Javier Miranda <miranda@adacore.com>
4372 * a-ngrear.ads: Add documentation.
4374 2012-03-07 Tristan Gingold <gingold@adacore.com>
4376 * s-taprop-vms.adb (Create_Task): set thread name.
4377 * s-osinte-vms.ads (pthread_attr_setname_np): Declare.
4379 2012-03-07 Arnaud Charlet <charlet@adacore.com>
4381 * g-trasym.adb: Minor reformatting.
4383 2012-03-07 Robert Dewar <dewar@adacore.com>
4385 * a-ngrear.ads: Minor addition of ??? comment.
4387 2012-03-07 Gary Dismukes <dismukes@adacore.com>
4389 * exp_ch4.adb (Apply_Accessibility_Check): Call
4390 Remove_Side_Effects in the build-in-place case, to ensure that
4391 we capture the call and don't end up with two calls.
4393 2012-03-07 Javier Miranda <miranda@adacore.com>
4395 * exp_ch6.adb (Expand_Inlined_Call): Skip inlining of functions
4396 that return unconstrained types using an extended return statement
4397 since the support for inlining these functions has not been yet
4398 added to the frontend.
4399 * s-vaflop.adb, s-vaflop-vms-alpha.adb: Code reorganization.
4400 * a-ngrear.ads: Replace all the Inline_Always pragmas by pragma
4402 * a-ngrear.adb (Eigenvalues, Transpose): Restructured to use
4403 extended return statement.
4404 * a-strsup.adb, a-stzsup.adb, a-stwisu.adb (Concat, Super_Slice,
4405 Super_To_String): Restructured to use extended return statement.
4406 * a-chahan.adb (To_Basic, To_Lower, To_Upper): Restructured to
4407 use extended return statement.
4408 * s-gearop.adb (Diagonal, Matrix_Elementwise_Operation,
4409 Vector_Elementwise_Operation, Matrix_Elementwise_Operation,
4410 Matrix_Matrix_Scalar_Elementwise_Operation,
4411 Vector_Vector_Elementwise_Operation,
4412 Vector_Vector_Scalar_Elementwise_Operation,
4413 Matrix_Scalar_Elementwise_Operation,
4414 Vector_Scalar_Elementwise_Operation,
4415 Scalar_Matrix_Elementwise_Operation,
4416 Scalar_Vector_Elementwise_Operation, Matrix_Matrix_Product,
4417 Matrix_Vector_Product, Outer_Product, Unit_Matrix, Unit_Vector,
4418 Vector_Matrix_Product): Restructured to use extended return
4421 2012-03-07 Vincent Pucci <pucci@adacore.com>
4423 * sem_ch5.adb (One_Bound): Minor reformatting.
4425 2012-03-07 Tristan Gingold <gingold@adacore.com>
4427 * s-osinte-vms-ia64.adb, s-osinte-vms-ia64.ads, s-osinte-vms.adb,
4428 s-osinte-vms.ads, gcc-interface/Makefile.in: Merge s-osinte-vms and
4431 2012-03-07 Ed Schonberg <schonberg@adacore.com>
4433 * checks.adb (Apply_Predicate_Check): Do not generate a predicate
4434 check is the context is an internally generated type-specific
4436 * sem_ch6.adb (Process_PPCs); the formals of internally generated
4437 type-specific functions do not get assertion checks.
4439 2012-03-07 Yannick Moy <moy@adacore.com>
4441 * gnat_rm.texi: Minor renaming of title.
4442 * gnat_ugn.texi: Minor correction.
4444 2012-03-07 Vincent Pucci <pucci@adacore.com>
4446 * exp_ch4.adb (Expand_N_Quantified_Expression): Minor
4448 * sem_ch4.adb (Analyze_Quantified_Expression): Creation and
4449 analysis of the iteration scheme added in all cases.
4450 * sem_ch5.adb (Analyze_Iteration_Scheme): Minor reformating.
4451 (Analyze_Iterator_Specification): Minor reformating.
4452 * sem_res.adb (Resolve_Quantified_Expression): Resolution of
4453 the condition added in all cases.
4455 2012-03-07 Thomas Quinot <quinot@adacore.com>
4457 * einfo.adb, einfo.ads: Add flag Reverse_Storage_Order.
4459 2012-03-07 Yannick Moy <moy@adacore.com>
4461 * gnat_rm.texi, gnat_ugn.texi: Rewording of GNAT UG and GNAT RM to
4462 account for Ada 2012 assertions, and their pragma counterparts in GNAT.
4464 2012-03-07 Thomas Quinot <quinot@adacore.com>
4466 * exp_attr.adb, sem_attr.adb: Minor reformatting.
4468 2012-03-07 Bob Duff <duff@adacore.com>
4470 * hostparm.ads (Max_Instantiations): Increase parameter.
4472 2012-03-07 Bob Duff <duff@adacore.com>
4474 * par-prag.adb: Minor code rearrangement.
4476 2012-03-07 Bob Duff <duff@adacore.com>
4478 * a-strsup.ads, a-stwisu.ads, a-stzsup.ads (Super_String):
4479 Remove default initial value for Data. It is no longer needed
4480 because "=" now composes properly for untagged records. This
4481 default has caused efficiency problems.
4483 2012-03-07 Ed Schonberg <schonberg@adacore.com>
4485 * sem_res.adb (Resolve_Actuals): If the actual is a selected
4486 component of an anonymous access type, whose prefix is a variable,
4487 treat the variable as if it may be modified by the call, to
4488 suppress spurious warnings that a variable might be declared as
4491 2012-03-07 Thomas Quinot <quinot@adacore.com>
4493 * einfo.adb, einfo.ads: Remove unused entity flags.
4495 2012-03-07 Eric Botcazou <ebotcazou@adacore.com>
4497 * gnat_ugn.texi (Inline Assembler): Fix swapping of Input and
4498 Output operands throughout.
4500 2012-03-07 Hristian Kirtchev <kirtchev@adacore.com>
4502 * sem_ch12.adb (Earlier): When two nodes come from the same
4503 generic instantiation, compare their locations. Otherwise always
4504 use the top level locations of the nodes.
4506 2012-03-07 Thomas Quinot <quinot@adacore.com>
4508 * einfo.ads, sem_prag.adb: Minor reformatting.
4510 2012-03-05 Jason Merrill <jason@redhat.com>
4512 * gcc-interface/Make-lang.in (doc/gnat_ugn.texi): Build xgnatugn
4515 2012-03-04 Eric Botcazou <ebotcazou@adacore.com>
4517 * gnatvsn.ads (Library_Version): Bump to 4.8.
4519 2012-03-03 H.J. Lu <hongjiu.lu@intel.com>
4521 * init.c (__gnat_adjust_context_for_raise): Also check
4522 "orq $0x0,(%esp)" for x32.
4524 * link.c (__gnat_default_libgcc_subdir): Set to libx32 for x32.
4526 * gcc-interface/Makefile.in (arch): Set to x32 if MULTISUBDIR
4527 is /x32 and add support for x32.
4529 2012-02-29 Eric Botcazou <ebotcazou@adacore.com>
4531 * gcc-interface/decl.c (components_to_record): Add ARTIFICIAL parameter
4532 and set TYPE_ARTIFICIAL according to it. Adjust recursive call.
4533 (gnat_to_gnu_entity) <E_Record_Type>: Adjust call to above function.
4534 * gcc-interface/utils.c (rest_of_record_type_compilation): Do not
4535 invoke rest_of_type_decl_compilation on the parallel type, if any.
4537 2012-02-29 Eric Botcazou <ebotcazou@adacore.com>
4539 * gcc-interface/utils.c (gnat_write_global_declarations): Make sure the
4540 dummy global built for global types is preserved.
4542 2012-02-27 Tristan Gingold <gingold@adacore.com>
4544 * gcc-interface/decl.c (gnat_to_gnu_entity) [E_String_Type,
4545 E_Array_Type]: Reuse dummy fat type for gnu_ptr_template and
4548 2012-02-27 Eric Botcazou <ebotcazou@adacore.com>
4550 * gcc-interface/ada-tree.h (TYPE_PACKED_ARRAY_TYPE_P): Add checking.
4551 (TYPE_BY_REFERENCE_P): New flag.
4552 (TYPE_IS_BY_REFERENCE_P): New macro.
4553 (TYPE_DUMMY_P): Add checking and remove VOID_TYPE.
4554 (TYPE_IS_DUMMY_P): Adjust for above change.
4555 * gcc-interface/decl.c (gnat_to_gnu_entity): Use TYPE_BY_REFERENCE_P
4556 and TYPE_IS_BY_REFERENCE_P instead of TREE_ADDRESSABLE.
4557 (gnat_to_gnu_param): Likewise.
4558 (maybe_pad_type): Likewise.
4559 (make_type_from_size): Use TYPE_IS_PACKED_ARRAY_TYPE_P.
4560 * gcc-interface/misc.c (must_pass_by_ref): Use TYPE_IS_BY_REFERENCE_P
4561 instead of TREE_ADDRESSABLE.
4562 * gcc-interface/trans.c (finalize_nrv): Likewise.
4563 (call_to_gnu): Likewise. Do not create a temporary for return values
4564 with by-reference type here.
4565 (gnat_to_gnu): Test TYPE_IS_DUMMY_P instead of TYPE_DUMMY_P.
4566 (gnat_gimplify_expr) <ADDR_EXPR>: Don't do anything for non-constant
4567 CONSTRUCTORs and calls.
4568 * gcc-interface/utils.c (make_dummy_type): Get the equivalent type of
4569 the underlying type and use it throughout. Use TYPE_IS_BY_REFERENCE_P
4570 instead of TREE_ADDRESSABLE.
4571 * gcc-interface/utils2.c (build_cond_expr): Deal with by-reference
4574 2012-02-27 Eric Botcazou <ebotcazou@adacore.com>
4576 * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: Revert previous
4577 change that creates a special VAR_DECL for debugging purposes. For an
4578 aliased object with an unconstrained nominal subtype, make its type a
4579 thin reference to the underlying object.
4580 * gcc-interface/utils2.c (build_unary_op) <INDIRECT_REF>: Deal with
4581 expressions built for the initialization of above objects.
4583 2012-02-24 Dave Korn <dave.korn.cygwin@gmail.com>
4585 * gcc-interface/Makefile.in (WIN_SO_PREFIX [windows targets]): New
4586 Windows-specific make variable.
4587 (WIN_SO_INSTALL_DIR [windows targets]): Likewise.
4588 (install-gnatlib): Respect the above during installation when set,
4589 and also install any windows import library that has been built.
4590 (gnatlib-shared-win32): Use WIN_SO_PREFIX to name output DLL and also
4591 build a corresponding import library.
4593 2012-02-22 Robert Dewar <dewar@adacore.com>
4595 * exp_util.adb, make.adb, sem_dim.adb, sem_ch4.adb, exp_disp.adb: Minor
4598 2012-02-22 Geert Bosch <bosch@adacore.com>
4600 * g-bytswa-x86.adb, g-bytswa.adb, gcc-interface/Makefile.in: Remove
4601 x86-specific version of byteswap and use GCC builtins instead.
4603 2012-02-22 Tristan Gingold <gingold@adacore.com>
4605 * gcc-interface/decl.c (gnat_to_gnu_entity) [E_String_Type,
4606 E_Array_Type]: Translate component ealier.
4608 2012-02-22 Robert Dewar <dewar@adacore.com>
4610 * par-ch3.adb (P_Signed_Integer_Type_Definition): Specialize
4611 error message for 'Range.
4613 2012-02-22 Pascal Obry <obry@adacore.com>
4615 * s-taprop-mingw.adb (Finalize_TCB): Do not wait on thread handle as
4616 this is our own thread.
4618 2012-02-22 Sergey Rybin <rybin@adacore.com frybin>
4620 * tree_io.ads: Update ASIS_Version_Number because of the changes
4623 2012-02-22 Hristian Kirtchev <kirtchev@adacore.com>
4625 * exp_ch7.adb (Create_Finalizer): Suppress elaboration checks on
4626 stack-related finalizers.
4628 2012-02-22 Ed Schonberg <schonberg@adacore.com>
4630 * sem_ch6.adb (Analyze_Expression_Function): If the construct
4631 is a completion, indicate that its formals are the formals of
4632 a completion, and as such do not get a cross- reference entry.
4633 (Analyze_Subprogram_Specification): Do not generate a definition
4634 for the entity of an expression function, because it may be a
4635 completion. Definition will be generated if needed when analyzing
4636 the generated subprogram declaration.
4638 2012-02-22 Vincent Celier <celier@adacore.com>
4640 * make.adb (Check): When checking if an object file is in the
4641 correct object directory, get the unit name from a previous call
4642 to Check_Source_Info_In_ALI.
4643 * makeutl.adb (Check_Source_Info_In_ALI): Return the name of
4644 the unit when everything is OK, otherwise return No_Name.
4645 * makeutl.ads (Check_Source_Info_In_ALI): Return Name_Id instead
4648 2012-02-22 Ed Schonberg <schonberg@adacore.com>
4650 * sem_ch4.adb (Find_Equality_Types, Try_One_Interp): In an
4651 instance, the operator is visible if an operand is of some
4652 numeric type which is not in use or directly visible, and the
4653 other operand is a numeric literal.
4655 2012-02-22 Tristan Gingold <gingold@adacore.com>
4657 * init.c: Minor code clean up.
4658 * gcc-interface/Make-lang.in: Update dependencies.
4660 2012-02-22 Arnaud Charlet <charlet@adacore.com>
4662 * gnatlink.adb (Gnatlink): Use -gnatcC in CodePeer_Node,
4663 otherwise GCC will generate an object file.
4665 2012-02-22 Vincent Celier <celier@adacore.com>
4667 * projects.texi: Correct typo related to "**" in Source_Dirs.
4669 2012-02-22 Steve Baird <baird@adacore.com>
4671 * sem_prag.adb (Analyze_PPC_In_Decl_Part): Clean up generation of
4674 2012-02-22 Vincent Pucci <pucci@adacore.com>
4676 * rtsfind.adb (Get_Unit_Name): Ada_Numerics_Child and
4677 System_Dim_Child cases added.
4678 * rtsfind.ads: Ada_Numerics,
4679 Ada_Numerics_Generic_Elementary_Functions, System_Dim,
4680 System_Dim_Float_IO and System_Dim_Integer_IO added to the list
4681 of RTU_Id. Ada_Numerics_Child and System_Dim_Child added as
4682 new RTU_Id subtypes.
4683 * sem_dim.adb (Is_Dim_IO_Package_Entity): Use of
4684 Rtsfind to verify the package entity is located either
4685 in System.Dim.Integer_IO or in System.Dim.Float_IO.
4686 (Is_Dim_IO_Package_Instantiation): Minor
4687 changes. (Is_Elementary_Function_Call): Removed.
4688 (Is_Elementary_Function_Entity): New routine.
4689 (Is_Procedure_Put_Call): Is_Dim_IO_Package_Entity call added.
4690 * snames.ads-tmpl: Name_Dim and Name_Generic_Elementary_Functions
4693 2012-02-22 Vincent Pucci <pucci@adacore.com>
4695 * sem_prag.adb: Minor reformatting.
4697 2012-02-22 Ed Schonberg <schonberg@adacore.com>
4699 * sem_ch3.adb (Find_Type_Name): When analyzing a private type
4700 declaration that is the completion of a tagged incomplete type, do
4701 not associate the class-wide type already created with the private
4702 type to prevent order-of-elaboration issues in the back-end.
4703 * exp_disp.adb (Find_Specific_Type): Find specific type of
4704 a class-wide type, and handle the case of an incomplete type
4705 coming either from a limited_with clause or from an incomplete
4706 type declaration. Used when expanding a dispatchin call and
4707 generating tag checks (minor refactoring).
4709 2012-02-22 Robert Dewar <dewar@adacore.com>
4711 * exp_ch5.adb: Add comment.
4712 * sem_ch12.adb, exp_ch6.adb: minor reformatting
4714 2012-02-22 Ed Schonberg <schonberg@adacore.com>
4716 * freeze.adb (Freeze_Entity): Do not perform type layout within
4719 2012-02-22 Eric Botcazou <ebotcazou@adacore.com>
4721 * init.c (__gnat_error_handler) [Linux]: Map SIGBUS to
4724 2012-02-22 Ed Schonberg <schonberg@adacore.com>
4726 * exp_ch5.adb (Expand_N_Assignment_Statement): Reject an
4727 assignment to a classwide type whose type is limited, as
4728 can happen in an instantiation in programs that run afoul or
4731 2012-02-17 Ed Schonberg <schonberg@adacore.com>
4733 * exp_ch6.adb (Legal_Copy): If layout is not
4734 determined in the front-end, do not emit error message when
4735 by-reference actual is potentially unaligned.
4736 * gcc-interface/decl.c (gnat_to_gnu_field): Better error message for
4737 illegal representation clause on tagged or aliased component, or on
4738 by-reference type with forced alignment.
4740 2012-02-17 Nicolas Roche <roche@adacore.com>
4742 * gcc-interface/Makefile.in: Ensure FORCE_DEBUG_ADAFLAGS variables is
4743 propagated by gnatlib-sjlj and gnatlib-zcx targets.
4744 * gcc-interface/Make-lang.in: Update dependencies.
4746 2012-02-17 Thomas Quinot <quinot@adacore.com>
4748 * sem_ch12.adb (Analyze_Package_Instantiation): For an
4749 instantiation in an RCI library unit, omit the instance body
4750 if the RCI library unit is the instance itself (E.2.3(18)),
4751 but include the body if the instantiation is within the RCI
4752 declaration (12.3(12)).
4754 2012-02-17 Steve Baird <baird@adacore.com>
4756 * sem_prag.adb (Analyze_PPC_In_Decl_Part): Pre'Class and
4757 Post'Class aspects can only be specified for a primitive operation
4760 2012-02-17 Yannick Moy <moy@adacore.com>
4762 * gnat_rm.texi: Minor shuffling.
4764 2012-02-17 Ed Schonberg <schonberg@adacore.com>
4766 * aspects.adb: Expression functions can carry pre/postconditions.
4767 * par-ch6.adb (P_Subprogram): look for optional pre/postconditions
4768 in an expression function.
4769 * sem_prag (Check_Precondition_Postcondition): legal on expression
4772 2012-02-17 Vincent Pucci <pucci@adacore.com>
4774 * a-cdlili.adb, a-cidlli.adb, a-cihama.adb, a-cimutr.adb,
4775 * a-ciorma.adb, a-cohama.adb, a-coinve.adb, a-comutr.adb,
4776 * a-convec.adb, a-coorma.adb (Adjust): New routine.
4777 (Constant_Reference): Increment Busy and Lock counters.
4778 (Reference): Increase Busy and Lock counters.
4779 (Finalize): New routine.
4780 * a-cihase.adb, a-ciorse.adb, a-cohase.adb, a-coorse.adb:
4781 (Adjust): New routine. (Constant_Reference): Increment Busy
4783 (Finalize): New routine.
4784 * a-cdlili.ads, a-cidlli.ads, a-cihama.ads, a-cihase.ads,
4785 * a-cimutr.ads, a-ciorma.ads, a-ciorse.ads, a-cohama.ads,
4786 * a-cohase.ads, a-coinve.ads, a-comutr.ads, a-convec.ads,
4787 * a-coorma.ads, a-coorse: Controlled component added to the
4790 2012-02-17 Robert Dewar <dewar@adacore.com>
4792 * restrict.adb (Check_Restriction): Add special handling for
4793 No_Obsolescent_Features.
4795 2012-02-17 Hristian Kirtchev <kirtchev@adacore.com>
4797 * exp_util.adb (Find_Finalize_Address): When dealing with an
4798 internally built full view for a type with unknown discriminants,
4799 use the original record type.
4801 2012-02-17 Robert Dewar <dewar@adacore.com>
4803 * sem_dim.adb: Minor reformatting.
4805 2012-02-17 Yannick Moy <moy@adacore.com>
4807 * gnat_rm.texi: Minor rewording.
4809 2012-02-17 Thomas Quinot <quinot@adacore.com>
4811 * sem_aggr.adb: Minor reformatting.
4813 2012-02-17 Robert Dewar <dewar@adacore.com>
4815 * gnat_ugn.texi: Update doc for -gnatw.m to include 2*x case.
4817 2012-02-17 Vincent Pucci <pucci@adacore.com>
4819 * sem_dim.adb (Is_Dim_IO_Package_Entity): New routine.
4820 (Is_Dim_IO_Package_Instantiation): Is_Dim_IO_Package_Entity
4822 (Is_Procedure_Put_Call): Is_Dim_IO_Package_Entity
4824 * s-dim.ads: Make package Pure.
4826 2012-02-17 Gary Dismukes <dismukes@adacore.com>
4828 * prj-nmsc.adb: Minor reformatting.
4830 2012-02-17 Yannick Moy <moy@adacore.com>
4832 * gnat_rm.texi: Update GNAT RM with a separate chapter on restrictions.
4834 2012-02-17 Yannick Moy <moy@adacore.com>
4836 * gnat_ugn.texi: Fix typos.
4838 2012-02-17 Pascal Obry <obry@adacore.com>
4840 * prj-nmsc.adb: prj-nmsc.adb (Check_Aggregated): Check that an
4841 aggregate is not Externally_Built.
4843 2012-02-17 Ed Schonberg <schonberg@adacore.com>
4845 * sem_aggr.adb (Resolve_Record_Aggregate): If a composite
4846 component has a box association, copy the default value using
4847 the current scope as the scope of internal types, to prevent
4848 scoping anomalies in gigi.
4850 2012-02-17 Robert Dewar <dewar@adacore.com>
4852 * sem_dim.adb, sem_dim.ads, s-tasren.adb, prj.adb, prj.ads, freeze.adb,
4853 sem_res.adb, exp_ch4.adb, sinput.adb, sinput.ads, exp_aggr.adb,
4854 exp_intr.adb, s-os_lib.adb: Minor reformatting.
4856 2012-02-17 Ed Schonberg <schonberg@adacore.com>
4858 * sem_ch6.adb (Is_Non_Overriding_Operation): Add warning if the
4859 old operation is abstract, the relevant type is not abstract,
4860 and the new subprogram fails to override.
4862 2012-02-15 Eric Botcazou <ebotcazou@adacore.com>
4864 * gcc-interface/trans.c (Identifier_to_gnu): Move block retrieving the
4865 type of the result to the end and execute it for a deferred constant of
4866 a discriminated type whose full view can be elaborated statically.
4868 2012-02-15 Eric Botcazou <ebotcazou@adacore.com>
4870 * gcc-interface/trans.c (gnat_to_gnu) <N_Qualified_Expression>: If the
4871 type is tagged, mark it as used for debugging purposes.
4872 <N_Allocator>: Likewise for a qualified expression.
4874 2012-02-15 Eric Botcazou <ebotcazou@adacore.com>
4876 * gcc-interface/trans.c (call_to_gnu): Create the temporary for the
4877 return value in the by-reference return type case if this isn't the
4878 expression of an object declaration. Tidy up.
4880 2012-02-09 Tristan Gingold <gingold@adacore.com>
4882 * gcc-interface/Makefile.in: Remove .sym rule (not used).
4883 Remove adamsg.o object (requires native message compiler).
4884 * init.c (CMA$_EXIT_THREAD, MTH$_FLOOVEMAT, SS$_INTDIV): Define as a
4885 macro instead of as extern int.
4886 (ADA$_ALREADY_OPEN, ADA$_CONSTRAINT_ERRO, ADA$_DATA_ERROR)
4887 (ADA$_DEVICE_ERROR, ADA$_END_ERROR, ADA$_FAC_MODE_MISMAT)
4888 (ADA$_IOSYSFAILED, ADA$_KEYSIZERR, ADA$_KEY_MISMATCH)
4889 (ADA$_LAYOUT_ERROR, ADA$_LINEXCMRS, ADA$_MAXLINEXC)
4890 (ADA$_MODE_ERROR, ADA$_MRN_MISMATCH, ADA$_MRS_MISMATCH)
4891 (ADA$_NAME_ERROR, ADA$_NOT_OPEN, ADA$_ORG_MISMATCH)
4892 (ADA$_PROGRAM_ERROR, ADA$_RAT_MISMATCH, ADA$_RFM_MISMATCH)
4893 (ADA$_STAOVF, ADA$_STATUS_ERROR, ADA$_STORAGE_ERROR)
4894 (ADA$_UNSUPPORTED, ADA$_USE_ERROR): Likewise.
4895 (struct cond_except): Field cond is now an unsigned int.
4896 (dec_ada_cond_except_table): Adjust.
4897 (cond_except_table): Likewise.
4898 (cond_resignal_table): Likewise.
4899 (__gnat_default_resignal_p): Fix style.
4901 2012-02-08 Vincent Celier <celier@adacore.com>
4903 * gcc-interface/Make-lang.in: Add g-byorma.o to gnatbind objects
4904 (g-buorma is now imported by sinput).
4905 Update dependencies.
4906 * scn.adb (Initialize_Scanner): Call Check_For_BOM
4907 * sinput-p.adb (Source_File_Is_Subunit): Call Check_For_BOM
4908 * sinput.adb: New procedure Check_For_BOM
4909 * sinput.ads: New procedure Check_For_BOM
4911 2012-02-08 Vincent Pucci <pucci@adacore.com>
4913 * impunit.adb: Dimension package names updated
4914 * Makefile.rtl: s-dim added
4915 * sem_dim.adb (Is_Procedure_Put_Call): minor changes
4916 (Is_Dim_IO_Package_Instantiation): minor changes
4917 * sem_dim.ads: minor changes in comments
4918 * snames.ads-tmpl: Name_Dim added Name_Dim_Float_IO and
4919 Name_Dim_Integer_IO removed
4920 * s-dim.ads: New package. Define the dimension terminology.
4921 * s-diflio.adb, s-diinio.adb, s-dimkio.ads, s-dimmks.ads,
4922 * s-dmotpr.ads: Package names updated.
4923 * s-diflio.ads, s-diinio.ads: Documentation added and package
4926 2012-02-08 Gary Dismukes <dismukes@adacore.com>
4928 * gcc-interface/utils2.c (build_call_alloc_dealloc_proc): Revise test
4929 for storage pools to test for an underlying record type rather than
4930 testing Is_Tagged_Type, so that simple storage pools will be handled
4931 the same as normal Ada storage pools.
4933 2012-02-08 Yannick Moy <moy@adacore.com>
4935 * gnat_rm.texi: Minor reshuffling to place restriction at
4938 2012-02-08 Bob Duff <duff@adacore.com>
4940 * warnsw.adb (Set_Warning_Switch): Set Warn_On_Suspicious_Modulus_Value
4941 False for '-gnatwA', to suppress these warnings.
4943 2012-02-08 Vincent Celier <celier@adacore.com>
4945 * sinput-p.adb (Source_File_Is_Subunit): Check for BOM before
4946 starting to scan, so that UTF8 encoding is taken into account.
4948 2012-02-08 Arnaud Charlet <charlet@adacore.com>
4950 * s-tasren.adb, s-tasren.ads (Internal_Complete_Rendezvous): New
4952 (Complete_Rendezvous): Now call Internal_Complete_Rendezvous.
4953 (Exceptional_Complete_Rendezvous): Mark No_Return.
4955 2012-02-08 Eric Botcazou <ebotcazou@adacore.com>
4957 * exp_aggr.adb (Compile_Time_Known_Composite_Value):
4958 New predicate to compute whether a composite value can be
4959 evaluated at compile time.
4960 (Component_Not_OK_For_Backend): Use Compile_Time_Known_Value for all
4961 expressions of elementary type and Compile_Time_Known_Composite_Value
4962 for all other expressions.
4963 (Expand_Record_Aggregate): Convert to assignments in the case
4964 of a type with mutable components if the aggregate cannot be
4967 2012-02-08 Gary Dismukes <dismukes@adacore.com>
4969 * aspects.ads (type Aspect_Id): Add Simple_Storage_Pool_Type.
4970 (Impl_Defined_Aspects): Add association for
4971 Aspect_Simple_Storage_Pool_Type.
4973 association for Aspect_Simple_Storage_Pool_Type.
4975 (Canonical_Aspect): Add association for Simple_Storage_Pool_Type.
4976 * exp_attr.adb (Expand_N_Attribute_Reference):
4977 Change name to Name_Simple_Storage_Pool_Type.
4978 * exp_ch4.adb (Expand_N_Allocator): Change
4979 name to Name_Simple_Storage_Pool_Type.
4980 * exp_intr.adb (Expand_Unc_Deallocation): Change name to
4981 Name_Simple_Storage_Pool_Type. * freeze.adb (Freeze_Entity):
4982 Change names to Name_Simple_Storage_Pool_Type. * par-prag.adb:
4983 Change names to Name_Simple_Storage_Pool_Type. * sem_attr.adb:
4984 (Analyze_Attribute): Change name to Name_Simple_Storage_Pool_Type.
4985 * sem_ch13.adb (Analyze_Attribute_Definition_Clause):
4986 Change name to Name_Simple_Storage_Pool_Type.
4988 (Analyze_Pragma): Change name to Name_Simple_Storage_Pool_Type.
4989 (Sig_Flags): Change name to Name_Simple_Storage_Pool_Type.
4990 * sem_res.adb (Resolve_Allocator): Change name to
4991 Name_Simple_Storage_Pool_Type. * snames.ads-tmpl:
4992 (Name_Simple_Storage_Pool_Type): New name constant.
4993 (type Pragma_Id): Change name to Name_Simple_Storage_Pool_Type and
4994 move to main pragma section because it no longer matches the
4996 * snames.adb-tmpl (Get_Pragma_Id): Remove test for
4997 Name_Simple_Storage_Pool.
4998 (Is_Pragma_Name): Remove test for Name_Simple_Storage_Pool.
5000 2012-02-08 Robert Dewar <dewar@adacore.com>
5002 * gnat_ugn.texi: Add some clarification to -gnatwA and -gnatws.
5004 2012-02-08 Pascal Obry <obry@adacore.com>
5006 * prj.adb (Compute_All_Imported_Projects): Use new
5007 For_Project_And_Aggregated_Context to ensure proper context is
5008 used for encapsulated aggregate libraries.
5009 * prj-proc.adb (Recursive_Process): Call
5010 Process_Aggregated_Projects earlier to ensure that all dependent
5011 projects are set with the proper encapsulated status.
5013 2012-02-08 Pascal Obry <obry@adacore.com>
5015 * s-os_lib.adb (Normalize_Arguments): Properly escape last \ in null
5018 2012-02-08 Pascal Obry <obry@adacore.com>
5020 * prj.ads, prj.adb (For_Project_And_Aggregated_Context): New
5021 generic routine with a context parameter.
5023 2012-02-08 Robert Dewar <dewar@adacore.com>
5025 * a-coinve.adb, sem_util.adb, sem_ch8.adb, a-cobove.adb,
5026 a-convec.adb: Minor reformatting and code reorganization.
5028 2012-02-08 Steve Baird <baird@adacore.com>
5030 * sem_cat.adb (In_Preelaborated_Unit): A child
5031 unit instantiation does not inherit preelaboration requirements
5034 2012-02-08 Gary Dismukes <dismukes@adacore.com>
5036 * aspects.ads (type Aspect_Id): Add Aspect_Simple_Storage_Pool.
5037 (Impl_Defined_Aspects): Add entry for Aspect_Simple_Storage_Pool.
5038 (Aspect_Argument): Add Name entry for Aspect_Simple_Storage_Pool.
5039 (Aspect_Names): Add entry for Aspect_Simple_Storage_Pool.
5040 * aspects.adb (Canonical_Aspect): Add entry for
5041 Aspect_Simple_Storage_Pool.
5042 * exp_attr.adb (Expand_N_Attribute_Reference): Handle case of
5043 Attribute_Simple_Storage_Pool in the same way as Storage_Pool
5044 (add conversion, analyze/resolve). For the Storage_Size attribute,
5045 for the simple pool case, locate and use the simple pool type's
5046 Storage_Size function (if any), otherwise evaluate to zero.
5047 * exp_ch4.adb (Expand_N_Allocator): In the case of an allocator
5048 for an access type with an associated simple storage pool,
5049 locate and use the pool type's Allocate.
5050 * exp_intr.adb (Expand_Unc_Deallocation): In the case where the
5051 access type has a simple storage pool, locate the pool type's
5052 Deallocate procedure (if present) and use it as the procedure
5053 to call on the Free operation.
5054 * freeze.adb (Freeze_Entity): In the case of a full type for
5055 a private type defined with pragma Simple_Storage_Pool, check
5056 that the full type is also appropriate for the pragma. For
5057 a simple storage pool type, validate that the operations
5058 Allocate, Deallocate (if present), and Storage_Size
5059 (if present) are defined with appropriate expected profiles.
5060 (Validate_Simple_Pool_Op_Formal): New procedure
5061 (Validate_Simple_Pool_Operation): New procedure Add with and
5063 * par-prag.adb: Add Pragma_Simple_Storage_Pool to case statement
5064 (no action required).
5065 * sem_attr.adb (Analyze_Attribute): For the case of the
5066 Storage_Pool attribute, give a warning if the prefix type has an
5067 associated simple storage pool, and rewrite the attribute as a
5068 raise of Program_Error. In the case of the Simple_Storage_Pool
5069 attribute, check that the prefix type has an associated simple
5070 storage pool, and set the attribute type to the pool's type.
5071 * sem_ch13.adb (Analyze_Aspect_Specifications): Add
5072 Aspect_Simple_Storage_Pool case choice.
5073 (Analyze_Attribute_Definition_Clause): Add
5074 Aspect_Simple_Storage_Pool to case for Ignore_Rep_Clauses
5075 (no action). Add handling for Simple_Storage_Pool attribute
5076 definition, requiring the name to denote a simple storage pool
5078 (Check_Aspect_At_Freeze_Point): For a simple storage pool
5079 aspect, set the type to that of the name specified for the aspect.
5080 * sem_prag.adb (Analyze_Pragma): Add handling for pragma
5081 Simple_Storage_Pool, requiring that it applies to a library-level
5082 type declared in a package declaration that is a limited private
5083 or limited record type.
5084 * sem_res.adb (Resolve_Allocator): Flag an attempt to call a
5085 build-in-place function in an allocator for an access type with
5086 a simple storage pool as unsupported.
5087 * snames.ads-tmpl: Add Name_Simple_Storage_Pool.
5088 (type Attribute_Id): Add Attribute_Simple_Storage_Pool.
5089 (type Pragma_Id): Add Pragma_Simple_Storage_Pool.
5090 * snames.adb-tmpl (Get_Pragma_Id): Handle case of
5091 Name_Simple_Storage_Pool.
5092 (Is_Pragma_Name): Return True for Name_Simple_Storage_Pool.
5094 2012-02-08 Cyrille Comar <comar@adacore.com>
5096 * projects.texi: Clarify doc for interfaces.
5098 2012-02-07 Eric Botcazou <ebotcazou@adacore.com>
5100 * gcc-interface/Make-lang.in (GCC_LINKERFLAGS): New variable.
5103 2012-02-01 Tristan Gingold <gingold@adacore.com>
5105 * gcc-interface/trans.c (Loop_Statement_to_gnu): Use sizetype
5106 instead of size_type_node.
5108 2012-01-30 Nicolas Roche <roche@adacore.com>
5110 * gcc-interface/Make-lang.in: Update dependencies.
5111 * gcc-interface/Makefile.in: Use system-vxworks-system-ppc-mils.ads
5113 Remove Linker_Options -crtbe when building sjlj run-time.
5115 2012-01-30 Robert Dewar <dewar@adacore.com>
5117 * sem.adb (Analyze): Call Analyze_Mod for N_Op_Mod mode.
5118 * sem_ch3.adb (Modular_Type_Declaration): Warn on mod value of
5119 form 2 * small-literal.
5120 * sem_ch4.adb (Analyze_Mod): New procedure (warn on suspicious
5122 * sem_ch4.ads (Analyze_Mod): New procedure.
5124 2012-01-30 Ed Schonberg <schonberg@adacore.com>
5126 * sem_ch6.adb: sem_ch6.adb (Analyze_Expression_Function): Copy
5127 types and return expression when building spec for implicit
5128 body, to preserve global references that may be present in an
5131 2012-01-30 Matthew Heaney <heaney@adacore.com>
5133 * a-convec.adb, a-coinve.adb, a-cobove.adb (Sort,
5134 Reverse_Elements): Check for cursor tampering.
5136 2012-01-30 Ed Schonberg <schonberg@adacore.com>
5138 * sem_util.adb (Is_Fully_Initialized_Type): In Ada 2012, a
5139 type with aspect Default_Value or Default_Component_Value is
5140 fully initialized, and use of variables of such types do not
5143 2012-01-30 Javier Miranda <miranda@adacore.com>
5146 * sem_ch8.adb (Analyze_Subprogram_Renaming):
5147 Handle self-renaming when the renamed entity is referenced using
5150 2012-01-30 Vincent Celier <celier@adacore.com>
5152 * projects.texi: Add documentation for attribute Interfaces.
5154 2012-01-30 Hristian Kirtchev <kirtchev@adacore.com>
5156 * exp_ch7.adb (Build_Finalizer_Call): Set loc again.
5157 * exp_ch11.adb (Expand_At_End_Handler): Do not provide a source
5158 location for the wrapped call to the original AT_END routine
5159 and the subsequent return statement.
5161 2012-01-30 Pascal Obry <obry@adacore.com>
5163 * s-rannum.adb: Minor reformatting.
5165 2012-01-30 Hristian Kirtchev <kirtchev@adacore.com>
5167 * a-calend-vms.adb, a-calend.adb: Increment the number of leap seconds
5168 to 25 and add the hard time value for 2012-06-30.
5170 2012-01-30 Robert Dewar <dewar@adacore.com>
5172 * a-strhas.ads, einfo.adb, einfo.ads, exp_ch7.adb, exp_ch9.adb,
5173 freeze.adb, prj.adb, prj.ads, prj-nmsc.adb, prj-proc.adb, s-llflex.ads,
5174 s-ransee.adb, s-ransee.ads, sem_ch13.adb, sem_dim.adb, sem_prag.adb:
5175 Minor reformatting/code reorganization.
5177 2012-01-30 Thomas Quinot <quinot@adacore.com>
5179 * s-rannum.adb, s-ransee.adb, s-ransee.ads (Get_Seed): Return
5180 Unsigned_64 rather than Duration.
5181 (System.Random_Numbers.Reset): Use full value of seed
5182 (do not truncate sub-second bits).
5184 2012-01-30 Thomas Quinot <quinot@adacore.com>
5186 * sem_cat.adb, sem_ch12.adb: Minor reformatting.
5188 2012-01-30 Yannick Moy <moy@adacore.com>
5190 * gnat_ugn.texi: Minor correction of GNAT UG, to take into
5191 account changes to -gnatwa and more recent warnings.
5193 2012-01-30 Hristian Kirtchev <kirtchev@adacore.com>
5195 * exp_ch7.adb (Build_Finalizer_Call): Do not provide a source
5196 location when creating a call to a finalizer.
5197 * exp_ch11.adb (Expand_Exception_Handlers): Do not provide
5198 a source location for the first actual of Save_Occurrence for
5201 2012-01-30 Ed Schonberg <schonberg@adacore.com>
5203 * einfo.ads, einfo,adb: New attribute on scalar types:
5204 Default_Aspect_Value New attribute on array types:
5205 Default_Aspect_Component_Value Move attribute Related_Array_Object
5206 to a different position to accomodate new aspect attributes.
5207 * freeze.adb (Freeze_Entity): Use new attributes to retrieve value
5208 of defaults set with an aspect specification, rather than using
5209 the list of aspects attached to the type, to prevent issues with
5211 * sem_ch13.adb (Analyze_Aspect_Specifications): For aspects
5212 Default_Value and Default_Component _Value, store corresponding
5213 expression in type entity.
5214 (Check_Aspect_At_End_Of_Declaration): If the default aspects
5215 are declared on the full view, use the full view to resolve the
5216 correseponding expression.
5217 * exp_ch3.adb (Init_Component): Use attribute
5218 Default_Aspect_Component_Value to perform default initialization,
5219 rather than relying on the rep item list for the type.
5220 (Get_Simple_Init_Val): Ditto.
5222 2012-01-30 Thomas Quinot <quinot@adacore.com>
5224 * a-strhas.ads: Document risk of collision attack.
5226 2012-01-30 Yannick Moy <moy@adacore.com>
5228 * gnat_ugn.texi: Minor update wrt warning switches.
5230 2012-01-30 Vincent Celier <celier@adacore.com>
5232 * prj-nmsc.adb (Check_Interfaces): Report an error when a
5233 unit from Library_Interface is not a unit of the project.
5235 2012-01-30 Vincent Pucci <pucci@adacore.com>
5237 * sem_prag.adb (Make_Aspect_For_PPC_In_Gen_Sub_Decl): Parent
5238 links fixed inside PPC pragmas.
5239 * sem_ch12.adb: Move call to Make_Aspect_For_PPC_In_Gen_Sub_Decl.
5241 2012-01-30 Thomas Quinot <quinot@adacore.com>
5243 * s-ransee.ads: Minor reformatting.
5245 2012-01-30 Pascal Obry <obry@adacore.com>
5247 * prj.ads, prj.adb (For_Each_Source): Add support for skipping
5248 sources coming from an encapsulated library.
5250 2012-01-30 Ed Schonberg <schonberg@adacore.com>
5252 * sem_ch3.adb (Process-Full_View): fix typo.
5253 * sem_ch13.adb (Aalyze_Aspect_Specifications): if predicates
5254 appear on a private type and the full view is available, ensure
5255 existence of freeze node for full view.
5256 (Build_Predicate_Function): Attach predicate function to both
5257 views of a private type.
5259 2012-01-30 Vincent Celier <celier@adacore.com>
5261 * prj-nmsc.adb (Check_Interfaces): Compute the Lib_Interface_ALIs
5262 for the project if either attribute Library_Interface or
5263 Interfaces is declared.
5264 (Check_Stand_Alone_Library): Use Lib_Interface_ALIs computed in
5267 2012-01-30 Pascal Obry <obry@adacore.com>
5269 * prj-proc.adb (Recursive_Process): Set From_Encapsulated_Lib
5270 boolean value to true in the process list created by this routine.
5271 * prj.ads (Project_List_Element): New field From_Encapsulated_Lib.
5272 Continued work for KA06-021.
5273 * prj.adb (Compute_All_Imported_Projects): Set
5274 From_Encapsulated_Lib boolean flag.
5276 2012-01-30 Vincent Pucci <pucci@adacore.com>
5278 * sem_dim.adb (Expand_Put_Call_With_Dimension_Symbol): Minor
5280 * s-diflio.ads: Minor change.
5282 2012-01-30 Javier Miranda <miranda@adacore.com>
5284 * exp_ch9.adb (Build_Dispatching_Requeue): Add missing call
5285 to Get_Entry_Index. Required to generate code which provides
5286 the correct value of Entry_Index in the target entry.
5288 2012-01-30 Nicolas Roche <roche@adacore.com>
5290 * system-vxworks-ppc.ads: Add pragma Linker_Options -crtbe to
5291 fix issue with zcx on VxWorks5.
5293 2012-01-30 Pascal Obry <obry@adacore.com>
5295 * prj.ads, prj.adb (For_Every_Project_Imported): Remove
5297 (For_Every_Project_Imported_Context): New generic routine with
5298 a context parameter.
5299 * prj-nmsc.adb: Revert to use For_Every_Project_Imported Avoid
5300 distributed complexity.
5301 * prj-env.adb, prj-conf.adb, makeutl.adb, gnatcmd.adb: Ditto.
5303 2012-01-30 Thomas Quinot <quinot@adacore.com>
5305 * exp_aggr.adb (Expand_Record_Aggregate): After creating the
5306 _parent aggregate for an extension aggregate, check whether it
5307 requires delayed (top-down) expansion.
5309 2012-01-30 Vincent Pucci <pucci@adacore.com>
5311 * sem_dim.adb (Expand_Put_Call_With_Dimension_Symbol): Rewritten.
5312 * snames.ads-tmpl: Name_Item and Name_Symbols added.
5313 * s-diflio.adb, s-diflio.ads, s-diinio.adb, s-diinio.ads: Rename
5314 and change the position of parameter Symbols in every Put routine.
5315 * s-dimmks.ads: Convert long float type Mks_Type into long
5317 * s-llflex.ads: Modifications in comments.
5319 2012-01-30 Hristian Kirtchev <kirtchev@adacore.com>
5321 * sem_ch12.adb (Earlier): Do not use the
5322 top level source locations of the two input nodes.
5324 2012-01-30 Robert Dewar <dewar@adacore.com>
5326 * einfo.ads, sem_prag.adb, sem_attr.adb, aspects.ads,
5327 sem_cat.adb, sem_aggr.adb, exp_aggr.adb: Minor reformatting.
5329 2012-01-30 Robert Dewar <dewar@adacore.com>
5331 * a-cdlili.adb, a-cidlli.adb, a-cbdlli.adb: Minor reformatting.
5333 2012-01-30 Olivier Hainque <hainque@adacore.com>
5335 * sigtramp-ppcvxw.c (CFI_COMMON_REGS): Add rule for r1 back +
5338 2012-01-30 Thomas Quinot <quinot@adacore.com>
5340 * gnat_rm.texi, sem_dist.adb, sem_dist.ads, einfo.ads, sem_prag.adb,
5341 sem_ch12.adb, sem_attr.adb, aspects.adb, aspects.ads, par-prag.adb,
5342 sem_cat.adb, snames.ads-tmpl (Sem_Dist.Is_Valid_Remote_Object_Type):
5343 New subprogram (extracted from
5344 Sem_Cat.Validate_Remote_Access_Object_Type_Declaration).
5345 (Einfo.Is_Remote_Types): Now applies to generic types. Update
5346 documentation accordingly.
5347 (Sem_Ch12.Analyze_Associations): A RACW type is acceptable as
5348 actual for a formal type to which a pragma Remote_Access_Type
5350 (Aspects, Par.Prag, Sem_Prag): Support for new pramga/aspect
5352 (Sem_Attr.Analyze_Attribute, case Stub_Type): Attribute can
5353 be applied to a generic type if pragma Remote_Access_Type
5354 applies, in which case the type of the attribute is
5355 System.Partition_Interface.RACW_Stub_Type.
5357 2012-01-27 Eric Botcazou <ebotcazou@adacore.com>
5359 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Procedure>: Do not set
5360 an alignment on fields of the RETURN type built for the CICO mechanism.
5362 2012-01-27 Eric Botcazou <ebotcazou@adacore.com>
5364 * gcc-interface/trans.c (gnat_to_gnu): Avoid making a SAVE_EXPR for
5365 a call to a function that returns an unconstrained type with default
5366 discriminant. Similarly, avoid doing the conversion to the nominal
5367 result type in this case.
5369 2012-01-27 Eric Botcazou <ebotcazou@adacore.com>
5371 * gcc-interface/ada-tree.h (DECL_ALIASED_P): New flag.
5372 * gcc-interface/decl.c (is_variable_size): Rename to...
5373 (type_has_variable_size): ...this.
5374 (adjust_packed): Adjust to above renaming.
5375 (gnat_to_gnu_field): Set DECL_ALIASED_P on the field.
5376 (field_is_artificial): New predicate.
5377 (field_is_aliased): Likewise.
5378 (field_has_self_size): Likewise.
5379 (field_has_variable_size): Likewise.
5380 (components_to_record): Record information for the final layout during
5381 the first pass on fields.
5382 If there is an aliased field placed after a field whose length depends
5383 on discriminants, put all the fields of the latter sort, last.
5385 2012-01-27 Eric Botcazou <ebotcazou@adacore.com>
5387 * gcc-interface/gigi.h (get_minimal_subprog_decl): Declare.
5388 * gcc-interface/decl.c (get_minimal_subprog_decl): New function.
5389 * gcc-interface/trans.c (Attribute_to_gnu): Use it for the prefix of an
5390 Access-like attribute in a dispatch table if the subprogram is public.
5392 2012-01-27 Eric Botcazou <ebotcazou@adacore.com>
5394 * gcc-interface/gigi.h (create_label_decl): Adjust.
5395 * gcc-interface/utils.c (create_label_decl): Add GNAT_NODE parameter
5396 and invoke gnat_pushdecl on it. Remove obsolete settings.
5397 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Label>: Adjust call to
5399 * gcc-interface/trans.c (gnat_to_gnu) <N_Null): Likewise. Ignore the
5400 label for debugging purposes.
5402 2012-01-27 Eric Botcazou <ebotcazou@adacore.com>
5404 * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: For an aliased
5405 object with an unconstrained nominal subtype and if optimization isn't
5406 enabled, create a special VAR_DECL for debugging purposes.
5408 2012-01-23 Robert Dewar <dewar@adacore.com>
5410 * sem_prag.ads, sem_prag.adb: Minor reformatting.
5412 2012-01-23 Robert Dewar <dewar@adacore.com>
5414 * sem_ch13.adb (Analyze_Aspect_Specifications): Check for
5415 language defined aspect applied to renaming or formal type
5416 declaration (not permitted)
5418 2012-01-23 Matthew Heaney <heaney@adacore.com>
5420 * a-cdlili.adb, a-cidlli.adb, a-cbdlli.adb (Vet): Replaced
5421 comment with pragma Assert.
5423 2012-01-23 Vincent Pucci <pucci@adacore.com>
5425 * sem_ch12.adb (Analyze_Generic_Subprogram_Declaration): Call
5426 to Make_Aspect_For_PPC_In_Gen_Sub_Decl added in ASIS mode.
5427 * sem_prag.adb, sem_prag.ads (Make_Aspect_For_PPC_In_Gen_Sub_Decl): New
5428 routine. In ASIS mode, convert any PPC pragmas into aspects in generic
5429 subprogram declaration in order to enable the analysis of PPC boolean
5432 2012-01-23 Robert Dewar <dewar@adacore.com>
5434 * sem_ch3.adb (Analyze_Object_Declaration): Properly
5435 handle Current_Value for volatile variables (also propagate
5436 Treat_As_Volatile from type to object).
5438 2012-01-23 Hristian Kirtchev <kirtchev@adacore.com>
5440 * sem_ch12.adb (Install_Body): Detect the case
5441 where the enclosing context is a package with a stub body that
5442 has already been replaced by the actual body. In such cases,
5443 the freeze node for the enclosing context must be inserted after
5446 2012-01-23 Ed Schonberg <schonberg@adacore.com>
5448 * sem_prag.adb (Analyze_Pragma, case Debug): Freeze the called
5449 subprogram before expanding the pragma into an if-statement with
5450 a block, to ensure that when the subprogram is null its body is
5451 properly generated before expansion.
5453 2012-01-23 Hristian Kirtchev <kirtchev@adacore.com>
5455 * sem_ch12.adb (Analyze_Associations): Alphabetize local variables and
5456 constants. Rename Actual_Types to Actuals_To_Freeze. Rename Next_Formal
5458 Freeze all eligible subprograms which appear as actuals in
5460 (Has_Fully_Defined_Profile): New routine.
5461 (Renames_Standard_Subprogram): New routine.
5462 (Earlier): Add local variable N. Comment update. Do not use source
5463 locations when trying to determine whether one node precedes another.
5465 2012-01-23 Gary Dismukes <dismukes@adacore.com>
5467 * exp_ch4.adb (Expand_Concatenate): In the case
5468 where the result of a concatentation can be null, set the to
5469 result have both the low and high bounds of the right operand (not
5470 just the high bound, as was the case prior to this fix). Also,
5471 fix the saved high bound setting (Last_Opnd_High_Bound) in the
5472 empty string literal case (should have been low bound minus one,
5473 rather than plus one).
5475 2012-01-23 Thomas Quinot <quinot@adacore.com>
5477 * scos.ads, put_scos.adb, get_scos.adb (Get_SCOs, Put_SCOs): Do not
5478 omit statement SCOs for disabled pragmas.
5480 2012-01-23 Matthew Heaney <heaney@adacore.com>
5482 * a-cohase.ads, a-cihase.ads, a-cbhase.ads, a-coorse.ads,
5483 a-ciorse.ads, a-cborse.ads, a-cohama.ads, a-cihama.ads, a-cbhama.ads,
5484 a-coorma.ads, a-ciorma.ads, a-cborma.ads, a-cdlili.ads, a-cidlli.ads,
5485 a-cbdlli.ads, a-convec.ads, a-coinve.ads, a-cobove.ads (Cursor'Read,
5486 Cursor'Write): Declare in private part.
5487 (Reference_Type'Read, Reference_Type'Write): Ditto.
5488 (Constant_Reference_Type'Read, Constant_Reference_Type'Write): Ditto.
5490 2012-01-23 Robert Dewar <dewar@adacore.com>
5492 * a-catizo.ads, a-calend.adb, a-calend.ads, par-ch13.adb: Minor
5495 2012-01-23 Ed Schonberg <schonberg@adacore.com>
5497 * sem_ch6.adb (Analyze_Subprogram_Declaration): Do not set the
5498 Corresponding_Body on a defaulted null formal subprogram.
5499 * sem_ch12.adb (Check_Formal_Package_Instance): No check needed
5500 on a defaulted formal subprogram that is a null procedure.
5502 2012-01-23 Hristian Kirtchev <kirtchev@adacore.com>
5504 * exp_ch9.adb: Update the comments involving pragma Implemented.
5505 * sem_ch3.adb (Check_Pragma_Implemented (Entity_Id)): Add local
5506 constant Subp_Alias and local variable Impl_Subp. Properly
5507 handle aliases of synchronized wrappers. Code cleanup.
5508 (Check_Pragma_Implemented (Entity_Id; Entity_Id)): Add
5509 Name_Optional as part of the condition.
5510 * sem_prag.adb (Analyze_Pragma): Add "Optional" as one of the
5511 valid choices of implementation kind.
5512 (Check_Arg_Is_One_Of): New routine.
5513 * snames.ads-tmlp: Add Name_Optional.
5515 2012-01-23 Ed Schonberg <schonberg@adacore.com>
5517 * par-ch13.adb: Better error recovery in illegal aspect
5520 2012-01-23 Hristian Kirtchev <kirtchev@adacore.com>
5522 * a-calend.adb: Add with clause for Interfaces.C. Add constant
5524 (Day_Of_Week): Call the internal UTC_Time_Offset.
5525 (Split): Call the internal UTC_Time_Offset.
5526 (Time_Of): Call the internal UTC_Time_Offset.
5527 (Time_Zone_Operations.UTC_Time_Offset): Call internal UTC_Time_Offset.
5528 (UTC_Time_Offset): New library-level routine.
5529 * a-calend.ads (UTC_Time_Offset): Remove parameter
5530 Is_Historic. Update related comment on usage.
5531 * a-catizo.adb (UTC_Time_Offset): Removed.
5532 (UTC_Time_Offset (Time)): Call Time_Zone_Operations.UTC_Time_Offset.
5533 * a-caltizo.ads (UTC_Time_Offset): Removed.
5534 (UTC_Time_Offset (Time)): Add back the default expression of parameter
5537 2012-01-23 Robert Dewar <dewar@adacore.com>
5539 * sprint.ads, sprint.adb (Sprint_Node_List): Add New_Lines parameter
5540 (pg,po,ps): Make sure each entry starts on new line.
5542 2012-01-23 Hristian Kirtchev <kirtchev@adacore.com>
5544 * a-calend.ads, a-calend.adb: Define types int and int_Pointer. Update
5545 the parameter profile of procedure localtime_tzoff and its associated
5547 (Day_Of_Week): Do not treat the input date as historical
5548 with respect to time zones.
5549 (Split): Do not treat the input
5550 date as historical with respect to time zones. (Time_Of): Do
5551 not treat the input constituents as forming a historical date
5552 with respect to time zones.
5553 (UTC_Time_Offset): Add new formal
5554 parameter Is_Historic. Add local variable Flag. Update the call
5556 * a-catizo.ads, a-catizo.adb (UTC_Time_Offset): New routine.
5557 (UTC_Time_Offset (Time)): Update the call to
5558 Time_Zone_Operations.UTC_Time_Offset.
5559 * sysdep.c (__gnat_localtime_tzoff): Update parameter
5560 profile. Split the processing of offsets on Windows into two - one
5561 part of historic time stamps and the other for the current time.
5563 2012-01-23 Robert Dewar <dewar@adacore.com>
5565 * a-calend.adb: Minor reformatting.
5567 2012-01-23 Ed Schonberg <schonberg@adacore.com>
5569 * exp_ch9.adb, sem_ch9.adb: Handle array of access to synchronized
5570 interface in requeue statement.
5572 2012-01-23 Cyrille Comar <comar@adacore.com>
5574 * projects.texi: Remove references to main units and replace
5575 with references to main programs to be coherent with the
5578 2012-01-23 Robert Dewar <dewar@adacore.com>
5580 * s-utf_32.adb: Minor reformatting.
5582 2012-01-23 Vincent Celier <celier@adacore.com>
5584 * snames.ads-tmpl: Minor comment addition Indicate that
5585 Name_Library_Encapsulated_Options is only used in gprbuild.
5587 2012-01-23 Robert Dewar <dewar@adacore.com>
5589 * sem_ch10.adb (Analyze_Subunit): Properly save/restore cunit
5592 2012-01-23 Ed Schonberg <schonberg@adacore.com>
5594 * snames.ads-tmpl: Add Name_Synchronization.
5595 * aspects.ads, aspects.adb: Add Aspect_Synchronization to
5596 enumeration type and related maps.
5597 * sem_ch13.adb (Analyze_Aspect_Specifications): Handle Aspect
5598 Synchronization, build corresponding pragma Implemented.
5599 * sem_util.adb (Implementation_Kind): Handle both explicit and
5600 implicit pragma_argument association to retrieve the given
5601 synchronization mode.
5603 2012-01-23 Robert Dewar <dewar@adacore.com>
5605 * sem_ch10.adb, errout.adb: Minor reformatting.
5607 2012-01-23 Ed Schonberg <schonberg@adacore.com>
5609 * sem_res.adb (Resolve_Actuals): An actual in a call to an
5610 Ada 2012 Reference function does not lead to a dangerous order
5613 2012-01-23 Gary Dismukes <dismukes@adacore.com>
5615 * exp_util.adb (Is_Iterated_Container): Test
5616 Is_Entity_Name when searching for calls to the default iterator,
5617 to avoid blowing up on indirect calls which have an explicit
5618 dereference as the call name.
5620 2012-01-23 Thomas Quinot <quinot@adacore.com>
5622 * errout.adb (Set_Msg_Node): For an N_Expanded_Name, output
5623 the complete expanded name, rather than just its Selector_Name.
5625 2012-01-23 Thomas Quinot <quinot@adacore.com>
5627 * a-textio.adb (Put): Rewrite one-parameter Character version to
5628 just call the two-parameter one with Current_Out.
5630 2012-01-23 Hristian Kirtchev <kirtchev@adacore.com>
5632 * freeze.adb (Check_Current_Instance): Issue an
5633 error when the prefix of 'Unchecked_Access or 'Access does not
5634 denote a legal aliased view of a type.
5635 (Freeze_Record_Type): Do not halt the processing of record components
5636 once the Has_Controlled_Component is set as this bypasses the remaining
5638 (Is_Aliased_View_Of_Type): New routine.
5640 2012-01-23 Thomas Quinot <quinot@adacore.com>
5642 * errout.ads, freeze.adb: Minor reformatting.
5644 2012-01-23 Thomas Quinot <quinot@adacore.com>
5646 * sem_ch10.adb, sem_prag.adb: Remove redundant apostrophes in error
5649 2012-01-23 Olivier Hainque <hainque@adacore.com>
5651 * adadecode.c (__gnat_decode): Deal with empty input early,
5652 preventing potential erroneous memory access later on.
5654 2012-01-21 Eric Botcazou <ebotcazou@adacore.com>
5657 * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: In the case of a
5658 renaming, preserve the volatileness through the indirection, if any.
5660 2012-01-14 Andreas Schwab <schwab@linux-m68k.org>
5662 * gcc-interface/Makefile.in (OSCONS_EXTRACT): Add
5665 2012-01-10 Pascal Obry <obry@adacore.com>
5667 * prj-nmsc.adb (Check_Library_Attributes):
5668 Kill check for object/source directories for aggregate libraries.
5670 2012-01-10 Matthew Heaney <heaney@adacore.com>
5672 * a-cdlili.adb, a-cdlili.ads, a-cihama.adb, a-cihama.ads, a-coinve.adb,
5673 a-coinve.ads, a-ciorse.adb, a-ciorse.ads, a-coorma.adb, a-coorma.ads,
5674 a-cborma.adb, a-cborma.ads, a-cidlli.adb, a-cidlli.ads, a-cimutr.adb,
5675 a-cimutr.ads, a-cihase.adb, a-cihase.ads, a-cohama.adb, a-cohama.ads,
5676 a-coorse.adb, a-coorse.ads, a-cbhama.adb, a-cbhama.ads, a-cborse.adb,
5677 a-cborse.ads, a-comutr.adb, a-comutr.ads, a-ciorma.adb, a-cobove.adb,
5678 a-ciorma.ads, a-cobove.ads, a-convec.adb, a-convec.ads, a-cohase.adb,
5679 a-cohase.ads, a-cbdlli.adb, a-cbdlli.ads, a-cbmutr.adb, a-cbmutr.ads,
5680 a-cbhase.adb, a-cbhase.ads (Reference, Constant_Reference): Declare
5681 container parameter as aliased in/in out.
5684 2012-01-10 Bob Duff <duff@adacore.com>
5686 * s-os_lib.ads: Improve comment.
5688 2012-01-10 Geert Bosch <bosch@adacore.com>
5690 * s-gearop.adb (Forward_Eliminate): Avoid improper aliasing
5693 2012-01-10 Bob Duff <duff@adacore.com>
5695 * sem_intr.adb (Check_Shift): Use RM_Size instead of Esize, when
5696 checking that the 'Size is correct. If the type is "mod 2**12",
5697 for example, it's illegal, but Esize is the 'Object_Size, which
5698 will be something like 16 or 32, so the error ('Size = 12) was
5700 * gnat_rm.texi: Improve documentation of shift
5701 and rotate intrinsics.
5703 2012-01-10 Pascal Obry <obry@adacore.com>
5705 * prj.adb (For_Every_Project_Imported): Fix
5706 implementation to make sure we return each project only once
5707 for aggragte libraries. It is fine to return a project twice for
5708 aggregate projects, this was the case as a Project_Id is different
5709 in each project tree. The new implementation use a table based on
5710 the project name to ensure proper detection of duplicate project
5711 in aggregate library. A new context is then created to continue
5712 retrurning duplicate project for aggregate libraries.
5714 2012-01-09 Eric Botcazou <ebotcazou@adacore.com>
5716 * gcc-interface/trans.c (call_to_gnu): Create the temporary for the
5717 return value in the variable-sized return type case if the target is
5718 an array with fixed size. However, do not create it if this is the
5719 expression of an object declaration.
5721 2012-01-09 Eric Botcazou <ebotcazou@adacore.com>
5723 * gcc-interface/trans.c (addressable_p) <COMPONENT_REF>: Fix thinko.
5725 2012-01-06 Robert Dewar <dewar@adacore.com>
5727 * a-wichha.ads, a-wichun.ads, a-zchhan.ads, a-zchuni.ads,
5728 s-utf_32.ads: Add pragma Pure
5729 * s-utf_32.adb: Suppress warnings on non-static constants (now
5732 2012-01-06 Bob Duff <duff@adacore.com>
5734 * s-rpc.ads (Read, Write): Add overriding indicators.
5736 2012-01-06 Robert Dewar <dewar@adacore.com>
5738 * gnat_rm.texi: Add documentation for conventions
5739 Ada_Pass_By_Copy and Ada_Pass_By_Reference.
5741 2012-01-06 Gary Dismukes <dismukes@adacore.com>
5743 * a-tienio.adb (Put): Add exception message on
5744 raise statements. Remove unneeded blocks and object declarations.
5746 2012-01-06 Robert Dewar <dewar@adacore.com>
5748 * sem_prag.adb: Minor reformatting.
5750 2012-01-06 Ed Schonberg <schonberg@adacore.com>
5752 * sinfo.ads, sinfo.adb (Has_Prefixed_Call): New flag to indicate
5753 that a selected component within a generic unit has been resolved
5754 as a prefixed call with local references.
5755 * sem_ch3.adb (Is_Visible_Component): In an instance body a selected
5756 component is always visible.
5757 * sem_ch4.adb (Analyze_Selected_Component): If the node is a
5758 prefixed call in an instance, do not look for visible components
5760 * sem_ch12.adb (Reset_Entity): If a selected component has resolved
5761 to a prefixed call, mark the node accordingly when prefix and
5762 selector are local references.
5764 2012-01-02 Eric Botcazou <ebotcazou@adacore.com>
5766 * gnatvsn.ads (Current_Year): Bump to 2012.
5768 Copyright (C) 2012 Free Software Foundation, Inc.
5770 Copying and distribution of this file, with or without modification,
5771 are permitted in any medium without royalty provided the copyright
5772 notice and this notice are preserved.