1 2012-07-16 Tristan Gingold <gingold@adacore.com>
3 * gcc-interface/decl.c (intrin_return_compatible_p): Map Address to
6 2012-07-16 Thomas Quinot <quinot@adacore.com>
8 * exp_ch9.adb (Ensure_Statement_Present): New subprogram.
9 (Expand_N_Asynchronous_Select,
10 Expand_N_Selective_Accept.Process_Accept_Alternative,
11 Expand_N_Selective_Accept.Process_Delay_Alternative,
12 Expand_N_Timed_Entry_Call): For an alternative with no trailing
13 statements, introduce a null statement to carry the sloc of
14 the initial special statement (accept, delay, or entry call)
15 in the alternative, for coverage analysis purposes.
17 2012-07-16 Thomas Quinot <quinot@adacore.com>
19 * sem_eval.adb (In_Subrange_Of): Fix typo in test for scalar
22 2012-07-16 Robert Dewar <dewar@adacore.com>
24 * a-exexpr.adb, freeze.adb, a-exexpr-gcc.adb, a-except-2005.adb,
25 sem_eval.adb, s-fileio.adb: Minor reformatting.
27 2012-07-16 Javier Miranda <miranda@adacore.com>
29 * sem_prag.adb (Analyze_Pragma): Remove support for obsolescent
31 * sem_ch13.adb (Analyze_Freeze_Entity): Add missing error on Ada
32 derivations of CPP types. Found updating the tests affected by
33 the removal of pragma CPP_Class.
35 2012-07-16 Thomas Quinot <quinot@adacore.com>
37 * back_end.adb: Minor reformatting.
39 2012-07-16 Thomas Quinot <quinot@adacore.com>
41 * exp_ch9.adb (Expand_N_Selective_Accept.Process_Accept_Alternative):
42 Remove junk test that was always true. For the case of no statements
43 following the ACCEPT, jump directly to End_Lab instead of
44 introducing an intermediate jump.
45 (Expand_N_Selective_Accept.Process_Delay_Alternative): Fix
46 predicate testing for presence of statements following the DELAY.
47 that was always true. For the case of no statements following
48 the ACCEPT, jump directly to End_Lab instead of introducing an
50 (Expand_N_Selective_Accept): Fix incorrect insertion point for
53 2012-07-16 Thomas Quinot <quinot@adacore.com>
55 * gnat_rm.texi: Minor documentation improvements.
57 2012-07-16 Yannick Moy <moy@adacore.com>
59 * sem_ch13.adb (Analyze_Aspect_Specifications): Allow Pre
60 and Pre'Class aspects on the same declaration.
61 * sem_prag.adb (Chain_PPC): Allow Pre and Pre'Class aspects on the
62 same hierarchy of primitive operations.
64 2012-07-16 Thomas Quinot <quinot@adacore.com>
66 * freeze.adb (Check_Component_Storage_Order): Do not reject a
67 nested composite with different scalar storage order if it is
70 2012-07-16 Thomas Quinot <quinot@adacore.com>
72 * gnat_rm.texi: Update documentation for Scalar_Storage_Order.
74 2012-07-16 Tristan Gingold <gingold@adacore.com>
76 * a-exexpr.adb (Propagate_Exception): Adjust call to
77 Exception_Traces procedures.
78 * a-exexpr-gcc.adb (Setup_Current_Excep): Now a
79 function that returns an access to the Ada occurrence.
80 (Propagate_GCC_Exception): Adjust calls.
81 * raise.h (struct Exception_Occurrence): Declare.
82 * a-exextr.adb: Remove useless pragma. (Notify_Handled_Exception,
83 Notify_Unhandled_Exception) (Unhandled_Exception_Terminate):
85 * a-except.adb (Notify_Handled_Exception,
86 Notify_Unhandled_Exception) (Unhandled_Exception_Terminate):
88 (Process_Raise_Exception): Adjust calls.
89 * a-except-2005.adb (Notify_Handled_Exception,
90 Notify_Unhandled_Exception) (Unhandled_Exception_Terminate): Add
92 (Raise_Exception): Calls Raise_Exception_Always.
93 * raise-gcc.c (__gnat_setup_current_excep,
94 __gnat_notify_handled_exception)
95 (__gnat_notify_unhandled_exception): Adjust declarations.
96 (PERSONALITY_FUNCTION): Adjust calls.
97 (__gnat_personality_seh0): Remove warning.
99 2012-07-16 Javier Miranda <miranda@adacore.com>
101 * sem_eval.adb (Test_Expression_Is_Foldable): Adding documentation.
102 (Eval_Relational_Op): Adding documentation.
104 2012-07-16 Robert Dewar <dewar@adacore.com>
106 * freeze.adb, g-debpoo.adb, exp_ch3.adb: Minor reformatting.
108 2012-07-16 Thomas Quinot <quinot@adacore.com>
110 * s-oscons-tmplt.c: Add definitions of E2BIG and EILSEQ.
112 2012-07-16 Tristan Gingold <gingold@adacore.com>
114 * a-exexpr.adb (Propagate_Continue): New function replacing
116 (Allocate_Occurrence): New function.
117 (Propagate_Exception): Add Excep parameter, remove call to Call_Chain.
118 * a-exexpr-gcc.adb (GNAT_GCC_Exception): Occurrence component
120 (To_GCC_Exception): Convert from Address.
121 (Allocate_Occurrence): Allocate an Unwind exception occurrence.
122 (Setup_Current_Excep): Fill the machine occurrence in case of
124 (Propagate_Exception): Add Excep parameter, remove call to Call_Chain.
125 * a-except.adb (Set_Exception_C_Msg, Set_Exception_Msg): add
127 (Raise_Exception, Raise_Exception_Always,
128 Raise_Exception_No_Defer): Adjust calls to the above procedures.
129 (Raise_From_Signal_Handler, Raise_With_Location_And_Msg)
130 (Rcheck_PE_Finalize_Raised_Exception): Likewise.
131 * a-except-2005.adb (Set_Exception_C_Msg, Set_Exception_Msg):
133 (Propagate_Exception): Likewise.
134 (Allocate_Occurrence): New function.
135 (Raise_Current_Excep): Removed.
136 (Complete_Occurrence): New function to save the call chain.
137 (Complete_And_Propagate_Occurrence): New procedure.
138 (Create_Occurrence_From_Signal_Handler): New function to build an
139 occurrence without propagating it.
140 (Create_Machine_Occurrence_From_Signal_Handler): Likewise, but
141 return the machine occurrence.
142 (Raise_From_Signal_Handler): Use Create_Occurrence_From_Signal_Handler.
143 (Raise_Exception, Raise_Exception_Always, Raise_Exception_No_Defer):
144 Adjust calls to the above procedures. Allocate the occurrence at
146 (Raise_With_Location_And_Msg, Raise_With_Msg)
147 (Rcheck_PE_Finalize_Raised_Exceptionm Reraise): Likewise.
148 (Reraise_Occurrence): Use Reraise_Occurrence_Always.
149 (Reraise_Occurrence_Always): Use Reraise_Occurrence_No_Defer.
150 (Reraise_Occurrence_No_Defer): Preserve machine occurrence.
151 (Save_Occurrence): Do not save machine occurrence.
152 * a-except-2005.ads (Exception_Occurrence): Add Machine_Occurrence
154 (Null_Occurrence): Consider it.
155 * a-exexda.adb (Set_Exception_C_Msg, Set_Exception_Msg): add
158 2012-07-16 Tristan Gingold <gingold@adacore.com>
160 * seh_init.c (__gnat_map_SEH): New function extracted from
161 __gnat_SEH_error_handler.
162 * raise-gcc.c: __gnat_personality_seh0: Directly transforms
163 Windows system exception into GCC one when possible, in order
164 to save stack room (particularly useful when Storage_Error will
167 2012-07-16 Robert Dewar <dewar@adacore.com>
169 * a-direct.adb, g-dirope.adb: Minor reformatting.
171 2012-07-16 Tristan Gingold <gingold@adacore.com>
173 * a-except.ads, a-except-2005.ads: Remove outdated comment.
175 2012-07-16 Robert Dewar <dewar@adacore.com>
177 * sem_ch6.adb (Subprogram_Name_Greater): Fix algorithm to
178 conform to documentation.
180 2012-07-16 Ed Schonberg <schonberg@adacore.com>
182 * gnat1drv.adb (Check_Library_Items): Removed, no longer used.
184 2012-07-16 Ed Schonberg <schonberg@adacore.com>
186 * sem_ch3.adb (Array_Type_Declaration): if component type has
187 invariants, the array type itself requires an invariant procedure.
188 * exp_ch3.ads, exp_ch3.adb (Build_Array_Invariant_Proc): new
189 procedure, to build a checking procedure that applies the
190 invariant check on some type T to each component of an array
191 of T's. Code is similar to the construction of the init_proc
192 for an array, and handles multidimensional arrays by recursing
193 over successive dimensions.
195 2012-07-16 Hristian Kirtchev <kirtchev@adacore.com>
197 * g-debpoo.adb: Revert previous change.
199 2012-07-16 Hristian Kirtchev <kirtchev@adacore.com>
201 * freeze.adb (Freeze_Entity): Insert the itype reference to a
202 library-level class-wide subtype after the freeze node of the
203 equivalent record type.
205 2012-07-16 Pascal Obry <obry@adacore.com>
207 * s-crtl.ads (mkdir): New routine, support encoding.
208 * adaint.h (__gnat_mkdir): Update spec to pass encoding.
209 * mkdir.c (__gnat_mkdir): Add encoding parameter.
210 * a-direct.adb (Create_Directory): Use CRTL.mkdir, parse encoding
212 * g-dirope.adb (Make_Dir): Update to pass encoding parameter.
214 2012-07-16 Pascal Obry <obry@adacore.com>
216 * adaint.c: Minor reformatting.
218 2012-07-16 Steven Bosscher <steven@gcc.gnu.org>
220 * gcc-interface/utils.c: Include timevar.h.
221 * Make-lang.in: Fix dependencies.
223 2012-07-16 Vasiliy Fofanov <fofanov@adacore.com>
225 * ug_words, vms_data.ads: Document VMS qualifiers for -gnatn1/2
228 2012-07-16 Bob Duff <duff@adacore.com>
230 * sinfo.ads: Minor comment fix.
232 2012-07-16 Bob Duff <duff@adacore.com>
234 * sem_elab.adb (Within_Elaborate_All): Walk the with clauses to
235 find pragmas Elaborate_All that may be found in the transitive
236 closure of the dependences.
238 2012-07-16 Robert Dewar <dewar@adacore.com>
240 * exp_pakd.adb, freeze.adb, sem_util.adb, vms_data.ads: Minor
243 2012-07-12 Vasiliy Fofanov <fofanov@adacore.com>
245 * vms_data.ads: Add VMS qualifiers for -gnatn1/2 switches.
247 2012-07-12 Thomas Quinot <quinot@adacore.com>
249 * exp_ch5.adb, exp_pakd.adb, rtsfind.ads, freeze.adb, sem_util.adb,
250 sem_util.ads, exp_aggr.adb
251 (Exp_Aggr.Packed_Array_Aggregate_Handled): Simplify processing
252 for reverse storage order aggregate.
253 (Exp_Pakd.Byte_Swap): New utility routine used by...
254 (Exp_Pakd.Expand_Bit_Packed_Element_Set,
255 Expand_Packed_Element_Reference): For the case of a free-standing
256 packed array with reverse storage order, perform byte swapping.
257 (Rtsfind): Make new entities RE_Bswap_{16,32,64} available.
258 (Freeze.Check_Component_Storage_Order): New utility routine
259 to enforce legality rules for nested composite types whose
260 enclosing composite has an explicitly defined Scalar_Storage_Order
262 (Sem_Util.In_Reverse_Storage_Order_Object): Renamed from
263 Sem_Util.In_Reverse_Storage_Order_Record, as SSO now applies to
265 (Exp_Ch5.Expand_Assign_Array): Remove now unnecessary kludge
266 for change of scalar storage order in assignments. The Lhs and
267 Rhs now always have the same scalar storage order.
269 2012-07-12 Hristian Kirtchev <kirtchev@adacore.com>
271 * g-debpoo.adb (Allocate): Add local constant
272 No_Element. Initialize the allocated memory chunk to No_Element.
274 2012-07-12 Ed Schonberg <schonberg@adacore.com>
276 * sem_ch12.adb (Validate_Derived_Type_Instance): Handle properly
277 the case of an instance of a child unit where a formal derived
278 type DT is an extension of a type T declared in a parent unit,
279 and the actual in the instance of the child is the type T declared
280 in the parent instance, and that actual is not a derived type.
282 2012-07-12 Eric Botcazou <ebotcazou@adacore.com>
283 Tristan Gingold <gingold@adacore.com>
285 * system-hpux-ia64.ads: Enable ZCX by default.
286 * gcc-interface/Makefile.in: Use alternate stack on ia64-hpux.
289 2012-07-12 Robert Dewar <dewar@adacore.com>
291 * s-atopri.adb, s-atopri.ads: Minor reformatting.
293 2012-07-12 Robert Dewar <dewar@adacore.com>
295 * ali.adb: Add circuitry to read new named form of restrictions lines.
296 * debug.adb: Add doc for new -gnatd.R switch (used positional
297 notation for output of restrictions data in ali file).
298 * lib-writ.adb: Implement new named format for restrictions lines.
299 * lib-writ.ads: Add documentation for new named format for
300 restrictions in ali files.
301 * restrict.adb, restrict.ads, sem_prag.adb: Update comments.
302 * rident.ads: Go back to withing System.Rident
303 * s-rident.ads: Add extensive comment on dealing with consistency
306 2012-07-12 Thomas Quinot <quinot@adacore.com>
308 * par_sco.adb, scos.ads: Emit detailed SCOs for SELECT statements.
310 2012-07-12 Robert Dewar <dewar@adacore.com>
312 * sem_disp.adb: Minor reformatting
313 * s-bytswa.ads: Minor comment update.
315 2012-07-12 Vincent Pucci <pucci@adacore.com>
317 * exp_ch9.adb (Build_Lock_Free_Unprotected_Subprogram_Body):
318 Atomic_Load_N replaced by Lock_Free_Read_N. Atomic_Compare_Exchange_N
319 replaced by Lock_Free_Try_Write_N.
320 Renaming of several local variables. For
321 procedure, Expected_Comp declaration moved to the declaration
322 list of the procedure.
323 * rtsfind.ads: RE_Atomic_Compare_Exchange_8,
324 RE_Atomic_Compare_Exchange_16, RE_Atomic_Compare_Exchange_32,
325 RE_Atomic_Compare_Exchange_64, RE_Atomic_Load_8,
326 RE_Atomic_Load_16, RE_Atomic_Load_32, RE_Atomic_Load_64,
327 RE_Atomic_Synchronize, RE_Relaxed removed. RE_Lock_Free_Read_8,
328 RE_Lock_Free_Read_16, RE_Lock_Free_Read_32, RE_Lock_Free_Read_64,
329 RE_Lock_Free_Try_Write_8, RE_Lock_Free_Try_Write_16,
330 RE_Lock_Free_Try_Write_32, RE_Lock_Free_Try_Write_64 added.
331 * s-atopri.adb: New file.
332 * s-atopri.ads (Atomic_Compare_Exchange_8): Renaming of
333 parameters. Import primitive __sync_val_compare_and_swap_1.
334 (Atomic_Compare_Exchange_16): Renaming of parameters.
335 Import primitive __sync_val_compare_and_swap_2.
336 (Atomic_Compare_Exchange_32): Renaming of parameters.
337 Import primitive __sync_val_compare_and_swap_4.
338 (Atomic_Compare_Exchange_64): Renaming of parameters. Import
339 primitive __sync_val_compare_and_swap_8.
340 (Atomic_Load_8): Ptr renames parameter X.
341 (Atomic_Load_16): Ptr renames parameter X.
342 (Atomic_Load_32): Ptr renames parameter X.
343 (Atomic_Load_64): Ptr renames parameter X.
344 (Lock_Free_Read_8): New routine.
345 (Lock_Free_Read_16): New routine.
346 (Lock_Free_Read_32): New routine.
347 (Lock_Free_Read_64): New routine.
348 (Lock_Free_Try_Write_8): New routine.
349 (Lock_Free_Try_Write_16): New routine.
350 (Lock_Free_Try_Write_32): New routine.
351 (Lock_Free_Try_Write_64): New routine.
353 2012-07-12 Robert Dewar <dewar@adacore.com>
355 * exp_attr.adb, exp_ch9.adb, sem_ch9.adb, exp_aggr.adb: Minor
358 2012-07-12 Vincent Pucci <pucci@adacore.com>
360 * sem_dim.adb (Analyze_Dimension_Function_Call): Reformatting of error
361 msgs for elementary functions.
363 2012-07-12 Vincent Pucci <pucci@adacore.com>
365 * sem_attr.adb (Eval_Attribute): Minor reformatting.
367 2012-07-12 Pascal Obry <obry@adacore.com>
369 * prj-nmsc.adb (Check_Library_Attributes): Allow the same library
370 project in different project tree (different aggregated projects).
372 2012-07-12 Thomas Quinot <quinot@adacore.com>
374 * s-bytswa.adb, g-bytswa.adb, g-bytswa.ads, s-bytswa.ads: Further
375 reorganization of byte swapping routines.
377 2012-07-12 Ed Schonberg <schonberg@adacore.com>
379 * sem_disp.adb (Check_Dispatching_Context): Refine legality
380 checks on tagg indeterminate calls to abstract operations,
381 that appear in the context of other calls.
383 2012-07-12 Thomas Quinot <quinot@adacore.com>
385 * s-bytswa.adb (Swapped2.Bswap16): Remove local function,
388 2012-07-12 Javier Miranda <miranda@adacore.com>
390 * exp_attr.adb (Expand_N_Attribute_Reference): For
391 attributes 'access, 'unchecked_access and 'unrestricted_access,
392 iff the current instance reference is located in a protected
393 subprogram or entry then rewrite the access attribute to be the
394 name of the "_object" parameter.
396 2012-07-12 Tristan Gingold <gingold@adacore.com>
398 * raise.h: Revert previous patch: structure is used in init.c
401 2012-07-12 Vincent Celier <celier@adacore.com>
403 * make.adb (Binding_Phase): If --subdirs was used, but not
404 -P, change the working directory to the specified subdirectory
405 before invoking gnatbind.
406 (Linking_Phase): If --subdirs was used, but not -P, change the working
407 directory to the specified subdirectory before invoking gnatlink.
409 2012-07-12 Vincent Pucci <pucci@adacore.com>
411 * exp_ch9.adb (Build_Lock_Free_Unprotected_Subprogram_Body):
412 For a procedure, instead of replacing each Comp reference by a
413 reference to Current_Comp, make a renaming Comp of Current_Comp
414 that rewrites the original renaming generated by the compiler
415 during the analysis. Move the declarations of the procedure
416 inside the generated block.
417 (Process_Stmts): Moved in the body
418 of Build_Lock_Free_Unprotected_Subprogram_Body.
420 Moved in the body of Build_Lock_Free_Unprotected_Subprogram_Body.
421 * sem_ch9.adb (Allows_Lock_Free_Implementation): Restrict any
422 non-elementary out parameters in protected procedures.
424 2012-07-12 Thomas Quinot <quinot@adacore.com>
426 * sem_ch13.adb (Analyze_Attribute_Definition_Clause, case
427 Scalar_Storage_Order): Attribute applies to base type only.
429 2012-07-12 Ed Schonberg <schonberg@adacore.com>
431 * exp_aggr.adb (Convert_To_Positional): Increase acceptable size
432 of static aggregate when Static_Elaboration_Desired is requested.
433 Add a warning if the request cannot be satisfied either because
434 some components or some array bounds are non-static.
436 2012-07-12 Thomas Quinot <quinot@adacore.com>
438 * exp_pakd.adb: Minor reformatting.
440 2012-07-12 Tristan Gingold <gingold@adacore.com>
442 * tracebak.c: Fix warnings.
443 * raise-gcc.c (__gnat_adjust_context): New function
444 (__gnat_personality_seh0): Call __gnat_adjust_context to adjust
445 PC in machine frame for exceptions that occur in the current
448 2012-07-12 Thomas Quinot <quinot@adacore.com>
450 * g-bytswa.adb, g-bytswa.ads, s-bytswa.adb, s-bytswa.ads, Makefile.rtl:
451 Move GNAT.Byte_Swapping to System (with a renaming under GNAT)
452 so that it is usable in expanded code.
454 2012-07-12 Tristan Gingold <gingold@adacore.com>
456 * s-osinte-hpux.ads: Increase alternate stack size on hpux.
458 2012-07-12 Javier Miranda <miranda@adacore.com>
460 * exp_ch3.adb (Make_Neq_Body): Fix typo in comment.
462 2012-07-12 Eric Botcazou <ebotcazou@adacore.com>
464 * tb-gcc.c (trace_callback): On IA-64/HP-UX, use workaround only
465 if USE_LIBUNWIND_EXCEPTIONS is defined.
466 * init.c: Further tweaks for IA-64/HP-UX.
468 2012-07-12 Tristan Gingold <gingold@adacore.com>
470 * raise-gcc.c: Do not include unwind-dw2-fde.h. Adjust comments.
471 (db_region_for): Second argument is ip. Do not recompute ip.
472 (action_kind): Remove typedef, add unhandler enum const.
473 (action_descriptor): Adjust type of kind field.
474 (db_action_for): Second argument is ip, do not recompute it.
475 (get_call_site_action_for): First argument is call_site, do not
476 recompute it. Remove useless return.
477 (is_handled_by): Now return enum action_kind.
478 Handle GNAT_ALL_OTHERS first.
479 Return unhandler for GNAT_UNHANDLED_OTHERS.
480 (get_action_description_for): First argument is now ip, do not
481 recompute it. Adjust code for call to is_handled_by.
482 (__gnat_notify_unhandled_exception): Add prototype.
483 (PERSONALITY_FUNCTION): Call get_ip_from_context. Adjust calls.
484 Handle unhandler case.
485 (__gnat_cleanupunwind_handler): Add comments, add
486 ATTRIBUTE_UNUSED on arguments.
487 (__gnat_Unwind_RaiseException, __gnat_Unwind_ForcedUnwind): Define
489 * raise.h: Makes struct Exception_Data opaque.
491 2012-07-12 Robert Dewar <dewar@adacore.com>
493 * make.adb, sem_ch9.adb, prj.adb, s-rident.ads, snames.ads-tmpl: Minor
496 2012-07-12 Javier Miranda <miranda@adacore.com>
498 * exp_ch3.adb (Is_User_Defined_Equality): New subprogram.
499 (Make_Neq_Body): New subprogram.
500 (Make_Predefined_Primitive_Specs): Adding local variable
501 Has_Predef_Eq_ Renaming to ensure that we enable the machinery
502 which handles renamings of predefined primitive operators.
504 2012-07-09 Pascal Obry <obry@adacore.com>
506 * prj.adb (For_Every_Project_Imported_Context): Make sure we
507 callback with the project having sources.
510 2012-07-09 Eric Botcazou <ebotcazou@adacore.com>
512 * make.adb: Fix typo.
514 2012-07-09 Vincent Pucci <pucci@adacore.com>
516 * sem_ch9.adb (Check_Node): Allow attributes
517 that denote static function for lock-free implementation.
518 (Is_Static_Function): New routine.
520 2012-07-09 Tristan Gingold <gingold@adacore.com>
522 * tracebak.c: Adjust skip_frames on Win64.
524 2012-07-09 Tristan Gingold <gingold@adacore.com>
526 * init.c: Add __gnat_adjust_context_for_raise for ia64/hpux.
527 * raise-gcc.c: __gnat_cleanupunwind_handler: Do not call
528 _Unwind_GetGR on hpux when using libgcc unwinder. Part of
530 2012-07-09 Vincent Pucci <pucci@adacore.com>
532 * exp_attr.adb, sem_attr.adb: Minor reformatting.
533 * par-ch13.adb, par-ch4.adb, par-util.adb: Reformatting
534 considering that internal attribute names are not defined anymore
535 in the main attribute names list.
536 * snames.adb-tmpl (Get_Attribute_Id): Special processinf
537 for names CPU, Dispatching_Domain and Interrupt_Priority.
538 (Is_Internal_Attribute_Name): Minor reformatting.
539 * snames.ads-tmpl: New list of internal attribute names. Internal
540 attributes moved at the end of the attribute Id list.
542 2012-07-09 Robert Dewar <dewar@adacore.com>
544 * freeze.adb: Minor code reorganization (use Ekind_In).
545 * exp_attr.adb, sem_ch9.adb par-ch4.adb, s-taprop-mingw.adb,
546 sem_attr.adb, exp_ch8.adb, snames.adb-tmpl, par-util.adb,
547 sem_ch13.adb, snames.ads-tmpl: Minor reformatting.
549 2012-07-09 Tristan Gingold <gingold@adacore.com>
551 * raise-gcc.c: Adjust previous patch.
553 2012-07-09 Vincent Celier <celier@adacore.com>
555 * make.adb (Compilation_Phase): Do not build libraries in
556 Codepeer mode (do not call Library_Phase).
558 2012-07-09 Ed Schonberg <schonberg@adacore.com>
560 * sem_ch13.adb: Extend previous change to elementary types.
562 2012-07-09 Javier Miranda <miranda@adacore.com>
564 * exp_ch8.adb (Expand_N_Subprogram_Renaming_Declaration): Reverse
565 previous patch since unconditionally handling as renaming_as_body
566 renamings of predefined dispatching equality and unequality operator
567 cause visibility problems with private overridings of the equality
568 operator (see ACATS C854001).
570 2012-07-09 Vincent Pucci <pucci@adacore.com>
572 * exp_attr.adb (Signal_Bad_Attribute): Raise Program_Error in
573 case of internal attribute names (already rejected by the parser).
574 * par-ch13.adb (P_Representation_Clause): Complain if an internal
575 attribute name that comes from source occurs.
576 * par-ch4.adb (P_Name): Complain if an internal attribute name
577 occurs in the context of an attribute reference.
578 * par-util.adb (Signal_Bad_Attribute): Don't complain about
579 mispelling attribute with internal attributes.
580 * sem_attr.adb (Analyze_Attribute): Raise Program_Error in case
581 of internal attribute names (already rejected by the parser).
582 * snames.adb-tmpl (Is_Internal_Attribute_Name): New routine.
583 * snames.ads-tmpl: Attributes CPU, Dispatching_Domain and
584 Interrupt_Priority are marked as INT attributes since they
585 don't denote real attribute and are only used internally in
587 (Is_Internal_Attribute_Name): New routine.
589 2012-07-09 Thomas Quinot <quinot@adacore.com>
591 * einfo.adb (Set_Reverse_Storage_Order): Update assertion,
592 flag is now valid for array types as well.
594 2012-07-09 Tristan Gingold <gingold@adacore.com>
596 * tracebak.c: Implement __gnat_backtrace for Win64 SEH.
598 2012-07-09 Robert Dewar <dewar@adacore.com>
600 * einfo.ads: Minor reformatting.
602 2012-07-09 Javier Miranda <miranda@adacore.com>
604 * exp_ch8.adb (Expand_N_Subprogram_Renaming_Declaration): Handle as
605 renaming_as_body renamings of predefined dispatching equality
606 and unequality operators.
608 2012-07-09 Robert Dewar <dewar@adacore.com>
610 * rident.ads: Do not instantiate r-ident.ads, this is now an
613 2012-07-09 Javier Miranda <miranda@adacore.com>
615 * exp_disp.adb (Write_DT): Avoid runtime crash of this debugging
617 * sem_disp.adb (Find_Dispatching_Time): Protect this routine
618 against partially decorated entities.
620 2012-07-09 Ed Schonberg <schonberg@adacore.com>
622 * sem_ch13.adb (Check_Size): Reject a size clause that specifies
623 a value greater than Int'Last for a scalar type.
625 2012-07-09 Vincent Pucci <pucci@adacore.com>
627 * sem_ch9.adb (Allows_Lock_Free_Implementation): type must support
628 atomic operation moved to the protected body case. No non-elementary
629 out parameter moved to the protected declaration case. Functions have
630 only one lock-free restriction.
631 (Analyze_Protected_Type_Declaration): Issue a warning when
632 Priority given with Lock_Free.
634 2012-07-09 Vincent Pucci <pucci@adacore.com>
636 * sem_dim.adb: Grammar of aspect Dimension fixed.
638 2012-07-09 Vincent Pucci <pucci@adacore.com>
640 * freeze.adb (Freeze_Record_Type): Code reorg in order to avoid
641 pushing and popping the scope stack whenever a delayed aspect occurs.
643 2012-07-09 Gary Dismukes <dismukes@adacore.com>
645 * s-os_lib.ads: Remove pragma Elaborate_Body, as
646 this is now unnecessary due to recently added pragma Preelaborate.
648 2012-07-09 Jose Ruiz <ruiz@adacore.com>
650 * s-taprop-mingw.adb (Set_Priority): Remove the code that was
651 previously in place to reorder the ready queue when a task drops
652 its priority due to the loss of inherited priority.
654 2012-07-09 Robert Dewar <dewar@adacore.com>
656 * layout.adb, i-cstrea.ads, a-ststio.ads, prj-util.ads, sem_cat.adb,
657 s-commun.ads, s-ficobl.ads, s-os_lib.ads, s-fileio.ads: Minor
660 2012-07-09 Eric Botcazou <ebotcazou@adacore.com>
662 * raise-gcc.c: Update comments. Fix typo.
664 2012-07-09 Thomas Quinot <quinot@adacore.com>
666 * einfo.adb, einfo.ads, sem_attr.adb, sem_ch13.adb: Attribute
667 Scalar_Storage_Order can be defined or queried for array types as well
670 2012-07-09 Tristan Gingold <gingold@adacore.com>
672 * a-exexpr-gcc.adb (CleanupUnwind_Handler): Now imported from
674 * raise-gcc.c (__gnat_cleanupunwind_handler): Defined.
675 Strictly follow the ABI convention on ia64.
677 2012-07-09 Gary Dismukes <dismukes@adacore.com>
679 * a-ststio.ads: Add pragma Preelaborate, per AI05-0283.
680 * i-cstrea.ads (max_path_len): Change from variable to deferred
681 constant to allow it to be used as a bound in string component
682 in type System.File_IO.Temp_File_Record.
683 * s-os_lib.ads, s-commun.ads, s-ficobl.ads, s-fileio.ads: Add pragma
685 * s-fileio.adb (Get_Case_Sensitive): Move function inside
687 (File_Names_Case_Sensitive): Move variable inside
688 procedure Open, to avoid violation of Preelaborate restriction
689 (due to call to Get_Case_Sensitive).
691 2012-07-09 Ed Schonberg <schonberg@adacore.com>
693 * layout.adb (Set_Elem_Alignment): Protect against meaningless
694 size clause, to prevent overflow in internal computation of
697 2012-07-09 Robert Dewar <dewar@adacore.com>
699 * freeze.adb, prj-util.adb, prj-util.ads, sem_ch13.adb: Minor
702 2012-07-09 Gary Dismukes <dismukes@adacore.com>
704 * sem_cat.adb (Check_Categorization_Dependencies):
705 Allow dependence of both Remote_Types and Remote_Call_Interface
706 declarations (not just Remote_Types units) on preelaborated
707 units, but require that the dependence be made via a private
708 with_clause. Issue a specialized error message.
710 2012-07-09 Pascal Obry <obry@adacore.com>
712 * prj-util.adb, prj-util.ads (For_Interface_Sources): New routine.
714 2012-07-09 Tristan Gingold <gingold@adacore.com>
716 * seh_init.c (__gnat_SEH_error_handler): On Win64 and SEH,
717 return for unknown exceptions.
718 * raise-gcc.c (__gnat_personality_seh0): Call __gnat_SEH_error_handler.
720 2012-07-09 Joel Brobecker <brobecker@adacore.com brobecker>
722 * exp_dbug.ads (No_Dollar_In_Label): Delete.
724 2012-07-09 Vincent Pucci <pucci@adacore.com>
726 * sem_ch13.adb (Check_Overloaded_Name): New routine.
728 2012-07-09 Vincent Pucci <pucci@adacore.com>
730 * freeze.adb (Freeze_Record_Type): Analyze the delayed aspects of the
731 components in a record type.
733 2012-07-09 Pascal Obry <obry@adacore.com>
735 * prj-util.ads: Minor reformatting.
737 2012-07-09 Tristan Gingold <gingold@adacore.com>
739 * raise-gcc.c (db_indent): Simplify style, improve comments.
740 Remove !IN_RTS part (dead).
742 2012-07-09 Robert Dewar <dewar@adacore.com>
744 * usage.adb: Minor change to format of -gnatn line.
746 2012-07-09 Tristan Gingold <gingold@adacore.com>
748 * a-exexpr-gcc.adb: Reorder routine.
750 2012-07-09 Vincent Celier <celier@adacore.com>
752 * lib-writ.ads: Add documentation for the Z lines (implicitly
753 withed units) and Y lines (limited withed units).
755 2012-07-09 Robert Dewar <dewar@adacore.com>
757 * lib.ads, exp_attr.adb, exp_ch9.adb, sem_dim.adb, sem_ch9.adb,
758 sem_prag.adb, sem_ch12.adb, mlib-utl.adb, freeze.adb, sem_res.adb,
759 sem_attr.adb, sem_case.adb, gnatlink.adb, exp_ch4.adb, sem_ch6.adb,
760 sem_elim.adb, s-dimmks.ads, sem_ch13.adb: Minor code clean ups.
762 2012-07-09 Eric Botcazou <ebotcazou@adacore.com>
764 * gnat_ugn.texi (Switches for gcc): Document -gnatn[12] only
765 lightly in the summary and more thoroughly in inlining section.
766 (Performance Considerations): Document -gnatn[12] in inlining
769 2012-07-09 Tristan Gingold <gingold@adacore.com>
771 * a-exexpr-gcc.adb (Unhandled_Except_Handler): New procedure.
772 (Unhandled_Others_Value): New const.
773 * raise-gcc.c (GNAT_UNHANDLED_OTHERS): Define.
774 (action_descriptor): Remove ttype_entry.
775 (get_action_description_for): Do not assign ttype_entry.
776 (is_handled_by): Consider GNAT_UNHANDLED_OTHERS.
778 2012-07-03 Eric Botcazou <ebotcazou@adacore.com>
780 * gcc-interface/trans.c (Call_to_gnu): Robustify test for function case
781 if the CICO mechanism is used.
783 2012-07-03 Eric Botcazou <ebotcazou@adacore.com>
785 * gcc-interface/utils2.c (build_simple_component_ref): Do not look
786 through an extension if the type contains a placeholder.
788 2012-07-03 Eric Botcazou <ebotcazou@adacore.com>
790 * exp_disp.adb (Expand_Dispatching_Call): Propagate the convention on
791 the designated subprogram type and also set Is_Dispatch_Table_Entity.
792 (Expand_Interface_Thunk): Propagate the convention on the thunk.
793 (Set_CPP_Constructors_Old): Set Is_Constructor and Convention_CPP on
794 the internal view of the constructors.
795 (Set_CPP_Constructors): Likewise.
796 * sem_prag.adb (Analyze_Pragma) <Pragma_CPP_Constructor>: Set the
797 convention on the function.
798 * gcc-interface/gigi.h (is_cplusplus_method): Declare.
799 * gcc-interface/decl.c (Has_Thiscall_Convention): New macro.
800 (gnat_to_gnu_entity) <E_Subprogram_Type>: Test it to set the `thiscall'
802 (get_minimal_subprog_decl): Likewise.
803 (is_cplusplus_method): New predicate.
804 * gcc-interface/trans.c (Attribute_to_gnu) <Attr_Access>: Issue an
805 error on access to C++ constructor or member function.
807 2012-07-03 Eric Botcazou <ebotcazou@adacore.com>
809 * gcc-interface/utils.c (gnat_pushdecl): Set TYPE_CONTEXT for types
810 attached to a TYPE_DECL.
812 2012-06-26 Vincent Pucci <pucci@adacore.com>
814 * exp_ch3.adb (Build_Init_Statements): Don't check the parents
815 in the Rep Item Chain of the task for aspects Interrupt_Priority,
816 Priority, CPU and Dispatching_Domain.
817 * exp_ch9.adb (Expand_N_Task_Type_Declaration): fields _Priority,
818 _CPU and _Domain are present in the corresponding record type
819 only if the task entity has a pragma, attribute definition
820 clause or aspect specification.
821 (Make_Initialize_Protection): Don't check the parents in the Rep Item
822 Chain of the task for aspects Interrupt_Priority, Priority, CPU and
824 * freeze.adb (Freeze_Entity): Use of Evaluate_Aspects_At_Freeze_Point
825 call replaced by Analyze_Aspects_At_Freeze_Point.
826 * sem_ch13.adb, sem_ch13.ads (Analyze_Aspects_At_Freeze_Point):
827 Renaming of Evaluate_Aspects_At_Freeze_Point.
829 2012-06-26 Yannick Moy <moy@adacore.com>
831 * sem_attr.adb (Analyze_Attribute): Detect if 'Old is used outside a
832 postcondition, and issue an error in such a case.
834 2012-06-26 Yannick Moy <moy@adacore.com>
836 * gnat_rm.texi: Minor editing.
838 2012-06-26 Tristan Gingold <gingold@adacore.com>
840 * raise-gcc.c: Minor cleanup: remove unused prototype.
841 * seh_init.c: Do not create an image wide unwind info to catch
842 SEH when SEH unwind info are emitted by the compiler.
844 2012-06-19 Steven Bosscher <steven@gcc.gnu.org>
846 * gcc-interface/trans.c: Include target.h.
847 (gigi): Try to put out .ident with targetm.asm_out.output_ident.
848 Remove uses of ASM_OUTPUT_IDENT.
849 * gcc-interface/Make-lang.in: Fix dependencies.
851 2012-06-15 Eric Botcazou <ebotcazou@adacore.com>
854 * gcc-interface/gigi.h (maybe_vector_array): Make static inline.
855 * gcc-interface/utils.c (maybe_vector_array): Delete.
856 * gcc-interface/trans.c (gnat_to_gnu) <N_Indexed_Component>: Mark the
857 array object as addressable if it has vector type and is on the LHS.
859 2012-06-15 Eric Botcazou <ebotcazou@adacore.com>
862 * gcc-interface/misc.c (gnat_init_options_struct): Set
863 opts->x_flag_delete_dead_exceptions to 1.
865 2012-06-14 Jose Ruiz <ruiz@adacore.com>
867 * gcc-interface/Make-lang.in (ada.install-common, ada.uninstall):
868 Use the prefix specified with the --program-prefix configure option
869 to determine the install name of the Ada tools.
870 (ada.all.cross): Use a for loop to iterate over the set of Ada tools
871 instead of duplicate the same processing.
874 2012-06-14 Vincent Pucci <pucci@adacore.com>
876 * exp_ch6.adb (Expand_Call): Expand_Put_Call_With_Dimension_Symbol
877 call replaced by Expand_Put_Call_With_Symbol call.
878 * sem_dim.adb: New fields Unit_Names, Unit_Symbols
879 and Dim_Symbols for record type System_Type.
880 (From_Dimension_To_String_Of_Symbols): Removed.
881 (From_Dim_To_Str_Of_Dim_Symbols): Renames previous
882 routine From_Dimension_To_String_Of_Symbols.
883 (From_Dim_To_Str_Of_Unit_Symbols): New routine.
884 (Analyze_Aspect_Dimension): argument Symbol in aspect
885 Dimension aggregate is optional. Named association implemented.
886 (Has_Compile_Time_Known_Expressions): Removed.
887 (Analyze_Aspect_Dimension_System): New
888 component Dim_Symbol in each Dimension aggregate in
889 aspect Dimension_System. Named associations implemented.
890 (Add_Dimension_Vector_To_Buffer): Removed.
891 (Add_Whole_To_Buffer): Removed.
892 (Expand_Put_Call_With_Dimension_Symbol.): Removed.
893 (Expand_Put_Call_With_Symbol): Renames previous routine
894 Expand_Put_Call_With_Dimension_Symbol.
895 (Has_Dimension_Symbols): Removed.
896 (Has_Symbols): Renames previous routine
897 Has_Dimension_Symbols. (Store_String_Oexpon): New routine.
898 * sem_dim.ads (Expand_Put_Call_With_Dimension_Symbol.): Removed.
899 (Expand_Put_Call_With_Symbol): Renames previous routine
900 Expand_Put_Call_With_Dimension_Symbol.
901 * s-diflio.adb, s-diinio.adb (Put): Symbol renames Symbols.
902 (Put_Dim_Of): New routines.
903 * s-diflio.ads, s-diinio.ads: documentation updated.
904 (Put): Symbol renames Symbols.
905 (Put_Dim_Of): New routines.
906 * s-dim.ads: documentation updated.
907 * s-dimmks.ads: dimensioned type and subtypes updated.
908 * snames.ads-tmpl: Name_Dim_Symbol, Name_Put_Dim_Of, Name_Symbol,
909 and Name_Unit_Symbol added. Name_Symbols removed.
911 2012-06-14 Vincent Pucci <pucci@adacore.com>
913 * freeze.adb (In_Exp_Body): Expression function case added.
914 (Freeze_Expression): Insert the Freeze_Nodes
915 list before the correct current scope in case of a quantified
918 2012-06-14 Pascal Obry <obry@adacore.com>
920 * projects.texi: Document the Install package for gprinstall.
921 2012-06-14 Ed Schonberg <schonberg@adacore.com>
923 * sem_elim.adb (Check_For_Eliminated_Subprogram): Do not check within
924 a default expression.
925 * sem_res.adb (Resolve_Call): simplify code.
927 2012-06-14 Ed Schonberg <schonberg@adacore.com>
929 * sem_case.adb (Check, Issue_Msg): within an instance, non-other
930 values in a variant part or a case expression do not have to
931 belong to the actual subtype.
933 2012-06-14 Ed Schonberg <schonberg@adacore.com>
935 * sem_ch12.adb (Validate_Derived_Type_Instance): If parent is
936 an interface type, check whether it is itself a previous formal
937 already instantiated in the current list of actuals.
939 2012-06-14 Ed Schonberg <schonberg@adacore.com>
941 * sem_ch13.adb (Check_Aspect_At_End_Of_Declarations): The
942 expression for a stream attribute is a name that may be overloaded
943 with other declarations. To determine whether it matches the
944 aspect at the freeze point, it is necessary to verify that one
945 of its interpretations matches.
947 2012-06-14 Robert Dewar <dewar@adacore.com>
949 * exp_ch7.adb, exp_util.adb, sem_aux.ads, exp_ch9.adb,
950 sem_ch10.adb, freeze.adb, sem_util.adb, exp_ch4.adb,
951 s-taprop-dummy.adb: Minor reformatting.
953 2012-06-14 Vincent Pucci <pucci@adacore.com>
955 * exp_attr.adb (Expand_N_Attribute_Reference): Lock_Free
956 attribute case added.
957 * par-prag.adb (Prag): Lock_Free pragma case added.
958 * sem_attr.adb (Analyze_Attribute_Reference): Lock_Free attribute
960 * sem_ch13.adb (Analyze_Aspect_Specifications): Record_Rep_Item
961 call added for Aspect_Lock_Free.
962 * sem_ch9.adb (Allows_Lock_Free_Implementation): New Lock_Free
963 error messages for subprogram bodies.
964 (Lock_Free_Disabled): New routine.
965 (Analyze_Protected_Body): Call to Lock_Free_Disabled added.
966 * sem_prag.adb (Analyze_Pragma): Lock_Free pragma case added.
967 * snames.adb-tmpl (Get_Pragma_Id): Name_Lock_Free case added.
968 (Is_Pragma_Name): Name_Lock_Free case added.
969 * snames.ads-tmpl: Attribute_Lock_Free and Pragma_Lock_Free added.
971 2012-06-14 Ed Schonberg <schonberg@adacore.com>
973 * a-coorma.adb, a-cborma.adb, a-cbhama.adb, a-ciorma.adb: Add missing
976 2012-06-14 Bob Duff <duff@adacore.com>
978 * lib.ads, lib.adb, sem.adb (Write_Unit_Info): Move this
979 procedure from Sem body to Lib spec, so it can be used for
982 2012-06-14 Ed Schonberg <schonberg@adacore.com>
984 * sem_ch6.adb (Check_Conformance): Add Ada 2012 check on mode
985 conformance: "aliased" must apply to both or neither formal
988 2012-06-14 Gary Dismukes <dismukes@adacore.com>
990 * exp_ch9.adb: Minor reformatting.
992 2012-06-14 Thomas Quinot <quinot@adacore.com>
994 * freeze.adb (Freeze_Record_Type): Warn about useless bit order
995 specification [when there's no component clause] regardless
996 of whether the specified bit order is reversed or not.
998 2012-06-14 Tristan Gingold <gingold@adacore.com>
1000 * raise-gcc.c (__gnat_personality_seh0): New function.
1002 2012-06-14 Tristan Gingold <gingold@adacore.com>
1004 * gnatname.adb (Gnatname): Make sure that dynamic table
1005 argument_data is initialized.
1007 2012-06-14 Robert Dewar <dewar@adacore.com>
1009 * sem_aux.adb: Minor code reorganization.
1011 2012-06-14 Vincent Pucci <pucci@adacore.com>
1013 * einfo.adb einfo.ads (Get_Rep_Item): Removed.
1014 (Get_Rep_Item_For_Entity): Removed.
1015 (Get_Rep_Pragma): Removed.
1016 (Get_Rep_Pragma_For_Entity): Removed.
1017 (Has_Rep_Item): Removed.
1018 (Has_Rep_Pragma): Removed.
1019 (Has_Rep_Pragma_For_Entity): Removed.
1020 * exp_ch9.adb (Expand_N_Task_Type_Declaration):
1021 Has_Rep_Pragma_For_Entity replaced by Has_Rep_Pragma
1022 and Get_Rep_Pragma_For_Entity replaced by Get_Rep_Pragma.
1023 (Make_Task_Create_Call): Has_Rep_Pragma_For_Entity replaced
1024 by Has_Rep_Pragma and Get_Rep_Pragma_For_Entity replaced by
1026 * exp_intr.adb: Dependency to Sem_Aux added for call to Get_Rep_Pragma.
1027 * sem_aux.adb (Get_Rep_Item): New routine.
1028 (Get_Rep_Pragma): New routine.
1029 (Has_Rep_Item): New routine.
1030 (Has_Rep_Pragma): New routine.
1031 (Nearest_Ancestor): Minor reformatting.
1032 * sem_aux.ads (Get_Rep_Item): New routine.
1033 (Get_Rep_Pragma): New routine.
1034 (Has_Rep_Item): New routine.
1035 (Has_Rep_Pragma): New routine.
1036 * sem_ch13.adb (Duplicate_Clause): Restore original error messages.
1037 * sem_eval.adb (Subtypes_Statically_Match): Get_Rep_Item_For_Entity
1038 replaced by Get_Rep_Item.
1039 * sem_prag.adb (Analyze_Pragma): Restore original error messages.
1040 (Check_Duplicate_Pragma): Restore original error messages.
1042 2012-06-14 Ed Schonberg <schonberg@adacore.com>
1044 * sem_util.adb (Is_Object_Reference): in Ada 2012, qualified
1045 expressions are valid names.
1047 2012-06-14 Ed Schonberg <schonberg@adacore.com>
1049 * sem_ch10.adb (Analyze_Compilation_Unit): If the unit is an
1050 instantiation do not emit warnings for obsolescent units. The
1051 warnings belong on the corresponding generic.
1053 2012-06-14 Hristian Kirtchev <kirtchev@adacore.com>
1055 * einfo.adb: Update the usage of Node15.
1056 (Return_Flag_Or_Transient_Decl): Removed.
1057 (Set_Return_Flag_Or_Transient_Decl): Removed.
1058 (Set_Status_Flag_Or_Transient_Decl): New routine.
1059 (Status_Flag_Or_Transient_Decl): New routine.
1060 (Write_Field15_Name): Update the output for variables and constants.
1061 * einfo.ads: Remove attribute
1062 Return_Flag_Or_Transient_Decl along with occurrences in nodes.
1063 (Return_Flag_Or_Transient_Decl): Removed along with pragma Inline.
1064 (Set_Return_Flag_Or_Transient_Decl): Removed along with pragma Inline.
1065 (Set_Status_Flag_Or_Transient_Decl): New routine along with pragma
1067 (Status_Flag_Or_Transient_Decl): New routine along with pragma Inline.
1068 * exp_ch4.adb (Create_Alternative): New routine.
1069 (Expand_N_Conditional_Expression): Handle the case
1070 where at least one of the conditional expression
1071 alternatives prodices a controlled temporary by means of a function
1073 (Is_Controlled_Function_Call): New routine.
1074 (Process_Transient_Object): Update the call to
1075 Set_Return_Flag_Or_Transient_Decl.
1076 * exp_ch6.adb (Enclosing_Context): New routine.
1077 (Expand_N_Extended_Return_Statement): Update all calls to
1078 Set_Return_Flag_Or_Transient_Decl.
1079 (Expand_Ctrl_Function_Call): Prohibit the finalization of a controlled
1080 function result when the context is a conditional expression.
1081 * exp_ch7.adb (Process_Declarations): Update all calls to
1082 Return_Flag_Or_Transient_Decl. Add processing for intermediate
1083 results of conditional expressions where one of the alternatives
1084 uses a controlled function call.
1085 (Process_Object_Declaration): Update all calls to
1086 Return_Flag_Or_Transient_Decl and rearrange the logic to process
1087 "hook" objects first.
1088 (Process_Transient_Objects): Update the call to
1089 Set_Return_Flag_Or_Transient_Decl.
1090 * exp_util.adb (Requires_Cleanup_Actions (List_Id, Boolean,
1091 Boolean)): Update all calls to Return_Flag_Or_Transient_Decl. Add
1092 detection for intermediate results of conditional expressions
1093 where one of the alternatives uses a controlled function call.
1095 2012-06-13 Eric Botcazou <ebotcazou@adacore.com>
1098 2012-05-19 Eric Botcazou <ebotcazou@adacore.com>
1100 * gcc-interface/decl.c (Has_Thiscall_Convention): New macro.
1101 (gnat_to_gnu_entity) <E_Subprogram_Type>: Test it to set the thiscall
1103 (get_minimal_subprog_decl): Likewise.
1104 (gnat_first_param_is_class): New predicate.
1106 2012-06-12 Robert Dewar <dewar@adacore.com>
1108 * gcc-interface/Make-lang.in: Update dependencies.
1109 * sem_ch9.ads, einfo.adb, einfo.ads, sem_prag.adb, freeze.adb,
1110 sem_util.adb, sem_ch13.adb, sem_ch13.ads, exp_ch3.adb: Add comments.
1113 2012-06-12 Ed Schonberg <schonberg@adacore.com>
1115 * sem_ch12.adb (Instantiate_Formal_Subprogram): Remove code that
1116 implements AI05-0296, because the actual may be overloaded.
1117 * sem_ch8.adb (Analyze_Subprogram_Renaming): and move it here,
1118 to be applied once the actual subprogram is properly resolved.
1120 2012-06-12 Robert Dewar <dewar@adacore.com>
1122 * switch-c.adb, a-exexpr-gcc.adb: Minor reformatting.
1124 2012-06-12 Vincent Pucci <pucci@adacore.com>
1126 * checks.adb (Tag_Checks_Suppressed): Remove Kill_Tag_Checks check.
1127 * einfo.adb (Universal_Aliasing): Apply to the implementation
1128 base type instead of the base type.
1129 (Get_Rep_Item_For_Entity):
1130 Return a pragma if the pragma node is not present in the Rep
1131 Item chain of the parent.
1132 (Kill_Tag_Checks): Removed (unused flag).
1133 (Set_Kill_Tag_Checks): Removed.
1134 (Get_First_Rep_Item): New routine.
1135 (Get_Rep_Pragma_For_Entity): New routine.
1136 (Has_Rep_Item): New routine.
1137 (Has_Rep_Pragma_For_Entity): New routine.
1138 (Present_In_Rep_Item): New routine.
1139 * einfo.ads (Kill_Tag_Checks): Removed.
1140 (Set_Kill_Tag_Checks): Removed.
1141 (Get_First_Rep_Item): New routine.
1142 (Get_Rep_Pragma_For_Entity): New routine.
1143 (Has_Rep_Item): New routine.
1144 (Has_Rep_Pragma_For_Entity): New routine.
1145 (Present_In_Rep_Item): New routine.
1146 * exp_attr.adb, sem_attr.adb: Attribute_CPU,
1147 Attribute_Dispatching_Domain and Attribute_Interrupt_Priority
1149 * exp_ch13.adb (Expand_N_Attribute_Definition_Clause): For
1150 attribute Storage_Size, insert the new assignement statement
1151 after the Size variable declaration.
1152 * exp_ch3.adb (Build_Init_Statements): Fill the CPU,
1153 Dispatching_Domain, Priority and Size components with the Rep
1154 Item expression (if any).
1155 * exp_ch9.adb (Expand_N_Task_Type_Declaration): _CPU,
1156 _Priority, _Domain fields are always present in the
1157 corresponding record type.
1158 (Find_Task_Or_Protected_Pragma): Removed.
1159 (Get_Relative_Deadline_Pragma): New routine.
1160 (Make_Initialize_Protection): Find_Task_Or_Protected_Pragma removed.
1161 (Make_Task_Create_Call): Check CPU, Size or
1162 Dispatching_Domain Rep Item is present using new routine Has_Rep_Item.
1163 * freeze.adb (Freeze_All): Push_Scope_And_Install_Discriminants
1164 and Uninstall_Discriminants_And_Pop_Scope calls added.
1165 (Freeze_Entity): Evaluate_Aspects_At_Freeze_Point call added.
1166 * sem_aux.adb (Nearest_Ancestor): Retrieve the nearest ancestor
1167 for private derived types.
1168 * sem_ch13.adb (Analyze_Aspect_Specifications): Clean-up
1169 and reordering. Delay analysis for all aspects (except some
1171 (Analyze_Attribute_Definition_Clause):
1172 Attribute_CPU, Attribute_Dispatching_Domain,
1173 Interrupt_Priority and Attribute_Priority cases added.
1174 (Analyze_Freeze_Entity): Push_Scope_And_Install_Discriminants
1175 and Uninstall_Discriminants_And_Pop_Scope calls added.
1176 (Check_Aspect_At_Freeze_Point): Reordering and clean-up.
1177 (Duplicate_Clause): Issue an explicit error msg when the current
1178 clause duplicates an aspect specification, an attribute definition
1180 (Evaluate_Aspects_At_Freeze_Point): New routine.
1181 * sem_ch13.ads (Evaluate_Aspects_At_Freeze_Point): New routine.
1182 * sem_ch9.adb, sem_ch9.ads (Install_Discriminants): New routine.
1183 (Push_Scope_And_Install_Discriminants): New routine.
1184 (Uninstall_Discriminants): New routine.
1185 (Uninstall_Discriminants_And_Pop_Scope): New routine.
1186 * sem_prag.adb (Check_Duplicate_Pragma): Issue an explicit error
1187 msg when the current pragma duplicates an aspect specification,
1188 an attribute definition clause or a pragma.
1189 (Analyze_Pragma): Remove use of flags Has_Pragma_CPU,
1190 Has_Pragma_Priority and Has_Pragma_Dispatching_Domain.
1191 * sem_util.adb (Compile_Time_Constraint_Error): Don't complain
1192 about the type if the corresponding concurrent type doesn't come
1194 * sinfo.adb, sinfo.ads (Has_Pragma_CPU): Removed.
1195 (Has_Pragma_Dispatching_Domain): Removed.
1196 (Has_Pragma_Priority): Removed.
1197 (Has_Task_Info_Pragma): Removed.
1198 (Has_Task_Name_Pragma): Removed.
1199 (Set_Has_Pragma_CPU): Removed.
1200 (Set_Has_Pragma_Dispatching_Domain): Removed.
1201 (Set_Has_Pragma_Priority): Removed.
1202 (Set_Has_Task_Info_Pragma): Removed.
1203 (Set_Has_Task_Name_Pragma): Removed.
1204 * snames.adb-tmpl (Get_Pragma_Id): Pragma_CPU,
1205 Pragma_Dispatching_Domain and Pragma_Interrupt_Priority added.
1206 (Is_Pragma_Name): Name_CPU, Name_Dispatching_Domain and
1207 Name_Interrupt_Priority added.
1208 * snames.ads-tmpl: Name_Dispatching_Domain, Name_CPU
1209 and Name_Interrupt_Priority moved to the list of
1210 Attribute_Name. Attribute_CPU, Attribute_Dispatching_Domain and
1211 Attribute_Interrupt_Priority added. Pragma_Dispatching_Domain,
1212 Pragma_CPU and Pragma_Interrupt_Priority moved to the end of
1213 the Pragma_Name list.
1215 2012-06-12 Arnaud Charlet <charlet@adacore.com>
1217 * xref_lib.adb (Get_Full_Type): Add support for 'G'.
1219 2012-06-12 Tristan Gingold <gingold@adacore.com>
1221 * a-exexpr-gcc.adb (Unwind_Exception): Add 4 more private fields.
1223 2012-06-12 Fedor Rybin <frybin@adacore.com>
1225 * gnat_ugn.texi: Update doc on gnattest.
1227 2012-06-12 Robert Dewar <dewar@adacore.com>
1229 * sem_ch12.adb: Add comments.
1231 2012-06-12 Robert Dewar <dewar@adacore.com>
1233 * switch-c.adb, inline.adb, usage.adb, opt.ads: Minor reformatting.
1235 2012-06-12 Robert Dewar <dewar@adacore.com>
1237 * sem_ch12.adb: Minor reformatting.
1239 2012-06-12 Eric Botcazou <ebotcazou@adacore.com>
1241 * opt.ads (Inline_Level): New variable.
1242 * gnat1drv.adb (Adjust_Global_Switches): Set it based on optimization
1243 level if it has not been set by the user.
1244 * switch-c.adb (Scan_Front_End_Switches): Accept -gnatn1 and -gnatn2
1245 and set Inline_Level accordingly.
1246 * inline.adb (Add_Inlined_Body): Declate new Inline_Level_Type type.
1247 (Must_Inline): Return Inline_Level_T instead of Boolean to indicate
1248 whether the package of the inlined subprogram must be compiled.
1249 If Inline_Level is set to 1, only compile packages of subprograms
1250 directly called from the main unit.
1251 * usage.adb (Usage): Adjust line for -gnatn switch.
1252 * gnat_ugn.texi (Switches for gcc): Document -gnatn1 and -gnatn2.
1254 2012-06-12 Ed Schonberg <schonberg@adacore.com>
1256 * sem_ch12.adb (Instantiate_Formal_Subprogram): Do not apply
1257 AI05-296 if the actual is overloaded. In this case The rule must
1258 be applied after resolution, in Analyze_Subprogram_Renaming.
1260 2012-06-12 Robert Dewar <dewar@adacore.com>
1262 * stringt.adb: Minor reformatting.
1264 2012-06-12 Robert Dewar <dewar@adacore.com>
1266 * ali-util.adb, stringt.ads: Minor reformatting.
1268 2012-06-12 Hristian Kirtchev <kirtchev@adacore.com>
1270 * exp_ch7.adb (Process_Declarations): Handle the case where
1271 the original context has been wrapped in a block to avoid
1272 interference between exception handlers and At_End handlers.
1273 (Wrap_HSS_In_Block): Mark the block which contains the original
1274 statements of the context as being a finalization wrapper.
1275 * sinfo.adb (Is_Finalization_Wrapper): New routine.
1276 (Set_Is_Finalization_Wrapper): New routine.
1278 * sinfo.ads: Add new attribute Is_Finalization_Wrapper applicable
1280 (Is_Finalization_Wrapper): New routine with corresponding pragma Inline.
1281 (Set_Is_Finalization_Wrapper): New routine with corresponding pragma
1284 2012-06-12 Steve Baird <baird@adacore.com>
1286 * gnat1drv.adb (Adjust_Global_Switches): No longer need to set
1287 Exception_Extra_Info in CodePeer_Mode.
1289 2012-06-12 Robert Dewar <dewar@adacore.com>
1291 * sem_dist.adb, exp_ch7.adb, sem_type.adb, exp_attr.adb,
1292 sinfo.ads, sem_ch7.adb, exp_alfa.adb, sem_scil.adb, sem_ch12.adb,
1293 sem_util.adb, sem_res.adb, sem_attr.adb, sem_elab.adb, exp_ch6.adb,
1294 sem_ch4.adb, sem_warn.adb, scil_ll.adb, exp_cg.adb: Minor code
1297 2012-06-12 Eric Botcazou <ebotcazou@adacore.com>
1299 * s-tasini.ads: Minor fix in comment.
1301 2012-06-12 Thomas Quinot <quinot@adacore.com>
1303 * freeze.adb (Freeze_Record_Type): Warn on record with
1304 Scalar_Storage_Order if there is no placed component.
1306 2012-06-12 Thomas Quinot <quinot@adacore.com>
1308 * sem_ch3.adb: Minor comment fix.
1310 2012-06-12 Vincent Celier <celier@adacore.com>
1312 * ali-util.adb (Time_Stamp_Mismatch): In minimal recompilation
1313 mode, use Stringt Mark and Release to avoid growing the Stringt
1314 internal tables uselessly.
1315 * stringt.adb (Strings_Last): New global variable
1316 (String_Chars_Last): New global variable.
1317 (Mark, Release): New procedures.
1318 * stringt.ads (Mark, Release) New procedures.
1320 2012-06-12 Hristian Kirtchev <kirtchev@adacore.com>
1322 * exp_ch7.adb (Process_Transient_Objects): Renamed constant
1323 Requires_Hooking to Must_Hook and replace all occurrences of the name.
1324 (Requires_Hooking): New routine. Detect all contexts that require
1325 transient variable export to the outer finalizer due to a potential
1328 2012-06-12 Ed Schonberg <schonberg@adacore.com>
1330 * sem_ch12.adb: Small adjustment.
1332 2012-06-12 Vincent Celier <celier@adacore.com>
1334 * vms_cmds.ads (Command_Type): New enumeration value Test
1335 * vms_conv.adb (Initialize): Add component at index Test in
1337 * vms_data.ads (Test_Switches): New global variable for the
1338 switches of gnattest, currently empty.
1340 2012-06-12 Ed Schonberg <schonberg@adacore.com>
1342 * sem_ch3.adb (Analyze_Subtype_Declaration): if an incomplete
1343 type is tagged, so is a subtype of it.
1344 * sem_ch12.adb (Validate_Actual_Subprogram): implement AI05-0296,
1345 concerning freeze rules in the presence of formal incomplete
1346 types: a formal abstract subprogram cannot have an incomplete
1347 controlling type, and the profile of the actual subprogram does
1348 not freeze if it includes an incomplete untagged type.
1350 2012-06-12 Robert Dewar <dewar@adacore.com>
1352 * a-direct.adb: Minor reformatting.
1354 2012-06-12 Robert Dewar <dewar@adacore.com>
1356 * gnat_ugn.texi: Add missing documentation for -gnatw.v and
1359 2012-06-12 Thomas Quinot <quinot@adacore.com>
1361 * sem_ch7.adb, sem_prag.adb, sem_ch12.adb, sem_ch4.adb,
1362 sem_ch13.adb: Minor rewording of error messages for unchecked unions.
1364 2012-06-12 Robert Dewar <dewar@adacore.com>
1366 * lib-xref.ads: Minor reformatting.
1368 2012-06-12 Pascal Obry <obry@adacore.com>
1370 * a-direct.adb (Delete_File): Delete symbolic links silently
1371 instead of raising the Name_Error exception when the symbolic
1372 link is pointing to a non existent file.
1374 2012-06-12 Robert Dewar <dewar@adacore.com>
1376 * xref_lib.adb, sem_ch13.adb, lib-xref.adb: Minor reformatting.
1378 2012-06-12 Javier Miranda <miranda@adacore.com>
1380 * lib-xref.ads Adding missing documentation.
1382 2012-06-12 Hristian Kirtchev <kirtchev@adacore.com>
1384 * exp_ch7.adb (Create_Finalizer): Add the
1385 exception reraise mechanism at the very end of the finalizer
1386 statements. This placement ensures that all objects are finalized,
1387 the secondary stack mark released and aborts undeferred before
1388 propagating an exception.
1390 2012-06-12 Ed Schonberg <schonberg@adacore.com>
1392 * sem_ch10.adb (Remove_Unit_From_Visibility): if the unit is a
1393 wrapper package. remove from visibility the original subprogram
1396 2012-06-12 Javier Miranda <miranda@adacore.com>
1398 * sem_prag.adb (Process_Convention): Generate reference to entity
1399 exported to foreign language. Needed for GPS navigation.
1400 * xref_lib.adb (Parse_Identifier_Info): Parse exported entities.
1401 * lib-xref (Output_References): Output exported entities.
1403 2012-06-12 Pascal Obry <obry@adacore.com>
1405 * prj-attr.adb: Add install package and corresponding attributes.
1406 * snames.ads-tmpl (Name_Active): New constant.
1407 (Name_Exec_Subdir): Likewise.
1408 (Name_Install): Likewise.
1409 (Name_Lib_Subdir): Likewise.
1410 (Name_Project_Subdir): Likewise.
1411 (Name_Sources_Subdir): Likewise.
1413 2012-06-12 Bob Duff <duff@adacore.com>
1415 * sem_res.adb (Check_Infinite_Recursion):
1416 Suppress spurious warning on recursion after "raise with ...".
1418 2012-06-12 Thomas Quinot <quinot@adacore.com>
1420 * sem_prag.adb (Analyze_Pragma, case Unchecked_Union): Do
1421 not crash on illegal unchecked union that is a null record.
1423 2012-06-12 Thomas Quinot <quinot@adacore.com>
1425 * exp_ch4.adb (Has_Inferable_Discriminants): Reorganize code to
1426 treat implicit dereferences with a constrained unchecked union
1427 nominal subtype as having inferable discriminants.
1429 2012-06-12 Robert Dewar <dewar@adacore.com>
1431 * sem_ch6.adb: Minor reformatting.
1433 2012-06-12 Eric Botcazou <ebotcazou@adacore.com>
1435 * gnat_ugn.texi: Couple of minor corrections.
1437 2012-06-12 Thomas Quinot <quinot@adacore.com>
1439 * sem_prag.adb (Check_Variant): An empty component list is not
1440 illegal in an unchecked union variant.
1442 2012-06-12 Gary Dismukes <dismukes@adacore.com>
1444 * projects.texi: Remove comments.
1446 2012-06-12 Thomas Quinot <quinot@adacore.com>
1448 * back_end.adb (Scan_Back_End_Switches): Treat -fdump-scos as
1450 (gnat_post_options): Disable gimple-based SCO generator.
1451 * gnat_ugn.texi: Document that -gnateS is an obsolete synonym
1454 2012-06-12 Ed Schonberg <schonberg@adacore.com>
1456 * sem_ch6.adb (Different_Generic_Profile): new predicate for
1457 Find_Corresponding_Spec, to handle a rare case of accidental
1458 overloading in an instance, when the profile of a subprogram body
1459 that depends on a formal type becomes compatible with that of
1460 a homonym whose profile in the generic mentions the actual type.
1462 2012-06-12 Thomas Quinot <quinot@adacore.com>
1464 * gnat1drv.adb: Minor reformatting.
1466 2012-06-12 Ed Schonberg <schonberg@adacore.com>
1468 * sem_util.adb (Build_Explicit_Dereference): If the expression
1469 is an entity, ensure that the type of the expression is the same
1470 as that of the entity.
1472 2012-06-12 Pat Rogers <rogers@adacore.com>
1474 * projects.texi: Corrected instances of the word "build" that
1475 should be "built" instead. Other similar changes and minor
1476 punctuation changes.
1478 2012-06-12 Eric Botcazou <ebotcazou@adacore.com>
1480 * sem_util.adb (Is_Atomic_Object): Return true for an atomic
1481 component as well as a prefix which is an atomic component.
1483 2012-06-12 Ed Schonberg <schonberg@adacore.com>
1485 * exp_prag.adb (Expand_Pragma_Import_Or_Interface): revert previous
1486 patch. The processing of interfacing aspects now generates a
1487 proper Ada 2005 pragma.
1488 * sem_prag.adb (Analyze_Pragma, cases Pragma_Export and
1489 Pragma_Import): revert previous patch. The processing of
1490 interfacing aspects now generates a proper Ada 2005 pragma.
1491 * sem_ch13.adb (Analyze_Aspect_Specifications): generate proper
1492 pragam for aspects Convention, Import and Export. Scan list
1493 of aspects to collect link name and external name if present,
1494 and verify that a complete pragma can be generated.
1496 2012-06-11 Olivier Hainque <hainque@adacore.com>
1498 * gcc-interface/Makefile.in (GNATLIBCFLAGS_FOR_C): Remove
1499 $(PIC_FLAG_FOR_TARGET).
1500 (gnatlib-shared-default): Add $(PIC_FLAG_FOR_TARGET) to
1501 GNATLIBCFLAGS_FOR_C passed to gnatlib.
1502 (gnatlib-shared-win32): Likewise.
1503 (gnatlib-shared-darwin): Likewise.
1504 (gnatlib-shared-dual-win32): Pass PIC_FLAG_FOR_TARGET to
1505 gnatlib-shared-win32.
1507 2012-06-11 Eric Botcazou <ebotcazou@adacore.com>
1509 * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: Convert GNU_SIZE
1510 to units before invoking allocatable_size_p on it.
1511 Remove orphaned comment. Do not use ssize_int.
1512 <E_Record_Subtype>: Traverse list in original order. Minor tweak.
1513 (allocatable_size_p): Adjust and simplify.
1514 (build_subst_list): Use consistent terminology throughout.
1515 (build_variant_list): Likewise. Traverse list in original order.
1516 (create_field_decl_from): Likewise.
1517 (copy_and_substitute_in_size): Likewise.
1518 (create_variant_part_from): Add comment about field list order.
1519 * gcc-interface/utils.c (build_vms_descriptor): Do not use ssize_int.
1520 * gcc-interface/utils2.c (build_allocator): Likewise.
1522 2012-06-11 Eric Botcazou <ebotcazou@adacore.com>
1524 * gcc-interface/trans.c (Identifier_to_gnu): Test Is_Elementary_Type
1525 instead of Is_Scalar_Type for a constant with an address clause.
1526 Do not return the underlying constant for a constant used by reference
1527 if it holds the address of a constant and an lvalue is required.
1529 2012-06-11 Eric Botcazou <ebotcazou@adacore.com>
1531 * gcc-interface/decl.c (gnat_to_gnu_entity): Do not specifically deal
1532 with external constants wrt force_global here...
1533 <E_Constant>: ...but here instead.
1534 * gcc-interface/utils.c (gnat_pushdecl): Do not put external DECLs onto
1535 the list of global DECLs.
1537 2012-06-11 Eric Botcazou <ebotcazou@adacore.com>
1539 * gcc-interface/decl.c (gnat_to_gnu_entity): Translate the Esize on
1540 entry only for elementary types and abort if it is too large.
1541 <E_Record_Type>: Make sure the Esize is known before using it.
1543 2012-06-04 Steven Bosscher <steven@gcc.gnu.org>
1545 * gcc-interface/utils2.c: Do not include output.h.
1546 * gcc-interface/Make-lang.in: Fix dependencies.
1548 2012-05-29 Michael Matz <matz@suse.de>
1550 * gcc-interface/utils.c (create_var_decl_1): Don't call expand_decl.
1552 2012-05-26 Eric Botcazou <ebotcazou@adacore.com>
1554 * gcc-interface/decl.c (variant_desc): Rename 'record' to 'new_type'.
1555 (build_variant_list): Adjust to above renaming.
1556 (gnat_to_gnu_entity) <E_Record_Subtype>: Likewise. Give a unique name
1557 to the type of the variant containers.
1558 (create_variant_part_from): Likewise. Give a unique name to the type
1559 of the variant part.
1561 2012-05-25 Eric Botcazou <ebotcazou@adacore.com>
1564 * link.c (__gnat_object_file_option): Set to "-Wl,@" for GNU linker.
1565 (__gnat_using_gnu_linker): Delete.
1566 * gnatlink.adb (Gnatlink): Declare Object_File_Option_Ptr here...
1567 Declare Object_File_Option string constant and Using_GNU_response_file
1569 (Process_Binder_File): ...instead of here. Delete Using_GNU_Linker,
1570 Opening and Closing local variables. Do not handle the GNU linker
1572 (Write_RF): New procedure to write into the response file. Escape some
1573 characters if a GNU response file is used. Keep track of error status.
1574 Invoke Write_RF to write into the response file. Delete the file only
1575 if the link was successful.
1576 * mlib-utl.adb: Do not `with' package System.
1577 (Gcc): Likewise. Declare Object_File_Option string constant and
1578 Using_GNU_response_file boolean constant.
1579 (Write_RF): Take a string instead of address and length. Escape some
1580 characters if a GNU response file is used.
1581 Invoke Write_RF to write into the response file. Delete the file only
1582 if the link was successful. Do not warn if it cannot be deleted.
1584 2012-05-20 Eric Botcazou <ebotcazou@adacore.com>
1586 * gcc-interface/utils.c (gnat_write_global_declarations): Put a name
1587 on the dummy global variable.
1589 2012-05-19 Eric Botcazou <ebotcazou@adacore.com>
1591 * gcc-interface/decl.c (Has_Thiscall_Convention): New macro.
1592 (gnat_to_gnu_entity) <E_Subprogram_Type>: Test it to set the thiscall
1594 (get_minimal_subprog_decl): Likewise.
1595 (gnat_first_param_is_class): New predicate.
1597 * gcc-interface/misc.c (gnat_handle_option): Fix formatting.
1598 * gcc-interface/Makefile.in: Likewise.
1600 2012-05-18 Eric Botcazou <ebotcazou@adacore.com>
1602 * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: For an object at
1603 global level with unconstrained nominal subtype and a non-fixed size,
1604 make a variable for the size.
1606 2012-05-15 Andris Pavenis <andris.pavenis@iki.fi>
1609 * s-taprop-dummy.adb (Specific): New package.
1611 2012-05-15 Olivier Hainque <hainque@adacore.com>
1613 * gcc-interface/Make-lang.in (COMMON_FLAGS_TO_PASS): Use WARN_CFLAGS
1614 instead of trying to mimic it.
1616 2012-05-15 Robert Dewar <dewar@adacore.com>
1618 * sem_ch5.adb, sem_util.adb, s-stposu.adb, exp_ch4.adb: Minor
1621 2012-05-15 Geert Bosch <bosch@adacore.com>
1623 * uintp.adb (UI_Rem): Remove optimizations, as they are complex and are
1625 (Sum_Digits): Remove, no longer used.
1626 (Sum_Double_Digits): Likewise.
1628 2012-05-15 Yannick Moy <moy@adacore.com>
1630 * aspects.ads: Minor typo.
1632 2012-05-15 Thomas Quinot <quinot@adacore.com>
1634 * gnat_rm.texi (Scalar_Storage_Order): Fix RM reference.
1635 * sem_ch13.adb: Minor comment fix: incorrect RM reference.
1637 2012-05-15 Eric Botcazou <ebotcazou@adacore.com>
1639 * sem_prag.adb (Process_Atomic_Shared_Volatile): Propagate
1640 atomicity from an object to its underlying type only if it
1643 2012-05-15 Ed Schonberg <schonberg@adacore.com>
1645 * sem_ch5.adb (Analyze_Iterator_Specification): Set kind of
1646 loop variable after pre-analysis of iterator name, to prevent
1647 premature usage of loop variable.
1649 2012-05-15 Ed Schonberg <schonberg@adacore.com>
1651 * sem_util.adb (Is_Variable): In Ada 2012, an explicit
1652 dereference that is a rewriting of an expression whose type has
1653 a declared Implicit_Derenference aspect is a variable.
1655 2012-05-15 Hristian Kirtchev <kirtchev@adacore.com>
1657 * exp_ch4.adb (Insert_Dereference_Action): Reimplemented. The
1658 routine performs address and size adjustments for dereferences
1659 of heap-allocated controlled objects. This manipulation is needed
1660 in order to restore the original state of the memory at the time
1661 it was allocated by the finalization machinery.
1662 * rtsfind.ads: Add RE_Adjust_Controlled_Dereference to tables
1663 RE_Id and RE_Unit_Table.
1664 * sinfo.adb (Has_Dereference_Action): New routine.
1665 (Set_Has_Dereference_Action): New routine.
1666 * sinfo.ads: Add new semantic flag Has_Dereference_Action along
1667 its association in nodes.
1668 (Has_Dereference_Action): New routine and pragma Inline.
1669 (Set_Has_Dereference_Action): New routine and pragma Inline.
1670 * s-stposu.ads, s-stposu.adb (Adjust_Controlled_Dereference): New
1673 2012-05-15 Thomas Quinot <quinot@adacore.com>
1675 * uintp.adb (Image_Uint): Use UI_Div_Rem to get quotient and
1676 remainder of U / Base in a single operation.
1678 2012-05-15 Robert Dewar <dewar@adacore.com>
1680 * exp_ch5.adb, inline.adb, sem_ch10.adb, prj.ads, sem_util.adb,
1681 a-ngelfu.ads, exp_ch4.adb, exp_ch6.adb, aspects.ads, sem_ch6.adb,
1682 vms_data.ads, exp_ch3.adb, prj-env.adb: Minor reformatting.
1684 2012-05-15 Thomas Quinot <quinot@adacore.com>
1686 * exp_ch4.adb (Has_Inferable_Discriminants): For a qualified
1687 expression, use correct node for test on the subtype denoted by
1690 2012-05-15 Eric Botcazou <ebotcazou@adacore.com>
1692 * inline.adb (Scope_In_Main_Unit): Rename into...
1693 (In_Main_Unit_Or_Subunit): ...this. Also return
1694 true if the subprogram is within a subunit of the
1696 (Add_Inlined_Body): Adjust for above renaming.
1697 (Add_Inlined_Subprogram): Likewise. Pass the subprogram directly.
1698 (Analyze_Inlined_Bodies): Really set aside inlined subprograms
1699 not handled by Add_Inlined_Body.
1701 2012-05-15 Ed Schonberg <schonberg@adacore.com>
1703 * sem_ch10.adb (Expand_With_Clause): In the context of a generic
1704 package declaration, a private with-clause on a child unit implies
1705 that the implicit with clauses on its parents are private as well.
1707 2012-05-15 Javier Miranda <miranda@adacore.com>
1709 * sem_ch6.adb (Is_Interface_Conformant): Add missing call to
1710 Base_Type to handle subtypes.
1711 * exp_ch6.adb (Expand_Call): For calls located in thunks handle
1712 unchecked conversions of access types found in actuals.
1713 * exp_disp.adb (Expand_Interface_Thunk): Add missing unchecked
1714 conversion to actuals whose type is an access type. Done to
1715 avoid reporting spurious errors.
1717 2012-05-15 Vincent Celier <celier@adacore.com>
1719 * prj-env.adb (Create_Mapping): Ignore sources that are
1720 suppressed (Create_Mapping_File.Process): Ditto
1721 * prj-nmsc.adb (Add_Source): Update to take into
1722 account suppressed files that may hide inherited sources.
1723 (Mark_Excluded_Sources): Mark excluded sources of the current
1724 project as suppressed.
1725 * prj.ads (Source_Data): New Boolean component Suppressed,
1728 2012-05-15 Thomas Quinot <quinot@adacore.com>
1730 * exp_intr.adb: Minor reformatting.
1732 2012-05-15 Thomas Quinot <quinot@adacore.com>
1734 * gnat_rm.texi: Document attribute Scalar_Storage_Order.
1736 2012-05-15 Javier Miranda <miranda@adacore.com>
1738 * exp_ch3.adb (Build_Offset_To_Top): Modify the
1739 expansion of the offset_to_top functions to ensure that their
1740 profile is conformant with the profile specified in Ada.Tags. No
1741 change in functionality.
1743 2012-05-15 Eric Botcazou <ebotcazou@adacore.com>
1745 * inline.adb (Subp_Info): Remove Count and Next_Nopred
1746 components, add Processed component and move around Next component.
1747 (Add_Call): Reverse meaning of Successors table to the natural one.
1748 (Add_Inlined_Body): Do not inline a package if it is in the main unit.
1749 (Add_Inlined_Subprogram): Do not add the subprogram to the list if the
1750 package is in the main unit. Do not recurse on the successors.
1751 (Add_Subp): Adjust to new contents of Subp_Info.
1752 (Analyze_Inlined_Bodies): Do not attempt
1753 to compute a topological order on the list of inlined subprograms,
1754 but compute the transitive closure from the main unit instead.
1755 (Get_Code_Unit_Entity): Always return the spec for a package.
1757 2012-05-15 Yannick Moy <moy@adacore.com>
1759 * aspects.ads: Minor addition of comments to provide info on
1760 how to add new aspects.
1762 2012-05-15 Thomas Quinot <quinot@adacore.com>
1764 * osint.ads: Minor reformatting.
1766 2012-05-15 Thomas Quinot <quinot@adacore.com>
1768 * exp_ch5.adb, exp_pakd.adb, sem_util.adb, sem_util.ads
1769 (Expand_Assign_Array): Handle the case of a packed bit array within a
1770 record with reverse storage order (assign element by element in that
1772 (In_Reverse_Storage_Order_Record): New subprogram,
1773 code extracted from Exp_Pakd.
1775 2012-05-15 Yannick Moy <moy@adacore.com>
1777 * a-ngelfu.ads: Add postconditions using Ada 2012
1778 aspect syntax, reflecting some of the RM requirements for these
1779 functions, from Annex A.5.1 or G.2.4.
1781 2012-05-15 Thomas Quinot <quinot@adacore.com>
1783 * adaint.c: Minor fix: move misplaced comment.
1785 2012-05-15 Doug Rupp <rupp@adacore.com>
1787 * vms_data.ads: Enhance help for /IMMEDIATE_ERRORS to discourage
1790 2012-05-15 Tristan Gingold <gingold@adacore.com>
1792 * a-exextr.adb: Add comment.
1794 2012-05-15 Ed Schonberg <schonberg@adacore.com>
1796 * sem_ch3.adb: Minor reformatting (remove long dead code).
1798 2012-05-15 Ed Schonberg <schonberg@adacore.com>
1800 * aspects.adb, aspects.ads: Add aspects for Convention, Export,
1801 External_Name, Import, and Link_Name.
1802 * exp_prag.adb (Expand_Pragma_Import_Or_Interface): if the
1803 pragma comes from an aspect specification, the entity is the
1805 * sem_prag.adb (Analyze_Pragma, cases Pragma_Export and
1806 Pragma_Import): if the pragma comes from an aspect specification,
1807 the entity is the first argument, and the second has the value
1809 * sem_ch13.adb (Analyze_Aspect_Specifications): generate pragam
1810 for aspect Convention. Add placeholders for Link_Name and
1813 2012-05-15 Hristian Kirtchev <kirtchev@adacore.com>
1815 * exp_ch9.adb (Expand_N_Asynchronous_Select): Extract the statements
1816 of the abortable part and triggering alternative after being processed
1817 for controlled objects.
1818 (Expand_N_Timed_Entry_Call): Code and comment reformatting.
1820 2012-05-15 Robert Dewar <dewar@adacore.com>
1822 * sem_util.adb: Minor code reorganization.
1824 2012-05-15 Robert Dewar <dewar@adacore.com>
1826 * exp_ch7.adb, exp_ch11.adb, exp_ch11.ads: Minor reformatting.
1828 2012-05-15 Thomas Quinot <quinot@adacore.com>
1830 * sem_res.adb (Resolve): Enforce E.2.2(11/2) and E.2.2(12) for
1831 'Unrestricted_Access and 'Unchecked_Access (not just 'Access):
1832 even in those cases, a remote access type may only designate a
1835 2012-05-15 Thomas Quinot <quinot@adacore.com>
1837 * sem_util.adb, sem_util.ads, sem_cat.adb: Minor refactoring.
1838 (Enclosing_Lib_Unit_Node): Rename to Enclosing_Comp_Unit_Node.
1840 2012-05-15 Ed Schonberg <schonberg@adacore.com>
1842 * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Remove obsolete
1843 checks on nested inlined subprograms.
1845 2012-05-15 Tristan Gingold <gingold@adacore.com>
1847 * fe.h (Get_RT_Exception_Name): Declare.
1849 2012-05-15 Tristan Gingold <gingold@adacore.com>
1851 * raise-gcc.c (db_region_for): Use %p + cast to avoid warnings.
1852 (get_region_description_for): Likewise.
1853 (db_action_for): Likewise.
1854 (get_call_site_action_for): Likewise.
1855 (get_ttype_entry_for): Remove useless 'const'.
1856 (PERSONALITY_FUNCTION): Add ATTRIBUTE_UNUSED on uw_exception_class.
1858 2012-05-15 Tristan Gingold <gingold@adacore.com>
1860 * a-exextr.adb (Unhandled_Exception_Terminate): Save occurrence
1861 on the stack to avoid a dynamic memory allocation.
1863 2012-05-15 Bob Duff <duff@adacore.com>
1865 * exp_ch9.adb (Expand_N_Timed_Entry_Call): Move initialization of
1866 E_Stats and D_Stats after Process_Statements_For_Controlled_Objects,
1867 because those calls can destroy the Statements list.
1869 2012-05-15 Tristan Gingold <gingold@adacore.com>
1871 * fe.h (Get_RT_Exception_Name): Define.
1872 * types.ads (RT_Exception_Code): Update comment.
1873 * exp_ch11.adb, exp_ch11.ads (Get_RT_Exception_Name): New
1874 procedure to get the name of the rcheck subprograms.
1875 * a-except-2005.adb (Rcheck_xx): Rename.
1876 * a-except.adb Likewise, but also keep the old Rcheck_nn routines
1878 * arith64.c (__gnat_mulv64): Use __gnat_rcheck_CE_Overflow_Check
1879 instead of __gnat_rcheck_10.
1880 * gcc-interface/trans.c (build_raise_check): Use Get_RT_Exception_Name
1881 to create the __gnat_rcheck routines name.
1882 * gcc-interface/Make-lang.in: Update dependencies.
1884 2012-05-15 Tristan Gingold <gingold@adacore.com>
1886 * exp_ch7.adb (Build_Exception_Handler): Save current
1887 occurrence only if -gnateE.
1888 (Build_Object_Declaration): Declare E_Id only if -gnateE.
1889 (Build_Raise_Statement): Call Raise_From_Controlled_Operation only if
1890 -gnateE (else raise PE).
1891 * s-soflin.adb (Save_Library_Occurrence): Handle null occurrence
1893 * a-except-2005.adb (Reraise_Library_Exception_If_Any): Call
1894 Raise_From_Controlled_Operation only if the saved occurrence is
1895 not null, otherwise raise PE.
1897 2012-05-15 Yannick Moy <moy@adacore.com>
1899 * exp_alfa.ads: Add comments describing the Alfa mode.
1901 2012-05-15 Tristan Gingold <gingold@adacore.com>
1903 * s-soflin.ads, s-soflin.adb (Save_Library_Occurrence): Parameter
1904 E is now of type Exception_Occurrence_Access.
1905 * exp_ch7.ads, exp_ch7.adb (Build_Exception_Handler): Adjust generated
1906 call to Save_Library_Occurrence.
1908 2012-05-15 Thomas Quinot <quinot@adacore.com>
1910 * exp_ch4.adb (Rewrite_Coextension): Use Insert_Action to
1911 insert temporary variable decl at the proper place in the tree.
1913 2012-05-15 Hristian Kirtchev <kirtchev@adacore.com>
1915 * g-calend.adb (Split_At_Locale): New routine.
1916 (Time_Of_At_Locale): New routine.
1917 * g-calend.ads (Split_At_Locale): New routine.
1918 (Time_Of_At_Locale): New routine.
1920 2012-05-15 Gary Dismukes <dismukes@adacore.com>
1922 * a-except.ads: Minor reformatting.
1924 2012-05-15 Ed Schonberg <schonberg@adacore.com>
1926 * sem_ch5.adb (Analyze_Loop_Parameter_Specification): If the loop
1927 parameter specification is part of a quantified expression, and it
1928 already carries a type, do not repeat the analysis to preserve
1929 type information: a range attribute reference may have been
1930 rewritten as a range with static bounds, and its re-analysis may
1931 type it as Integer by default, instead of the original index type.
1933 2012-05-15 Robert Dewar <dewar@adacore.com>
1935 * s-osprim-mingw.adb: Minor reformatting.
1937 2012-05-15 Arnaud Charlet <charlet@adacore.com>
1939 * a-except.adb, a-except.ads (Reraise_Library_Exception_If_Any): New.
1940 Mark this unit preelaborate.
1941 * s-soflin.ads: Make package Preelaborate.
1943 2012-05-15 Robert Dewar <dewar@adacore.com>
1945 * s-osprim-mingw.adb, sem_eval.adb, a-calend-vms.ads: Minor reformatting
1947 2012-05-15 Ed Schonberg <schonberg@adacore.com>
1949 * sem_eval.adb (Subtypes_Statically_Match): In Ada 2012, static
1950 matching requires matching of static subtype predicates as well.
1952 2012-05-15 Ed Schonberg <schonberg@adacore.com>
1954 * sem_case.adb (Analyze_Choices): If the subtype of the
1955 expression has a non-static predicate, the case alternatives
1956 must cover the base type.
1958 2012-05-15 Tristan Gingold <gingold@adacore.com>
1960 * a-calend-vms.ads: Add pragma export to Split and Time_Of.
1961 Merge comments from a-calend.ads to minimize differences.
1963 2012-05-15 Sergey Rybin <rybin@adacore.com frybin>
1965 * gnat_ugn.texi: gnatmetric: add a small example that demonstrates
1966 the difference between control coupling and unit coupling.
1968 2012-05-15 Tristan Gingold <gingold@adacore.com>
1970 * bindgen.adb (Gen_Header): Remove code to emit LE_Set.
1971 (Gen_Finalize_Library): Replace test with
1972 a call to __gnat_reraise_library_exception_if_any.
1973 * s-soflin.ads (Library_Exception): Do not export.
1974 (Library_Exception_Set): Likewise.
1975 * a-except-2005.ads, a-except-2005.adb
1976 (Reraise_Library_Exception_If_Any): New procedure.
1978 2012-05-15 Geert Bosch <bosch@adacore.com>
1980 * sem_ch9.adb (Allows_Lock_Free_Implementation): out or in out
1981 parameters can be access types as well, not just scalar types,
1982 so relax the test to Is_Elementary_Type.
1984 2012-05-15 Bob Duff <duff@adacore.com>
1986 * s-atacco.ads s-atacco.adb: Replace pragma Elaborate_Body
1987 with pragma No_Body.
1988 (Xyz): Remove Xyz, which is apparently unnecessary.
1990 2012-05-15 Tristan Gingold <gingold@adacore.com>
1992 * a-calend-vms.adb: Complete previous change.
1994 2012-05-15 Bob Duff <duff@adacore.com>
1996 * s-win32.ads: Minor comment fix.
1997 * s-osprim-mingw.adb: Minor editing.
1999 2012-05-15 Robert Dewar <dewar@adacore.com>
2001 * exp_ch9.adb, sem_ch9.adb, sem_ch13.adb: Minor reformatting.
2003 2012-05-15 Robert Dewar <dewar@adacore.com>
2005 * g-comlin.adb, g-comlin.ads: Minor reformatting.
2007 2012-05-15 Vincent Pucci <pucci@adacore.com>
2009 * aspects.adb, aspects.adb: Reordering of the Aspect_Idi list. New
2010 aspect Aspect_Lock_Free.
2011 * einfo.adb, einfo.ads: New flag Uses_Lock_Free (flag 188).
2012 (Set_Uses_Lock_Free): New routine.
2013 (Uses_Lock_Free): New routine.
2014 * exp_ch7.adb (Is_Simple_Protected_Type): Return False for
2015 lock-free implementation.
2016 * exp_ch9.adb (Allows_Lock_Free_Implementation): Moved to Sem_Ch9.
2017 (Build_Lock_Free_Unprotected_Subprogram_Body): Protected
2018 procedure uses __sync_synchronise. Check both Object_Size
2020 (Expand_N_Protected_Body): Lock_Free_Active
2021 renames Lock_Free_On.
2022 (Expand_N_Protected_Type_Declaration):
2023 _Object field removed for lock-free implementation.
2024 (Install_Private_Data_Declarations): Protection object removed
2025 for lock-free implementation.
2026 (Make_Initialize_Protection):
2027 Protection object initialization removed for lock-free implementation.
2028 * rtsfind.ads: RE_Atomic_Synchronize and RE_Relaxed added.
2029 * sem_ch13.adb (Analyze_Aspect_Specifications): Aspect_Lock_Free
2031 * sem_ch9.adb (Allows_Lock_Free_Implementation): New routine.
2032 (Analyze_Protected_Body): Allows_Lock_Free_Implementation call added.
2033 (Analyze_Protected_Type_Declaration):
2034 Allows_Lock_Free_Implementation call added.
2035 (Analyze_Single_Protected_Declaration): Second analysis of
2037 * s-atopri.ads: Header added.
2038 (Atomic_Synchronize): New routine.
2040 2012-05-15 Robert Dewar <dewar@adacore.com>
2042 * exp_ch7.ads: Add comment.
2044 2012-05-15 Hristian Kirtchev <kirtchev@adacore.com>
2046 * a-calend.adb (Day_Of_Week): The routine once again treats
2047 all dates as historic. (Formatting_Operations.Split): All
2048 calls to UTC_Time_Offset are now controlled through formal
2049 parameter Is_Historic. (Formatting_Operations.Time_Of):
2050 All calls to UTC_Time_Offset are now handled through
2051 formal parameter Is_Historic.
2052 (Split): Update the call to Formatting_Operations.Split.
2053 (Time_Of): Update the call to Formatting_Operations.Time_Of.
2054 (To_Ada_Time): Update the call to Formatting_Operations.Time_Of.
2055 (To_Strict_Tm): Update the call to Formatting_Operations.Split.
2056 * a-calend.ads (Split): Add new formal Is_Historic along with
2057 comment on usage. This routine is now exported for the purposes
2058 of GNAT.Calendar.Locale.
2059 (Time_Of): Remove defaults. Add new
2060 formal Is_Historic along with comment on usage. This routine is
2061 now exported for the purposes of GNAT.Calendar.Locale.
2062 * a-calend-vms.adb (Split): Update the call to
2063 Formatting_Operations.Split.
2064 (Time_Of): Update the call to Formatting_Operations.Time_Of.
2065 * a-calend-vms.ads (Split): Add new formal Is_Historic along
2066 with comment on usage. (Time_Of): Remove defaults. Add new
2067 formal Is_Historic along with comment on usage.
2068 * a-calfor.adb (Split): Update the call to
2069 Formatting_Operations.Split.
2070 (Time_Of): Update the call to Formatting_Operations.Time_Of.
2072 2012-05-15 Vincent Celier <celier@adacore.com>
2074 * prj-nmsc.adb (Add_Source): Always add the source if it is
2075 excluded, to avoid incorrect duplicate checks.
2077 2012-05-15 Yannick Moy <moy@adacore.com>
2079 * sem_aux.ads: Correct typo.
2080 * sem_eval.adb (Compile_Time_Known_Value): Return False in Alfa
2081 mode for a deferred constant when outside of the scope of its
2084 2012-05-15 Emmanuel Briot <briot@adacore.com>
2086 * g-comlin.adb, g-comlin.ads (Define_Switch): Allow specifying the name
2087 of the argument, for the automatic help message.
2088 (Getopt): do not systematically initialize switches with string values
2089 to the empty string, when the user has already specified a default.
2091 2012-05-14 Bernd Schmidt <bernds@codesourcery.com>
2093 * gcc-interface/utils.c (DEF_ATTR_STRING): New.
2095 2012-05-14 Manuel López-Ibáñez <manu@gcc.gnu.org>
2098 * gcc-interface/misc.c: Include opts.h and options.h before tm.h.
2099 (gnat_handle_option): Call lang-specific generated function.
2101 2012-05-13 Manuel López-Ibáñez <manu@gcc.gnu.org>
2103 * gcc-interface/lang.opt (I): Comment out help text with no effect.
2104 (nostdinc): Comment out help text with no effect.
2106 2012-05-12 Eric Botcazou <ebotcazou@adacore.com>
2108 * gcc-interface/Makefile.in (TOOLS_LIBS): Add ../../ggc-none.o.
2110 2012-05-11 Manuel López-Ibáñez <manu@gcc.gnu.org>
2113 * gcc-interface/misc.c (gnat_parse_file): Move before ...
2114 (gnat_handle_option): ... this. Use handle_generated_option.
2116 2012-05-10 Richard Guenther <rguenther@suse.de>
2118 * gcc-interface/cuintp.c (UI_From_gnu): Remove TYPE_IS_SIZETYPE use.
2120 2012-05-06 Tristan Gingold <gingold@adacore.com>
2122 * gcc-interface/trans.c (gigi): Decorate reraise_zcx_decl.
2124 2012-05-06 Eric Botcazou <ebotcazou@adacore.com>
2126 * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: In the renaming
2127 case, use the padded type if the renamed object has an unconstrained
2128 type with default discriminant.
2130 2012-05-06 Eric Botcazou <ebotcazou@adacore.com>
2132 * gcc-interface/trans.c (Loop_Statement_to_gnu): Also handle invariant
2133 conditions with only one bound.
2134 (Raise_Error_to_gnu): Likewise. New function extracted from...
2135 (gnat_to_gnu) <N_Raise_Constraint_Error>: ...here. Call above function
2136 in regular mode only.
2138 2012-05-06 Eric Botcazou <ebotcazou@adacore.com>
2140 * gcc-interface/misc.c (gnat_post_options): Disable caret by default.
2142 2012-05-06 Eric Botcazou <ebotcazou@adacore.com>
2144 * gcc-interface/gigi.h (make_packable_type): Declare.
2145 (make_type_from_size): Likewise.
2146 (relate_alias_sets): Likewise.
2147 (maybe_pad_type): Adjust.
2148 (init_gnat_to_gnu): Delete.
2149 (destroy_gnat_to_gnu): Likewise.
2150 (init_dummy_type): Likewise.
2151 (destroy_dummy_type): Likewise.
2152 (init_gnat_utils): Declare.
2153 (destroy_gnat_utils): Likewise.
2154 (ceil_pow2): New inline function.
2155 * gcc-interface/decl.c (gnat_to_gnu_entity): Use ceil_pow2.
2156 <object>: Pass True for the final processing of alignment and size.
2157 <E_Subprogram_Type>: Only create the TYPE_DECL for a padded return
2159 (round_up_to_align): Delete.
2160 (ceil_alignment): Likewise.
2161 (relate_alias_sets): Move to...
2162 (make_aligning_type): Likewise.
2163 (make_packable_type): Likewise.
2164 (maybe_pad_type): Likewise.
2165 (make_type_from_size): Likewise.
2166 * gcc-interface/utils.c (MAX_BITS_PER_WORD): Delete.
2167 (struct pad_type_hash): New type.
2168 (pad_type_hash_table): New static variable.
2169 (init_gnat_to_gnu): Merge into...
2170 (init_dummy_type): Likewise.
2171 (init_gnat_utils): ...this. New function.
2172 (destroy_gnat_to_gnu): Merge into...
2173 (destroy_dummy_type): Likewise.
2174 (destroy_gnat_utils): ...this. New function.
2175 (pad_type_hash_marked_p): New function.
2176 (pad_type_hash_hash): Likewise.
2177 (pad_type_hash_eq): Likewise.
2178 (relate_alias_sets): ...here.
2179 (make_aligning_type): Likewise.
2180 (make_packable_type): Likewise.
2181 (maybe_pad_type): Likewise. Change same_rm_size parameter into
2182 set_rm_size; do not set TYPE_ADA_SIZE if it is false. Do not set
2183 null as Ada size. Do not set TYPE_VOLATILE on the padded type. If it
2184 is complete and has constant size, canonicalize it. Bail out earlier
2185 if a warning need not be issued.
2186 (make_type_from_size): Likewise.
2187 <INTEGER_TYPE>: Bail out if size is too large
2188 (gnat_types_compatible_p): Do not deal with padded types.
2189 (convert): Compare main variants for padded types.
2190 * gcc-interface/trans.c (gigi): Call {init|destroy}_gnat_utils.
2191 (gnat_to_gnu): Do not convert at the end for a call to a function that
2192 returns an unconstrained type with default discriminant.
2193 (Attribute_to_gnu) <Attr_Size>: Simplify handling of padded objects.
2194 * gcc-interface/utils2.c (build_binary_op) <MODIFY_EXPR>: Likewise.
2195 Do not use the padded type if it is BLKmode and the inner type is
2198 2012-05-02 Pascal Obry <obry@adacore.com>
2201 2012-02-24 Dave Korn <dave.korn.cygwin@gmail.com>
2203 * gcc-interface/Makefile.in (WIN_SO_PREFIX [windows targets]): New
2204 Windows-specific make variable.
2205 (WIN_SO_INSTALL_DIR [windows targets]): Likewise.
2206 (install-gnatlib): Respect the above during installation when set,
2207 and also install any windows import library that has been built.
2208 (gnatlib-shared-win32): Use WIN_SO_PREFIX to name output DLL and also
2209 build a corresponding import library.
2211 2012-04-30 Jan Hubicka <jh@suse.cz>
2213 * gcc-interface/utils.c (rest_of_subprog_body_compilation): Update
2215 (gnat_write_global_declarations): Use finalize_compilation_unit.
2217 2012-04-30 Eric Botcazou <ebotcazou@adacore.com>
2219 * gcc-interface/decl.c (gnat_to_gnu_entity): In type annotation mode,
2220 do not adjust the size of a tagged type if there is a representation
2221 clause on it. Otherwise, round the adjustment up to the alignment
2222 of the first field and use the appropriate helper routine.
2223 (maybe_pad_type): Do not warn in type annotation mode on a tagged type.
2224 (gnat_to_gnu_field): Do not error out under the same circumstances.
2225 (annotate_rep): In type annotation mode, do not adjust the offset of
2226 components of a tagged type with representation clause. Otherwise,
2227 round the adjustment up to the alignment of the first field.
2229 2012-04-30 Eric Botcazou <ebotcazou@adacore.com>
2231 * gcc-interface/utils.c (finish_record_type): Force the traditional GCC
2232 layout for bitfields on the type if it is packed or has a representation
2233 clause and an alternate layout is available.
2235 2012-04-30 Eric Botcazou <ebotcazou@adacore.com>
2237 * gcc-interface/gigi.h (mark_out_of_scope): Delete.
2238 (destroy_gnat_to_gnu): Declare.
2239 (destroy_dummy_type): Likewise.
2240 * gcc-interface/decl.c (mark_out_of_scope): Delete.
2241 * gcc-interface/utils.c (destroy_gnat_to_gnu): New function.
2242 (destroy_dummy_type): Likewise.
2243 * gcc-interface/trans.c (gnat_validate_uc_list): New variable.
2244 (gigi): Call validate_unchecked_conversion on gnat_validate_uc_list
2245 after the translation is completed. Call destroy_gnat_to_gnu and
2246 destroy_dummy_type at the end.
2247 (Subprogram_Body_to_gnu): Do not call mark_out_of_scope.
2248 (gnat_to_gnu) <N_Block_Statement>: Likewise.
2249 <N_Validate_Unchecked_Conversion>: Do not process the node, only push
2250 it onto gnat_validate_uc_list.
2251 (validate_unchecked_conversion): New function.
2253 2012-04-26 Tristan Gingold <gingold@adacore.com>
2255 * gcc-interface/Make-lang.in: Update dependencies.
2256 Remove s-traceb and tracebak objects from gnat1 and gnatbind (not used).
2257 Remove s-tasdeb and s-vaflop rules (not used).
2259 2012-04-26 Olivier Hainque <hainque@adacore.com>
2261 * gcc-interface/targtyps.c (WIDEST_HARDWARE_FP_SIZE): Default to
2262 DOUBLE_TYPE_SIZE instead of LONG_DOUBLE_TYPE_SIZE.
2264 2012-04-26 Hristian Kirtchev <kirtchev@adacore.com>
2266 * a-calend.adb (Day_Of_Week): Keep the internal
2267 usage of UTC_Time_Offset consistent with Time_Of and Split.
2269 2012-04-26 Hristian Kirtchev <kirtchev@adacore.com>
2271 * sem_ch5.adb (Analyze_Loop_Parameter_Specification): Do not freeze
2272 the loop variable while preanalyzing a quantified expression.
2274 2012-04-26 Hristian Kirtchev <kirtchev@adacore.com>
2276 * a-calend.adb (Split, Time_Of): Rename parameter Is_Ada_05
2277 to Use_TZ to better illustrate its function. Update all
2278 references to the parameter.
2279 (To_Ada_Time): Update the call to Formatting_Operations.Time_Of.
2280 * a-calend.ads (Split, Time_Of): Rename parameter Is_Ada_05
2281 to Use_TZ to better illustrate its function. Update the related
2283 * a-calend-vms.adb (Split, Time_Of): Rename parameter
2284 Is_Ada_05 to Use_TZ to better illustrate its function. Update
2285 all references to the parameter.
2286 (To_Ada_Time): Update the call to Formatting_Operations.Time_Of.
2287 * a-calend-vms.ads (Split, Time_Of): Rename parameter Is_Ada_05
2288 to Use_TZ to better illustrate its function. Update the related
2290 * a-calfor.adb (Split, Time_Of): Update the call to
2291 Formatting_Operations.Time_Of.
2292 * sysdep.c (__gnat_localtime_tzoff): Dereference pointer
2293 "is_historic" and rewrite the check as a comparison. Add a
2294 comment on flag values.
2296 2012-04-26 Robert Dewar <dewar@adacore.com>
2298 * exp_ch2.adb, sem_ch8.adb: Minor reformatting.
2300 2012-04-26 Vasiliy Fofanov <fofanov@adacore.com>
2302 * a-stzunb-shared.adb, gnat_ugn.texi, a-strunb-shared.adb,
2303 a-strunb-shared.ads, uintp.adb, a-stwiun-shared.adb,
2304 a-stwiun-shared.ads, a-cbhama.ads, vms_data.ads, a-cobove.adb,
2305 a-convec.adb, sem_ch13.adb, a-cbhase.ads: Fix common misuses of the
2306 word "then" where "than" should be used in English.
2308 2012-04-26 Robert Dewar <dewar@adacore.com>
2310 * sem_ch5.adb (Check_Unreachable_Code): Skip past pragmas.
2312 2012-04-26 Hristian Kirtchev <kirtchev@adacore.com>
2314 * s-finroo.ads: Remove with clause for
2315 Ada.Streams. Type Root_Controlled is now abstract tagged null
2316 record. Remove internal package Stream_Attributes. Root_Controlled
2317 doesn't need stream attribute redeclaration and avoids the
2318 dependency on streams.
2320 2012-04-26 Tristan Gingold <gingold@adacore.com>
2322 * adaint.c (to_host_path_spec): Removed (unused).
2325 2012-04-26 Steve Baird <baird@adacore.com>
2327 * gnat_rm.texi Improve description of Valid_Scalars attribute.
2329 2012-04-26 Ed Schonberg <schonberg@adacore.com>
2331 * sem_ch6.adb (Can_Override_Operator): If the formal is a
2332 generic type the operator cannot be overriding.
2334 2012-04-26 Ed Schonberg <schonberg@adacore.com>
2336 * sem_ch8.adb (Spec_Reloaded_For_Body): Check whether the type
2337 is declared in a package specification, and current unit is the
2338 corresponding package body. The use clauses themselves may be
2339 within a nested package.
2341 2012-04-26 Bob Duff <duff@adacore.com>
2343 * exp_ch2.adb (Param_Entity): Take into account the case where
2344 the type of the entry parameter has a representation clause.
2346 2012-04-26 Ed Schonberg <schonberg@adacore.com>
2348 * gnat_ugn.texi: Tweak dimensionality doc.
2350 2012-04-26 Robert Dewar <dewar@adacore.com>
2352 * sem_eval.adb: Minor reformatting.
2354 2012-04-26 Robert Dewar <dewar@adacore.com>
2356 * einfo.adb, einfo.ads, sem_res.adb, sem_ch4.adb,
2357 sem_eval.adb: Minor reformatting.
2359 2012-04-26 Thomas Quinot <quinot@adacore.com>
2361 * freeze.adb: Minor change in error wording.
2363 2012-04-26 Ed Schonberg <schonberg@adacore.com>
2365 * gnat_ugn.texi: Documentation on dimensional analysis.
2367 2012-04-26 Hristian Kirtchev <kirtchev@adacore.com>
2369 * einfo.adb, einfo.ads: Remove synthesized attribute
2370 Proper_First_Index along with its associations in various nodes.
2371 (Proper_First_Index): Removed.
2372 * sem_ch4.adb (Analyze_Slice): Alphabetize constants. Add new
2373 local variable Index_Type. The index type of a string literal
2374 subtype is that of the stored low bound.
2375 * sem_eval (Get_Static_Length): Remove the use of Proper_First_Index.
2376 * sem_res.adb (Resolve_Slice): Alphabetize constants. Add
2377 new local variable Index_Type. The index type of a
2378 string literal subtype is that of the stored low bound.
2379 (Set_String_Literal_Subtype): Code reformatting.
2381 2012-04-26 Robert Dewar <dewar@adacore.com>
2383 * exp_aggr.adb: Minor reformatting.
2385 2012-04-26 Hristian Kirtchev <kirtchev@adacore.com>
2387 * exp_ch7.adb (Expand_Cleanup_Actions): Update the call to
2388 Requires_Cleanup_Actions.
2389 * exp_util.adb (Requires_Cleanup_Actions (List_Id; Boolean;
2390 Boolean)): Rename formal parameter For_Package to Lib_Level to
2391 better reflect its purpose. Update the related comment and all
2392 occurrences of For_Package in the body.
2393 (Requires_Cleanup_Actions
2394 (Node_Id; Boolean)): Add new formal parameter Lib_Level. Add
2395 local constant At_Lib_Level to keep monitor whether the path
2396 taken from the top-most context to the current construct involves
2397 package constructs. Update all calls to Requires_Cleanup_Actions.
2398 * exp_util.ads (Requires_Cleanup_Actions): Add new formal
2399 parameter Lib_Level and associated comment.
2401 2012-04-26 Ed Schonberg <schonberg@adacore.com>
2403 * sem_ch6.adb (Process_Formals): If the type of the formal is
2404 a non null access type, mark the generated subtype as having a
2405 delayed freeze only if the designated type is not frozen yet.
2407 2012-04-26 Vincent Celier <celier@adacore.com>
2409 * prj-attr.adb: New package Clean with attributes
2410 Object_Artifact_Extensions and Source_Artifact_Extensions.
2411 * prj-nmsc.adb (Process_Clean): Process new package Clean
2412 * prj.ads (Language_Config): New components
2413 Clean_Object_Artifacts and Clean_Source_Artifacts.
2414 * snames.ads-tmpl: New standard names Clean,
2415 Object_Artifact_Extensions and Source_Artifact_Extensions.
2417 2012-04-26 Hristian Kirtchev <kirtchev@adacore.com>
2419 * einfo.adb (Proper_First_Index): Moved from Sem_Util.
2420 * einfo.ads: Add new synthesized attribute Proper_First_Index
2421 along with usage in nodes.
2422 (Proper_First_Index): Moved from Sem_Util.
2423 * sem_util.ads, sem_util.adb (Proper_First_Index): Moved to Einfo.
2425 2012-04-26 Gary Dismukes <dismukes@adacore.com>
2427 * layout.adb (Layout_Component_List): Test for the case of a
2428 single variant and the size of its component list was computed
2429 as an integer literal, and use that size (which is in bits)
2430 as is rather than converting to storage units.
2432 2012-04-26 Robert Dewar <dewar@adacore.com>
2434 * exp_aggr.adb: Minor reformatting.
2436 2012-04-26 Robert Dewar <dewar@adacore.com>
2438 * sem_util.adb: Minor reformatting.
2440 2012-04-26 Thomas Quinot <quinot@adacore.com>
2442 * exp_aggr.adb, exp_pakd.adb (Setup_Inline_Packed_Array_Reference,
2443 Packed_Array_Aggregate_Handled.Get_Component_Val):
2444 Reverse bit numbering within PAT when Reverse_Storage_Order
2445 applies to the enclosing record.
2447 2012-04-26 Thomas Quinot <quinot@adacore.com>
2449 * freeze.adb (Freeze_Record_Type): Improve error message for
2450 Scalar_Storage_Order inconsistent with Bit_Order.
2452 2012-04-25 Gary Dismukes <dismukes@adacore.com>
2454 * exp_ch9.adb: Add comments on the usage of the
2455 lock-free data structures.
2457 2012-04-25 Vincent Pucci <pucci@adacore.com>
2459 * exp_intr.adb (Expand_Shift): Convert the left
2460 operand and the operator when the type of the call differs from
2461 the type of the operator.
2463 2012-04-25 Geert Bosch <bosch@adacore.com>
2465 * stand.ads: Minor comment fix.
2467 2012-04-25 Hristian Kirtchev <kirtchev@adacore.com>
2469 * sem_ch4.adb (Analyze_Slice): Handle the case where the prefix
2470 is a string literal. Retrieve the first index from the base type
2471 when slicing a string literal.
2472 * sem_ch12.adb (Check_Private_View): Move the initialization
2473 of the type inside the loop to reflect the changing index.
2474 * sem_eval.adb (Eval_Relational_Op): Retrieve the first index
2475 from the base type when dealing with a string literal.
2476 * sem_res.adb (Resolve_Slice): Retrieve the first index from
2477 the base type when slicing a string literal.
2478 * sem_util.adb (Is_Internally_Generated_Renaming): New routine.
2479 (Is_Object_Reference): String literals may act
2480 as object references only when they are renamed internally.
2481 (Proper_First_Index): New routine.
2482 * sem_util.ads (Proper_First_Index): New routine.
2484 2012-04-25 Robert Dewar <dewar@adacore.com>
2486 * sem_ch3.adb, csinfo.adb, lib-writ.adb, sem_ch12.adb,
2487 lib-xref.adb: Minor reformatting.
2489 2012-04-25 Hristian Kirtchev <kirtchev@adacore.com>
2491 * exp_ch9.adb: Rename Lock_Free_Sub_Type
2492 to Lock_Free_Subprogram. Remove type Subprogram_Id.
2493 Rename LF_Sub_Table to Lock_Free_Subprogram_Table.
2494 (Allow_Lock_Free_Implementation): Renamed to
2495 Allows_Lock_Free_Implementation. Update the comment on
2496 lock-free restrictions. Code clean up and restructuring.
2497 (Build_Lock_Free_Protected_Subprogram_Body): Update the
2498 profile and related comments. Code clean up and restructuring.
2499 (Build_Lock_Free_Unprotected_Subprogram_Body): Update the
2500 profile and related comments. Code clean up and restructuring.
2503 2012-04-25 Vincent Celier <celier@adacore.com>
2505 * sem_ch12.adb (Inherit_Context): Compare library units, not
2506 names of units, when checking if a unit is already in the context.
2508 2012-04-25 Thomas Quinot <quinot@adacore.com>
2510 * sem_ch3.adb: Reverse_Storage_Order must be propagated to
2511 untagged derived record types.
2513 2012-04-25 Ed Schonberg <schonberg@adacore.com>
2515 * lib-xref.adb: Adjust position of end label.
2517 2012-04-22 Jan Hubicka <jh@suse.cz>
2519 * gcc-interface/utils.c (gnat_write_global_declarations): Do not mark
2522 2012-04-20 Jan Hubicka <jh@suse.cz>
2524 * gcc-interface/utils.c (gnat_write_global_declarations): Update for new
2525 force_output placement.
2527 2012-04-14 Jan Hubicka <jh@suse.cz>
2529 * gcc-interface/trans.c (finalize_nrv): Update field referenced for new
2530 cgraph/varpool layout.
2532 2012-04-09 Mike Stump <mikestump@comcast.net>
2534 * a-assert.ads: Remove execute permission.
2535 * a-chacon.ads: Likewise.
2536 * a-coteio.ads: Likewise.
2537 * a-envvar.ads: Likewise.
2538 * a-exetim-mingw.ads: Likewise.
2539 * a-fzteio.ads: Likewise.
2540 * a-izteio.ads: Likewise.
2541 * a-lcteio.ads: Likewise.
2542 * a-llctio.ads: Likewise.
2543 * a-scteio.ads: Likewise.
2544 * a-suenco.ads: Likewise.
2545 * a-suenst.ads: Likewise.
2546 * a-suewst.ads: Likewise.
2547 * a-suezst.ads: Likewise.
2548 * a-tirsfi.ads: Likewise.
2549 * a-wichha.ads: Likewise.
2550 * a-zchara.ads: Likewise.
2551 * a-zchhan.ads: Likewise.
2552 * a-zchuni.ads: Likewise.
2553 * a-zrstfi.ads: Likewise.
2554 * aspects.ads: Likewise.
2555 * g-byorma.ads: Likewise.
2556 * g-decstr.ads: Likewise.
2557 * g-encstr.ads: Likewise.
2558 * g-spchge.ads: Likewise.
2559 * g-u3spch.ads: Likewise.
2560 * g-wispch.ads: Likewise.
2561 * g-zspche.ads: Likewise.
2562 * namet-sp.ads: Likewise.
2563 * s-os_lib.ads: Likewise.
2564 * s-regexp.ads: Likewise.
2565 * s-regpat.ads: Likewise.
2566 * s-string.ads: Likewise.
2567 * s-tasloc.ads: Likewise.
2568 * s-utf_32.ads: Likewise.
2569 * sem_aux.ads: Likewise.
2570 * a-assert.adb: Likewise.
2571 * a-chacon.adb: Likewise.
2572 * a-envvar.adb: Likewise.
2573 * a-exetim-mingw.adb: Likewise.
2574 * a-suenco.adb: Likewise.
2575 * a-suenst.adb: Likewise.
2576 * a-suewst.adb: Likewise.
2577 * a-suezst.adb: Likewise.
2578 * a-tirsfi.adb: Likewise.
2579 * a-wichha.adb: Likewise.
2580 * a-zchhan.adb: Likewise.
2581 * a-zchuni.adb: Likewise.
2582 * a-zrstfi.adb: Likewise.
2583 * aspects.adb: Likewise.
2584 * g-byorma.adb: Likewise.
2585 * g-decstr.adb: Likewise.
2586 * g-encstr.adb: Likewise.
2587 * g-spchge.adb: Likewise.
2588 * g-u3spch.adb: Likewise.
2589 * g-wispch.adb: Likewise.
2590 * g-zspche.adb: Likewise.
2591 * namet-sp.adb: Likewise.
2592 * s-except.adb: Likewise.
2593 * s-inmaop-vxworks.adb: Likewise.
2594 * s-os_lib.adb: Likewise.
2595 * s-regexp.adb: Likewise.
2596 * s-regpat.adb: Likewise.
2597 * s-string.adb: Likewise.
2598 * s-tasloc.adb: Likewise.
2599 * s-utf_32.adb: Likewise.
2600 * s-wchcon.adb: Likewise.
2601 * sem_aux.adb: Likewise.
2603 2012-04-02 Robert Dewar <dewar@adacore.com>
2605 * s-atopri.ads: Minor reformatting.
2607 2012-04-02 Thomas Quinot <quinot@adacore.com>
2609 * sem_util.adb: Minor reformatting, minor code cleanup.
2611 2012-04-02 Ed Schonberg <schonberg@adacore.com>
2613 * lib-xref.adb (Generate_Reference): For a reference to an
2614 operator symbol, set the sloc to point to the first character
2615 of the operator name, and not to the initial quaote.
2616 (Output_References): Ditto for the definition of an operator
2619 2012-04-02 Vincent Celier <celier@adacore.com>
2621 * ali.adb (Scan_Ali): Recognize Z lines. Set
2622 Implicit_With_From_Instantiation to True in the With_Record for
2624 * ali.ads (With_Record): New Boolean component
2625 Implicit_With_From_Instantiation, defaulted to False.
2626 * csinfo.adb: Indicate that Implicit_With_From_Instantiation
2628 * lib-writ.adb (Write_ALI): New array Implicit_With.
2629 (Collect_Withs): Set Implicit_With for the unit is it is not Yes.
2630 (Write_With_Lines): Write a Z line instead of a W line if
2631 Implicit_With is Yes for the unit.
2632 * sem_ch12.adb (Inherit_Context): Only add a unit in the context
2633 if it is not there yet.
2634 * sinfo.ads: New flag Implicit_With_From_Instantiation (Flag12)
2637 2012-04-02 Yannick Moy <moy@adacore.com>
2639 * osint.adb, osint.ads (Add_Default_Search_Dirs): Add library
2640 search dirs in file specified with option -gnateO.
2642 2012-04-02 Robert Dewar <dewar@adacore.com>
2644 * sem_ch5.adb, exp_util.adb, sem_util.adb, exp_ch4.adb: Minor
2647 2012-04-02 Olivier Hainque <hainque@adacore.com>
2649 * g-sse.ads: Add x86-solaris and x86_64-darwin to the set of
2650 platforms where the use of this spec is supported. Add current
2651 year to the copyright notice.
2652 * gcc-interfaces/Makefile.in: Add g-sse.o and g-ssvety.o to
2653 EXTRA_GNATRTL_NONTASKING_OBJS on x86 32/64 targets that support
2654 it and where they were missing (x86-solaris, x86-freebsd,
2655 x86_64-freebsd, and x86-darwin).
2657 2012-04-02 Gary Dismukes <dismukes@adacore.com>
2659 * bindgen.adb (Gen_Ada_Init): When compiling for the AAMP small
2660 library, where we no longer suppress the Standard_Library,
2661 generate an empty body rather than the usual generation of
2662 assignments to imported globals, since those aren't present in
2665 2012-04-02 Ed Schonberg <schonberg@adacore.com>
2667 * sinfo.ads: Minor documentation fix.
2669 2012-04-02 Hristian Kirtchev <kirtchev@adacore.com>
2671 * sem_res.adb (Resolve_Conditional_Expression): Add local variables
2672 Else_Typ and Then_Typ. Add missing type conversions to the "then" and
2673 "else" expressions when their respective types are scalar.
2675 2012-04-02 Vincent Pucci <pucci@adacore.com>
2677 * exp_ch9.adb: Reordering of the local subprograms. New Table
2678 for the lock free implementation that maps each protected
2679 subprograms with the protected component it references.
2680 (Allow_Lock_Free_Implementation): New routine. Check if
2681 the protected body enables the lock free implementation.
2682 (Build_Lock_Free_Protected_Subprogram_Body): New routine.
2683 (Build_Lock_Free_Unprotected_Subprogram_Body): New routine.
2684 (Comp_Of): New routine.
2685 * Makefile.rtl: Add s-atopri.o
2686 * debug.adb: New compiler debug flag -gnatd9 for lock free
2688 * rtsfind.ads: RE_Atomic_Compare_Exchange_8,
2689 RE_Atomic_Compare_Exchange_16, RE_Atomic_Compare_Exchange_32,
2690 RE_Atomic_Compare_Exchange_64, RE_Atomic_Load_8,
2691 RE_Atomic_Load_16, RE_Atomic_Load_32, RE_Atomic_Load_64, RE_Uint8,
2692 RE_Uint16, RE_Uint32, RE_Uint64 added.
2693 * s-atropi.ads: New file. Defines atomic primitives used
2694 by the lock free implementation.
2696 2012-04-02 Emmanuel Briot <briot@adacore.com>
2698 * g-expect.adb (Expect_Internal): Fix leak of the input file descriptor.
2700 2012-04-02 Hristian Kirtchev <kirtchev@adacore.com>
2702 * exp_ch4.adb (Expand_N_Quantified_Expression): Reimplemented.
2703 The expansion no longer uses the copy of the original QE created
2705 * sem.adb (Analyze): Add processing for loop parameter specifications.
2706 * sem_ch4.adb (Analyze_Quantified_Expression): Reimplemented. The
2707 routine no longer creates a copy of the original QE. All
2708 constituents of a QE are now preanalyzed and resolved.
2709 * sem_ch5.adb (Analyze_Iteration_Scheme): Remove the guard which
2710 bypasses all processing when the iteration scheme is related to a
2711 QE. Relovate the code which analyzes loop parameter specifications
2712 to a separate routine. (Analyze_Iterator_Specification):
2713 Preanalyze the iterator name. This action was originally
2714 done in Analyze_Iteration_Scheme. Update the check which
2715 detects an iterator specification in the context of a QE.
2716 (Analyze_Loop_Parameter_Specification): New routine. This
2717 procedure allows for a stand-alone analysis of a loop parameter
2718 specification without the need of a parent iteration scheme. Add
2719 code to update the type of the loop variable when the range
2720 generates an itype and the context is a QE.
2721 (Pre_Analyze_Range): Renamed to Preanalyze_Range. Update all references
2723 * sem_ch5.ads: Code reformatting.
2724 (Analyze_Loop_Parameter_Specification): New routine.
2725 * sem_ch6.adb (Fully_Conformant_Expressions): Detect a case
2726 when establishing conformance between two QEs utilizing different
2728 * sem_res.adb (Proper_Current_Scope): New routine.
2729 (Resolve): Do not resolve a QE as there is nothing to be done now.
2730 Ignore any loop scopes generated for QEs when detecting an expression
2731 function as the scopes are cosmetic and do not appear in the tree.
2732 (Resolve_Quantified_Expression): Removed. All resolution of
2733 QE constituents is now performed during analysis. This ensures
2734 that loop variables appearing in array aggregates are properly
2737 2012-04-02 Ed Schonberg <schonberg@adacore.com>
2739 * sem_util.adb (Build_Default_Subtype): If the base type is
2740 private and its full view is available, use the full view in
2741 the subtype declaration.
2743 2012-04-02 Jose Ruiz <ruiz@adacore.com>
2745 * gnat_ugn.texi: Add some minimal documentation about how to
2746 use GNATtest for cross platforms.
2748 2012-04-02 Vincent Celier <celier@adacore.com>
2750 * opt.ads (Object_Path_File_Name): New variable.
2751 * prj-attr.adb: New Compiler attribute Object_Path_Switches.
2752 * prj-nmsc.adb (Process_Compiler): Recognize new attribute
2753 Object_Path_Switches.
2754 * snames.ads-tmpl: New standard name Object_Path_Switches.
2755 * switch-c.adb (Scan_Front_End_Switches): Recognize new switch
2756 -gnateO= and put its value in Opt.Object_Path_File_Name.
2758 2012-04-02 Hristian Kirtchev <kirtchev@adacore.com>
2760 * exp_ch7.adb (Process_Declarations): Detect a case where
2761 a source object was initialized by another source object,
2762 but the expression was rewritten as a class-wide conversion
2763 of Ada.Tags.Displace.
2764 * exp_util.adb (Initialized_By_Ctrl_Function): Removed.
2765 (Is_Controlled_Function_Call): New routine.
2766 (Is_Displacement_Of_Ctrl_Function_Result): Removed.
2767 (Is_Displacement_Of_Object_Or_Function_Result): New routine.
2768 (Is_Source_Object): New routine.
2769 (Requires_Cleanup_Actions): Detect a case where a source object was
2770 initialized by another source object, but the expression was rewritten
2771 as a class-wide conversion of Ada.Tags.Displace.
2772 * exp_util.ads (Is_Displacement_Of_Ctrl_Function_Result): Removed.
2773 (Is_Displacement_Of_Object_Or_Function_Result): New routine.
2775 2012-04-02 Ed Schonberg <schonberg@adacore.com>
2777 * sem_res.adb (Resolve_Call): A call to an expression function
2778 does not freeze if it appears in a different scope from the
2779 expression function itself. Such calls appear in the generated
2780 bodies of other expression functions, or in pre/postconditions
2781 of subsequent subprograms.
2783 2012-04-02 Yannick Moy <moy@adacore.com>
2785 * lib-xref-alfa.adb: Code clean up.
2787 2012-04-02 Ed Schonberg <schonberg@adacore.com>
2789 * sem_ch12.adb (Analyze_Subprogram_Instantiation): Do not suppress
2790 style checks, because the subprogram instance itself may contain
2791 violations of syle rules.
2792 * style.adb (Missing_Overriding): Check for missing overriding
2793 indicator on a subprogram instance.
2795 2012-04-02 Hristian Kirtchev <kirtchev@adacore.com>
2797 * sem_ch6.adb (Last_Implicit_Declaration): New routine.
2798 (Process_PPCs): Insert the body of _postconditions after the
2799 last internally generated declaration. This ensures that actual
2800 subtypes created for formal parameters are visible and properly
2801 frozen as _postconditions may reference them.
2803 2012-04-02 Robert Dewar <dewar@adacore.com>
2805 * einfo.adb (First_Component_Or_Discriminant) Now applies to
2806 all types with discriminants, not just records.
2807 * exp_attr.adb (Expand_N_Attribute): Add Scalar_Values handling
2808 for arrays, scalars and non-variant records.
2809 * sem_attr.adb (Analyze_Attribute): Handle Valid_Scalars
2810 * sem_attr.ads (Valid_Scalars): Update description
2811 * sem_util.ads, sem_util.adb (No_Scalar_Parts): New function.
2813 2012-03-31 Eric Botcazou <ebotcazou@adacore.com>
2816 2012-03-25 Eric Botcazou <ebotcazou@adacore.com>
2818 * gcc-interface/decl.c (SS_MARK_NAME): New define.
2819 (gnat_to_gnu_entity) <E_Function>: Prepend leaf attribute on entities
2820 whose name is SS_MARK_NAME.
2822 2012-03-30 Robert Dewar <dewar@adacore.com>
2824 * exp_ch5.adb, sem_util.adb, exp_ch4.adb: Minor comment updates.
2826 2012-03-30 Yannick Moy <moy@adacore.com>
2828 * lib-xref-alfa.adb (Add_Alfa_File): Treat possibly 2 units at the same
2829 time, putting all scopes in the same Alfa file.
2830 (Add_Alfa_Xrefs): Correct errors in comparison function. Correct value
2832 (Collect_Alfa): Possibly pass 2 units to Add_Alfa_File.
2834 2012-03-30 Hristian Kirtchev <kirtchev@adacore.com>
2836 * exp_util.adb (Is_Secondary_Stack_BIP_Func_Call): Handle a case where
2837 a build-in-place call appears as Prefix'Reference'Reference.
2839 2012-03-30 Yannick Moy <moy@adacore.com>
2841 * lib-xref-alfa.adb: Minor refactoring to remove internal package.
2843 2012-03-30 Hristian Kirtchev <kirtchev@adacore.com>
2845 * sem_ch5.adb (Analyze_Iteration_Scheme): Preanalyze the subtype
2846 definition of a loop when the context is a quantified expression.
2848 2012-03-30 Vincent Celier <celier@adacore.com>
2850 * prj.ads: Minor comment update.
2852 2012-03-30 Yannick Moy <moy@adacore.com>
2854 * lib-xref-alfa.adb, alloc.ads, lib-xref.ads: Minor addition of
2855 comments and refactoring.
2857 2012-03-30 Robert Dewar <dewar@adacore.com>
2859 * lib-xref.adb, lib-xref-alfa.adb: Minor reformatting & code
2862 2012-03-30 Yannick Moy <moy@adacore.com>
2864 * lib-xref-alfa.adb (Generate_Dereference): Use Get_Code_Unit
2865 instead of Get_Source_Unit to get file for reference.
2866 (Traverse_Compilation_Unit): Do not add scopes for generic units.
2867 * lib-xref.adb (Generate_Reference): Use Get_Code_Unit instead
2868 of Get_Source_Unit to get file for reference.
2869 * sem_ch12.adb (Analyze_Package_Instantiation): Enable
2870 instantiation in Alfa mode.
2872 2012-03-30 Hristian Kirtchev <kirtchev@adacore.com>
2874 * exp_ch7.adb (Process_Declarations): Replace
2875 the call to Is_Null_Access_BIP_Func_Call with
2876 Is_Secondary_Stack_BIP_Func_Call. Update the related comment.
2877 * exp_util.adb (Is_Null_Access_BIP_Func_Call): Removed.
2878 (Is_Secondary_Stack_BIP_Func_Call): New routine.
2879 (Requires_Cleanup_Actions): Replace
2880 the call to Is_Null_Access_BIP_Func_Call with
2881 Is_Secondary_Stack_BIP_Func_Call. Update the related comment.
2882 * exp_util.ads (Is_Null_Access_BIP_Func_Call): Removed.
2883 (Is_Secondary_Stack_BIP_Func_Call): New routine.
2885 2012-03-30 Yannick Moy <moy@adacore.com>
2887 * lib-xref-alfa.adb, lib-xref.adb: Code clean ups.
2889 2012-03-30 Gary Dismukes <dismukes@adacore.com>
2891 * exp_ch5.adb (Expand_Iterator_Loop_Over_Array): For the case of a
2892 loop entity which is rewritten as a renaming
2893 of the indexed array, explicitly mark the entity as needing
2894 debug info so that Materialize entity will be set later by
2895 Debug_Renaming_Declaration when the renaming is expanded.
2897 2012-03-30 Robert Dewar <dewar@adacore.com>
2899 * sem_attr.ads: Update comment.
2901 2012-03-30 Vincent Celier <celier@adacore.com>
2903 * prj.ads: New Dependency_Kind: ALI_Closure.
2905 2012-03-30 Thomas Quinot <quinot@adacore.com>
2907 * exp_pakd.adb: Minor reformatting.
2909 2012-03-30 Yannick Moy <moy@adacore.com>
2911 * lib-xref-alfa.adb (Add_Alfa_File): Take into account possible absence
2912 of compilation unit for unit in Sdep_Table.
2914 2012-03-30 Thomas Quinot <quinot@adacore.com>
2916 * freeze.adb (Freeze_Record_Type): For a type with reversed bit
2917 order and reversed storage order, disable front-end relayout.
2919 2012-03-25 Eric Botcazou <ebotcazou@adacore.com>
2921 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Record_Subtype>: Copy
2922 the TYPE_PACKED flag from the base type.
2924 2012-03-25 Eric Botcazou <ebotcazou@adacore.com>
2926 * gcc-interface/decl.c (SS_MARK_NAME): New define.
2927 (gnat_to_gnu_entity) <E_Function>: Prepend leaf attribute on entities
2928 whose name is SS_MARK_NAME.
2930 2012-03-25 Eric Botcazou <ebotcazou@adacore.com>
2932 * gcc-interface/utils.c (add_parallel_type): Take a TYPE instead of a
2933 DECL and adjust. Move around.
2934 (has_parallel_type): New predicate.
2935 (rest_of_record_type_compilation): Return early if the type already
2936 has a parallel type.
2937 * gcc-interface/gigi.h (add_parallel_type): Adjust.
2938 * gcc-interface/decl.c (gnat_to_gnu_entity): Adjust for above changes.
2940 2012-03-25 Eric Botcazou <ebotcazou@adacore.com>
2942 * gcc-interface/utils.c (finish_record_type): Return early for padded
2945 2012-03-20 Arnaud Charlet <charlet@adacore.com>
2947 * hlo.ads, hlo.adb: Removed, no longer used.
2948 * gcc-interface/Make-lang.in: Remove hlo.o. Update dependencies.
2949 * gcc-interface/Makefile.in: Remove EXTRA_LIBGNAT_SRCS (temporarly)
2950 and compute it from EXTRA_LIBGNAT_OBJS.
2951 Clean up comments, reorder LIBGNAT_SRCS and LIBGNAT_OBJS.
2953 2012-03-20 Yannick Moy <moy@adacore.com>
2955 * gnat_rm.texi, sem_attr.ads: Update documentation.
2957 2012-03-19 Yannick Moy <moy@adacore.com>
2959 * sem_ch6.adb: Minor code clean up.
2961 2012-03-19 Vincent Celier <celier@adacore.com>
2963 * make.adb (Scan_Make_Arg): Make sure all significant -m switches
2964 on the command line are counted.
2966 2012-03-19 Robert Dewar <dewar@adacore.com>
2968 * sem_elab.adb (Generate_Elab_Warnings): Fix spec, fix attribute
2971 2012-03-19 Robert Dewar <dewar@adacore.com>
2973 * par-ch4.adb (Check_Bad_Exp): New procedure
2975 2012-03-19 Robert Dewar <dewar@adacore.com>
2977 * exp_attr.adb, sem_attr.adb, sem_attr.ads, snames.ads-tmpl: Add
2978 initial framework for Valid_Scalars attribute.
2980 2012-03-19 Robert Dewar <dewar@adacore.com>
2982 * scng.adb (Scan): Recognize incorrect preprocessor directive
2984 2012-03-19 Robert Dewar <dewar@adacore.com>
2986 * atree.adb (Allocate_Initialize_Node): Use Num_Extension_Nodes
2987 * atree.ads (Num_Extension_Nodes): New variable
2988 * debug.adb: New debug flag -gnatd.N
2989 * gnat1drv.adb (Adjust_Global_Switches): Adjust
2990 Num_Extension_Nodes if -gnatd.N set
2992 2012-03-19 Eric Botcazou <ebotcazou@adacore.com>
2994 * einfo.ads: Minor update to First_Rep_Item and Has_Gigi_Rep_Item
2997 2012-03-19 Robert Dewar <dewar@adacore.com>
2999 * opt.ads: Remove HLO_Active flag.
3000 * sem.adb: Remove call of high level optimizer.
3001 * sem.ads (New_Nodes_OK): Removed.
3002 * sem_ch10.adb: Remove references to New_Nodes_OK.
3003 * switch-c.adb: Remove handling of -gnatH switch.
3005 2012-03-19 Yannick Moy <moy@adacore.com>
3007 * sem_ch6.adb (Check_Subprogram_Contract): Do not emit warnings
3008 on trivially True or False postconditions and Ensures components
3011 2012-03-19 Robert Dewar <dewar@adacore.com>
3013 * gnat_ugn.texi: Fix index entry for -gnatei (now we have
3016 2012-03-19 Hristian Kirtchev <kirtchev@adacore.com>
3018 * sem_ch3.adb (Get_Discriminant_Value): Instead of looking
3019 at the immediate correcponsing discriminant, traverse a
3020 potential chain of discriminants produced by type derivations.
3021 (Root_Corresponding_Discriminant): Traverse a chain of inherited
3022 discriminants and return the topmost discriminant.
3024 2012-03-19 Bob Duff <duff@adacore.com>
3026 * debug.adb: Minor comment change.
3027 * gnat_ugn.texi: Update documentation for elaboration regarding
3030 2012-03-19 Gary Dismukes <dismukes@adacore.com>
3032 * exp_ch3.adb (Expand_N_Object_Declaration): In
3033 the case of an object of a class-wide interface type, where the
3034 declaration is rewritten as a renaming, call Set_Debug_Info_Needed
3035 on the renaming entity so that Materialize_Entity will be
3036 set. Also, change existing call (for other than interface cases)
3037 to call Set_Debug_Info_Needed rather than Set_Needs_Debug_Info
3038 (as specified for that flag).
3040 2012-03-19 Hristian Kirtchev <kirtchev@adacore.com>
3042 * sem_ch4.adb (Analyze_Allocator): Detect an allocator generated
3043 by the build-in-place machinery where the designated type is
3044 indefinite, but the underlying type is not. Do not emit errors
3045 related to missing initialization in this case.
3047 2012-03-19 Robert Dewar <dewar@adacore.com>
3049 * gnat_ugn.texi: Add documentation for -gnateinnn switch.
3050 * sem_elab.adb, put_alfa.adb, lib-xref-alfa.adb: Minor reformatting.
3051 * sem_prag.adb: Minor comment update.
3053 2012-03-15 Robert Dewar <dewar@adacore.com>
3055 * errout.ads: Add entry for translating -gnateinn to
3056 /MAX_INSTANTIATIONS for VMS.
3057 * hostparm.ads (Max_Instantiations): Moved to Opt.
3058 * opt.ads (Maximum_Instantiations): Moved from Hostparm, and renamed.
3059 * sem_ch12.adb (Maximum_Instantiations): New name of
3060 Max_Instantiations (Analyze_Package_Instantiation): Change error
3061 msg for too many instantiations (mention -gnateinn switch).
3062 * switch-c.adb (Scan_Front_End_Switches): Implement -gnateinn switch.
3063 * switch.ads: Minor comment update.
3064 * usage.adb (Usage): Output line for -maxeinn switch.
3065 * vms_data.ads: Add entry for MAX_INSTANTIATIONS (-gnateinn).
3067 2012-03-15 Yannick Moy <moy@adacore.com>
3069 * alfa.ads Update the decription of ALI sections.
3070 (Alfa_File_Record): Add a component Unit_File_Name to store the
3071 unit file name for subunits.
3072 * get_alfa.adb, put_alfa.adb Adapt to the possible presence of
3074 * lib-xref-alfa.adb (Add_Alfa_File): For subunits, retrieve the
3075 file name of the unit.
3077 2012-03-15 Yannick Moy <moy@adacore.com>
3079 * sem_ch6.adb (Check_Subprogram_Contract): Do
3080 not issue warning on missing 'Result in postcondition if all
3081 postconditions and contract-cases already get a warning for only
3082 referring to pre-state.
3084 2012-03-15 Bob Duff <duff@adacore.com>
3086 * debug.adb: Add new debug switch -gnatd.U, which disables the
3087 support added below, in case someone trips over a cycle, and needs
3089 * sem_attr.adb (Analyze_Access_Attribute):
3090 Treat Subp'Access as a call for elaboration purposes.
3091 * sem_elab.ads, sem_elab.adb (Check_Elab_Call): Add support
3094 2012-03-15 Vincent Pucci <pucci@adacore.com>
3096 * sem.ads, sem.adb (Preanalyze): New routine.
3097 * sem_ch4.adb (Analyze_Quantified_Expression): Call to the
3098 Preanalyze routine in Sem added. Renaming of Needs_Expansion
3099 into Need_Preanalysis.
3100 * sem_ch6.adb (Preanalyze): Removed.
3102 2012-03-15 Robert Dewar <dewar@adacore.com>
3104 * sem_ch4.adb (Analyze_Quantified_Expression): Add comment.
3105 * sem_prag.adb: Minor comment additions.
3106 * sem_attr.adb (Check_First_Last_Valid): Make sure prefix type
3109 2012-03-15 Vincent Pucci <pucci@adacore.com>
3111 * sem_ch4.adb (Analyze_Quantified_Expression):
3112 Preanalyze the condition when the quantified expression will be
3115 2012-03-15 Yannick Moy <moy@adacore.com>
3117 * sem_prag.adb, sem_util.adb, sem_util.ads, sem_attr.adb, sem_ch6.adb,
3118 sem_warn.adb: Minor refactoring, renaming Case_Pragma in CTC_Pragma,
3119 to refer to both Test_Case pragma and Contract_Case pragma (same
3120 acronym as in Spec_CTC_List).
3122 2012-03-15 Robert Dewar <dewar@adacore.com>
3124 * sem_prag.adb, sem_prag.ads, sem_util.ads, sem_attr.adb, sem_ch6.adb,
3125 sem_warn.adb: Minor reformatting.
3127 2012-03-15 Hristian Kirtchev <kirtchev@adacore.com>
3129 * exp_util.adb (Initialized_By_Ctrl_Function): Do not loop over
3130 selector names as the function call always appears at the top selected
3133 2012-03-15 Ed Schonberg <schonberg@adacore.com>
3135 * sem_ch12.adb (Validate_Access_Subprogram_Instance): keep
3136 Mode_Conformance check for older versions of the language.
3138 2012-03-15 Yannick Moy <moy@adacore.com>
3140 * gnat_ugn.texi Document the extension of option -gnatw.t.
3141 * sem_ch3.adb (Analyze_Declaration): Check for suspicious
3142 contracts only after contract cases have been semantically
3144 * sem_ch6.adb (Check_Subprogram_Contract): Consider also Ensures
3145 components of contract cases for detecting suspicious contracts.
3147 2012-03-15 Yannick Moy <moy@adacore.com>
3149 * aspects.adb, aspects.ads (Aspect_Id): New GNAT aspect
3150 Aspect_Contract_Case.
3151 * gnat_rm.texi Document the new pragma/aspect
3152 Contract_Case. Correct the documentation of the existing
3153 pragma/aspect Test_Case with the new semantics.
3154 * sem_attr.adb (Analyze_Attribute): Allow use of 'Result in the
3155 Ensures component of a Contract_Case pragma.
3156 * sem_ch13.adb (Analyze_Aspect_Specifications): Check new aspect
3157 and translate it into a pragma.
3158 (Check_Aspect_At_Freeze_Point): Take into account the new aspect.
3159 * sem_ch3.adb, sinfo.adb, sinfo.ads Renaming of TC (for test case)
3160 into CTC (for contract and test case).
3161 * sem_ch6.adb (Process_PPCs): Generate Check pragmas from
3162 Contract_Case pragmas, similarly to what is done already for
3164 * sem_prag.adb, sem_prag.ads (Check_Contract_Or_Test_Case):
3165 Renaming of Check_Test_Case.
3166 (Analyze_Pragma, Sig_Flags): Take into account the new pragma.
3167 * sem_util.adb, sem_util.ads Renaming to take into account the
3168 new pragma, so that functions which applied only to Test_Case
3169 now apply to both Test_Case and Contract_Case.
3170 * par-prag.adb, sem_warn.adb, snames.ads-tmpl Take into account
3173 2012-03-15 Robert Dewar <dewar@adacore.com>
3175 * sem_ch6.ads: Minor comment updates.
3176 * sem_ch12.adb: Minor comment clarification.
3178 2012-03-15 Robert Dewar <dewar@adacore.com>
3180 * sem_ch5.adb: Minor reformatting.
3182 2012-03-15 Ed Schonberg <schonberg@adacore.com>
3184 * exp_ch3.adb (Expand_N_Object_Declaration): When rewriting the
3185 declaration of a class-wide object, retain the Ekind to prevent
3186 subsequent misuse of constants.
3188 2012-03-15 Yannick Moy <moy@adacore.com>
3190 * gnat_rm.texi, gnat_ugn.texi: Minor correction of invariant
3193 2012-03-15 Hristian Kirtchev <kirtchev@adacore.com>
3195 * exp_util.adb (Initialized_By_Ctrl_Function): Add code to
3196 process the case when a function call appears in object.operation
3199 2012-03-15 Ed Schonberg <schonberg@adacore.com>
3201 * sem_ch6.ads, sem_ch6.adb (Check_Subtype_Conformant): add
3202 Get_Inst formal, so that conformance within an instantiation
3203 follows renamings of formals. This is similar to what is already
3204 done in Check_Mode_conformant.
3205 * sem_ch12.adb (Vailidate_Access_Subprogram_Instance): check that
3206 formal and actual are subtype conformant. Previously only mode
3207 conformance was required.
3209 2012-03-15 Robert Dewar <dewar@adacore.com>
3211 * par-ch6.adb, einfo.ads, sem_eval.adb, sem_eval.ads,
3212 sem_case.adb: Minor reformatting.
3214 2012-03-15 Robert Dewar <dewar@adacore.com>
3216 * exp_attr.adb (Expand_N_Attribute_Reference): Add handling
3217 of First_Valid/Last_Valid.
3218 * sem_attr.adb (Check_First_Last_Valid): New procedure
3219 (Analyze_Attribute): Add handling of First_Valid and Last_Valid
3220 (Eval_Attribute): ditto.
3221 * snames.ads-tmpl: Add entries for First_Valid and Last_Valid.
3223 2012-03-15 Ed Schonberg <schonberg@adacore.com>
3225 * exp_ch5.adb (Expand_Predicated_Loop): Suppress warnings on
3226 loop variable, for the unusual case where the range has a single
3227 element and the loop variable has no visible assignment to it.
3229 2012-03-15 Vincent Pucci <pucci@adacore.com>
3231 * exp_ch4.adb (Expand_N_Quantified_Expression): Expand the
3232 original quantified expression node.
3233 * sem_ch4.adb (Analyze_Quantified_Expression): Properly analyze
3234 the quantified expression and preserve the original non-analyzed
3235 quantified expression when an expansion is needed.
3236 * sem_ch5.adb (Analyze_Iteration_Scheme): Special treatment
3237 for quantified expressions.
3238 (Analyze_Iterator_Specification): Special treatment for quantified
3241 2012-03-15 Ed Falis <falis@adacore.com>
3243 * s-vxwork-ppc.ads: Update FP_CONTEXT so name of former pad
3244 field matches VxWorks headers.
3246 2012-03-14 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
3248 * gcc-interface/Makefile.in (mips-sgi-irix6*): Remove.
3250 * a-intnam-irix.ads, mlib-tgt-specific-irix.adb,
3251 s-intman-irix.adb, s-mastop-irix.adb, s-osinte-irix.adb,
3252 s-osinte-irix.ads, s-proinf-irix-athread.adb,
3253 s-proinf-irix-athread.ads, s-taprop-irix.adb, s-tasinf-irix.ads,
3254 system-irix-n32.ads, system-irix-n64.ads, system-irix-o32.ads:
3257 * adaint.c [__mips && __sgi]: Remove.
3258 (__gnat_number_of_cpus) [__mips && __sgi]: Remove.
3259 [IS_CROSS && !(__mips && __sgi)]: Remove.
3260 * adaint.h [sgi && _LFAPI]: Remove.
3261 * cstreams.c (__gnat_full_name) [sgi]: Remove.
3262 * env.c (__gnat_unsetenv) [__mips && __sgi]: Remove.
3263 (__gnat_clearenv) [__mips && __sgi]: Remove.
3264 * errno.c (_SGI_MP_SOURCE): Remove.
3265 * gsocket.h [sgi]: Remove.
3266 * init.c: Remove IRIX reference.
3268 * link.c [sgi]: Remove.
3269 * s-oscons-tmplt.c [__mips && __sgi] (IOV_MAX): Don't define.
3270 (main) [__mips && __sgi] (MAX_tv_sec): Don't define.
3271 (CLOCK_SGI_FAST, CLOCK_SGI_CYCLE): Remove.
3272 * sysdep.c [sgi]: Remove.
3273 (getc_immediate_common) [sgi]: Remove.
3274 (__gnat_localtime_tzoff) [sgi]: Remove.
3275 * terminals.c [__mips && __sgi] (IRIX): Don't define.
3276 [IRIX] (USE_GETPTY): Don't define.
3277 (allocate_pty_desc) [USE_GETPTY]: Remove.
3279 * g-traceb.ads: Remove IRIX reference.
3280 * g-trasym.ads: Likewise.
3281 * memtrack.adb: Likewise.
3282 * s-interr-sigaction.adb: Likewise.
3284 * gnat_rm.texi (Implementation Advice): Remove SGI info.
3285 (Implementation Defined Characteristics): Likewise.
3286 * gnat_ugn.texi (Summary of Run-Time Configurations, mips-irix):
3288 (Irix-Specific Considerations): Remove.
3290 2012-03-13 Tristan Gingold <gingold@adacore.com>
3292 * gcc-interface/gigi.h (flag_vms_malloc64): Refine condition.
3294 2012-03-13 Tristan Gingold <gingold@adacore.com>
3296 * sysdep.c: Adjust condition after removal of __osf__.
3298 2012-03-12 Eric Botcazou <ebotcazou@adacore.com>
3300 * gcc-interface/gigi.h (shift_unc_components_for_thin_pointers): Kill.
3301 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Array_Type>: Remove call
3303 * gcc-interface/trans.c (Attribute_to_gnu) <Attr_Pool_Address>: Adjust
3304 handling of thin pointers.
3305 <Attr_Descriptor_Size>: Likewise.
3306 (gnat_to_gnu) <N_Free_Statement>: Likewise.
3307 * gcc-interface/utils.c (shift_unc_components_for_thin_pointers): Kill.
3308 (convert_to_fat_pointer): Adjust handling of thin pointers.
3309 (convert) <POINTER_TYPE>: Likewise.
3310 * gcc-interface/utils2.c (build_unary_op) <INDIRECT_REF>: Likewise.
3312 2012-03-12 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
3314 * gcc-interface/Makefile.in (alpha*-dec-osf*): Remove.
3315 * a-intnam-tru64.ads, mlib-tgt-specific-tru64.adb,
3316 s-mastop-tru64.adb, s-osinte-tru64.adb, s-osinte-tru64.ads,
3317 s-taprop-tru64.adb, s-tasinf-tru64.ads, s-taspri-tru64.ads,
3318 system-tru64.ads: Remove.
3320 * adaint.c (__gnat_number_of_cpus) [__alpha__ && __osf__]:
3322 [IS_CROSS] [!(__alpha__ && __osf__)]: Remove.
3323 * env.c [__alpha__ && __osf__]: Remove.
3324 * gsocket.h (_OSF_SOURCE): Remove.
3325 (HAVE_THREAD_SAFE_GETxxxBYyyy) [__osf__]: Remove.
3326 * init.c [__alpha__ && __osf__]: Remove.
3327 * link.c [__osf__]: Remove.
3328 * s-oscons-tmplt.c [__alpha__ && __osf__]: Remove.
3329 [__osf__ && !_SS_MAXSIZE]: Remove.
3330 * sysdep.c [__osf__]: Remove.
3331 * terminals.c [__alpha__ && __osf__]: Remove.
3334 * g-traceb.ads: Remove Tru64 reference.
3335 * g-trasym.ads: Likewise.
3336 * gnat_ugn.texi (Linking a Mixed C++ & Ada Program): Likewise.
3337 (Summary of Run-Time Configurations): Likewise.
3338 * memtrack.adb: Likewise.
3340 2012-03-12 Tristan Gingold <gingold@adacore.com>
3342 * gcc-interface/decl.c (gnat_to_gnu_param): Use flag_vms_malloc64
3343 instead of TARGET_MALLOC64.
3344 * gcc-interface/gigi.h (flag_vms_malloc64): Define instead
3347 2012-03-09 Robert Dewar <dewar@adacore.com>
3349 * a-direct.adb, comperr.adb, freeze.adb: Minor reformatting.
3351 2012-03-09 Arnaud Charlet <charlet@adacore.com>
3353 * s-taskin.adb (Initialize_ATCB): Set Task_Image_Len to
3354 0 so that we never access this field uninitialized (e.g. in
3355 Task_Primitives.Operations.Enter_Task for the environment task).
3357 2012-03-09 Vincent Pucci <pucci@adacore.com>
3359 * exp_ch5.adb (Expand_Iterator_Loop):
3360 Call to Expand_Iterator_Loop_Over_Array added.
3361 (Expand_Iterator_Loop_Over_Array): New routine. Expansion of
3362 "of" iterator loop over arrays. Multidimensional array case added.
3364 2012-03-09 Eric Botcazou <ebotcazou@adacore.com>
3366 * uintp.ads: Fix minor pasto in comment.
3368 2012-03-09 Vasiliy Fofanov <fofanov@adacore.com>
3370 * a-direct.adb: Do not strip the trailing directory separator
3371 from path, as this is already done inside Normalize_Pathname;
3372 doing it again produces the wrong result on Windows for the
3373 drive's root dir (i.e. "X:\" becomes "X:").
3375 2012-03-09 Thomas Quinot <quinot@adacore.com>
3377 * exp_attr.adb, freeze.adb, sem_attr.adb, aspects.adb, aspects.ads,
3378 sem_ch13.adb, snames.ads-tmpl (Exp_Attr.Expand_N_Attribute_Reference):
3379 Add Attribute_Scalar_Storage_Order.
3380 (Sem_Attr.Analyze_Attribute, Eval_Attribute): Ditto.
3381 (Aspects): Add Aspect_Scalar_Storage_Order (Snames): Add
3382 Name_Scalar_Storage_Order and Attribute_Scalar_Storage_Order.
3383 (Sem_Ch13.Analyze_Attribute_Definition_Clause): Add processing
3384 for Scalar_Storage_Order.
3385 (Freeze): If Scalar_Storage_Order is specified, check that it
3386 is compatible with Bit_Order.
3388 2012-03-09 Robert Dewar <dewar@adacore.com>
3390 * s-osinte-linux.ads, sem_util.adb, s-taprop-linux.adb, exp_ch4.adb,
3391 a-strsup.ads, sem_ch6.adb, a-stwisu.ads, exp_ch3.adb,
3392 a-stzsup.ads: Minor reformatting.
3394 2012-03-09 Thomas Quinot <quinot@adacore.com>
3396 * s-ransee-vms.adb: Minor reformatting.
3398 2012-03-09 Arnaud Charlet <charlet@adacore.com>
3400 * comperr.adb (Delete_SCIL_Files): Fix handling of
3401 N_Package_Renaming_Declaration and N_Generic_Package_Declaration.
3403 2012-03-09 Javier Miranda <miranda@adacore.com>
3405 * sem_ch6.adb (Check_Body_To_Inline): In AAMP and VM targets
3406 use frontend inlining at all optimization levels.
3407 * sem_util.adb (Must_Inline): In AAMP and VM targets, given that
3408 there is no inlining support in the backend, use also frontend
3409 inlining when compiling with optimizations enabled.
3410 * exp_ch6.adb (Expand_Call): Minor code reorganization.
3412 2012-03-09 Eric Botcazou <ebotcazou@adacore.com>
3414 * gcc-interface/ada-tree.h (TYPE_VAX_FLOATING_POINT_P): Move around.
3415 (TYPE_UNCONSTRAINED_ARRAY): Adjust comment.
3416 * gcc-interface/trans.c (Attribute_to_gnu) <Attr_Pool_Address>: Tidy
3417 up. Add comment and use canonical predicate for thin pointers.
3418 (gnat_to_gnu) <N_Free_Statement>: Tidy up and reorder. Add comment
3419 and use canonical predicate for thin pointers.
3420 * gcc-interface/utils.c (convert_to_fat_pointer): Remove superfluous
3421 'else' and use standard name.
3422 (convert_to_thin_pointer): Delete.
3423 (convert) <POINTER_TYPE>: Do the difference in sizetype directly and
3424 change obsolete idioms. Do not call above function.
3425 (unchecked_convert): Fix formatting.
3426 * gcc-interface/utils2.c (build_unary_op) <INDIRECT_REF>: In the thin
3427 pointer case, use byte_position to get the field position.
3429 2012-03-07 Eric Botcazou <ebotcazou@adacore.com>
3431 * gcc-interface/decl.c (gnat_to_gnu_entity): Do not set flags on the
3432 DECL node built for a type which has a non-trivial equivalent type.
3434 2012-03-07 Eric Botcazou <ebotcazou@adacore.com>
3436 * gcc-interface/gigi.h (rest_of_type_decl_compilation): Delete.
3437 * gcc-interface/decl.c (defer_finalize_level): Likewise.
3438 (defer_finalize_list): Likewise.
3439 (gnat_to_gnu_entity): Delete references to above variables and do not
3440 call rest_of_type_decl_compilation.
3441 (rest_of_type_decl_compilation): Delete.
3442 (rest_of_type_decl_compilation_no_defer): Likewise.
3443 * gcc-interface/utils.c (rest_of_record_type_compilation): Do not call
3444 rest_of_type_decl_compilation.
3445 (create_type_decl): Likewise.
3446 (update_pointer_to): Likewise.
3448 2012-03-07 Eric Botcazou <ebotcazou@adacore.com>
3450 * gcc-interface/trans.c (Identifier_to_gnu): Don't unshare initializer.
3451 (add_decl_expr): Mark external DECLs as used.
3452 * gcc-interface/utils.c (convert) <CONSTRUCTOR>: Copy the vector.
3454 2012-03-07 Tristan Gingold <gingold@adacore.com>
3456 * s-ransee-vms.adb: New file.
3457 * gcc-interface/Makefile.in: Use s-ransee-vms.adb on VMS.
3458 * gcc-interface/Make-lang.in: Update dependencies.
3460 2012-03-07 Bob Duff <duff@adacore.com>
3462 * rtsfind.ads: Add support for finding Super_String types.
3463 * sem_util.ads, sem_util.adb (Is_Bounded_String): New function
3464 to determine whether a given type is a bounded string type.
3465 (Is_Fully_Initialized_Type): Return True for bounded
3466 string types, to suppress bogus warnings.
3467 * exp_ch4.adb (Expand_Composite_Equality): Special case for bounded
3468 strings: equality composes. This allows us to remove default values in
3470 * a-strsup.ads, a-stwisu.ads, a-stzsup.ads: Update comments.
3471 * exp_ch3.adb (Expand_Freeze_Record_Type): Comment.
3473 2012-03-07 Robert Dewar <dewar@adacore.com>
3475 * sem_util.adb, exp_ch4.adb, exp_ch6.adb, sem_ch6.adb: Minor
3478 2012-03-07 Sergey Rybin <rybin@adacore.com frybin>
3480 * gnat_ugn.texi: gnatpp: fix paragraph about sources with
3481 preprocessor directives.
3483 2012-03-07 Arnaud Charlet <charlet@adacore.com>
3485 * s-osinte-linux.ads, s-taprop-linux.adb (prctl): New function.
3486 (Enter_Task): Call prctl when relevant.
3488 2012-03-07 Tristan Gingold <gingold@adacore.com>
3490 * s-osinte-vms.ads: pthread_mutex_setname_np: new function.
3492 2012-03-07 Ed Schonberg <schonberg@adacore.com>
3494 * sem_ch6.adb (Process_Formals): a generic subprogram with
3495 a formal incomplete type does not require a freeze node.
3497 2012-03-07 Bob Duff <duff@adacore.com>
3499 * sem_util.ads: Minor reformatting.
3501 2012-03-07 Geert Bosch <bosch@adacore.com>
3503 * targparm.ads: New target parameter Atomic_Sync_Default,
3505 * targparm.adb (Get_Target_Parameters): Add processing for
3506 Atomic_Sync_Default.
3507 * gnat1drv.adb (Adjust_Global_Switches): Adjust Supress_Options
3510 2012-03-07 Javier Miranda <miranda@adacore.com>
3512 * sem_ch3.adb (Analyze_Object_Declaration): If the object
3513 declaration has an init expression then stop the analysis of the
3514 object declaration if the expression which initializes the object
3515 is a call to an inlined function which returns an unconstrained
3516 and has been expanded into a procedure call.
3517 * sem_ch5.adb (Has_Call_Using_Secondary_Stack): Add missing
3518 support to handle selected components.
3519 * sem_ch6.ads (Cannot_Inline): Adding parameter Is_Serious plus
3521 * sem_ch6.adb (Check_And_Build_Body_To_Inline): New
3522 subprogram which implements the checks required by the
3523 new rules for frontend inlining and builds the body to inline.
3524 (Analyze_Subprogram_Body_Helper): Move code that
3525 checks inlining of subprogram that has nested subprogram
3526 to Check_And_Build_Body_To_Inline. Replace call to
3527 Build_Body_To_Inline by call to the new subprogram
3528 Check_And_Build_Body_To_Inline.
3529 (Cannot_Inline): New implementation.
3530 * sem_ch12.adb (Analyze_Package_Instantiation.Must_Inline_Subp):
3532 * sem_util.ad[sb] (Must_Inline): New subprogram.
3533 (Returns_Unconstrained_Type): New subprogram.
3534 * sem_res.adb (Resolve_Call): Do not create a transient scope
3536 * inline.ads (Analyzing_Inlined_Bodies): Remove unreferenced variable.
3537 * inline.adb (Analyze_Inlined_Bodies, Initialize): Remove setting
3538 to false the variable Analyzing_Inlined_Bodies. Fix comments.
3539 * exp_ch4.adb (Expand_N_Allocator): Fix handling of finalization master.
3540 * exp_ch6.ads (List_Inlining_Info): New subprogram.
3541 * exp_ch6.adb (Expand_Call.Do_Inline): New subprogram.
3542 (Expand_Call.Do_Inline_Always): New subprogram.
3543 (In_Unfrozen_Instance): Move the declaration of this subprogram.
3544 (Expand_Inlined_Call.Reset_Dispatching_Calls): New subprogram.
3545 (Expand_Inlined_Call): Adding new support for inlining functions
3546 that return unconstrained types.
3547 (List_Inlining_Info): New subprogram.
3548 * debug.adb Document flags -gnatd.j and -gnatd.k
3549 * gnat1drv.adb Add call to generate the new listing of inlined
3550 calls and calls passed to the backend.
3552 2012-03-07 Robert Dewar <dewar@adacore.com>
3554 * sem_ch5.adb, s-vaflop.adb, s-taprop-vms.adb, exp_ch6.adb,
3555 s-gearop.adb, sem_ch6.adb, g-trasym.adb: Minor reformatting.
3557 2012-03-07 Javier Miranda <miranda@adacore.com>
3559 * a-ngrear.ads: Add documentation.
3561 2012-03-07 Tristan Gingold <gingold@adacore.com>
3563 * s-taprop-vms.adb (Create_Task): set thread name.
3564 * s-osinte-vms.ads (pthread_attr_setname_np): Declare.
3566 2012-03-07 Arnaud Charlet <charlet@adacore.com>
3568 * g-trasym.adb: Minor reformatting.
3570 2012-03-07 Robert Dewar <dewar@adacore.com>
3572 * a-ngrear.ads: Minor addition of ??? comment.
3574 2012-03-07 Gary Dismukes <dismukes@adacore.com>
3576 * exp_ch4.adb (Apply_Accessibility_Check): Call
3577 Remove_Side_Effects in the build-in-place case, to ensure that
3578 we capture the call and don't end up with two calls.
3580 2012-03-07 Javier Miranda <miranda@adacore.com>
3582 * exp_ch6.adb (Expand_Inlined_Call): Skip inlining of functions
3583 that return unconstrained types using an extended return statement
3584 since the support for inlining these functions has not been yet
3585 added to the frontend.
3586 * s-vaflop.adb, s-vaflop-vms-alpha.adb: Code reorganization.
3587 * a-ngrear.ads: Replace all the Inline_Always pragmas by pragma
3589 * a-ngrear.adb (Eigenvalues, Transpose): Restructured to use
3590 extended return statement.
3591 * a-strsup.adb, a-stzsup.adb, a-stwisu.adb (Concat, Super_Slice,
3592 Super_To_String): Restructured to use extended return statement.
3593 * a-chahan.adb (To_Basic, To_Lower, To_Upper): Restructured to
3594 use extended return statement.
3595 * s-gearop.adb (Diagonal, Matrix_Elementwise_Operation,
3596 Vector_Elementwise_Operation, Matrix_Elementwise_Operation,
3597 Matrix_Matrix_Scalar_Elementwise_Operation,
3598 Vector_Vector_Elementwise_Operation,
3599 Vector_Vector_Scalar_Elementwise_Operation,
3600 Matrix_Scalar_Elementwise_Operation,
3601 Vector_Scalar_Elementwise_Operation,
3602 Scalar_Matrix_Elementwise_Operation,
3603 Scalar_Vector_Elementwise_Operation, Matrix_Matrix_Product,
3604 Matrix_Vector_Product, Outer_Product, Unit_Matrix, Unit_Vector,
3605 Vector_Matrix_Product): Restructured to use extended return
3608 2012-03-07 Vincent Pucci <pucci@adacore.com>
3610 * sem_ch5.adb (One_Bound): Minor reformatting.
3612 2012-03-07 Tristan Gingold <gingold@adacore.com>
3614 * s-osinte-vms-ia64.adb, s-osinte-vms-ia64.ads, s-osinte-vms.adb,
3615 s-osinte-vms.ads, gcc-interface/Makefile.in: Merge s-osinte-vms and
3618 2012-03-07 Ed Schonberg <schonberg@adacore.com>
3620 * checks.adb (Apply_Predicate_Check): Do not generate a predicate
3621 check is the context is an internally generated type-specific
3623 * sem_ch6.adb (Process_PPCs); the formals of internally generated
3624 type-specific functions do not get assertion checks.
3626 2012-03-07 Yannick Moy <moy@adacore.com>
3628 * gnat_rm.texi: Minor renaming of title.
3629 * gnat_ugn.texi: Minor correction.
3631 2012-03-07 Vincent Pucci <pucci@adacore.com>
3633 * exp_ch4.adb (Expand_N_Quantified_Expression): Minor
3635 * sem_ch4.adb (Analyze_Quantified_Expression): Creation and
3636 analysis of the iteration scheme added in all cases.
3637 * sem_ch5.adb (Analyze_Iteration_Scheme): Minor reformating.
3638 (Analyze_Iterator_Specification): Minor reformating.
3639 * sem_res.adb (Resolve_Quantified_Expression): Resolution of
3640 the condition added in all cases.
3642 2012-03-07 Thomas Quinot <quinot@adacore.com>
3644 * einfo.adb, einfo.ads: Add flag Reverse_Storage_Order.
3646 2012-03-07 Yannick Moy <moy@adacore.com>
3648 * gnat_rm.texi, gnat_ugn.texi: Rewording of GNAT UG and GNAT RM to
3649 account for Ada 2012 assertions, and their pragma counterparts in GNAT.
3651 2012-03-07 Thomas Quinot <quinot@adacore.com>
3653 * exp_attr.adb, sem_attr.adb: Minor reformatting.
3655 2012-03-07 Bob Duff <duff@adacore.com>
3657 * hostparm.ads (Max_Instantiations): Increase parameter.
3659 2012-03-07 Bob Duff <duff@adacore.com>
3661 * par-prag.adb: Minor code rearrangement.
3663 2012-03-07 Bob Duff <duff@adacore.com>
3665 * a-strsup.ads, a-stwisu.ads, a-stzsup.ads (Super_String):
3666 Remove default initial value for Data. It is no longer needed
3667 because "=" now composes properly for untagged records. This
3668 default has caused efficiency problems.
3670 2012-03-07 Ed Schonberg <schonberg@adacore.com>
3672 * sem_res.adb (Resolve_Actuals): If the actual is a selected
3673 component of an anonymous access type, whose prefix is a variable,
3674 treat the variable as if it may be modified by the call, to
3675 suppress spurious warnings that a variable might be declared as
3678 2012-03-07 Thomas Quinot <quinot@adacore.com>
3680 * einfo.adb, einfo.ads: Remove unused entity flags.
3682 2012-03-07 Eric Botcazou <ebotcazou@adacore.com>
3684 * gnat_ugn.texi (Inline Assembler): Fix swapping of Input and
3685 Output operands throughout.
3687 2012-03-07 Hristian Kirtchev <kirtchev@adacore.com>
3689 * sem_ch12.adb (Earlier): When two nodes come from the same
3690 generic instantiation, compare their locations. Otherwise always
3691 use the top level locations of the nodes.
3693 2012-03-07 Thomas Quinot <quinot@adacore.com>
3695 * einfo.ads, sem_prag.adb: Minor reformatting.
3697 2012-03-05 Jason Merrill <jason@redhat.com>
3699 * gcc-interface/Make-lang.in (doc/gnat_ugn.texi): Build xgnatugn
3702 2012-03-04 Eric Botcazou <ebotcazou@adacore.com>
3704 * gnatvsn.ads (Library_Version): Bump to 4.8.
3706 2012-03-03 H.J. Lu <hongjiu.lu@intel.com>
3708 * init.c (__gnat_adjust_context_for_raise): Also check
3709 "orq $0x0,(%esp)" for x32.
3711 * link.c (__gnat_default_libgcc_subdir): Set to libx32 for x32.
3713 * gcc-interface/Makefile.in (arch): Set to x32 if MULTISUBDIR
3714 is /x32 and add support for x32.
3716 2012-02-29 Eric Botcazou <ebotcazou@adacore.com>
3718 * gcc-interface/decl.c (components_to_record): Add ARTIFICIAL parameter
3719 and set TYPE_ARTIFICIAL according to it. Adjust recursive call.
3720 (gnat_to_gnu_entity) <E_Record_Type>: Adjust call to above function.
3721 * gcc-interface/utils.c (rest_of_record_type_compilation): Do not
3722 invoke rest_of_type_decl_compilation on the parallel type, if any.
3724 2012-02-29 Eric Botcazou <ebotcazou@adacore.com>
3726 * gcc-interface/utils.c (gnat_write_global_declarations): Make sure the
3727 dummy global built for global types is preserved.
3729 2012-02-27 Tristan Gingold <gingold@adacore.com>
3731 * gcc-interface/decl.c (gnat_to_gnu_entity) [E_String_Type,
3732 E_Array_Type]: Reuse dummy fat type for gnu_ptr_template and
3735 2012-02-27 Eric Botcazou <ebotcazou@adacore.com>
3737 * gcc-interface/ada-tree.h (TYPE_PACKED_ARRAY_TYPE_P): Add checking.
3738 (TYPE_BY_REFERENCE_P): New flag.
3739 (TYPE_IS_BY_REFERENCE_P): New macro.
3740 (TYPE_DUMMY_P): Add checking and remove VOID_TYPE.
3741 (TYPE_IS_DUMMY_P): Adjust for above change.
3742 * gcc-interface/decl.c (gnat_to_gnu_entity): Use TYPE_BY_REFERENCE_P
3743 and TYPE_IS_BY_REFERENCE_P instead of TREE_ADDRESSABLE.
3744 (gnat_to_gnu_param): Likewise.
3745 (maybe_pad_type): Likewise.
3746 (make_type_from_size): Use TYPE_IS_PACKED_ARRAY_TYPE_P.
3747 * gcc-interface/misc.c (must_pass_by_ref): Use TYPE_IS_BY_REFERENCE_P
3748 instead of TREE_ADDRESSABLE.
3749 * gcc-interface/trans.c (finalize_nrv): Likewise.
3750 (call_to_gnu): Likewise. Do not create a temporary for return values
3751 with by-reference type here.
3752 (gnat_to_gnu): Test TYPE_IS_DUMMY_P instead of TYPE_DUMMY_P.
3753 (gnat_gimplify_expr) <ADDR_EXPR>: Don't do anything for non-constant
3754 CONSTRUCTORs and calls.
3755 * gcc-interface/utils.c (make_dummy_type): Get the equivalent type of
3756 the underlying type and use it throughout. Use TYPE_IS_BY_REFERENCE_P
3757 instead of TREE_ADDRESSABLE.
3758 * gcc-interface/utils2.c (build_cond_expr): Deal with by-reference
3761 2012-02-27 Eric Botcazou <ebotcazou@adacore.com>
3763 * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: Revert previous
3764 change that creates a special VAR_DECL for debugging purposes. For an
3765 aliased object with an unconstrained nominal subtype, make its type a
3766 thin reference to the underlying object.
3767 * gcc-interface/utils2.c (build_unary_op) <INDIRECT_REF>: Deal with
3768 expressions built for the initialization of above objects.
3770 2012-02-24 Dave Korn <dave.korn.cygwin@gmail.com>
3772 * gcc-interface/Makefile.in (WIN_SO_PREFIX [windows targets]): New
3773 Windows-specific make variable.
3774 (WIN_SO_INSTALL_DIR [windows targets]): Likewise.
3775 (install-gnatlib): Respect the above during installation when set,
3776 and also install any windows import library that has been built.
3777 (gnatlib-shared-win32): Use WIN_SO_PREFIX to name output DLL and also
3778 build a corresponding import library.
3780 2012-02-22 Robert Dewar <dewar@adacore.com>
3782 * exp_util.adb, make.adb, sem_dim.adb, sem_ch4.adb, exp_disp.adb: Minor
3785 2012-02-22 Geert Bosch <bosch@adacore.com>
3787 * g-bytswa-x86.adb, g-bytswa.adb, gcc-interface/Makefile.in: Remove
3788 x86-specific version of byteswap and use GCC builtins instead.
3790 2012-02-22 Tristan Gingold <gingold@adacore.com>
3792 * gcc-interface/decl.c (gnat_to_gnu_entity) [E_String_Type,
3793 E_Array_Type]: Translate component ealier.
3795 2012-02-22 Robert Dewar <dewar@adacore.com>
3797 * par-ch3.adb (P_Signed_Integer_Type_Definition): Specialize
3798 error message for 'Range.
3800 2012-02-22 Pascal Obry <obry@adacore.com>
3802 * s-taprop-mingw.adb (Finalize_TCB): Do not wait on thread handle as
3803 this is our own thread.
3805 2012-02-22 Sergey Rybin <rybin@adacore.com frybin>
3807 * tree_io.ads: Update ASIS_Version_Number because of the changes
3810 2012-02-22 Hristian Kirtchev <kirtchev@adacore.com>
3812 * exp_ch7.adb (Create_Finalizer): Suppress elaboration checks on
3813 stack-related finalizers.
3815 2012-02-22 Ed Schonberg <schonberg@adacore.com>
3817 * sem_ch6.adb (Analyze_Expression_Function): If the construct
3818 is a completion, indicate that its formals are the formals of
3819 a completion, and as such do not get a cross- reference entry.
3820 (Analyze_Subprogram_Specification): Do not generate a definition
3821 for the entity of an expression function, because it may be a
3822 completion. Definition will be generated if needed when analyzing
3823 the generated subprogram declaration.
3825 2012-02-22 Vincent Celier <celier@adacore.com>
3827 * make.adb (Check): When checking if an object file is in the
3828 correct object directory, get the unit name from a previous call
3829 to Check_Source_Info_In_ALI.
3830 * makeutl.adb (Check_Source_Info_In_ALI): Return the name of
3831 the unit when everything is OK, otherwise return No_Name.
3832 * makeutl.ads (Check_Source_Info_In_ALI): Return Name_Id instead
3835 2012-02-22 Ed Schonberg <schonberg@adacore.com>
3837 * sem_ch4.adb (Find_Equality_Types, Try_One_Interp): In an
3838 instance, the operator is visible if an operand is of some
3839 numeric type which is not in use or directly visible, and the
3840 other operand is a numeric literal.
3842 2012-02-22 Tristan Gingold <gingold@adacore.com>
3844 * init.c: Minor code clean up.
3845 * gcc-interface/Make-lang.in: Update dependencies.
3847 2012-02-22 Arnaud Charlet <charlet@adacore.com>
3849 * gnatlink.adb (Gnatlink): Use -gnatcC in CodePeer_Node,
3850 otherwise GCC will generate an object file.
3852 2012-02-22 Vincent Celier <celier@adacore.com>
3854 * projects.texi: Correct typo related to "**" in Source_Dirs.
3856 2012-02-22 Steve Baird <baird@adacore.com>
3858 * sem_prag.adb (Analyze_PPC_In_Decl_Part): Clean up generation of
3861 2012-02-22 Vincent Pucci <pucci@adacore.com>
3863 * rtsfind.adb (Get_Unit_Name): Ada_Numerics_Child and
3864 System_Dim_Child cases added.
3865 * rtsfind.ads: Ada_Numerics,
3866 Ada_Numerics_Generic_Elementary_Functions, System_Dim,
3867 System_Dim_Float_IO and System_Dim_Integer_IO added to the list
3868 of RTU_Id. Ada_Numerics_Child and System_Dim_Child added as
3869 new RTU_Id subtypes.
3870 * sem_dim.adb (Is_Dim_IO_Package_Entity): Use of
3871 Rtsfind to verify the package entity is located either
3872 in System.Dim.Integer_IO or in System.Dim.Float_IO.
3873 (Is_Dim_IO_Package_Instantiation): Minor
3874 changes. (Is_Elementary_Function_Call): Removed.
3875 (Is_Elementary_Function_Entity): New routine.
3876 (Is_Procedure_Put_Call): Is_Dim_IO_Package_Entity call added.
3877 * snames.ads-tmpl: Name_Dim and Name_Generic_Elementary_Functions
3880 2012-02-22 Vincent Pucci <pucci@adacore.com>
3882 * sem_prag.adb: Minor reformatting.
3884 2012-02-22 Ed Schonberg <schonberg@adacore.com>
3886 * sem_ch3.adb (Find_Type_Name): When analyzing a private type
3887 declaration that is the completion of a tagged incomplete type, do
3888 not associate the class-wide type already created with the private
3889 type to prevent order-of-elaboration issues in the back-end.
3890 * exp_disp.adb (Find_Specific_Type): Find specific type of
3891 a class-wide type, and handle the case of an incomplete type
3892 coming either from a limited_with clause or from an incomplete
3893 type declaration. Used when expanding a dispatchin call and
3894 generating tag checks (minor refactoring).
3896 2012-02-22 Robert Dewar <dewar@adacore.com>
3898 * exp_ch5.adb: Add comment.
3899 * sem_ch12.adb, exp_ch6.adb: minor reformatting
3901 2012-02-22 Ed Schonberg <schonberg@adacore.com>
3903 * freeze.adb (Freeze_Entity): Do not perform type layout within
3906 2012-02-22 Eric Botcazou <ebotcazou@adacore.com>
3908 * init.c (__gnat_error_handler) [Linux]: Map SIGBUS to
3911 2012-02-22 Ed Schonberg <schonberg@adacore.com>
3913 * exp_ch5.adb (Expand_N_Assignment_Statement): Reject an
3914 assignment to a classwide type whose type is limited, as
3915 can happen in an instantiation in programs that run afoul or
3918 2012-02-17 Ed Schonberg <schonberg@adacore.com>
3920 * exp_ch6.adb (Legal_Copy): If layout is not
3921 determined in the front-end, do not emit error message when
3922 by-reference actual is potentially unaligned.
3923 * gcc-interface/decl.c (gnat_to_gnu_field): Better error message for
3924 illegal representation clause on tagged or aliased component, or on
3925 by-reference type with forced alignment.
3927 2012-02-17 Nicolas Roche <roche@adacore.com>
3929 * gcc-interface/Makefile.in: Ensure FORCE_DEBUG_ADAFLAGS variables is
3930 propagated by gnatlib-sjlj and gnatlib-zcx targets.
3931 * gcc-interface/Make-lang.in: Update dependencies.
3933 2012-02-17 Thomas Quinot <quinot@adacore.com>
3935 * sem_ch12.adb (Analyze_Package_Instantiation): For an
3936 instantiation in an RCI library unit, omit the instance body
3937 if the RCI library unit is the instance itself (E.2.3(18)),
3938 but include the body if the instantiation is within the RCI
3939 declaration (12.3(12)).
3941 2012-02-17 Steve Baird <baird@adacore.com>
3943 * sem_prag.adb (Analyze_PPC_In_Decl_Part): Pre'Class and
3944 Post'Class aspects can only be specified for a primitive operation
3947 2012-02-17 Yannick Moy <moy@adacore.com>
3949 * gnat_rm.texi: Minor shuffling.
3951 2012-02-17 Ed Schonberg <schonberg@adacore.com>
3953 * aspects.adb: Expression functions can carry pre/postconditions.
3954 * par-ch6.adb (P_Subprogram): look for optional pre/postconditions
3955 in an expression function.
3956 * sem_prag (Check_Precondition_Postcondition): legal on expression
3959 2012-02-17 Vincent Pucci <pucci@adacore.com>
3961 * a-cdlili.adb, a-cidlli.adb, a-cihama.adb, a-cimutr.adb,
3962 * a-ciorma.adb, a-cohama.adb, a-coinve.adb, a-comutr.adb,
3963 * a-convec.adb, a-coorma.adb (Adjust): New routine.
3964 (Constant_Reference): Increment Busy and Lock counters.
3965 (Reference): Increase Busy and Lock counters.
3966 (Finalize): New routine.
3967 * a-cihase.adb, a-ciorse.adb, a-cohase.adb, a-coorse.adb:
3968 (Adjust): New routine. (Constant_Reference): Increment Busy
3970 (Finalize): New routine.
3971 * a-cdlili.ads, a-cidlli.ads, a-cihama.ads, a-cihase.ads,
3972 * a-cimutr.ads, a-ciorma.ads, a-ciorse.ads, a-cohama.ads,
3973 * a-cohase.ads, a-coinve.ads, a-comutr.ads, a-convec.ads,
3974 * a-coorma.ads, a-coorse: Controlled component added to the
3977 2012-02-17 Robert Dewar <dewar@adacore.com>
3979 * restrict.adb (Check_Restriction): Add special handling for
3980 No_Obsolescent_Features.
3982 2012-02-17 Hristian Kirtchev <kirtchev@adacore.com>
3984 * exp_util.adb (Find_Finalize_Address): When dealing with an
3985 internally built full view for a type with unknown discriminants,
3986 use the original record type.
3988 2012-02-17 Robert Dewar <dewar@adacore.com>
3990 * sem_dim.adb: Minor reformatting.
3992 2012-02-17 Yannick Moy <moy@adacore.com>
3994 * gnat_rm.texi: Minor rewording.
3996 2012-02-17 Thomas Quinot <quinot@adacore.com>
3998 * sem_aggr.adb: Minor reformatting.
4000 2012-02-17 Robert Dewar <dewar@adacore.com>
4002 * gnat_ugn.texi: Update doc for -gnatw.m to include 2*x case.
4004 2012-02-17 Vincent Pucci <pucci@adacore.com>
4006 * sem_dim.adb (Is_Dim_IO_Package_Entity): New routine.
4007 (Is_Dim_IO_Package_Instantiation): Is_Dim_IO_Package_Entity
4009 (Is_Procedure_Put_Call): Is_Dim_IO_Package_Entity
4011 * s-dim.ads: Make package Pure.
4013 2012-02-17 Gary Dismukes <dismukes@adacore.com>
4015 * prj-nmsc.adb: Minor reformatting.
4017 2012-02-17 Yannick Moy <moy@adacore.com>
4019 * gnat_rm.texi: Update GNAT RM with a separate chapter on restrictions.
4021 2012-02-17 Yannick Moy <moy@adacore.com>
4023 * gnat_ugn.texi: Fix typos.
4025 2012-02-17 Pascal Obry <obry@adacore.com>
4027 * prj-nmsc.adb: prj-nmsc.adb (Check_Aggregated): Check that an
4028 aggregate is not Externally_Built.
4030 2012-02-17 Ed Schonberg <schonberg@adacore.com>
4032 * sem_aggr.adb (Resolve_Record_Aggregate): If a composite
4033 component has a box association, copy the default value using
4034 the current scope as the scope of internal types, to prevent
4035 scoping anomalies in gigi.
4037 2012-02-17 Robert Dewar <dewar@adacore.com>
4039 * sem_dim.adb, sem_dim.ads, s-tasren.adb, prj.adb, prj.ads, freeze.adb,
4040 sem_res.adb, exp_ch4.adb, sinput.adb, sinput.ads, exp_aggr.adb,
4041 exp_intr.adb, s-os_lib.adb: Minor reformatting.
4043 2012-02-17 Ed Schonberg <schonberg@adacore.com>
4045 * sem_ch6.adb (Is_Non_Overriding_Operation): Add warning if the
4046 old operation is abstract, the relevant type is not abstract,
4047 and the new subprogram fails to override.
4049 2012-02-15 Eric Botcazou <ebotcazou@adacore.com>
4051 * gcc-interface/trans.c (Identifier_to_gnu): Move block retrieving the
4052 type of the result to the end and execute it for a deferred constant of
4053 a discriminated type whose full view can be elaborated statically.
4055 2012-02-15 Eric Botcazou <ebotcazou@adacore.com>
4057 * gcc-interface/trans.c (gnat_to_gnu) <N_Qualified_Expression>: If the
4058 type is tagged, mark it as used for debugging purposes.
4059 <N_Allocator>: Likewise for a qualified expression.
4061 2012-02-15 Eric Botcazou <ebotcazou@adacore.com>
4063 * gcc-interface/trans.c (call_to_gnu): Create the temporary for the
4064 return value in the by-reference return type case if this isn't the
4065 expression of an object declaration. Tidy up.
4067 2012-02-09 Tristan Gingold <gingold@adacore.com>
4069 * gcc-interface/Makefile.in: Remove .sym rule (not used).
4070 Remove adamsg.o object (requires native message compiler).
4071 * init.c (CMA$_EXIT_THREAD, MTH$_FLOOVEMAT, SS$_INTDIV): Define as a
4072 macro instead of as extern int.
4073 (ADA$_ALREADY_OPEN, ADA$_CONSTRAINT_ERRO, ADA$_DATA_ERROR)
4074 (ADA$_DEVICE_ERROR, ADA$_END_ERROR, ADA$_FAC_MODE_MISMAT)
4075 (ADA$_IOSYSFAILED, ADA$_KEYSIZERR, ADA$_KEY_MISMATCH)
4076 (ADA$_LAYOUT_ERROR, ADA$_LINEXCMRS, ADA$_MAXLINEXC)
4077 (ADA$_MODE_ERROR, ADA$_MRN_MISMATCH, ADA$_MRS_MISMATCH)
4078 (ADA$_NAME_ERROR, ADA$_NOT_OPEN, ADA$_ORG_MISMATCH)
4079 (ADA$_PROGRAM_ERROR, ADA$_RAT_MISMATCH, ADA$_RFM_MISMATCH)
4080 (ADA$_STAOVF, ADA$_STATUS_ERROR, ADA$_STORAGE_ERROR)
4081 (ADA$_UNSUPPORTED, ADA$_USE_ERROR): Likewise.
4082 (struct cond_except): Field cond is now an unsigned int.
4083 (dec_ada_cond_except_table): Adjust.
4084 (cond_except_table): Likewise.
4085 (cond_resignal_table): Likewise.
4086 (__gnat_default_resignal_p): Fix style.
4088 2012-02-08 Vincent Celier <celier@adacore.com>
4090 * gcc-interface/Make-lang.in: Add g-byorma.o to gnatbind objects
4091 (g-buorma is now imported by sinput).
4092 Update dependencies.
4093 * scn.adb (Initialize_Scanner): Call Check_For_BOM
4094 * sinput-p.adb (Source_File_Is_Subunit): Call Check_For_BOM
4095 * sinput.adb: New procedure Check_For_BOM
4096 * sinput.ads: New procedure Check_For_BOM
4098 2012-02-08 Vincent Pucci <pucci@adacore.com>
4100 * impunit.adb: Dimension package names updated
4101 * Makefile.rtl: s-dim added
4102 * sem_dim.adb (Is_Procedure_Put_Call): minor changes
4103 (Is_Dim_IO_Package_Instantiation): minor changes
4104 * sem_dim.ads: minor changes in comments
4105 * snames.ads-tmpl: Name_Dim added Name_Dim_Float_IO and
4106 Name_Dim_Integer_IO removed
4107 * s-dim.ads: New package. Define the dimension terminology.
4108 * s-diflio.adb, s-diinio.adb, s-dimkio.ads, s-dimmks.ads,
4109 * s-dmotpr.ads: Package names updated.
4110 * s-diflio.ads, s-diinio.ads: Documentation added and package
4113 2012-02-08 Gary Dismukes <dismukes@adacore.com>
4115 * gcc-interface/utils2.c (build_call_alloc_dealloc_proc): Revise test
4116 for storage pools to test for an underlying record type rather than
4117 testing Is_Tagged_Type, so that simple storage pools will be handled
4118 the same as normal Ada storage pools.
4120 2012-02-08 Yannick Moy <moy@adacore.com>
4122 * gnat_rm.texi: Minor reshuffling to place restriction at
4125 2012-02-08 Bob Duff <duff@adacore.com>
4127 * warnsw.adb (Set_Warning_Switch): Set Warn_On_Suspicious_Modulus_Value
4128 False for '-gnatwA', to suppress these warnings.
4130 2012-02-08 Vincent Celier <celier@adacore.com>
4132 * sinput-p.adb (Source_File_Is_Subunit): Check for BOM before
4133 starting to scan, so that UTF8 encoding is taken into account.
4135 2012-02-08 Arnaud Charlet <charlet@adacore.com>
4137 * s-tasren.adb, s-tasren.ads (Internal_Complete_Rendezvous): New
4139 (Complete_Rendezvous): Now call Internal_Complete_Rendezvous.
4140 (Exceptional_Complete_Rendezvous): Mark No_Return.
4142 2012-02-08 Eric Botcazou <ebotcazou@adacore.com>
4144 * exp_aggr.adb (Compile_Time_Known_Composite_Value):
4145 New predicate to compute whether a composite value can be
4146 evaluated at compile time.
4147 (Component_Not_OK_For_Backend): Use Compile_Time_Known_Value for all
4148 expressions of elementary type and Compile_Time_Known_Composite_Value
4149 for all other expressions.
4150 (Expand_Record_Aggregate): Convert to assignments in the case
4151 of a type with mutable components if the aggregate cannot be
4154 2012-02-08 Gary Dismukes <dismukes@adacore.com>
4156 * aspects.ads (type Aspect_Id): Add Simple_Storage_Pool_Type.
4157 (Impl_Defined_Aspects): Add association for
4158 Aspect_Simple_Storage_Pool_Type.
4160 association for Aspect_Simple_Storage_Pool_Type.
4162 (Canonical_Aspect): Add association for Simple_Storage_Pool_Type.
4163 * exp_attr.adb (Expand_N_Attribute_Reference):
4164 Change name to Name_Simple_Storage_Pool_Type.
4165 * exp_ch4.adb (Expand_N_Allocator): Change
4166 name to Name_Simple_Storage_Pool_Type.
4167 * exp_intr.adb (Expand_Unc_Deallocation): Change name to
4168 Name_Simple_Storage_Pool_Type. * freeze.adb (Freeze_Entity):
4169 Change names to Name_Simple_Storage_Pool_Type. * par-prag.adb:
4170 Change names to Name_Simple_Storage_Pool_Type. * sem_attr.adb:
4171 (Analyze_Attribute): Change name to Name_Simple_Storage_Pool_Type.
4172 * sem_ch13.adb (Analyze_Attribute_Definition_Clause):
4173 Change name to Name_Simple_Storage_Pool_Type.
4175 (Analyze_Pragma): Change name to Name_Simple_Storage_Pool_Type.
4176 (Sig_Flags): Change name to Name_Simple_Storage_Pool_Type.
4177 * sem_res.adb (Resolve_Allocator): Change name to
4178 Name_Simple_Storage_Pool_Type. * snames.ads-tmpl:
4179 (Name_Simple_Storage_Pool_Type): New name constant.
4180 (type Pragma_Id): Change name to Name_Simple_Storage_Pool_Type and
4181 move to main pragma section because it no longer matches the
4183 * snames.adb-tmpl (Get_Pragma_Id): Remove test for
4184 Name_Simple_Storage_Pool.
4185 (Is_Pragma_Name): Remove test for Name_Simple_Storage_Pool.
4187 2012-02-08 Robert Dewar <dewar@adacore.com>
4189 * gnat_ugn.texi: Add some clarification to -gnatwA and -gnatws.
4191 2012-02-08 Pascal Obry <obry@adacore.com>
4193 * prj.adb (Compute_All_Imported_Projects): Use new
4194 For_Project_And_Aggregated_Context to ensure proper context is
4195 used for encapsulated aggregate libraries.
4196 * prj-proc.adb (Recursive_Process): Call
4197 Process_Aggregated_Projects earlier to ensure that all dependent
4198 projects are set with the proper encapsulated status.
4200 2012-02-08 Pascal Obry <obry@adacore.com>
4202 * s-os_lib.adb (Normalize_Arguments): Properly escape last \ in null
4205 2012-02-08 Pascal Obry <obry@adacore.com>
4207 * prj.ads, prj.adb (For_Project_And_Aggregated_Context): New
4208 generic routine with a context parameter.
4210 2012-02-08 Robert Dewar <dewar@adacore.com>
4212 * a-coinve.adb, sem_util.adb, sem_ch8.adb, a-cobove.adb,
4213 a-convec.adb: Minor reformatting and code reorganization.
4215 2012-02-08 Steve Baird <baird@adacore.com>
4217 * sem_cat.adb (In_Preelaborated_Unit): A child
4218 unit instantiation does not inherit preelaboration requirements
4221 2012-02-08 Gary Dismukes <dismukes@adacore.com>
4223 * aspects.ads (type Aspect_Id): Add Aspect_Simple_Storage_Pool.
4224 (Impl_Defined_Aspects): Add entry for Aspect_Simple_Storage_Pool.
4225 (Aspect_Argument): Add Name entry for Aspect_Simple_Storage_Pool.
4226 (Aspect_Names): Add entry for Aspect_Simple_Storage_Pool.
4227 * aspects.adb (Canonical_Aspect): Add entry for
4228 Aspect_Simple_Storage_Pool.
4229 * exp_attr.adb (Expand_N_Attribute_Reference): Handle case of
4230 Attribute_Simple_Storage_Pool in the same way as Storage_Pool
4231 (add conversion, analyze/resolve). For the Storage_Size attribute,
4232 for the simple pool case, locate and use the simple pool type's
4233 Storage_Size function (if any), otherwise evaluate to zero.
4234 * exp_ch4.adb (Expand_N_Allocator): In the case of an allocator
4235 for an access type with an associated simple storage pool,
4236 locate and use the pool type's Allocate.
4237 * exp_intr.adb (Expand_Unc_Deallocation): In the case where the
4238 access type has a simple storage pool, locate the pool type's
4239 Deallocate procedure (if present) and use it as the procedure
4240 to call on the Free operation.
4241 * freeze.adb (Freeze_Entity): In the case of a full type for
4242 a private type defined with pragma Simple_Storage_Pool, check
4243 that the full type is also appropriate for the pragma. For
4244 a simple storage pool type, validate that the operations
4245 Allocate, Deallocate (if present), and Storage_Size
4246 (if present) are defined with appropriate expected profiles.
4247 (Validate_Simple_Pool_Op_Formal): New procedure
4248 (Validate_Simple_Pool_Operation): New procedure Add with and
4250 * par-prag.adb: Add Pragma_Simple_Storage_Pool to case statement
4251 (no action required).
4252 * sem_attr.adb (Analyze_Attribute): For the case of the
4253 Storage_Pool attribute, give a warning if the prefix type has an
4254 associated simple storage pool, and rewrite the attribute as a
4255 raise of Program_Error. In the case of the Simple_Storage_Pool
4256 attribute, check that the prefix type has an associated simple
4257 storage pool, and set the attribute type to the pool's type.
4258 * sem_ch13.adb (Analyze_Aspect_Specifications): Add
4259 Aspect_Simple_Storage_Pool case choice.
4260 (Analyze_Attribute_Definition_Clause): Add
4261 Aspect_Simple_Storage_Pool to case for Ignore_Rep_Clauses
4262 (no action). Add handling for Simple_Storage_Pool attribute
4263 definition, requiring the name to denote a simple storage pool
4265 (Check_Aspect_At_Freeze_Point): For a simple storage pool
4266 aspect, set the type to that of the name specified for the aspect.
4267 * sem_prag.adb (Analyze_Pragma): Add handling for pragma
4268 Simple_Storage_Pool, requiring that it applies to a library-level
4269 type declared in a package declaration that is a limited private
4270 or limited record type.
4271 * sem_res.adb (Resolve_Allocator): Flag an attempt to call a
4272 build-in-place function in an allocator for an access type with
4273 a simple storage pool as unsupported.
4274 * snames.ads-tmpl: Add Name_Simple_Storage_Pool.
4275 (type Attribute_Id): Add Attribute_Simple_Storage_Pool.
4276 (type Pragma_Id): Add Pragma_Simple_Storage_Pool.
4277 * snames.adb-tmpl (Get_Pragma_Id): Handle case of
4278 Name_Simple_Storage_Pool.
4279 (Is_Pragma_Name): Return True for Name_Simple_Storage_Pool.
4281 2012-02-08 Cyrille Comar <comar@adacore.com>
4283 * projects.texi: Clarify doc for interfaces.
4285 2012-02-07 Eric Botcazou <ebotcazou@adacore.com>
4287 * gcc-interface/Make-lang.in (GCC_LINKERFLAGS): New variable.
4290 2012-02-01 Tristan Gingold <gingold@adacore.com>
4292 * gcc-interface/trans.c (Loop_Statement_to_gnu): Use sizetype
4293 instead of size_type_node.
4295 2012-01-30 Nicolas Roche <roche@adacore.com>
4297 * gcc-interface/Make-lang.in: Update dependencies.
4298 * gcc-interface/Makefile.in: Use system-vxworks-system-ppc-mils.ads
4300 Remove Linker_Options -crtbe when building sjlj run-time.
4302 2012-01-30 Robert Dewar <dewar@adacore.com>
4304 * sem.adb (Analyze): Call Analyze_Mod for N_Op_Mod mode.
4305 * sem_ch3.adb (Modular_Type_Declaration): Warn on mod value of
4306 form 2 * small-literal.
4307 * sem_ch4.adb (Analyze_Mod): New procedure (warn on suspicious
4309 * sem_ch4.ads (Analyze_Mod): New procedure.
4311 2012-01-30 Ed Schonberg <schonberg@adacore.com>
4313 * sem_ch6.adb: sem_ch6.adb (Analyze_Expression_Function): Copy
4314 types and return expression when building spec for implicit
4315 body, to preserve global references that may be present in an
4318 2012-01-30 Matthew Heaney <heaney@adacore.com>
4320 * a-convec.adb, a-coinve.adb, a-cobove.adb (Sort,
4321 Reverse_Elements): Check for cursor tampering.
4323 2012-01-30 Ed Schonberg <schonberg@adacore.com>
4325 * sem_util.adb (Is_Fully_Initialized_Type): In Ada 2012, a
4326 type with aspect Default_Value or Default_Component_Value is
4327 fully initialized, and use of variables of such types do not
4330 2012-01-30 Javier Miranda <miranda@adacore.com>
4333 * sem_ch8.adb (Analyze_Subprogram_Renaming):
4334 Handle self-renaming when the renamed entity is referenced using
4337 2012-01-30 Vincent Celier <celier@adacore.com>
4339 * projects.texi: Add documentation for attribute Interfaces.
4341 2012-01-30 Hristian Kirtchev <kirtchev@adacore.com>
4343 * exp_ch7.adb (Build_Finalizer_Call): Set loc again.
4344 * exp_ch11.adb (Expand_At_End_Handler): Do not provide a source
4345 location for the wrapped call to the original AT_END routine
4346 and the subsequent return statement.
4348 2012-01-30 Pascal Obry <obry@adacore.com>
4350 * s-rannum.adb: Minor reformatting.
4352 2012-01-30 Hristian Kirtchev <kirtchev@adacore.com>
4354 * a-calend-vms.adb, a-calend.adb: Increment the number of leap seconds
4355 to 25 and add the hard time value for 2012-06-30.
4357 2012-01-30 Robert Dewar <dewar@adacore.com>
4359 * a-strhas.ads, einfo.adb, einfo.ads, exp_ch7.adb, exp_ch9.adb,
4360 freeze.adb, prj.adb, prj.ads, prj-nmsc.adb, prj-proc.adb, s-llflex.ads,
4361 s-ransee.adb, s-ransee.ads, sem_ch13.adb, sem_dim.adb, sem_prag.adb:
4362 Minor reformatting/code reorganization.
4364 2012-01-30 Thomas Quinot <quinot@adacore.com>
4366 * s-rannum.adb, s-ransee.adb, s-ransee.ads (Get_Seed): Return
4367 Unsigned_64 rather than Duration.
4368 (System.Random_Numbers.Reset): Use full value of seed
4369 (do not truncate sub-second bits).
4371 2012-01-30 Thomas Quinot <quinot@adacore.com>
4373 * sem_cat.adb, sem_ch12.adb: Minor reformatting.
4375 2012-01-30 Yannick Moy <moy@adacore.com>
4377 * gnat_ugn.texi: Minor correction of GNAT UG, to take into
4378 account changes to -gnatwa and more recent warnings.
4380 2012-01-30 Hristian Kirtchev <kirtchev@adacore.com>
4382 * exp_ch7.adb (Build_Finalizer_Call): Do not provide a source
4383 location when creating a call to a finalizer.
4384 * exp_ch11.adb (Expand_Exception_Handlers): Do not provide
4385 a source location for the first actual of Save_Occurrence for
4388 2012-01-30 Ed Schonberg <schonberg@adacore.com>
4390 * einfo.ads, einfo,adb: New attribute on scalar types:
4391 Default_Aspect_Value New attribute on array types:
4392 Default_Aspect_Component_Value Move attribute Related_Array_Object
4393 to a different position to accomodate new aspect attributes.
4394 * freeze.adb (Freeze_Entity): Use new attributes to retrieve value
4395 of defaults set with an aspect specification, rather than using
4396 the list of aspects attached to the type, to prevent issues with
4398 * sem_ch13.adb (Analyze_Aspect_Specifications): For aspects
4399 Default_Value and Default_Component _Value, store corresponding
4400 expression in type entity.
4401 (Check_Aspect_At_End_Of_Declaration): If the default aspects
4402 are declared on the full view, use the full view to resolve the
4403 correseponding expression.
4404 * exp_ch3.adb (Init_Component): Use attribute
4405 Default_Aspect_Component_Value to perform default initialization,
4406 rather than relying on the rep item list for the type.
4407 (Get_Simple_Init_Val): Ditto.
4409 2012-01-30 Thomas Quinot <quinot@adacore.com>
4411 * a-strhas.ads: Document risk of collision attack.
4413 2012-01-30 Yannick Moy <moy@adacore.com>
4415 * gnat_ugn.texi: Minor update wrt warning switches.
4417 2012-01-30 Vincent Celier <celier@adacore.com>
4419 * prj-nmsc.adb (Check_Interfaces): Report an error when a
4420 unit from Library_Interface is not a unit of the project.
4422 2012-01-30 Vincent Pucci <pucci@adacore.com>
4424 * sem_prag.adb (Make_Aspect_For_PPC_In_Gen_Sub_Decl): Parent
4425 links fixed inside PPC pragmas.
4426 * sem_ch12.adb: Move call to Make_Aspect_For_PPC_In_Gen_Sub_Decl.
4428 2012-01-30 Thomas Quinot <quinot@adacore.com>
4430 * s-ransee.ads: Minor reformatting.
4432 2012-01-30 Pascal Obry <obry@adacore.com>
4434 * prj.ads, prj.adb (For_Each_Source): Add support for skipping
4435 sources coming from an encapsulated library.
4437 2012-01-30 Ed Schonberg <schonberg@adacore.com>
4439 * sem_ch3.adb (Process-Full_View): fix typo.
4440 * sem_ch13.adb (Aalyze_Aspect_Specifications): if predicates
4441 appear on a private type and the full view is available, ensure
4442 existence of freeze node for full view.
4443 (Build_Predicate_Function): Attach predicate function to both
4444 views of a private type.
4446 2012-01-30 Vincent Celier <celier@adacore.com>
4448 * prj-nmsc.adb (Check_Interfaces): Compute the Lib_Interface_ALIs
4449 for the project if either attribute Library_Interface or
4450 Interfaces is declared.
4451 (Check_Stand_Alone_Library): Use Lib_Interface_ALIs computed in
4454 2012-01-30 Pascal Obry <obry@adacore.com>
4456 * prj-proc.adb (Recursive_Process): Set From_Encapsulated_Lib
4457 boolean value to true in the process list created by this routine.
4458 * prj.ads (Project_List_Element): New field From_Encapsulated_Lib.
4459 Continued work for KA06-021.
4460 * prj.adb (Compute_All_Imported_Projects): Set
4461 From_Encapsulated_Lib boolean flag.
4463 2012-01-30 Vincent Pucci <pucci@adacore.com>
4465 * sem_dim.adb (Expand_Put_Call_With_Dimension_Symbol): Minor
4467 * s-diflio.ads: Minor change.
4469 2012-01-30 Javier Miranda <miranda@adacore.com>
4471 * exp_ch9.adb (Build_Dispatching_Requeue): Add missing call
4472 to Get_Entry_Index. Required to generate code which provides
4473 the correct value of Entry_Index in the target entry.
4475 2012-01-30 Nicolas Roche <roche@adacore.com>
4477 * system-vxworks-ppc.ads: Add pragma Linker_Options -crtbe to
4478 fix issue with zcx on VxWorks5.
4480 2012-01-30 Pascal Obry <obry@adacore.com>
4482 * prj.ads, prj.adb (For_Every_Project_Imported): Remove
4484 (For_Every_Project_Imported_Context): New generic routine with
4485 a context parameter.
4486 * prj-nmsc.adb: Revert to use For_Every_Project_Imported Avoid
4487 distributed complexity.
4488 * prj-env.adb, prj-conf.adb, makeutl.adb, gnatcmd.adb: Ditto.
4490 2012-01-30 Thomas Quinot <quinot@adacore.com>
4492 * exp_aggr.adb (Expand_Record_Aggregate): After creating the
4493 _parent aggregate for an extension aggregate, check whether it
4494 requires delayed (top-down) expansion.
4496 2012-01-30 Vincent Pucci <pucci@adacore.com>
4498 * sem_dim.adb (Expand_Put_Call_With_Dimension_Symbol): Rewritten.
4499 * snames.ads-tmpl: Name_Item and Name_Symbols added.
4500 * s-diflio.adb, s-diflio.ads, s-diinio.adb, s-diinio.ads: Rename
4501 and change the position of parameter Symbols in every Put routine.
4502 * s-dimmks.ads: Convert long float type Mks_Type into long
4504 * s-llflex.ads: Modifications in comments.
4506 2012-01-30 Hristian Kirtchev <kirtchev@adacore.com>
4508 * sem_ch12.adb (Earlier): Do not use the
4509 top level source locations of the two input nodes.
4511 2012-01-30 Robert Dewar <dewar@adacore.com>
4513 * einfo.ads, sem_prag.adb, sem_attr.adb, aspects.ads,
4514 sem_cat.adb, sem_aggr.adb, exp_aggr.adb: Minor reformatting.
4516 2012-01-30 Robert Dewar <dewar@adacore.com>
4518 * a-cdlili.adb, a-cidlli.adb, a-cbdlli.adb: Minor reformatting.
4520 2012-01-30 Olivier Hainque <hainque@adacore.com>
4522 * sigtramp-ppcvxw.c (CFI_COMMON_REGS): Add rule for r1 back +
4525 2012-01-30 Thomas Quinot <quinot@adacore.com>
4527 * gnat_rm.texi, sem_dist.adb, sem_dist.ads, einfo.ads, sem_prag.adb,
4528 sem_ch12.adb, sem_attr.adb, aspects.adb, aspects.ads, par-prag.adb,
4529 sem_cat.adb, snames.ads-tmpl (Sem_Dist.Is_Valid_Remote_Object_Type):
4530 New subprogram (extracted from
4531 Sem_Cat.Validate_Remote_Access_Object_Type_Declaration).
4532 (Einfo.Is_Remote_Types): Now applies to generic types. Update
4533 documentation accordingly.
4534 (Sem_Ch12.Analyze_Associations): A RACW type is acceptable as
4535 actual for a formal type to which a pragma Remote_Access_Type
4537 (Aspects, Par.Prag, Sem_Prag): Support for new pramga/aspect
4539 (Sem_Attr.Analyze_Attribute, case Stub_Type): Attribute can
4540 be applied to a generic type if pragma Remote_Access_Type
4541 applies, in which case the type of the attribute is
4542 System.Partition_Interface.RACW_Stub_Type.
4544 2012-01-27 Eric Botcazou <ebotcazou@adacore.com>
4546 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Procedure>: Do not set
4547 an alignment on fields of the RETURN type built for the CICO mechanism.
4549 2012-01-27 Eric Botcazou <ebotcazou@adacore.com>
4551 * gcc-interface/trans.c (gnat_to_gnu): Avoid making a SAVE_EXPR for
4552 a call to a function that returns an unconstrained type with default
4553 discriminant. Similarly, avoid doing the conversion to the nominal
4554 result type in this case.
4556 2012-01-27 Eric Botcazou <ebotcazou@adacore.com>
4558 * gcc-interface/ada-tree.h (DECL_ALIASED_P): New flag.
4559 * gcc-interface/decl.c (is_variable_size): Rename to...
4560 (type_has_variable_size): ...this.
4561 (adjust_packed): Adjust to above renaming.
4562 (gnat_to_gnu_field): Set DECL_ALIASED_P on the field.
4563 (field_is_artificial): New predicate.
4564 (field_is_aliased): Likewise.
4565 (field_has_self_size): Likewise.
4566 (field_has_variable_size): Likewise.
4567 (components_to_record): Record information for the final layout during
4568 the first pass on fields.
4569 If there is an aliased field placed after a field whose length depends
4570 on discriminants, put all the fields of the latter sort, last.
4572 2012-01-27 Eric Botcazou <ebotcazou@adacore.com>
4574 * gcc-interface/gigi.h (get_minimal_subprog_decl): Declare.
4575 * gcc-interface/decl.c (get_minimal_subprog_decl): New function.
4576 * gcc-interface/trans.c (Attribute_to_gnu): Use it for the prefix of an
4577 Access-like attribute in a dispatch table if the subprogram is public.
4579 2012-01-27 Eric Botcazou <ebotcazou@adacore.com>
4581 * gcc-interface/gigi.h (create_label_decl): Adjust.
4582 * gcc-interface/utils.c (create_label_decl): Add GNAT_NODE parameter
4583 and invoke gnat_pushdecl on it. Remove obsolete settings.
4584 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Label>: Adjust call to
4586 * gcc-interface/trans.c (gnat_to_gnu) <N_Null): Likewise. Ignore the
4587 label for debugging purposes.
4589 2012-01-27 Eric Botcazou <ebotcazou@adacore.com>
4591 * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: For an aliased
4592 object with an unconstrained nominal subtype and if optimization isn't
4593 enabled, create a special VAR_DECL for debugging purposes.
4595 2012-01-23 Robert Dewar <dewar@adacore.com>
4597 * sem_prag.ads, sem_prag.adb: Minor reformatting.
4599 2012-01-23 Robert Dewar <dewar@adacore.com>
4601 * sem_ch13.adb (Analyze_Aspect_Specifications): Check for
4602 language defined aspect applied to renaming or formal type
4603 declaration (not permitted)
4605 2012-01-23 Matthew Heaney <heaney@adacore.com>
4607 * a-cdlili.adb, a-cidlli.adb, a-cbdlli.adb (Vet): Replaced
4608 comment with pragma Assert.
4610 2012-01-23 Vincent Pucci <pucci@adacore.com>
4612 * sem_ch12.adb (Analyze_Generic_Subprogram_Declaration): Call
4613 to Make_Aspect_For_PPC_In_Gen_Sub_Decl added in ASIS mode.
4614 * sem_prag.adb, sem_prag.ads (Make_Aspect_For_PPC_In_Gen_Sub_Decl): New
4615 routine. In ASIS mode, convert any PPC pragmas into aspects in generic
4616 subprogram declaration in order to enable the analysis of PPC boolean
4619 2012-01-23 Robert Dewar <dewar@adacore.com>
4621 * sem_ch3.adb (Analyze_Object_Declaration): Properly
4622 handle Current_Value for volatile variables (also propagate
4623 Treat_As_Volatile from type to object).
4625 2012-01-23 Hristian Kirtchev <kirtchev@adacore.com>
4627 * sem_ch12.adb (Install_Body): Detect the case
4628 where the enclosing context is a package with a stub body that
4629 has already been replaced by the actual body. In such cases,
4630 the freeze node for the enclosing context must be inserted after
4633 2012-01-23 Ed Schonberg <schonberg@adacore.com>
4635 * sem_prag.adb (Analyze_Pragma, case Debug): Freeze the called
4636 subprogram before expanding the pragma into an if-statement with
4637 a block, to ensure that when the subprogram is null its body is
4638 properly generated before expansion.
4640 2012-01-23 Hristian Kirtchev <kirtchev@adacore.com>
4642 * sem_ch12.adb (Analyze_Associations): Alphabetize local variables and
4643 constants. Rename Actual_Types to Actuals_To_Freeze. Rename Next_Formal
4645 Freeze all eligible subprograms which appear as actuals in
4647 (Has_Fully_Defined_Profile): New routine.
4648 (Renames_Standard_Subprogram): New routine.
4649 (Earlier): Add local variable N. Comment update. Do not use source
4650 locations when trying to determine whether one node precedes another.
4652 2012-01-23 Gary Dismukes <dismukes@adacore.com>
4654 * exp_ch4.adb (Expand_Concatenate): In the case
4655 where the result of a concatentation can be null, set the to
4656 result have both the low and high bounds of the right operand (not
4657 just the high bound, as was the case prior to this fix). Also,
4658 fix the saved high bound setting (Last_Opnd_High_Bound) in the
4659 empty string literal case (should have been low bound minus one,
4660 rather than plus one).
4662 2012-01-23 Thomas Quinot <quinot@adacore.com>
4664 * scos.ads, put_scos.adb, get_scos.adb (Get_SCOs, Put_SCOs): Do not
4665 omit statement SCOs for disabled pragmas.
4667 2012-01-23 Matthew Heaney <heaney@adacore.com>
4669 * a-cohase.ads, a-cihase.ads, a-cbhase.ads, a-coorse.ads,
4670 a-ciorse.ads, a-cborse.ads, a-cohama.ads, a-cihama.ads, a-cbhama.ads,
4671 a-coorma.ads, a-ciorma.ads, a-cborma.ads, a-cdlili.ads, a-cidlli.ads,
4672 a-cbdlli.ads, a-convec.ads, a-coinve.ads, a-cobove.ads (Cursor'Read,
4673 Cursor'Write): Declare in private part.
4674 (Reference_Type'Read, Reference_Type'Write): Ditto.
4675 (Constant_Reference_Type'Read, Constant_Reference_Type'Write): Ditto.
4677 2012-01-23 Robert Dewar <dewar@adacore.com>
4679 * a-catizo.ads, a-calend.adb, a-calend.ads, par-ch13.adb: Minor
4682 2012-01-23 Ed Schonberg <schonberg@adacore.com>
4684 * sem_ch6.adb (Analyze_Subprogram_Declaration): Do not set the
4685 Corresponding_Body on a defaulted null formal subprogram.
4686 * sem_ch12.adb (Check_Formal_Package_Instance): No check needed
4687 on a defaulted formal subprogram that is a null procedure.
4689 2012-01-23 Hristian Kirtchev <kirtchev@adacore.com>
4691 * exp_ch9.adb: Update the comments involving pragma Implemented.
4692 * sem_ch3.adb (Check_Pragma_Implemented (Entity_Id)): Add local
4693 constant Subp_Alias and local variable Impl_Subp. Properly
4694 handle aliases of synchronized wrappers. Code cleanup.
4695 (Check_Pragma_Implemented (Entity_Id; Entity_Id)): Add
4696 Name_Optional as part of the condition.
4697 * sem_prag.adb (Analyze_Pragma): Add "Optional" as one of the
4698 valid choices of implementation kind.
4699 (Check_Arg_Is_One_Of): New routine.
4700 * snames.ads-tmlp: Add Name_Optional.
4702 2012-01-23 Ed Schonberg <schonberg@adacore.com>
4704 * par-ch13.adb: Better error recovery in illegal aspect
4707 2012-01-23 Hristian Kirtchev <kirtchev@adacore.com>
4709 * a-calend.adb: Add with clause for Interfaces.C. Add constant
4711 (Day_Of_Week): Call the internal UTC_Time_Offset.
4712 (Split): Call the internal UTC_Time_Offset.
4713 (Time_Of): Call the internal UTC_Time_Offset.
4714 (Time_Zone_Operations.UTC_Time_Offset): Call internal UTC_Time_Offset.
4715 (UTC_Time_Offset): New library-level routine.
4716 * a-calend.ads (UTC_Time_Offset): Remove parameter
4717 Is_Historic. Update related comment on usage.
4718 * a-catizo.adb (UTC_Time_Offset): Removed.
4719 (UTC_Time_Offset (Time)): Call Time_Zone_Operations.UTC_Time_Offset.
4720 * a-caltizo.ads (UTC_Time_Offset): Removed.
4721 (UTC_Time_Offset (Time)): Add back the default expression of parameter
4724 2012-01-23 Robert Dewar <dewar@adacore.com>
4726 * sprint.ads, sprint.adb (Sprint_Node_List): Add New_Lines parameter
4727 (pg,po,ps): Make sure each entry starts on new line.
4729 2012-01-23 Hristian Kirtchev <kirtchev@adacore.com>
4731 * a-calend.ads, a-calend.adb: Define types int and int_Pointer. Update
4732 the parameter profile of procedure localtime_tzoff and its associated
4734 (Day_Of_Week): Do not treat the input date as historical
4735 with respect to time zones.
4736 (Split): Do not treat the input
4737 date as historical with respect to time zones. (Time_Of): Do
4738 not treat the input constituents as forming a historical date
4739 with respect to time zones.
4740 (UTC_Time_Offset): Add new formal
4741 parameter Is_Historic. Add local variable Flag. Update the call
4743 * a-catizo.ads, a-catizo.adb (UTC_Time_Offset): New routine.
4744 (UTC_Time_Offset (Time)): Update the call to
4745 Time_Zone_Operations.UTC_Time_Offset.
4746 * sysdep.c (__gnat_localtime_tzoff): Update parameter
4747 profile. Split the processing of offsets on Windows into two - one
4748 part of historic time stamps and the other for the current time.
4750 2012-01-23 Robert Dewar <dewar@adacore.com>
4752 * a-calend.adb: Minor reformatting.
4754 2012-01-23 Ed Schonberg <schonberg@adacore.com>
4756 * exp_ch9.adb, sem_ch9.adb: Handle array of access to synchronized
4757 interface in requeue statement.
4759 2012-01-23 Cyrille Comar <comar@adacore.com>
4761 * projects.texi: Remove references to main units and replace
4762 with references to main programs to be coherent with the
4765 2012-01-23 Robert Dewar <dewar@adacore.com>
4767 * s-utf_32.adb: Minor reformatting.
4769 2012-01-23 Vincent Celier <celier@adacore.com>
4771 * snames.ads-tmpl: Minor comment addition Indicate that
4772 Name_Library_Encapsulated_Options is only used in gprbuild.
4774 2012-01-23 Robert Dewar <dewar@adacore.com>
4776 * sem_ch10.adb (Analyze_Subunit): Properly save/restore cunit
4779 2012-01-23 Ed Schonberg <schonberg@adacore.com>
4781 * snames.ads-tmpl: Add Name_Synchronization.
4782 * aspects.ads, aspects.adb: Add Aspect_Synchronization to
4783 enumeration type and related maps.
4784 * sem_ch13.adb (Analyze_Aspect_Specifications): Handle Aspect
4785 Synchronization, build corresponding pragma Implemented.
4786 * sem_util.adb (Implementation_Kind): Handle both explicit and
4787 implicit pragma_argument association to retrieve the given
4788 synchronization mode.
4790 2012-01-23 Robert Dewar <dewar@adacore.com>
4792 * sem_ch10.adb, errout.adb: Minor reformatting.
4794 2012-01-23 Ed Schonberg <schonberg@adacore.com>
4796 * sem_res.adb (Resolve_Actuals): An actual in a call to an
4797 Ada 2012 Reference function does not lead to a dangerous order
4800 2012-01-23 Gary Dismukes <dismukes@adacore.com>
4802 * exp_util.adb (Is_Iterated_Container): Test
4803 Is_Entity_Name when searching for calls to the default iterator,
4804 to avoid blowing up on indirect calls which have an explicit
4805 dereference as the call name.
4807 2012-01-23 Thomas Quinot <quinot@adacore.com>
4809 * errout.adb (Set_Msg_Node): For an N_Expanded_Name, output
4810 the complete expanded name, rather than just its Selector_Name.
4812 2012-01-23 Thomas Quinot <quinot@adacore.com>
4814 * a-textio.adb (Put): Rewrite one-parameter Character version to
4815 just call the two-parameter one with Current_Out.
4817 2012-01-23 Hristian Kirtchev <kirtchev@adacore.com>
4819 * freeze.adb (Check_Current_Instance): Issue an
4820 error when the prefix of 'Unchecked_Access or 'Access does not
4821 denote a legal aliased view of a type.
4822 (Freeze_Record_Type): Do not halt the processing of record components
4823 once the Has_Controlled_Component is set as this bypasses the remaining
4825 (Is_Aliased_View_Of_Type): New routine.
4827 2012-01-23 Thomas Quinot <quinot@adacore.com>
4829 * errout.ads, freeze.adb: Minor reformatting.
4831 2012-01-23 Thomas Quinot <quinot@adacore.com>
4833 * sem_ch10.adb, sem_prag.adb: Remove redundant apostrophes in error
4836 2012-01-23 Olivier Hainque <hainque@adacore.com>
4838 * adadecode.c (__gnat_decode): Deal with empty input early,
4839 preventing potential erroneous memory access later on.
4841 2012-01-21 Eric Botcazou <ebotcazou@adacore.com>
4844 * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: In the case of a
4845 renaming, preserve the volatileness through the indirection, if any.
4847 2012-01-14 Andreas Schwab <schwab@linux-m68k.org>
4849 * gcc-interface/Makefile.in (OSCONS_EXTRACT): Add
4852 2012-01-10 Pascal Obry <obry@adacore.com>
4854 * prj-nmsc.adb (Check_Library_Attributes):
4855 Kill check for object/source directories for aggregate libraries.
4857 2012-01-10 Matthew Heaney <heaney@adacore.com>
4859 * a-cdlili.adb, a-cdlili.ads, a-cihama.adb, a-cihama.ads, a-coinve.adb,
4860 a-coinve.ads, a-ciorse.adb, a-ciorse.ads, a-coorma.adb, a-coorma.ads,
4861 a-cborma.adb, a-cborma.ads, a-cidlli.adb, a-cidlli.ads, a-cimutr.adb,
4862 a-cimutr.ads, a-cihase.adb, a-cihase.ads, a-cohama.adb, a-cohama.ads,
4863 a-coorse.adb, a-coorse.ads, a-cbhama.adb, a-cbhama.ads, a-cborse.adb,
4864 a-cborse.ads, a-comutr.adb, a-comutr.ads, a-ciorma.adb, a-cobove.adb,
4865 a-ciorma.ads, a-cobove.ads, a-convec.adb, a-convec.ads, a-cohase.adb,
4866 a-cohase.ads, a-cbdlli.adb, a-cbdlli.ads, a-cbmutr.adb, a-cbmutr.ads,
4867 a-cbhase.adb, a-cbhase.ads (Reference, Constant_Reference): Declare
4868 container parameter as aliased in/in out.
4871 2012-01-10 Bob Duff <duff@adacore.com>
4873 * s-os_lib.ads: Improve comment.
4875 2012-01-10 Geert Bosch <bosch@adacore.com>
4877 * s-gearop.adb (Forward_Eliminate): Avoid improper aliasing
4880 2012-01-10 Bob Duff <duff@adacore.com>
4882 * sem_intr.adb (Check_Shift): Use RM_Size instead of Esize, when
4883 checking that the 'Size is correct. If the type is "mod 2**12",
4884 for example, it's illegal, but Esize is the 'Object_Size, which
4885 will be something like 16 or 32, so the error ('Size = 12) was
4887 * gnat_rm.texi: Improve documentation of shift
4888 and rotate intrinsics.
4890 2012-01-10 Pascal Obry <obry@adacore.com>
4892 * prj.adb (For_Every_Project_Imported): Fix
4893 implementation to make sure we return each project only once
4894 for aggragte libraries. It is fine to return a project twice for
4895 aggregate projects, this was the case as a Project_Id is different
4896 in each project tree. The new implementation use a table based on
4897 the project name to ensure proper detection of duplicate project
4898 in aggregate library. A new context is then created to continue
4899 retrurning duplicate project for aggregate libraries.
4901 2012-01-09 Eric Botcazou <ebotcazou@adacore.com>
4903 * gcc-interface/trans.c (call_to_gnu): Create the temporary for the
4904 return value in the variable-sized return type case if the target is
4905 an array with fixed size. However, do not create it if this is the
4906 expression of an object declaration.
4908 2012-01-09 Eric Botcazou <ebotcazou@adacore.com>
4910 * gcc-interface/trans.c (addressable_p) <COMPONENT_REF>: Fix thinko.
4912 2012-01-06 Robert Dewar <dewar@adacore.com>
4914 * a-wichha.ads, a-wichun.ads, a-zchhan.ads, a-zchuni.ads,
4915 s-utf_32.ads: Add pragma Pure
4916 * s-utf_32.adb: Suppress warnings on non-static constants (now
4919 2012-01-06 Bob Duff <duff@adacore.com>
4921 * s-rpc.ads (Read, Write): Add overriding indicators.
4923 2012-01-06 Robert Dewar <dewar@adacore.com>
4925 * gnat_rm.texi: Add documentation for conventions
4926 Ada_Pass_By_Copy and Ada_Pass_By_Reference.
4928 2012-01-06 Gary Dismukes <dismukes@adacore.com>
4930 * a-tienio.adb (Put): Add exception message on
4931 raise statements. Remove unneeded blocks and object declarations.
4933 2012-01-06 Robert Dewar <dewar@adacore.com>
4935 * sem_prag.adb: Minor reformatting.
4937 2012-01-06 Ed Schonberg <schonberg@adacore.com>
4939 * sinfo.ads, sinfo.adb (Has_Prefixed_Call): New flag to indicate
4940 that a selected component within a generic unit has been resolved
4941 as a prefixed call with local references.
4942 * sem_ch3.adb (Is_Visible_Component): In an instance body a selected
4943 component is always visible.
4944 * sem_ch4.adb (Analyze_Selected_Component): If the node is a
4945 prefixed call in an instance, do not look for visible components
4947 * sem_ch12.adb (Reset_Entity): If a selected component has resolved
4948 to a prefixed call, mark the node accordingly when prefix and
4949 selector are local references.
4951 2012-01-02 Eric Botcazou <ebotcazou@adacore.com>
4953 * gnatvsn.ads (Current_Year): Bump to 2012.
4955 Copyright (C) 2012 Free Software Foundation, Inc.
4957 Copying and distribution of this file, with or without modification,
4958 are permitted in any medium without royalty provided the copyright
4959 notice and this notice are preserved.