1 2012-07-16 Thomas Quinot <quinot@adacore.com>
3 * freeze.adb (Check_Component_Storage_Order): Do not reject a
4 nested composite with different scalar storage order if it is
7 2012-07-16 Thomas Quinot <quinot@adacore.com>
9 * gnat_rm.texi: Update documentation for Scalar_Storage_Order.
11 2012-07-16 Tristan Gingold <gingold@adacore.com>
13 * a-exexpr.adb (Propagate_Exception): Adjust call to
14 Exception_Traces procedures.
15 * a-exexpr-gcc.adb (Setup_Current_Excep): Now a
16 function that returns an access to the Ada occurrence.
17 (Propagate_GCC_Exception): Adjust calls.
18 * raise.h (struct Exception_Occurrence): Declare.
19 * a-exextr.adb: Remove useless pragma. (Notify_Handled_Exception,
20 Notify_Unhandled_Exception) (Unhandled_Exception_Terminate):
22 * a-except.adb (Notify_Handled_Exception,
23 Notify_Unhandled_Exception) (Unhandled_Exception_Terminate):
25 (Process_Raise_Exception): Adjust calls.
26 * a-except-2005.adb (Notify_Handled_Exception,
27 Notify_Unhandled_Exception) (Unhandled_Exception_Terminate): Add
29 (Raise_Exception): Calls Raise_Exception_Always.
30 * raise-gcc.c (__gnat_setup_current_excep,
31 __gnat_notify_handled_exception)
32 (__gnat_notify_unhandled_exception): Adjust declarations.
33 (PERSONALITY_FUNCTION): Adjust calls.
34 (__gnat_personality_seh0): Remove warning.
36 2012-07-16 Javier Miranda <miranda@adacore.com>
38 * sem_eval.adb (Test_Expression_Is_Foldable): Adding documentation.
39 (Eval_Relational_Op): Adding documentation.
41 2012-07-16 Robert Dewar <dewar@adacore.com>
43 * freeze.adb, g-debpoo.adb, exp_ch3.adb: Minor reformatting.
45 2012-07-16 Thomas Quinot <quinot@adacore.com>
47 * s-oscons-tmplt.c: Add definitions of E2BIG and EILSEQ.
49 2012-07-16 Tristan Gingold <gingold@adacore.com>
51 * a-exexpr.adb (Propagate_Continue): New function replacing
53 (Allocate_Occurrence): New function.
54 (Propagate_Exception): Add Excep parameter, remove call to Call_Chain.
55 * a-exexpr-gcc.adb (GNAT_GCC_Exception): Occurrence component
57 (To_GCC_Exception): Convert from Address.
58 (Allocate_Occurrence): Allocate an Unwind exception occurrence.
59 (Setup_Current_Excep): Fill the machine occurrence in case of
61 (Propagate_Exception): Add Excep parameter, remove call to Call_Chain.
62 * a-except.adb (Set_Exception_C_Msg, Set_Exception_Msg): add
64 (Raise_Exception, Raise_Exception_Always,
65 Raise_Exception_No_Defer): Adjust calls to the above procedures.
66 (Raise_From_Signal_Handler, Raise_With_Location_And_Msg)
67 (Rcheck_PE_Finalize_Raised_Exception): Likewise.
68 * a-except-2005.adb (Set_Exception_C_Msg, Set_Exception_Msg):
70 (Propagate_Exception): Likewise.
71 (Allocate_Occurrence): New function.
72 (Raise_Current_Excep): Removed.
73 (Complete_Occurrence): New function to save the call chain.
74 (Complete_And_Propagate_Occurrence): New procedure.
75 (Create_Occurrence_From_Signal_Handler): New function to build an
76 occurrence without propagating it.
77 (Create_Machine_Occurrence_From_Signal_Handler): Likewise, but
78 return the machine occurrence.
79 (Raise_From_Signal_Handler): Use Create_Occurrence_From_Signal_Handler.
80 (Raise_Exception, Raise_Exception_Always, Raise_Exception_No_Defer):
81 Adjust calls to the above procedures. Allocate the occurrence at
83 (Raise_With_Location_And_Msg, Raise_With_Msg)
84 (Rcheck_PE_Finalize_Raised_Exceptionm Reraise): Likewise.
85 (Reraise_Occurrence): Use Reraise_Occurrence_Always.
86 (Reraise_Occurrence_Always): Use Reraise_Occurrence_No_Defer.
87 (Reraise_Occurrence_No_Defer): Preserve machine occurrence.
88 (Save_Occurrence): Do not save machine occurrence.
89 * a-except-2005.ads (Exception_Occurrence): Add Machine_Occurrence
91 (Null_Occurrence): Consider it.
92 * a-exexda.adb (Set_Exception_C_Msg, Set_Exception_Msg): add
95 2012-07-16 Tristan Gingold <gingold@adacore.com>
97 * seh_init.c (__gnat_map_SEH): New function extracted from
98 __gnat_SEH_error_handler.
99 * raise-gcc.c: __gnat_personality_seh0: Directly transforms
100 Windows system exception into GCC one when possible, in order
101 to save stack room (particularly useful when Storage_Error will
104 2012-07-16 Robert Dewar <dewar@adacore.com>
106 * a-direct.adb, g-dirope.adb: Minor reformatting.
108 2012-07-16 Tristan Gingold <gingold@adacore.com>
110 * a-except.ads, a-except-2005.ads: Remove outdated comment.
112 2012-07-16 Robert Dewar <dewar@adacore.com>
114 * sem_ch6.adb (Subprogram_Name_Greater): Fix algorithm to
115 conform to documentation.
117 2012-07-16 Ed Schonberg <schonberg@adacore.com>
119 * gnat1drv.adb (Check_Library_Items): Removed, no longer used.
121 2012-07-16 Ed Schonberg <schonberg@adacore.com>
123 * sem_ch3.adb (Array_Type_Declaration): if component type has
124 invariants, the array type itself requires an invariant procedure.
125 * exp_ch3.ads, exp_ch3.adb (Build_Array_Invariant_Proc): new
126 procedure, to build a checking procedure that applies the
127 invariant check on some type T to each component of an array
128 of T's. Code is similar to the construction of the init_proc
129 for an array, and handles multidimensional arrays by recursing
130 over successive dimensions.
132 2012-07-16 Hristian Kirtchev <kirtchev@adacore.com>
134 * g-debpoo.adb: Revert previous change.
136 2012-07-16 Hristian Kirtchev <kirtchev@adacore.com>
138 * freeze.adb (Freeze_Entity): Insert the itype reference to a
139 library-level class-wide subtype after the freeze node of the
140 equivalent record type.
142 2012-07-16 Pascal Obry <obry@adacore.com>
144 * s-crtl.ads (mkdir): New routine, support encoding.
145 * adaint.h (__gnat_mkdir): Update spec to pass encoding.
146 * mkdir.c (__gnat_mkdir): Add encoding parameter.
147 * a-direct.adb (Create_Directory): Use CRTL.mkdir, parse encoding
149 * g-dirope.adb (Make_Dir): Update to pass encoding parameter.
151 2012-07-16 Pascal Obry <obry@adacore.com>
153 * adaint.c: Minor reformatting.
155 2012-07-16 Steven Bosscher <steven@gcc.gnu.org>
157 * gcc-interface/utils.c: Include timevar.h.
158 * Make-lang.in: Fix dependencies.
160 2012-07-16 Vasiliy Fofanov <fofanov@adacore.com>
162 * ug_words, vms_data.ads: Document VMS qualifiers for -gnatn1/2
165 2012-07-16 Bob Duff <duff@adacore.com>
167 * sinfo.ads: Minor comment fix.
169 2012-07-16 Bob Duff <duff@adacore.com>
171 * sem_elab.adb (Within_Elaborate_All): Walk the with clauses to
172 find pragmas Elaborate_All that may be found in the transitive
173 closure of the dependences.
175 2012-07-16 Robert Dewar <dewar@adacore.com>
177 * exp_pakd.adb, freeze.adb, sem_util.adb, vms_data.ads: Minor
180 2012-07-12 Vasiliy Fofanov <fofanov@adacore.com>
182 * vms_data.ads: Add VMS qualifiers for -gnatn1/2 switches.
184 2012-07-12 Thomas Quinot <quinot@adacore.com>
186 * exp_ch5.adb, exp_pakd.adb, rtsfind.ads, freeze.adb, sem_util.adb,
187 sem_util.ads, exp_aggr.adb
188 (Exp_Aggr.Packed_Array_Aggregate_Handled): Simplify processing
189 for reverse storage order aggregate.
190 (Exp_Pakd.Byte_Swap): New utility routine used by...
191 (Exp_Pakd.Expand_Bit_Packed_Element_Set,
192 Expand_Packed_Element_Reference): For the case of a free-standing
193 packed array with reverse storage order, perform byte swapping.
194 (Rtsfind): Make new entities RE_Bswap_{16,32,64} available.
195 (Freeze.Check_Component_Storage_Order): New utility routine
196 to enforce legality rules for nested composite types whose
197 enclosing composite has an explicitly defined Scalar_Storage_Order
199 (Sem_Util.In_Reverse_Storage_Order_Object): Renamed from
200 Sem_Util.In_Reverse_Storage_Order_Record, as SSO now applies to
202 (Exp_Ch5.Expand_Assign_Array): Remove now unnecessary kludge
203 for change of scalar storage order in assignments. The Lhs and
204 Rhs now always have the same scalar storage order.
206 2012-07-12 Hristian Kirtchev <kirtchev@adacore.com>
208 * g-debpoo.adb (Allocate): Add local constant
209 No_Element. Initialize the allocated memory chunk to No_Element.
211 2012-07-12 Ed Schonberg <schonberg@adacore.com>
213 * sem_ch12.adb (Validate_Derived_Type_Instance): Handle properly
214 the case of an instance of a child unit where a formal derived
215 type DT is an extension of a type T declared in a parent unit,
216 and the actual in the instance of the child is the type T declared
217 in the parent instance, and that actual is not a derived type.
219 2012-07-12 Eric Botcazou <ebotcazou@adacore.com>
220 Tristan Gingold <gingold@adacore.com>
222 * system-hpux-ia64.ads: Enable ZCX by default.
223 * gcc-interface/Makefile.in: Use alternate stack on ia64-hpux.
226 2012-07-12 Robert Dewar <dewar@adacore.com>
228 * s-atopri.adb, s-atopri.ads: Minor reformatting.
230 2012-07-12 Robert Dewar <dewar@adacore.com>
232 * ali.adb: Add circuitry to read new named form of restrictions lines.
233 * debug.adb: Add doc for new -gnatd.R switch (used positional
234 notation for output of restrictions data in ali file).
235 * lib-writ.adb: Implement new named format for restrictions lines.
236 * lib-writ.ads: Add documentation for new named format for
237 restrictions in ali files.
238 * restrict.adb, restrict.ads, sem_prag.adb: Update comments.
239 * rident.ads: Go back to withing System.Rident
240 * s-rident.ads: Add extensive comment on dealing with consistency
243 2012-07-12 Thomas Quinot <quinot@adacore.com>
245 * par_sco.adb, scos.ads: Emit detailed SCOs for SELECT statements.
247 2012-07-12 Robert Dewar <dewar@adacore.com>
249 * sem_disp.adb: Minor reformatting
250 * s-bytswa.ads: Minor comment update.
252 2012-07-12 Vincent Pucci <pucci@adacore.com>
254 * exp_ch9.adb (Build_Lock_Free_Unprotected_Subprogram_Body):
255 Atomic_Load_N replaced by Lock_Free_Read_N. Atomic_Compare_Exchange_N
256 replaced by Lock_Free_Try_Write_N.
257 Renaming of several local variables. For
258 procedure, Expected_Comp declaration moved to the declaration
259 list of the procedure.
260 * rtsfind.ads: RE_Atomic_Compare_Exchange_8,
261 RE_Atomic_Compare_Exchange_16, RE_Atomic_Compare_Exchange_32,
262 RE_Atomic_Compare_Exchange_64, RE_Atomic_Load_8,
263 RE_Atomic_Load_16, RE_Atomic_Load_32, RE_Atomic_Load_64,
264 RE_Atomic_Synchronize, RE_Relaxed removed. RE_Lock_Free_Read_8,
265 RE_Lock_Free_Read_16, RE_Lock_Free_Read_32, RE_Lock_Free_Read_64,
266 RE_Lock_Free_Try_Write_8, RE_Lock_Free_Try_Write_16,
267 RE_Lock_Free_Try_Write_32, RE_Lock_Free_Try_Write_64 added.
268 * s-atopri.adb: New file.
269 * s-atopri.ads (Atomic_Compare_Exchange_8): Renaming of
270 parameters. Import primitive __sync_val_compare_and_swap_1.
271 (Atomic_Compare_Exchange_16): Renaming of parameters.
272 Import primitive __sync_val_compare_and_swap_2.
273 (Atomic_Compare_Exchange_32): Renaming of parameters.
274 Import primitive __sync_val_compare_and_swap_4.
275 (Atomic_Compare_Exchange_64): Renaming of parameters. Import
276 primitive __sync_val_compare_and_swap_8.
277 (Atomic_Load_8): Ptr renames parameter X.
278 (Atomic_Load_16): Ptr renames parameter X.
279 (Atomic_Load_32): Ptr renames parameter X.
280 (Atomic_Load_64): Ptr renames parameter X.
281 (Lock_Free_Read_8): New routine.
282 (Lock_Free_Read_16): New routine.
283 (Lock_Free_Read_32): New routine.
284 (Lock_Free_Read_64): New routine.
285 (Lock_Free_Try_Write_8): New routine.
286 (Lock_Free_Try_Write_16): New routine.
287 (Lock_Free_Try_Write_32): New routine.
288 (Lock_Free_Try_Write_64): New routine.
290 2012-07-12 Robert Dewar <dewar@adacore.com>
292 * exp_attr.adb, exp_ch9.adb, sem_ch9.adb, exp_aggr.adb: Minor
295 2012-07-12 Vincent Pucci <pucci@adacore.com>
297 * sem_dim.adb (Analyze_Dimension_Function_Call): Reformatting of error
298 msgs for elementary functions.
300 2012-07-12 Vincent Pucci <pucci@adacore.com>
302 * sem_attr.adb (Eval_Attribute): Minor reformatting.
304 2012-07-12 Pascal Obry <obry@adacore.com>
306 * prj-nmsc.adb (Check_Library_Attributes): Allow the same library
307 project in different project tree (different aggregated projects).
309 2012-07-12 Thomas Quinot <quinot@adacore.com>
311 * s-bytswa.adb, g-bytswa.adb, g-bytswa.ads, s-bytswa.ads: Further
312 reorganization of byte swapping routines.
314 2012-07-12 Ed Schonberg <schonberg@adacore.com>
316 * sem_disp.adb (Check_Dispatching_Context): Refine legality
317 checks on tagg indeterminate calls to abstract operations,
318 that appear in the context of other calls.
320 2012-07-12 Thomas Quinot <quinot@adacore.com>
322 * s-bytswa.adb (Swapped2.Bswap16): Remove local function,
325 2012-07-12 Javier Miranda <miranda@adacore.com>
327 * exp_attr.adb (Expand_N_Attribute_Reference): For
328 attributes 'access, 'unchecked_access and 'unrestricted_access,
329 iff the current instance reference is located in a protected
330 subprogram or entry then rewrite the access attribute to be the
331 name of the "_object" parameter.
333 2012-07-12 Tristan Gingold <gingold@adacore.com>
335 * raise.h: Revert previous patch: structure is used in init.c
338 2012-07-12 Vincent Celier <celier@adacore.com>
340 * make.adb (Binding_Phase): If --subdirs was used, but not
341 -P, change the working directory to the specified subdirectory
342 before invoking gnatbind.
343 (Linking_Phase): If --subdirs was used, but not -P, change the working
344 directory to the specified subdirectory before invoking gnatlink.
346 2012-07-12 Vincent Pucci <pucci@adacore.com>
348 * exp_ch9.adb (Build_Lock_Free_Unprotected_Subprogram_Body):
349 For a procedure, instead of replacing each Comp reference by a
350 reference to Current_Comp, make a renaming Comp of Current_Comp
351 that rewrites the original renaming generated by the compiler
352 during the analysis. Move the declarations of the procedure
353 inside the generated block.
354 (Process_Stmts): Moved in the body
355 of Build_Lock_Free_Unprotected_Subprogram_Body.
357 Moved in the body of Build_Lock_Free_Unprotected_Subprogram_Body.
358 * sem_ch9.adb (Allows_Lock_Free_Implementation): Restrict any
359 non-elementary out parameters in protected procedures.
361 2012-07-12 Thomas Quinot <quinot@adacore.com>
363 * sem_ch13.adb (Analyze_Attribute_Definition_Clause, case
364 Scalar_Storage_Order): Attribute applies to base type only.
366 2012-07-12 Ed Schonberg <schonberg@adacore.com>
368 * exp_aggr.adb (Convert_To_Positional): Increase acceptable size
369 of static aggregate when Static_Elaboration_Desired is requested.
370 Add a warning if the request cannot be satisfied either because
371 some components or some array bounds are non-static.
373 2012-07-12 Thomas Quinot <quinot@adacore.com>
375 * exp_pakd.adb: Minor reformatting.
377 2012-07-12 Tristan Gingold <gingold@adacore.com>
379 * tracebak.c: Fix warnings.
380 * raise-gcc.c (__gnat_adjust_context): New function
381 (__gnat_personality_seh0): Call __gnat_adjust_context to adjust
382 PC in machine frame for exceptions that occur in the current
385 2012-07-12 Thomas Quinot <quinot@adacore.com>
387 * g-bytswa.adb, g-bytswa.ads, s-bytswa.adb, s-bytswa.ads, Makefile.rtl:
388 Move GNAT.Byte_Swapping to System (with a renaming under GNAT)
389 so that it is usable in expanded code.
391 2012-07-12 Tristan Gingold <gingold@adacore.com>
393 * s-osinte-hpux.ads: Increase alternate stack size on hpux.
395 2012-07-12 Javier Miranda <miranda@adacore.com>
397 * exp_ch3.adb (Make_Neq_Body): Fix typo in comment.
399 2012-07-12 Eric Botcazou <ebotcazou@adacore.com>
401 * tb-gcc.c (trace_callback): On IA-64/HP-UX, use workaround only
402 if USE_LIBUNWIND_EXCEPTIONS is defined.
403 * init.c: Further tweaks for IA-64/HP-UX.
405 2012-07-12 Tristan Gingold <gingold@adacore.com>
407 * raise-gcc.c: Do not include unwind-dw2-fde.h. Adjust comments.
408 (db_region_for): Second argument is ip. Do not recompute ip.
409 (action_kind): Remove typedef, add unhandler enum const.
410 (action_descriptor): Adjust type of kind field.
411 (db_action_for): Second argument is ip, do not recompute it.
412 (get_call_site_action_for): First argument is call_site, do not
413 recompute it. Remove useless return.
414 (is_handled_by): Now return enum action_kind.
415 Handle GNAT_ALL_OTHERS first.
416 Return unhandler for GNAT_UNHANDLED_OTHERS.
417 (get_action_description_for): First argument is now ip, do not
418 recompute it. Adjust code for call to is_handled_by.
419 (__gnat_notify_unhandled_exception): Add prototype.
420 (PERSONALITY_FUNCTION): Call get_ip_from_context. Adjust calls.
421 Handle unhandler case.
422 (__gnat_cleanupunwind_handler): Add comments, add
423 ATTRIBUTE_UNUSED on arguments.
424 (__gnat_Unwind_RaiseException, __gnat_Unwind_ForcedUnwind): Define
426 * raise.h: Makes struct Exception_Data opaque.
428 2012-07-12 Robert Dewar <dewar@adacore.com>
430 * make.adb, sem_ch9.adb, prj.adb, s-rident.ads, snames.ads-tmpl: Minor
433 2012-07-12 Javier Miranda <miranda@adacore.com>
435 * exp_ch3.adb (Is_User_Defined_Equality): New subprogram.
436 (Make_Neq_Body): New subprogram.
437 (Make_Predefined_Primitive_Specs): Adding local variable
438 Has_Predef_Eq_ Renaming to ensure that we enable the machinery
439 which handles renamings of predefined primitive operators.
441 2012-07-09 Pascal Obry <obry@adacore.com>
443 * prj.adb (For_Every_Project_Imported_Context): Make sure we
444 callback with the project having sources.
447 2012-07-09 Eric Botcazou <ebotcazou@adacore.com>
449 * make.adb: Fix typo.
451 2012-07-09 Vincent Pucci <pucci@adacore.com>
453 * sem_ch9.adb (Check_Node): Allow attributes
454 that denote static function for lock-free implementation.
455 (Is_Static_Function): New routine.
457 2012-07-09 Tristan Gingold <gingold@adacore.com>
459 * tracebak.c: Adjust skip_frames on Win64.
461 2012-07-09 Tristan Gingold <gingold@adacore.com>
463 * init.c: Add __gnat_adjust_context_for_raise for ia64/hpux.
464 * raise-gcc.c: __gnat_cleanupunwind_handler: Do not call
465 _Unwind_GetGR on hpux when using libgcc unwinder. Part of
467 2012-07-09 Vincent Pucci <pucci@adacore.com>
469 * exp_attr.adb, sem_attr.adb: Minor reformatting.
470 * par-ch13.adb, par-ch4.adb, par-util.adb: Reformatting
471 considering that internal attribute names are not defined anymore
472 in the main attribute names list.
473 * snames.adb-tmpl (Get_Attribute_Id): Special processinf
474 for names CPU, Dispatching_Domain and Interrupt_Priority.
475 (Is_Internal_Attribute_Name): Minor reformatting.
476 * snames.ads-tmpl: New list of internal attribute names. Internal
477 attributes moved at the end of the attribute Id list.
479 2012-07-09 Robert Dewar <dewar@adacore.com>
481 * freeze.adb: Minor code reorganization (use Ekind_In).
482 * exp_attr.adb, sem_ch9.adb par-ch4.adb, s-taprop-mingw.adb,
483 sem_attr.adb, exp_ch8.adb, snames.adb-tmpl, par-util.adb,
484 sem_ch13.adb, snames.ads-tmpl: Minor reformatting.
486 2012-07-09 Tristan Gingold <gingold@adacore.com>
488 * raise-gcc.c: Adjust previous patch.
490 2012-07-09 Vincent Celier <celier@adacore.com>
492 * make.adb (Compilation_Phase): Do not build libraries in
493 Codepeer mode (do not call Library_Phase).
495 2012-07-09 Ed Schonberg <schonberg@adacore.com>
497 * sem_ch13.adb: Extend previous change to elementary types.
499 2012-07-09 Javier Miranda <miranda@adacore.com>
501 * exp_ch8.adb (Expand_N_Subprogram_Renaming_Declaration): Reverse
502 previous patch since unconditionally handling as renaming_as_body
503 renamings of predefined dispatching equality and unequality operator
504 cause visibility problems with private overridings of the equality
505 operator (see ACATS C854001).
507 2012-07-09 Vincent Pucci <pucci@adacore.com>
509 * exp_attr.adb (Signal_Bad_Attribute): Raise Program_Error in
510 case of internal attribute names (already rejected by the parser).
511 * par-ch13.adb (P_Representation_Clause): Complain if an internal
512 attribute name that comes from source occurs.
513 * par-ch4.adb (P_Name): Complain if an internal attribute name
514 occurs in the context of an attribute reference.
515 * par-util.adb (Signal_Bad_Attribute): Don't complain about
516 mispelling attribute with internal attributes.
517 * sem_attr.adb (Analyze_Attribute): Raise Program_Error in case
518 of internal attribute names (already rejected by the parser).
519 * snames.adb-tmpl (Is_Internal_Attribute_Name): New routine.
520 * snames.ads-tmpl: Attributes CPU, Dispatching_Domain and
521 Interrupt_Priority are marked as INT attributes since they
522 don't denote real attribute and are only used internally in
524 (Is_Internal_Attribute_Name): New routine.
526 2012-07-09 Thomas Quinot <quinot@adacore.com>
528 * einfo.adb (Set_Reverse_Storage_Order): Update assertion,
529 flag is now valid for array types as well.
531 2012-07-09 Tristan Gingold <gingold@adacore.com>
533 * tracebak.c: Implement __gnat_backtrace for Win64 SEH.
535 2012-07-09 Robert Dewar <dewar@adacore.com>
537 * einfo.ads: Minor reformatting.
539 2012-07-09 Javier Miranda <miranda@adacore.com>
541 * exp_ch8.adb (Expand_N_Subprogram_Renaming_Declaration): Handle as
542 renaming_as_body renamings of predefined dispatching equality
543 and unequality operators.
545 2012-07-09 Robert Dewar <dewar@adacore.com>
547 * rident.ads: Do not instantiate r-ident.ads, this is now an
550 2012-07-09 Javier Miranda <miranda@adacore.com>
552 * exp_disp.adb (Write_DT): Avoid runtime crash of this debugging
554 * sem_disp.adb (Find_Dispatching_Time): Protect this routine
555 against partially decorated entities.
557 2012-07-09 Ed Schonberg <schonberg@adacore.com>
559 * sem_ch13.adb (Check_Size): Reject a size clause that specifies
560 a value greater than Int'Last for a scalar type.
562 2012-07-09 Vincent Pucci <pucci@adacore.com>
564 * sem_ch9.adb (Allows_Lock_Free_Implementation): type must support
565 atomic operation moved to the protected body case. No non-elementary
566 out parameter moved to the protected declaration case. Functions have
567 only one lock-free restriction.
568 (Analyze_Protected_Type_Declaration): Issue a warning when
569 Priority given with Lock_Free.
571 2012-07-09 Vincent Pucci <pucci@adacore.com>
573 * sem_dim.adb: Grammar of aspect Dimension fixed.
575 2012-07-09 Vincent Pucci <pucci@adacore.com>
577 * freeze.adb (Freeze_Record_Type): Code reorg in order to avoid
578 pushing and popping the scope stack whenever a delayed aspect occurs.
580 2012-07-09 Gary Dismukes <dismukes@adacore.com>
582 * s-os_lib.ads: Remove pragma Elaborate_Body, as
583 this is now unnecessary due to recently added pragma Preelaborate.
585 2012-07-09 Jose Ruiz <ruiz@adacore.com>
587 * s-taprop-mingw.adb (Set_Priority): Remove the code that was
588 previously in place to reorder the ready queue when a task drops
589 its priority due to the loss of inherited priority.
591 2012-07-09 Robert Dewar <dewar@adacore.com>
593 * layout.adb, i-cstrea.ads, a-ststio.ads, prj-util.ads, sem_cat.adb,
594 s-commun.ads, s-ficobl.ads, s-os_lib.ads, s-fileio.ads: Minor
597 2012-07-09 Eric Botcazou <ebotcazou@adacore.com>
599 * raise-gcc.c: Update comments. Fix typo.
601 2012-07-09 Thomas Quinot <quinot@adacore.com>
603 * einfo.adb, einfo.ads, sem_attr.adb, sem_ch13.adb: Attribute
604 Scalar_Storage_Order can be defined or queried for array types as well
607 2012-07-09 Tristan Gingold <gingold@adacore.com>
609 * a-exexpr-gcc.adb (CleanupUnwind_Handler): Now imported from
611 * raise-gcc.c (__gnat_cleanupunwind_handler): Defined.
612 Strictly follow the ABI convention on ia64.
614 2012-07-09 Gary Dismukes <dismukes@adacore.com>
616 * a-ststio.ads: Add pragma Preelaborate, per AI05-0283.
617 * i-cstrea.ads (max_path_len): Change from variable to deferred
618 constant to allow it to be used as a bound in string component
619 in type System.File_IO.Temp_File_Record.
620 * s-os_lib.ads, s-commun.ads, s-ficobl.ads, s-fileio.ads: Add pragma
622 * s-fileio.adb (Get_Case_Sensitive): Move function inside
624 (File_Names_Case_Sensitive): Move variable inside
625 procedure Open, to avoid violation of Preelaborate restriction
626 (due to call to Get_Case_Sensitive).
628 2012-07-09 Ed Schonberg <schonberg@adacore.com>
630 * layout.adb (Set_Elem_Alignment): Protect against meaningless
631 size clause, to prevent overflow in internal computation of
634 2012-07-09 Robert Dewar <dewar@adacore.com>
636 * freeze.adb, prj-util.adb, prj-util.ads, sem_ch13.adb: Minor
639 2012-07-09 Gary Dismukes <dismukes@adacore.com>
641 * sem_cat.adb (Check_Categorization_Dependencies):
642 Allow dependence of both Remote_Types and Remote_Call_Interface
643 declarations (not just Remote_Types units) on preelaborated
644 units, but require that the dependence be made via a private
645 with_clause. Issue a specialized error message.
647 2012-07-09 Pascal Obry <obry@adacore.com>
649 * prj-util.adb, prj-util.ads (For_Interface_Sources): New routine.
651 2012-07-09 Tristan Gingold <gingold@adacore.com>
653 * seh_init.c (__gnat_SEH_error_handler): On Win64 and SEH,
654 return for unknown exceptions.
655 * raise-gcc.c (__gnat_personality_seh0): Call __gnat_SEH_error_handler.
657 2012-07-09 Joel Brobecker <brobecker@adacore.com brobecker>
659 * exp_dbug.ads (No_Dollar_In_Label): Delete.
661 2012-07-09 Vincent Pucci <pucci@adacore.com>
663 * sem_ch13.adb (Check_Overloaded_Name): New routine.
665 2012-07-09 Vincent Pucci <pucci@adacore.com>
667 * freeze.adb (Freeze_Record_Type): Analyze the delayed aspects of the
668 components in a record type.
670 2012-07-09 Pascal Obry <obry@adacore.com>
672 * prj-util.ads: Minor reformatting.
674 2012-07-09 Tristan Gingold <gingold@adacore.com>
676 * raise-gcc.c (db_indent): Simplify style, improve comments.
677 Remove !IN_RTS part (dead).
679 2012-07-09 Robert Dewar <dewar@adacore.com>
681 * usage.adb: Minor change to format of -gnatn line.
683 2012-07-09 Tristan Gingold <gingold@adacore.com>
685 * a-exexpr-gcc.adb: Reorder routine.
687 2012-07-09 Vincent Celier <celier@adacore.com>
689 * lib-writ.ads: Add documentation for the Z lines (implicitly
690 withed units) and Y lines (limited withed units).
692 2012-07-09 Robert Dewar <dewar@adacore.com>
694 * lib.ads, exp_attr.adb, exp_ch9.adb, sem_dim.adb, sem_ch9.adb,
695 sem_prag.adb, sem_ch12.adb, mlib-utl.adb, freeze.adb, sem_res.adb,
696 sem_attr.adb, sem_case.adb, gnatlink.adb, exp_ch4.adb, sem_ch6.adb,
697 sem_elim.adb, s-dimmks.ads, sem_ch13.adb: Minor code clean ups.
699 2012-07-09 Eric Botcazou <ebotcazou@adacore.com>
701 * gnat_ugn.texi (Switches for gcc): Document -gnatn[12] only
702 lightly in the summary and more thoroughly in inlining section.
703 (Performance Considerations): Document -gnatn[12] in inlining
706 2012-07-09 Tristan Gingold <gingold@adacore.com>
708 * a-exexpr-gcc.adb (Unhandled_Except_Handler): New procedure.
709 (Unhandled_Others_Value): New const.
710 * raise-gcc.c (GNAT_UNHANDLED_OTHERS): Define.
711 (action_descriptor): Remove ttype_entry.
712 (get_action_description_for): Do not assign ttype_entry.
713 (is_handled_by): Consider GNAT_UNHANDLED_OTHERS.
715 2012-07-03 Eric Botcazou <ebotcazou@adacore.com>
717 * gcc-interface/trans.c (Call_to_gnu): Robustify test for function case
718 if the CICO mechanism is used.
720 2012-07-03 Eric Botcazou <ebotcazou@adacore.com>
722 * gcc-interface/utils2.c (build_simple_component_ref): Do not look
723 through an extension if the type contains a placeholder.
725 2012-07-03 Eric Botcazou <ebotcazou@adacore.com>
727 * exp_disp.adb (Expand_Dispatching_Call): Propagate the convention on
728 the designated subprogram type and also set Is_Dispatch_Table_Entity.
729 (Expand_Interface_Thunk): Propagate the convention on the thunk.
730 (Set_CPP_Constructors_Old): Set Is_Constructor and Convention_CPP on
731 the internal view of the constructors.
732 (Set_CPP_Constructors): Likewise.
733 * sem_prag.adb (Analyze_Pragma) <Pragma_CPP_Constructor>: Set the
734 convention on the function.
735 * gcc-interface/gigi.h (is_cplusplus_method): Declare.
736 * gcc-interface/decl.c (Has_Thiscall_Convention): New macro.
737 (gnat_to_gnu_entity) <E_Subprogram_Type>: Test it to set the `thiscall'
739 (get_minimal_subprog_decl): Likewise.
740 (is_cplusplus_method): New predicate.
741 * gcc-interface/trans.c (Attribute_to_gnu) <Attr_Access>: Issue an
742 error on access to C++ constructor or member function.
744 2012-07-03 Eric Botcazou <ebotcazou@adacore.com>
746 * gcc-interface/utils.c (gnat_pushdecl): Set TYPE_CONTEXT for types
747 attached to a TYPE_DECL.
749 2012-06-26 Vincent Pucci <pucci@adacore.com>
751 * exp_ch3.adb (Build_Init_Statements): Don't check the parents
752 in the Rep Item Chain of the task for aspects Interrupt_Priority,
753 Priority, CPU and Dispatching_Domain.
754 * exp_ch9.adb (Expand_N_Task_Type_Declaration): fields _Priority,
755 _CPU and _Domain are present in the corresponding record type
756 only if the task entity has a pragma, attribute definition
757 clause or aspect specification.
758 (Make_Initialize_Protection): Don't check the parents in the Rep Item
759 Chain of the task for aspects Interrupt_Priority, Priority, CPU and
761 * freeze.adb (Freeze_Entity): Use of Evaluate_Aspects_At_Freeze_Point
762 call replaced by Analyze_Aspects_At_Freeze_Point.
763 * sem_ch13.adb, sem_ch13.ads (Analyze_Aspects_At_Freeze_Point):
764 Renaming of Evaluate_Aspects_At_Freeze_Point.
766 2012-06-26 Yannick Moy <moy@adacore.com>
768 * sem_attr.adb (Analyze_Attribute): Detect if 'Old is used outside a
769 postcondition, and issue an error in such a case.
771 2012-06-26 Yannick Moy <moy@adacore.com>
773 * gnat_rm.texi: Minor editing.
775 2012-06-26 Tristan Gingold <gingold@adacore.com>
777 * raise-gcc.c: Minor cleanup: remove unused prototype.
778 * seh_init.c: Do not create an image wide unwind info to catch
779 SEH when SEH unwind info are emitted by the compiler.
781 2012-06-19 Steven Bosscher <steven@gcc.gnu.org>
783 * gcc-interface/trans.c: Include target.h.
784 (gigi): Try to put out .ident with targetm.asm_out.output_ident.
785 Remove uses of ASM_OUTPUT_IDENT.
786 * gcc-interface/Make-lang.in: Fix dependencies.
788 2012-06-15 Eric Botcazou <ebotcazou@adacore.com>
791 * gcc-interface/gigi.h (maybe_vector_array): Make static inline.
792 * gcc-interface/utils.c (maybe_vector_array): Delete.
793 * gcc-interface/trans.c (gnat_to_gnu) <N_Indexed_Component>: Mark the
794 array object as addressable if it has vector type and is on the LHS.
796 2012-06-15 Eric Botcazou <ebotcazou@adacore.com>
799 * gcc-interface/misc.c (gnat_init_options_struct): Set
800 opts->x_flag_delete_dead_exceptions to 1.
802 2012-06-14 Jose Ruiz <ruiz@adacore.com>
804 * gcc-interface/Make-lang.in (ada.install-common, ada.uninstall):
805 Use the prefix specified with the --program-prefix configure option
806 to determine the install name of the Ada tools.
807 (ada.all.cross): Use a for loop to iterate over the set of Ada tools
808 instead of duplicate the same processing.
811 2012-06-14 Vincent Pucci <pucci@adacore.com>
813 * exp_ch6.adb (Expand_Call): Expand_Put_Call_With_Dimension_Symbol
814 call replaced by Expand_Put_Call_With_Symbol call.
815 * sem_dim.adb: New fields Unit_Names, Unit_Symbols
816 and Dim_Symbols for record type System_Type.
817 (From_Dimension_To_String_Of_Symbols): Removed.
818 (From_Dim_To_Str_Of_Dim_Symbols): Renames previous
819 routine From_Dimension_To_String_Of_Symbols.
820 (From_Dim_To_Str_Of_Unit_Symbols): New routine.
821 (Analyze_Aspect_Dimension): argument Symbol in aspect
822 Dimension aggregate is optional. Named association implemented.
823 (Has_Compile_Time_Known_Expressions): Removed.
824 (Analyze_Aspect_Dimension_System): New
825 component Dim_Symbol in each Dimension aggregate in
826 aspect Dimension_System. Named associations implemented.
827 (Add_Dimension_Vector_To_Buffer): Removed.
828 (Add_Whole_To_Buffer): Removed.
829 (Expand_Put_Call_With_Dimension_Symbol.): Removed.
830 (Expand_Put_Call_With_Symbol): Renames previous routine
831 Expand_Put_Call_With_Dimension_Symbol.
832 (Has_Dimension_Symbols): Removed.
833 (Has_Symbols): Renames previous routine
834 Has_Dimension_Symbols. (Store_String_Oexpon): New routine.
835 * sem_dim.ads (Expand_Put_Call_With_Dimension_Symbol.): Removed.
836 (Expand_Put_Call_With_Symbol): Renames previous routine
837 Expand_Put_Call_With_Dimension_Symbol.
838 * s-diflio.adb, s-diinio.adb (Put): Symbol renames Symbols.
839 (Put_Dim_Of): New routines.
840 * s-diflio.ads, s-diinio.ads: documentation updated.
841 (Put): Symbol renames Symbols.
842 (Put_Dim_Of): New routines.
843 * s-dim.ads: documentation updated.
844 * s-dimmks.ads: dimensioned type and subtypes updated.
845 * snames.ads-tmpl: Name_Dim_Symbol, Name_Put_Dim_Of, Name_Symbol,
846 and Name_Unit_Symbol added. Name_Symbols removed.
848 2012-06-14 Vincent Pucci <pucci@adacore.com>
850 * freeze.adb (In_Exp_Body): Expression function case added.
851 (Freeze_Expression): Insert the Freeze_Nodes
852 list before the correct current scope in case of a quantified
855 2012-06-14 Pascal Obry <obry@adacore.com>
857 * projects.texi: Document the Install package for gprinstall.
858 2012-06-14 Ed Schonberg <schonberg@adacore.com>
860 * sem_elim.adb (Check_For_Eliminated_Subprogram): Do not check within
861 a default expression.
862 * sem_res.adb (Resolve_Call): simplify code.
864 2012-06-14 Ed Schonberg <schonberg@adacore.com>
866 * sem_case.adb (Check, Issue_Msg): within an instance, non-other
867 values in a variant part or a case expression do not have to
868 belong to the actual subtype.
870 2012-06-14 Ed Schonberg <schonberg@adacore.com>
872 * sem_ch12.adb (Validate_Derived_Type_Instance): If parent is
873 an interface type, check whether it is itself a previous formal
874 already instantiated in the current list of actuals.
876 2012-06-14 Ed Schonberg <schonberg@adacore.com>
878 * sem_ch13.adb (Check_Aspect_At_End_Of_Declarations): The
879 expression for a stream attribute is a name that may be overloaded
880 with other declarations. To determine whether it matches the
881 aspect at the freeze point, it is necessary to verify that one
882 of its interpretations matches.
884 2012-06-14 Robert Dewar <dewar@adacore.com>
886 * exp_ch7.adb, exp_util.adb, sem_aux.ads, exp_ch9.adb,
887 sem_ch10.adb, freeze.adb, sem_util.adb, exp_ch4.adb,
888 s-taprop-dummy.adb: Minor reformatting.
890 2012-06-14 Vincent Pucci <pucci@adacore.com>
892 * exp_attr.adb (Expand_N_Attribute_Reference): Lock_Free
893 attribute case added.
894 * par-prag.adb (Prag): Lock_Free pragma case added.
895 * sem_attr.adb (Analyze_Attribute_Reference): Lock_Free attribute
897 * sem_ch13.adb (Analyze_Aspect_Specifications): Record_Rep_Item
898 call added for Aspect_Lock_Free.
899 * sem_ch9.adb (Allows_Lock_Free_Implementation): New Lock_Free
900 error messages for subprogram bodies.
901 (Lock_Free_Disabled): New routine.
902 (Analyze_Protected_Body): Call to Lock_Free_Disabled added.
903 * sem_prag.adb (Analyze_Pragma): Lock_Free pragma case added.
904 * snames.adb-tmpl (Get_Pragma_Id): Name_Lock_Free case added.
905 (Is_Pragma_Name): Name_Lock_Free case added.
906 * snames.ads-tmpl: Attribute_Lock_Free and Pragma_Lock_Free added.
908 2012-06-14 Ed Schonberg <schonberg@adacore.com>
910 * a-coorma.adb, a-cborma.adb, a-cbhama.adb, a-ciorma.adb: Add missing
913 2012-06-14 Bob Duff <duff@adacore.com>
915 * lib.ads, lib.adb, sem.adb (Write_Unit_Info): Move this
916 procedure from Sem body to Lib spec, so it can be used for
919 2012-06-14 Ed Schonberg <schonberg@adacore.com>
921 * sem_ch6.adb (Check_Conformance): Add Ada 2012 check on mode
922 conformance: "aliased" must apply to both or neither formal
925 2012-06-14 Gary Dismukes <dismukes@adacore.com>
927 * exp_ch9.adb: Minor reformatting.
929 2012-06-14 Thomas Quinot <quinot@adacore.com>
931 * freeze.adb (Freeze_Record_Type): Warn about useless bit order
932 specification [when there's no component clause] regardless
933 of whether the specified bit order is reversed or not.
935 2012-06-14 Tristan Gingold <gingold@adacore.com>
937 * raise-gcc.c (__gnat_personality_seh0): New function.
939 2012-06-14 Tristan Gingold <gingold@adacore.com>
941 * gnatname.adb (Gnatname): Make sure that dynamic table
942 argument_data is initialized.
944 2012-06-14 Robert Dewar <dewar@adacore.com>
946 * sem_aux.adb: Minor code reorganization.
948 2012-06-14 Vincent Pucci <pucci@adacore.com>
950 * einfo.adb einfo.ads (Get_Rep_Item): Removed.
951 (Get_Rep_Item_For_Entity): Removed.
952 (Get_Rep_Pragma): Removed.
953 (Get_Rep_Pragma_For_Entity): Removed.
954 (Has_Rep_Item): Removed.
955 (Has_Rep_Pragma): Removed.
956 (Has_Rep_Pragma_For_Entity): Removed.
957 * exp_ch9.adb (Expand_N_Task_Type_Declaration):
958 Has_Rep_Pragma_For_Entity replaced by Has_Rep_Pragma
959 and Get_Rep_Pragma_For_Entity replaced by Get_Rep_Pragma.
960 (Make_Task_Create_Call): Has_Rep_Pragma_For_Entity replaced
961 by Has_Rep_Pragma and Get_Rep_Pragma_For_Entity replaced by
963 * exp_intr.adb: Dependency to Sem_Aux added for call to Get_Rep_Pragma.
964 * sem_aux.adb (Get_Rep_Item): New routine.
965 (Get_Rep_Pragma): New routine.
966 (Has_Rep_Item): New routine.
967 (Has_Rep_Pragma): New routine.
968 (Nearest_Ancestor): Minor reformatting.
969 * sem_aux.ads (Get_Rep_Item): New routine.
970 (Get_Rep_Pragma): New routine.
971 (Has_Rep_Item): New routine.
972 (Has_Rep_Pragma): New routine.
973 * sem_ch13.adb (Duplicate_Clause): Restore original error messages.
974 * sem_eval.adb (Subtypes_Statically_Match): Get_Rep_Item_For_Entity
975 replaced by Get_Rep_Item.
976 * sem_prag.adb (Analyze_Pragma): Restore original error messages.
977 (Check_Duplicate_Pragma): Restore original error messages.
979 2012-06-14 Ed Schonberg <schonberg@adacore.com>
981 * sem_util.adb (Is_Object_Reference): in Ada 2012, qualified
982 expressions are valid names.
984 2012-06-14 Ed Schonberg <schonberg@adacore.com>
986 * sem_ch10.adb (Analyze_Compilation_Unit): If the unit is an
987 instantiation do not emit warnings for obsolescent units. The
988 warnings belong on the corresponding generic.
990 2012-06-14 Hristian Kirtchev <kirtchev@adacore.com>
992 * einfo.adb: Update the usage of Node15.
993 (Return_Flag_Or_Transient_Decl): Removed.
994 (Set_Return_Flag_Or_Transient_Decl): Removed.
995 (Set_Status_Flag_Or_Transient_Decl): New routine.
996 (Status_Flag_Or_Transient_Decl): New routine.
997 (Write_Field15_Name): Update the output for variables and constants.
998 * einfo.ads: Remove attribute
999 Return_Flag_Or_Transient_Decl along with occurrences in nodes.
1000 (Return_Flag_Or_Transient_Decl): Removed along with pragma Inline.
1001 (Set_Return_Flag_Or_Transient_Decl): Removed along with pragma Inline.
1002 (Set_Status_Flag_Or_Transient_Decl): New routine along with pragma
1004 (Status_Flag_Or_Transient_Decl): New routine along with pragma Inline.
1005 * exp_ch4.adb (Create_Alternative): New routine.
1006 (Expand_N_Conditional_Expression): Handle the case
1007 where at least one of the conditional expression
1008 alternatives prodices a controlled temporary by means of a function
1010 (Is_Controlled_Function_Call): New routine.
1011 (Process_Transient_Object): Update the call to
1012 Set_Return_Flag_Or_Transient_Decl.
1013 * exp_ch6.adb (Enclosing_Context): New routine.
1014 (Expand_N_Extended_Return_Statement): Update all calls to
1015 Set_Return_Flag_Or_Transient_Decl.
1016 (Expand_Ctrl_Function_Call): Prohibit the finalization of a controlled
1017 function result when the context is a conditional expression.
1018 * exp_ch7.adb (Process_Declarations): Update all calls to
1019 Return_Flag_Or_Transient_Decl. Add processing for intermediate
1020 results of conditional expressions where one of the alternatives
1021 uses a controlled function call.
1022 (Process_Object_Declaration): Update all calls to
1023 Return_Flag_Or_Transient_Decl and rearrange the logic to process
1024 "hook" objects first.
1025 (Process_Transient_Objects): Update the call to
1026 Set_Return_Flag_Or_Transient_Decl.
1027 * exp_util.adb (Requires_Cleanup_Actions (List_Id, Boolean,
1028 Boolean)): Update all calls to Return_Flag_Or_Transient_Decl. Add
1029 detection for intermediate results of conditional expressions
1030 where one of the alternatives uses a controlled function call.
1032 2012-06-13 Eric Botcazou <ebotcazou@adacore.com>
1035 2012-05-19 Eric Botcazou <ebotcazou@adacore.com>
1037 * gcc-interface/decl.c (Has_Thiscall_Convention): New macro.
1038 (gnat_to_gnu_entity) <E_Subprogram_Type>: Test it to set the thiscall
1040 (get_minimal_subprog_decl): Likewise.
1041 (gnat_first_param_is_class): New predicate.
1043 2012-06-12 Robert Dewar <dewar@adacore.com>
1045 * gcc-interface/Make-lang.in: Update dependencies.
1046 * sem_ch9.ads, einfo.adb, einfo.ads, sem_prag.adb, freeze.adb,
1047 sem_util.adb, sem_ch13.adb, sem_ch13.ads, exp_ch3.adb: Add comments.
1050 2012-06-12 Ed Schonberg <schonberg@adacore.com>
1052 * sem_ch12.adb (Instantiate_Formal_Subprogram): Remove code that
1053 implements AI05-0296, because the actual may be overloaded.
1054 * sem_ch8.adb (Analyze_Subprogram_Renaming): and move it here,
1055 to be applied once the actual subprogram is properly resolved.
1057 2012-06-12 Robert Dewar <dewar@adacore.com>
1059 * switch-c.adb, a-exexpr-gcc.adb: Minor reformatting.
1061 2012-06-12 Vincent Pucci <pucci@adacore.com>
1063 * checks.adb (Tag_Checks_Suppressed): Remove Kill_Tag_Checks check.
1064 * einfo.adb (Universal_Aliasing): Apply to the implementation
1065 base type instead of the base type.
1066 (Get_Rep_Item_For_Entity):
1067 Return a pragma if the pragma node is not present in the Rep
1068 Item chain of the parent.
1069 (Kill_Tag_Checks): Removed (unused flag).
1070 (Set_Kill_Tag_Checks): Removed.
1071 (Get_First_Rep_Item): New routine.
1072 (Get_Rep_Pragma_For_Entity): New routine.
1073 (Has_Rep_Item): New routine.
1074 (Has_Rep_Pragma_For_Entity): New routine.
1075 (Present_In_Rep_Item): New routine.
1076 * einfo.ads (Kill_Tag_Checks): Removed.
1077 (Set_Kill_Tag_Checks): Removed.
1078 (Get_First_Rep_Item): New routine.
1079 (Get_Rep_Pragma_For_Entity): New routine.
1080 (Has_Rep_Item): New routine.
1081 (Has_Rep_Pragma_For_Entity): New routine.
1082 (Present_In_Rep_Item): New routine.
1083 * exp_attr.adb, sem_attr.adb: Attribute_CPU,
1084 Attribute_Dispatching_Domain and Attribute_Interrupt_Priority
1086 * exp_ch13.adb (Expand_N_Attribute_Definition_Clause): For
1087 attribute Storage_Size, insert the new assignement statement
1088 after the Size variable declaration.
1089 * exp_ch3.adb (Build_Init_Statements): Fill the CPU,
1090 Dispatching_Domain, Priority and Size components with the Rep
1091 Item expression (if any).
1092 * exp_ch9.adb (Expand_N_Task_Type_Declaration): _CPU,
1093 _Priority, _Domain fields are always present in the
1094 corresponding record type.
1095 (Find_Task_Or_Protected_Pragma): Removed.
1096 (Get_Relative_Deadline_Pragma): New routine.
1097 (Make_Initialize_Protection): Find_Task_Or_Protected_Pragma removed.
1098 (Make_Task_Create_Call): Check CPU, Size or
1099 Dispatching_Domain Rep Item is present using new routine Has_Rep_Item.
1100 * freeze.adb (Freeze_All): Push_Scope_And_Install_Discriminants
1101 and Uninstall_Discriminants_And_Pop_Scope calls added.
1102 (Freeze_Entity): Evaluate_Aspects_At_Freeze_Point call added.
1103 * sem_aux.adb (Nearest_Ancestor): Retrieve the nearest ancestor
1104 for private derived types.
1105 * sem_ch13.adb (Analyze_Aspect_Specifications): Clean-up
1106 and reordering. Delay analysis for all aspects (except some
1108 (Analyze_Attribute_Definition_Clause):
1109 Attribute_CPU, Attribute_Dispatching_Domain,
1110 Interrupt_Priority and Attribute_Priority cases added.
1111 (Analyze_Freeze_Entity): Push_Scope_And_Install_Discriminants
1112 and Uninstall_Discriminants_And_Pop_Scope calls added.
1113 (Check_Aspect_At_Freeze_Point): Reordering and clean-up.
1114 (Duplicate_Clause): Issue an explicit error msg when the current
1115 clause duplicates an aspect specification, an attribute definition
1117 (Evaluate_Aspects_At_Freeze_Point): New routine.
1118 * sem_ch13.ads (Evaluate_Aspects_At_Freeze_Point): New routine.
1119 * sem_ch9.adb, sem_ch9.ads (Install_Discriminants): New routine.
1120 (Push_Scope_And_Install_Discriminants): New routine.
1121 (Uninstall_Discriminants): New routine.
1122 (Uninstall_Discriminants_And_Pop_Scope): New routine.
1123 * sem_prag.adb (Check_Duplicate_Pragma): Issue an explicit error
1124 msg when the current pragma duplicates an aspect specification,
1125 an attribute definition clause or a pragma.
1126 (Analyze_Pragma): Remove use of flags Has_Pragma_CPU,
1127 Has_Pragma_Priority and Has_Pragma_Dispatching_Domain.
1128 * sem_util.adb (Compile_Time_Constraint_Error): Don't complain
1129 about the type if the corresponding concurrent type doesn't come
1131 * sinfo.adb, sinfo.ads (Has_Pragma_CPU): Removed.
1132 (Has_Pragma_Dispatching_Domain): Removed.
1133 (Has_Pragma_Priority): Removed.
1134 (Has_Task_Info_Pragma): Removed.
1135 (Has_Task_Name_Pragma): Removed.
1136 (Set_Has_Pragma_CPU): Removed.
1137 (Set_Has_Pragma_Dispatching_Domain): Removed.
1138 (Set_Has_Pragma_Priority): Removed.
1139 (Set_Has_Task_Info_Pragma): Removed.
1140 (Set_Has_Task_Name_Pragma): Removed.
1141 * snames.adb-tmpl (Get_Pragma_Id): Pragma_CPU,
1142 Pragma_Dispatching_Domain and Pragma_Interrupt_Priority added.
1143 (Is_Pragma_Name): Name_CPU, Name_Dispatching_Domain and
1144 Name_Interrupt_Priority added.
1145 * snames.ads-tmpl: Name_Dispatching_Domain, Name_CPU
1146 and Name_Interrupt_Priority moved to the list of
1147 Attribute_Name. Attribute_CPU, Attribute_Dispatching_Domain and
1148 Attribute_Interrupt_Priority added. Pragma_Dispatching_Domain,
1149 Pragma_CPU and Pragma_Interrupt_Priority moved to the end of
1150 the Pragma_Name list.
1152 2012-06-12 Arnaud Charlet <charlet@adacore.com>
1154 * xref_lib.adb (Get_Full_Type): Add support for 'G'.
1156 2012-06-12 Tristan Gingold <gingold@adacore.com>
1158 * a-exexpr-gcc.adb (Unwind_Exception): Add 4 more private fields.
1160 2012-06-12 Fedor Rybin <frybin@adacore.com>
1162 * gnat_ugn.texi: Update doc on gnattest.
1164 2012-06-12 Robert Dewar <dewar@adacore.com>
1166 * sem_ch12.adb: Add comments.
1168 2012-06-12 Robert Dewar <dewar@adacore.com>
1170 * switch-c.adb, inline.adb, usage.adb, opt.ads: Minor reformatting.
1172 2012-06-12 Robert Dewar <dewar@adacore.com>
1174 * sem_ch12.adb: Minor reformatting.
1176 2012-06-12 Eric Botcazou <ebotcazou@adacore.com>
1178 * opt.ads (Inline_Level): New variable.
1179 * gnat1drv.adb (Adjust_Global_Switches): Set it based on optimization
1180 level if it has not been set by the user.
1181 * switch-c.adb (Scan_Front_End_Switches): Accept -gnatn1 and -gnatn2
1182 and set Inline_Level accordingly.
1183 * inline.adb (Add_Inlined_Body): Declate new Inline_Level_Type type.
1184 (Must_Inline): Return Inline_Level_T instead of Boolean to indicate
1185 whether the package of the inlined subprogram must be compiled.
1186 If Inline_Level is set to 1, only compile packages of subprograms
1187 directly called from the main unit.
1188 * usage.adb (Usage): Adjust line for -gnatn switch.
1189 * gnat_ugn.texi (Switches for gcc): Document -gnatn1 and -gnatn2.
1191 2012-06-12 Ed Schonberg <schonberg@adacore.com>
1193 * sem_ch12.adb (Instantiate_Formal_Subprogram): Do not apply
1194 AI05-296 if the actual is overloaded. In this case The rule must
1195 be applied after resolution, in Analyze_Subprogram_Renaming.
1197 2012-06-12 Robert Dewar <dewar@adacore.com>
1199 * stringt.adb: Minor reformatting.
1201 2012-06-12 Robert Dewar <dewar@adacore.com>
1203 * ali-util.adb, stringt.ads: Minor reformatting.
1205 2012-06-12 Hristian Kirtchev <kirtchev@adacore.com>
1207 * exp_ch7.adb (Process_Declarations): Handle the case where
1208 the original context has been wrapped in a block to avoid
1209 interference between exception handlers and At_End handlers.
1210 (Wrap_HSS_In_Block): Mark the block which contains the original
1211 statements of the context as being a finalization wrapper.
1212 * sinfo.adb (Is_Finalization_Wrapper): New routine.
1213 (Set_Is_Finalization_Wrapper): New routine.
1215 * sinfo.ads: Add new attribute Is_Finalization_Wrapper applicable
1217 (Is_Finalization_Wrapper): New routine with corresponding pragma Inline.
1218 (Set_Is_Finalization_Wrapper): New routine with corresponding pragma
1221 2012-06-12 Steve Baird <baird@adacore.com>
1223 * gnat1drv.adb (Adjust_Global_Switches): No longer need to set
1224 Exception_Extra_Info in CodePeer_Mode.
1226 2012-06-12 Robert Dewar <dewar@adacore.com>
1228 * sem_dist.adb, exp_ch7.adb, sem_type.adb, exp_attr.adb,
1229 sinfo.ads, sem_ch7.adb, exp_alfa.adb, sem_scil.adb, sem_ch12.adb,
1230 sem_util.adb, sem_res.adb, sem_attr.adb, sem_elab.adb, exp_ch6.adb,
1231 sem_ch4.adb, sem_warn.adb, scil_ll.adb, exp_cg.adb: Minor code
1234 2012-06-12 Eric Botcazou <ebotcazou@adacore.com>
1236 * s-tasini.ads: Minor fix in comment.
1238 2012-06-12 Thomas Quinot <quinot@adacore.com>
1240 * freeze.adb (Freeze_Record_Type): Warn on record with
1241 Scalar_Storage_Order if there is no placed component.
1243 2012-06-12 Thomas Quinot <quinot@adacore.com>
1245 * sem_ch3.adb: Minor comment fix.
1247 2012-06-12 Vincent Celier <celier@adacore.com>
1249 * ali-util.adb (Time_Stamp_Mismatch): In minimal recompilation
1250 mode, use Stringt Mark and Release to avoid growing the Stringt
1251 internal tables uselessly.
1252 * stringt.adb (Strings_Last): New global variable
1253 (String_Chars_Last): New global variable.
1254 (Mark, Release): New procedures.
1255 * stringt.ads (Mark, Release) New procedures.
1257 2012-06-12 Hristian Kirtchev <kirtchev@adacore.com>
1259 * exp_ch7.adb (Process_Transient_Objects): Renamed constant
1260 Requires_Hooking to Must_Hook and replace all occurrences of the name.
1261 (Requires_Hooking): New routine. Detect all contexts that require
1262 transient variable export to the outer finalizer due to a potential
1265 2012-06-12 Ed Schonberg <schonberg@adacore.com>
1267 * sem_ch12.adb: Small adjustment.
1269 2012-06-12 Vincent Celier <celier@adacore.com>
1271 * vms_cmds.ads (Command_Type): New enumeration value Test
1272 * vms_conv.adb (Initialize): Add component at index Test in
1274 * vms_data.ads (Test_Switches): New global variable for the
1275 switches of gnattest, currently empty.
1277 2012-06-12 Ed Schonberg <schonberg@adacore.com>
1279 * sem_ch3.adb (Analyze_Subtype_Declaration): if an incomplete
1280 type is tagged, so is a subtype of it.
1281 * sem_ch12.adb (Validate_Actual_Subprogram): implement AI05-0296,
1282 concerning freeze rules in the presence of formal incomplete
1283 types: a formal abstract subprogram cannot have an incomplete
1284 controlling type, and the profile of the actual subprogram does
1285 not freeze if it includes an incomplete untagged type.
1287 2012-06-12 Robert Dewar <dewar@adacore.com>
1289 * a-direct.adb: Minor reformatting.
1291 2012-06-12 Robert Dewar <dewar@adacore.com>
1293 * gnat_ugn.texi: Add missing documentation for -gnatw.v and
1296 2012-06-12 Thomas Quinot <quinot@adacore.com>
1298 * sem_ch7.adb, sem_prag.adb, sem_ch12.adb, sem_ch4.adb,
1299 sem_ch13.adb: Minor rewording of error messages for unchecked unions.
1301 2012-06-12 Robert Dewar <dewar@adacore.com>
1303 * lib-xref.ads: Minor reformatting.
1305 2012-06-12 Pascal Obry <obry@adacore.com>
1307 * a-direct.adb (Delete_File): Delete symbolic links silently
1308 instead of raising the Name_Error exception when the symbolic
1309 link is pointing to a non existent file.
1311 2012-06-12 Robert Dewar <dewar@adacore.com>
1313 * xref_lib.adb, sem_ch13.adb, lib-xref.adb: Minor reformatting.
1315 2012-06-12 Javier Miranda <miranda@adacore.com>
1317 * lib-xref.ads Adding missing documentation.
1319 2012-06-12 Hristian Kirtchev <kirtchev@adacore.com>
1321 * exp_ch7.adb (Create_Finalizer): Add the
1322 exception reraise mechanism at the very end of the finalizer
1323 statements. This placement ensures that all objects are finalized,
1324 the secondary stack mark released and aborts undeferred before
1325 propagating an exception.
1327 2012-06-12 Ed Schonberg <schonberg@adacore.com>
1329 * sem_ch10.adb (Remove_Unit_From_Visibility): if the unit is a
1330 wrapper package. remove from visibility the original subprogram
1333 2012-06-12 Javier Miranda <miranda@adacore.com>
1335 * sem_prag.adb (Process_Convention): Generate reference to entity
1336 exported to foreign language. Needed for GPS navigation.
1337 * xref_lib.adb (Parse_Identifier_Info): Parse exported entities.
1338 * lib-xref (Output_References): Output exported entities.
1340 2012-06-12 Pascal Obry <obry@adacore.com>
1342 * prj-attr.adb: Add install package and corresponding attributes.
1343 * snames.ads-tmpl (Name_Active): New constant.
1344 (Name_Exec_Subdir): Likewise.
1345 (Name_Install): Likewise.
1346 (Name_Lib_Subdir): Likewise.
1347 (Name_Project_Subdir): Likewise.
1348 (Name_Sources_Subdir): Likewise.
1350 2012-06-12 Bob Duff <duff@adacore.com>
1352 * sem_res.adb (Check_Infinite_Recursion):
1353 Suppress spurious warning on recursion after "raise with ...".
1355 2012-06-12 Thomas Quinot <quinot@adacore.com>
1357 * sem_prag.adb (Analyze_Pragma, case Unchecked_Union): Do
1358 not crash on illegal unchecked union that is a null record.
1360 2012-06-12 Thomas Quinot <quinot@adacore.com>
1362 * exp_ch4.adb (Has_Inferable_Discriminants): Reorganize code to
1363 treat implicit dereferences with a constrained unchecked union
1364 nominal subtype as having inferable discriminants.
1366 2012-06-12 Robert Dewar <dewar@adacore.com>
1368 * sem_ch6.adb: Minor reformatting.
1370 2012-06-12 Eric Botcazou <ebotcazou@adacore.com>
1372 * gnat_ugn.texi: Couple of minor corrections.
1374 2012-06-12 Thomas Quinot <quinot@adacore.com>
1376 * sem_prag.adb (Check_Variant): An empty component list is not
1377 illegal in an unchecked union variant.
1379 2012-06-12 Gary Dismukes <dismukes@adacore.com>
1381 * projects.texi: Remove comments.
1383 2012-06-12 Thomas Quinot <quinot@adacore.com>
1385 * back_end.adb (Scan_Back_End_Switches): Treat -fdump-scos as
1387 (gnat_post_options): Disable gimple-based SCO generator.
1388 * gnat_ugn.texi: Document that -gnateS is an obsolete synonym
1391 2012-06-12 Ed Schonberg <schonberg@adacore.com>
1393 * sem_ch6.adb (Different_Generic_Profile): new predicate for
1394 Find_Corresponding_Spec, to handle a rare case of accidental
1395 overloading in an instance, when the profile of a subprogram body
1396 that depends on a formal type becomes compatible with that of
1397 a homonym whose profile in the generic mentions the actual type.
1399 2012-06-12 Thomas Quinot <quinot@adacore.com>
1401 * gnat1drv.adb: Minor reformatting.
1403 2012-06-12 Ed Schonberg <schonberg@adacore.com>
1405 * sem_util.adb (Build_Explicit_Dereference): If the expression
1406 is an entity, ensure that the type of the expression is the same
1407 as that of the entity.
1409 2012-06-12 Pat Rogers <rogers@adacore.com>
1411 * projects.texi: Corrected instances of the word "build" that
1412 should be "built" instead. Other similar changes and minor
1413 punctuation changes.
1415 2012-06-12 Eric Botcazou <ebotcazou@adacore.com>
1417 * sem_util.adb (Is_Atomic_Object): Return true for an atomic
1418 component as well as a prefix which is an atomic component.
1420 2012-06-12 Ed Schonberg <schonberg@adacore.com>
1422 * exp_prag.adb (Expand_Pragma_Import_Or_Interface): revert previous
1423 patch. The processing of interfacing aspects now generates a
1424 proper Ada 2005 pragma.
1425 * sem_prag.adb (Analyze_Pragma, cases Pragma_Export and
1426 Pragma_Import): revert previous patch. The processing of
1427 interfacing aspects now generates a proper Ada 2005 pragma.
1428 * sem_ch13.adb (Analyze_Aspect_Specifications): generate proper
1429 pragam for aspects Convention, Import and Export. Scan list
1430 of aspects to collect link name and external name if present,
1431 and verify that a complete pragma can be generated.
1433 2012-06-11 Olivier Hainque <hainque@adacore.com>
1435 * gcc-interface/Makefile.in (GNATLIBCFLAGS_FOR_C): Remove
1436 $(PIC_FLAG_FOR_TARGET).
1437 (gnatlib-shared-default): Add $(PIC_FLAG_FOR_TARGET) to
1438 GNATLIBCFLAGS_FOR_C passed to gnatlib.
1439 (gnatlib-shared-win32): Likewise.
1440 (gnatlib-shared-darwin): Likewise.
1441 (gnatlib-shared-dual-win32): Pass PIC_FLAG_FOR_TARGET to
1442 gnatlib-shared-win32.
1444 2012-06-11 Eric Botcazou <ebotcazou@adacore.com>
1446 * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: Convert GNU_SIZE
1447 to units before invoking allocatable_size_p on it.
1448 Remove orphaned comment. Do not use ssize_int.
1449 <E_Record_Subtype>: Traverse list in original order. Minor tweak.
1450 (allocatable_size_p): Adjust and simplify.
1451 (build_subst_list): Use consistent terminology throughout.
1452 (build_variant_list): Likewise. Traverse list in original order.
1453 (create_field_decl_from): Likewise.
1454 (copy_and_substitute_in_size): Likewise.
1455 (create_variant_part_from): Add comment about field list order.
1456 * gcc-interface/utils.c (build_vms_descriptor): Do not use ssize_int.
1457 * gcc-interface/utils2.c (build_allocator): Likewise.
1459 2012-06-11 Eric Botcazou <ebotcazou@adacore.com>
1461 * gcc-interface/trans.c (Identifier_to_gnu): Test Is_Elementary_Type
1462 instead of Is_Scalar_Type for a constant with an address clause.
1463 Do not return the underlying constant for a constant used by reference
1464 if it holds the address of a constant and an lvalue is required.
1466 2012-06-11 Eric Botcazou <ebotcazou@adacore.com>
1468 * gcc-interface/decl.c (gnat_to_gnu_entity): Do not specifically deal
1469 with external constants wrt force_global here...
1470 <E_Constant>: ...but here instead.
1471 * gcc-interface/utils.c (gnat_pushdecl): Do not put external DECLs onto
1472 the list of global DECLs.
1474 2012-06-11 Eric Botcazou <ebotcazou@adacore.com>
1476 * gcc-interface/decl.c (gnat_to_gnu_entity): Translate the Esize on
1477 entry only for elementary types and abort if it is too large.
1478 <E_Record_Type>: Make sure the Esize is known before using it.
1480 2012-06-04 Steven Bosscher <steven@gcc.gnu.org>
1482 * gcc-interface/utils2.c: Do not include output.h.
1483 * gcc-interface/Make-lang.in: Fix dependencies.
1485 2012-05-29 Michael Matz <matz@suse.de>
1487 * gcc-interface/utils.c (create_var_decl_1): Don't call expand_decl.
1489 2012-05-26 Eric Botcazou <ebotcazou@adacore.com>
1491 * gcc-interface/decl.c (variant_desc): Rename 'record' to 'new_type'.
1492 (build_variant_list): Adjust to above renaming.
1493 (gnat_to_gnu_entity) <E_Record_Subtype>: Likewise. Give a unique name
1494 to the type of the variant containers.
1495 (create_variant_part_from): Likewise. Give a unique name to the type
1496 of the variant part.
1498 2012-05-25 Eric Botcazou <ebotcazou@adacore.com>
1501 * link.c (__gnat_object_file_option): Set to "-Wl,@" for GNU linker.
1502 (__gnat_using_gnu_linker): Delete.
1503 * gnatlink.adb (Gnatlink): Declare Object_File_Option_Ptr here...
1504 Declare Object_File_Option string constant and Using_GNU_response_file
1506 (Process_Binder_File): ...instead of here. Delete Using_GNU_Linker,
1507 Opening and Closing local variables. Do not handle the GNU linker
1509 (Write_RF): New procedure to write into the response file. Escape some
1510 characters if a GNU response file is used. Keep track of error status.
1511 Invoke Write_RF to write into the response file. Delete the file only
1512 if the link was successful.
1513 * mlib-utl.adb: Do not `with' package System.
1514 (Gcc): Likewise. Declare Object_File_Option string constant and
1515 Using_GNU_response_file boolean constant.
1516 (Write_RF): Take a string instead of address and length. Escape some
1517 characters if a GNU response file is used.
1518 Invoke Write_RF to write into the response file. Delete the file only
1519 if the link was successful. Do not warn if it cannot be deleted.
1521 2012-05-20 Eric Botcazou <ebotcazou@adacore.com>
1523 * gcc-interface/utils.c (gnat_write_global_declarations): Put a name
1524 on the dummy global variable.
1526 2012-05-19 Eric Botcazou <ebotcazou@adacore.com>
1528 * gcc-interface/decl.c (Has_Thiscall_Convention): New macro.
1529 (gnat_to_gnu_entity) <E_Subprogram_Type>: Test it to set the thiscall
1531 (get_minimal_subprog_decl): Likewise.
1532 (gnat_first_param_is_class): New predicate.
1534 * gcc-interface/misc.c (gnat_handle_option): Fix formatting.
1535 * gcc-interface/Makefile.in: Likewise.
1537 2012-05-18 Eric Botcazou <ebotcazou@adacore.com>
1539 * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: For an object at
1540 global level with unconstrained nominal subtype and a non-fixed size,
1541 make a variable for the size.
1543 2012-05-15 Andris Pavenis <andris.pavenis@iki.fi>
1546 * s-taprop-dummy.adb (Specific): New package.
1548 2012-05-15 Olivier Hainque <hainque@adacore.com>
1550 * gcc-interface/Make-lang.in (COMMON_FLAGS_TO_PASS): Use WARN_CFLAGS
1551 instead of trying to mimic it.
1553 2012-05-15 Robert Dewar <dewar@adacore.com>
1555 * sem_ch5.adb, sem_util.adb, s-stposu.adb, exp_ch4.adb: Minor
1558 2012-05-15 Geert Bosch <bosch@adacore.com>
1560 * uintp.adb (UI_Rem): Remove optimizations, as they are complex and are
1562 (Sum_Digits): Remove, no longer used.
1563 (Sum_Double_Digits): Likewise.
1565 2012-05-15 Yannick Moy <moy@adacore.com>
1567 * aspects.ads: Minor typo.
1569 2012-05-15 Thomas Quinot <quinot@adacore.com>
1571 * gnat_rm.texi (Scalar_Storage_Order): Fix RM reference.
1572 * sem_ch13.adb: Minor comment fix: incorrect RM reference.
1574 2012-05-15 Eric Botcazou <ebotcazou@adacore.com>
1576 * sem_prag.adb (Process_Atomic_Shared_Volatile): Propagate
1577 atomicity from an object to its underlying type only if it
1580 2012-05-15 Ed Schonberg <schonberg@adacore.com>
1582 * sem_ch5.adb (Analyze_Iterator_Specification): Set kind of
1583 loop variable after pre-analysis of iterator name, to prevent
1584 premature usage of loop variable.
1586 2012-05-15 Ed Schonberg <schonberg@adacore.com>
1588 * sem_util.adb (Is_Variable): In Ada 2012, an explicit
1589 dereference that is a rewriting of an expression whose type has
1590 a declared Implicit_Derenference aspect is a variable.
1592 2012-05-15 Hristian Kirtchev <kirtchev@adacore.com>
1594 * exp_ch4.adb (Insert_Dereference_Action): Reimplemented. The
1595 routine performs address and size adjustments for dereferences
1596 of heap-allocated controlled objects. This manipulation is needed
1597 in order to restore the original state of the memory at the time
1598 it was allocated by the finalization machinery.
1599 * rtsfind.ads: Add RE_Adjust_Controlled_Dereference to tables
1600 RE_Id and RE_Unit_Table.
1601 * sinfo.adb (Has_Dereference_Action): New routine.
1602 (Set_Has_Dereference_Action): New routine.
1603 * sinfo.ads: Add new semantic flag Has_Dereference_Action along
1604 its association in nodes.
1605 (Has_Dereference_Action): New routine and pragma Inline.
1606 (Set_Has_Dereference_Action): New routine and pragma Inline.
1607 * s-stposu.ads, s-stposu.adb (Adjust_Controlled_Dereference): New
1610 2012-05-15 Thomas Quinot <quinot@adacore.com>
1612 * uintp.adb (Image_Uint): Use UI_Div_Rem to get quotient and
1613 remainder of U / Base in a single operation.
1615 2012-05-15 Robert Dewar <dewar@adacore.com>
1617 * exp_ch5.adb, inline.adb, sem_ch10.adb, prj.ads, sem_util.adb,
1618 a-ngelfu.ads, exp_ch4.adb, exp_ch6.adb, aspects.ads, sem_ch6.adb,
1619 vms_data.ads, exp_ch3.adb, prj-env.adb: Minor reformatting.
1621 2012-05-15 Thomas Quinot <quinot@adacore.com>
1623 * exp_ch4.adb (Has_Inferable_Discriminants): For a qualified
1624 expression, use correct node for test on the subtype denoted by
1627 2012-05-15 Eric Botcazou <ebotcazou@adacore.com>
1629 * inline.adb (Scope_In_Main_Unit): Rename into...
1630 (In_Main_Unit_Or_Subunit): ...this. Also return
1631 true if the subprogram is within a subunit of the
1633 (Add_Inlined_Body): Adjust for above renaming.
1634 (Add_Inlined_Subprogram): Likewise. Pass the subprogram directly.
1635 (Analyze_Inlined_Bodies): Really set aside inlined subprograms
1636 not handled by Add_Inlined_Body.
1638 2012-05-15 Ed Schonberg <schonberg@adacore.com>
1640 * sem_ch10.adb (Expand_With_Clause): In the context of a generic
1641 package declaration, a private with-clause on a child unit implies
1642 that the implicit with clauses on its parents are private as well.
1644 2012-05-15 Javier Miranda <miranda@adacore.com>
1646 * sem_ch6.adb (Is_Interface_Conformant): Add missing call to
1647 Base_Type to handle subtypes.
1648 * exp_ch6.adb (Expand_Call): For calls located in thunks handle
1649 unchecked conversions of access types found in actuals.
1650 * exp_disp.adb (Expand_Interface_Thunk): Add missing unchecked
1651 conversion to actuals whose type is an access type. Done to
1652 avoid reporting spurious errors.
1654 2012-05-15 Vincent Celier <celier@adacore.com>
1656 * prj-env.adb (Create_Mapping): Ignore sources that are
1657 suppressed (Create_Mapping_File.Process): Ditto
1658 * prj-nmsc.adb (Add_Source): Update to take into
1659 account suppressed files that may hide inherited sources.
1660 (Mark_Excluded_Sources): Mark excluded sources of the current
1661 project as suppressed.
1662 * prj.ads (Source_Data): New Boolean component Suppressed,
1665 2012-05-15 Thomas Quinot <quinot@adacore.com>
1667 * exp_intr.adb: Minor reformatting.
1669 2012-05-15 Thomas Quinot <quinot@adacore.com>
1671 * gnat_rm.texi: Document attribute Scalar_Storage_Order.
1673 2012-05-15 Javier Miranda <miranda@adacore.com>
1675 * exp_ch3.adb (Build_Offset_To_Top): Modify the
1676 expansion of the offset_to_top functions to ensure that their
1677 profile is conformant with the profile specified in Ada.Tags. No
1678 change in functionality.
1680 2012-05-15 Eric Botcazou <ebotcazou@adacore.com>
1682 * inline.adb (Subp_Info): Remove Count and Next_Nopred
1683 components, add Processed component and move around Next component.
1684 (Add_Call): Reverse meaning of Successors table to the natural one.
1685 (Add_Inlined_Body): Do not inline a package if it is in the main unit.
1686 (Add_Inlined_Subprogram): Do not add the subprogram to the list if the
1687 package is in the main unit. Do not recurse on the successors.
1688 (Add_Subp): Adjust to new contents of Subp_Info.
1689 (Analyze_Inlined_Bodies): Do not attempt
1690 to compute a topological order on the list of inlined subprograms,
1691 but compute the transitive closure from the main unit instead.
1692 (Get_Code_Unit_Entity): Always return the spec for a package.
1694 2012-05-15 Yannick Moy <moy@adacore.com>
1696 * aspects.ads: Minor addition of comments to provide info on
1697 how to add new aspects.
1699 2012-05-15 Thomas Quinot <quinot@adacore.com>
1701 * osint.ads: Minor reformatting.
1703 2012-05-15 Thomas Quinot <quinot@adacore.com>
1705 * exp_ch5.adb, exp_pakd.adb, sem_util.adb, sem_util.ads
1706 (Expand_Assign_Array): Handle the case of a packed bit array within a
1707 record with reverse storage order (assign element by element in that
1709 (In_Reverse_Storage_Order_Record): New subprogram,
1710 code extracted from Exp_Pakd.
1712 2012-05-15 Yannick Moy <moy@adacore.com>
1714 * a-ngelfu.ads: Add postconditions using Ada 2012
1715 aspect syntax, reflecting some of the RM requirements for these
1716 functions, from Annex A.5.1 or G.2.4.
1718 2012-05-15 Thomas Quinot <quinot@adacore.com>
1720 * adaint.c: Minor fix: move misplaced comment.
1722 2012-05-15 Doug Rupp <rupp@adacore.com>
1724 * vms_data.ads: Enhance help for /IMMEDIATE_ERRORS to discourage
1727 2012-05-15 Tristan Gingold <gingold@adacore.com>
1729 * a-exextr.adb: Add comment.
1731 2012-05-15 Ed Schonberg <schonberg@adacore.com>
1733 * sem_ch3.adb: Minor reformatting (remove long dead code).
1735 2012-05-15 Ed Schonberg <schonberg@adacore.com>
1737 * aspects.adb, aspects.ads: Add aspects for Convention, Export,
1738 External_Name, Import, and Link_Name.
1739 * exp_prag.adb (Expand_Pragma_Import_Or_Interface): if the
1740 pragma comes from an aspect specification, the entity is the
1742 * sem_prag.adb (Analyze_Pragma, cases Pragma_Export and
1743 Pragma_Import): if the pragma comes from an aspect specification,
1744 the entity is the first argument, and the second has the value
1746 * sem_ch13.adb (Analyze_Aspect_Specifications): generate pragam
1747 for aspect Convention. Add placeholders for Link_Name and
1750 2012-05-15 Hristian Kirtchev <kirtchev@adacore.com>
1752 * exp_ch9.adb (Expand_N_Asynchronous_Select): Extract the statements
1753 of the abortable part and triggering alternative after being processed
1754 for controlled objects.
1755 (Expand_N_Timed_Entry_Call): Code and comment reformatting.
1757 2012-05-15 Robert Dewar <dewar@adacore.com>
1759 * sem_util.adb: Minor code reorganization.
1761 2012-05-15 Robert Dewar <dewar@adacore.com>
1763 * exp_ch7.adb, exp_ch11.adb, exp_ch11.ads: Minor reformatting.
1765 2012-05-15 Thomas Quinot <quinot@adacore.com>
1767 * sem_res.adb (Resolve): Enforce E.2.2(11/2) and E.2.2(12) for
1768 'Unrestricted_Access and 'Unchecked_Access (not just 'Access):
1769 even in those cases, a remote access type may only designate a
1772 2012-05-15 Thomas Quinot <quinot@adacore.com>
1774 * sem_util.adb, sem_util.ads, sem_cat.adb: Minor refactoring.
1775 (Enclosing_Lib_Unit_Node): Rename to Enclosing_Comp_Unit_Node.
1777 2012-05-15 Ed Schonberg <schonberg@adacore.com>
1779 * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Remove obsolete
1780 checks on nested inlined subprograms.
1782 2012-05-15 Tristan Gingold <gingold@adacore.com>
1784 * fe.h (Get_RT_Exception_Name): Declare.
1786 2012-05-15 Tristan Gingold <gingold@adacore.com>
1788 * raise-gcc.c (db_region_for): Use %p + cast to avoid warnings.
1789 (get_region_description_for): Likewise.
1790 (db_action_for): Likewise.
1791 (get_call_site_action_for): Likewise.
1792 (get_ttype_entry_for): Remove useless 'const'.
1793 (PERSONALITY_FUNCTION): Add ATTRIBUTE_UNUSED on uw_exception_class.
1795 2012-05-15 Tristan Gingold <gingold@adacore.com>
1797 * a-exextr.adb (Unhandled_Exception_Terminate): Save occurrence
1798 on the stack to avoid a dynamic memory allocation.
1800 2012-05-15 Bob Duff <duff@adacore.com>
1802 * exp_ch9.adb (Expand_N_Timed_Entry_Call): Move initialization of
1803 E_Stats and D_Stats after Process_Statements_For_Controlled_Objects,
1804 because those calls can destroy the Statements list.
1806 2012-05-15 Tristan Gingold <gingold@adacore.com>
1808 * fe.h (Get_RT_Exception_Name): Define.
1809 * types.ads (RT_Exception_Code): Update comment.
1810 * exp_ch11.adb, exp_ch11.ads (Get_RT_Exception_Name): New
1811 procedure to get the name of the rcheck subprograms.
1812 * a-except-2005.adb (Rcheck_xx): Rename.
1813 * a-except.adb Likewise, but also keep the old Rcheck_nn routines
1815 * arith64.c (__gnat_mulv64): Use __gnat_rcheck_CE_Overflow_Check
1816 instead of __gnat_rcheck_10.
1817 * gcc-interface/trans.c (build_raise_check): Use Get_RT_Exception_Name
1818 to create the __gnat_rcheck routines name.
1819 * gcc-interface/Make-lang.in: Update dependencies.
1821 2012-05-15 Tristan Gingold <gingold@adacore.com>
1823 * exp_ch7.adb (Build_Exception_Handler): Save current
1824 occurrence only if -gnateE.
1825 (Build_Object_Declaration): Declare E_Id only if -gnateE.
1826 (Build_Raise_Statement): Call Raise_From_Controlled_Operation only if
1827 -gnateE (else raise PE).
1828 * s-soflin.adb (Save_Library_Occurrence): Handle null occurrence
1830 * a-except-2005.adb (Reraise_Library_Exception_If_Any): Call
1831 Raise_From_Controlled_Operation only if the saved occurrence is
1832 not null, otherwise raise PE.
1834 2012-05-15 Yannick Moy <moy@adacore.com>
1836 * exp_alfa.ads: Add comments describing the Alfa mode.
1838 2012-05-15 Tristan Gingold <gingold@adacore.com>
1840 * s-soflin.ads, s-soflin.adb (Save_Library_Occurrence): Parameter
1841 E is now of type Exception_Occurrence_Access.
1842 * exp_ch7.ads, exp_ch7.adb (Build_Exception_Handler): Adjust generated
1843 call to Save_Library_Occurrence.
1845 2012-05-15 Thomas Quinot <quinot@adacore.com>
1847 * exp_ch4.adb (Rewrite_Coextension): Use Insert_Action to
1848 insert temporary variable decl at the proper place in the tree.
1850 2012-05-15 Hristian Kirtchev <kirtchev@adacore.com>
1852 * g-calend.adb (Split_At_Locale): New routine.
1853 (Time_Of_At_Locale): New routine.
1854 * g-calend.ads (Split_At_Locale): New routine.
1855 (Time_Of_At_Locale): New routine.
1857 2012-05-15 Gary Dismukes <dismukes@adacore.com>
1859 * a-except.ads: Minor reformatting.
1861 2012-05-15 Ed Schonberg <schonberg@adacore.com>
1863 * sem_ch5.adb (Analyze_Loop_Parameter_Specification): If the loop
1864 parameter specification is part of a quantified expression, and it
1865 already carries a type, do not repeat the analysis to preserve
1866 type information: a range attribute reference may have been
1867 rewritten as a range with static bounds, and its re-analysis may
1868 type it as Integer by default, instead of the original index type.
1870 2012-05-15 Robert Dewar <dewar@adacore.com>
1872 * s-osprim-mingw.adb: Minor reformatting.
1874 2012-05-15 Arnaud Charlet <charlet@adacore.com>
1876 * a-except.adb, a-except.ads (Reraise_Library_Exception_If_Any): New.
1877 Mark this unit preelaborate.
1878 * s-soflin.ads: Make package Preelaborate.
1880 2012-05-15 Robert Dewar <dewar@adacore.com>
1882 * s-osprim-mingw.adb, sem_eval.adb, a-calend-vms.ads: Minor reformatting
1884 2012-05-15 Ed Schonberg <schonberg@adacore.com>
1886 * sem_eval.adb (Subtypes_Statically_Match): In Ada 2012, static
1887 matching requires matching of static subtype predicates as well.
1889 2012-05-15 Ed Schonberg <schonberg@adacore.com>
1891 * sem_case.adb (Analyze_Choices): If the subtype of the
1892 expression has a non-static predicate, the case alternatives
1893 must cover the base type.
1895 2012-05-15 Tristan Gingold <gingold@adacore.com>
1897 * a-calend-vms.ads: Add pragma export to Split and Time_Of.
1898 Merge comments from a-calend.ads to minimize differences.
1900 2012-05-15 Sergey Rybin <rybin@adacore.com frybin>
1902 * gnat_ugn.texi: gnatmetric: add a small example that demonstrates
1903 the difference between control coupling and unit coupling.
1905 2012-05-15 Tristan Gingold <gingold@adacore.com>
1907 * bindgen.adb (Gen_Header): Remove code to emit LE_Set.
1908 (Gen_Finalize_Library): Replace test with
1909 a call to __gnat_reraise_library_exception_if_any.
1910 * s-soflin.ads (Library_Exception): Do not export.
1911 (Library_Exception_Set): Likewise.
1912 * a-except-2005.ads, a-except-2005.adb
1913 (Reraise_Library_Exception_If_Any): New procedure.
1915 2012-05-15 Geert Bosch <bosch@adacore.com>
1917 * sem_ch9.adb (Allows_Lock_Free_Implementation): out or in out
1918 parameters can be access types as well, not just scalar types,
1919 so relax the test to Is_Elementary_Type.
1921 2012-05-15 Bob Duff <duff@adacore.com>
1923 * s-atacco.ads s-atacco.adb: Replace pragma Elaborate_Body
1924 with pragma No_Body.
1925 (Xyz): Remove Xyz, which is apparently unnecessary.
1927 2012-05-15 Tristan Gingold <gingold@adacore.com>
1929 * a-calend-vms.adb: Complete previous change.
1931 2012-05-15 Bob Duff <duff@adacore.com>
1933 * s-win32.ads: Minor comment fix.
1934 * s-osprim-mingw.adb: Minor editing.
1936 2012-05-15 Robert Dewar <dewar@adacore.com>
1938 * exp_ch9.adb, sem_ch9.adb, sem_ch13.adb: Minor reformatting.
1940 2012-05-15 Robert Dewar <dewar@adacore.com>
1942 * g-comlin.adb, g-comlin.ads: Minor reformatting.
1944 2012-05-15 Vincent Pucci <pucci@adacore.com>
1946 * aspects.adb, aspects.adb: Reordering of the Aspect_Idi list. New
1947 aspect Aspect_Lock_Free.
1948 * einfo.adb, einfo.ads: New flag Uses_Lock_Free (flag 188).
1949 (Set_Uses_Lock_Free): New routine.
1950 (Uses_Lock_Free): New routine.
1951 * exp_ch7.adb (Is_Simple_Protected_Type): Return False for
1952 lock-free implementation.
1953 * exp_ch9.adb (Allows_Lock_Free_Implementation): Moved to Sem_Ch9.
1954 (Build_Lock_Free_Unprotected_Subprogram_Body): Protected
1955 procedure uses __sync_synchronise. Check both Object_Size
1957 (Expand_N_Protected_Body): Lock_Free_Active
1958 renames Lock_Free_On.
1959 (Expand_N_Protected_Type_Declaration):
1960 _Object field removed for lock-free implementation.
1961 (Install_Private_Data_Declarations): Protection object removed
1962 for lock-free implementation.
1963 (Make_Initialize_Protection):
1964 Protection object initialization removed for lock-free implementation.
1965 * rtsfind.ads: RE_Atomic_Synchronize and RE_Relaxed added.
1966 * sem_ch13.adb (Analyze_Aspect_Specifications): Aspect_Lock_Free
1968 * sem_ch9.adb (Allows_Lock_Free_Implementation): New routine.
1969 (Analyze_Protected_Body): Allows_Lock_Free_Implementation call added.
1970 (Analyze_Protected_Type_Declaration):
1971 Allows_Lock_Free_Implementation call added.
1972 (Analyze_Single_Protected_Declaration): Second analysis of
1974 * s-atopri.ads: Header added.
1975 (Atomic_Synchronize): New routine.
1977 2012-05-15 Robert Dewar <dewar@adacore.com>
1979 * exp_ch7.ads: Add comment.
1981 2012-05-15 Hristian Kirtchev <kirtchev@adacore.com>
1983 * a-calend.adb (Day_Of_Week): The routine once again treats
1984 all dates as historic. (Formatting_Operations.Split): All
1985 calls to UTC_Time_Offset are now controlled through formal
1986 parameter Is_Historic. (Formatting_Operations.Time_Of):
1987 All calls to UTC_Time_Offset are now handled through
1988 formal parameter Is_Historic.
1989 (Split): Update the call to Formatting_Operations.Split.
1990 (Time_Of): Update the call to Formatting_Operations.Time_Of.
1991 (To_Ada_Time): Update the call to Formatting_Operations.Time_Of.
1992 (To_Strict_Tm): Update the call to Formatting_Operations.Split.
1993 * a-calend.ads (Split): Add new formal Is_Historic along with
1994 comment on usage. This routine is now exported for the purposes
1995 of GNAT.Calendar.Locale.
1996 (Time_Of): Remove defaults. Add new
1997 formal Is_Historic along with comment on usage. This routine is
1998 now exported for the purposes of GNAT.Calendar.Locale.
1999 * a-calend-vms.adb (Split): Update the call to
2000 Formatting_Operations.Split.
2001 (Time_Of): Update the call to Formatting_Operations.Time_Of.
2002 * a-calend-vms.ads (Split): Add new formal Is_Historic along
2003 with comment on usage. (Time_Of): Remove defaults. Add new
2004 formal Is_Historic along with comment on usage.
2005 * a-calfor.adb (Split): Update the call to
2006 Formatting_Operations.Split.
2007 (Time_Of): Update the call to Formatting_Operations.Time_Of.
2009 2012-05-15 Vincent Celier <celier@adacore.com>
2011 * prj-nmsc.adb (Add_Source): Always add the source if it is
2012 excluded, to avoid incorrect duplicate checks.
2014 2012-05-15 Yannick Moy <moy@adacore.com>
2016 * sem_aux.ads: Correct typo.
2017 * sem_eval.adb (Compile_Time_Known_Value): Return False in Alfa
2018 mode for a deferred constant when outside of the scope of its
2021 2012-05-15 Emmanuel Briot <briot@adacore.com>
2023 * g-comlin.adb, g-comlin.ads (Define_Switch): Allow specifying the name
2024 of the argument, for the automatic help message.
2025 (Getopt): do not systematically initialize switches with string values
2026 to the empty string, when the user has already specified a default.
2028 2012-05-14 Bernd Schmidt <bernds@codesourcery.com>
2030 * gcc-interface/utils.c (DEF_ATTR_STRING): New.
2032 2012-05-14 Manuel López-Ibáñez <manu@gcc.gnu.org>
2035 * gcc-interface/misc.c: Include opts.h and options.h before tm.h.
2036 (gnat_handle_option): Call lang-specific generated function.
2038 2012-05-13 Manuel López-Ibáñez <manu@gcc.gnu.org>
2040 * gcc-interface/lang.opt (I): Comment out help text with no effect.
2041 (nostdinc): Comment out help text with no effect.
2043 2012-05-12 Eric Botcazou <ebotcazou@adacore.com>
2045 * gcc-interface/Makefile.in (TOOLS_LIBS): Add ../../ggc-none.o.
2047 2012-05-11 Manuel López-Ibáñez <manu@gcc.gnu.org>
2050 * gcc-interface/misc.c (gnat_parse_file): Move before ...
2051 (gnat_handle_option): ... this. Use handle_generated_option.
2053 2012-05-10 Richard Guenther <rguenther@suse.de>
2055 * gcc-interface/cuintp.c (UI_From_gnu): Remove TYPE_IS_SIZETYPE use.
2057 2012-05-06 Tristan Gingold <gingold@adacore.com>
2059 * gcc-interface/trans.c (gigi): Decorate reraise_zcx_decl.
2061 2012-05-06 Eric Botcazou <ebotcazou@adacore.com>
2063 * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: In the renaming
2064 case, use the padded type if the renamed object has an unconstrained
2065 type with default discriminant.
2067 2012-05-06 Eric Botcazou <ebotcazou@adacore.com>
2069 * gcc-interface/trans.c (Loop_Statement_to_gnu): Also handle invariant
2070 conditions with only one bound.
2071 (Raise_Error_to_gnu): Likewise. New function extracted from...
2072 (gnat_to_gnu) <N_Raise_Constraint_Error>: ...here. Call above function
2073 in regular mode only.
2075 2012-05-06 Eric Botcazou <ebotcazou@adacore.com>
2077 * gcc-interface/misc.c (gnat_post_options): Disable caret by default.
2079 2012-05-06 Eric Botcazou <ebotcazou@adacore.com>
2081 * gcc-interface/gigi.h (make_packable_type): Declare.
2082 (make_type_from_size): Likewise.
2083 (relate_alias_sets): Likewise.
2084 (maybe_pad_type): Adjust.
2085 (init_gnat_to_gnu): Delete.
2086 (destroy_gnat_to_gnu): Likewise.
2087 (init_dummy_type): Likewise.
2088 (destroy_dummy_type): Likewise.
2089 (init_gnat_utils): Declare.
2090 (destroy_gnat_utils): Likewise.
2091 (ceil_pow2): New inline function.
2092 * gcc-interface/decl.c (gnat_to_gnu_entity): Use ceil_pow2.
2093 <object>: Pass True for the final processing of alignment and size.
2094 <E_Subprogram_Type>: Only create the TYPE_DECL for a padded return
2096 (round_up_to_align): Delete.
2097 (ceil_alignment): Likewise.
2098 (relate_alias_sets): Move to...
2099 (make_aligning_type): Likewise.
2100 (make_packable_type): Likewise.
2101 (maybe_pad_type): Likewise.
2102 (make_type_from_size): Likewise.
2103 * gcc-interface/utils.c (MAX_BITS_PER_WORD): Delete.
2104 (struct pad_type_hash): New type.
2105 (pad_type_hash_table): New static variable.
2106 (init_gnat_to_gnu): Merge into...
2107 (init_dummy_type): Likewise.
2108 (init_gnat_utils): ...this. New function.
2109 (destroy_gnat_to_gnu): Merge into...
2110 (destroy_dummy_type): Likewise.
2111 (destroy_gnat_utils): ...this. New function.
2112 (pad_type_hash_marked_p): New function.
2113 (pad_type_hash_hash): Likewise.
2114 (pad_type_hash_eq): Likewise.
2115 (relate_alias_sets): ...here.
2116 (make_aligning_type): Likewise.
2117 (make_packable_type): Likewise.
2118 (maybe_pad_type): Likewise. Change same_rm_size parameter into
2119 set_rm_size; do not set TYPE_ADA_SIZE if it is false. Do not set
2120 null as Ada size. Do not set TYPE_VOLATILE on the padded type. If it
2121 is complete and has constant size, canonicalize it. Bail out earlier
2122 if a warning need not be issued.
2123 (make_type_from_size): Likewise.
2124 <INTEGER_TYPE>: Bail out if size is too large
2125 (gnat_types_compatible_p): Do not deal with padded types.
2126 (convert): Compare main variants for padded types.
2127 * gcc-interface/trans.c (gigi): Call {init|destroy}_gnat_utils.
2128 (gnat_to_gnu): Do not convert at the end for a call to a function that
2129 returns an unconstrained type with default discriminant.
2130 (Attribute_to_gnu) <Attr_Size>: Simplify handling of padded objects.
2131 * gcc-interface/utils2.c (build_binary_op) <MODIFY_EXPR>: Likewise.
2132 Do not use the padded type if it is BLKmode and the inner type is
2135 2012-05-02 Pascal Obry <obry@adacore.com>
2138 2012-02-24 Dave Korn <dave.korn.cygwin@gmail.com>
2140 * gcc-interface/Makefile.in (WIN_SO_PREFIX [windows targets]): New
2141 Windows-specific make variable.
2142 (WIN_SO_INSTALL_DIR [windows targets]): Likewise.
2143 (install-gnatlib): Respect the above during installation when set,
2144 and also install any windows import library that has been built.
2145 (gnatlib-shared-win32): Use WIN_SO_PREFIX to name output DLL and also
2146 build a corresponding import library.
2148 2012-04-30 Jan Hubicka <jh@suse.cz>
2150 * gcc-interface/utils.c (rest_of_subprog_body_compilation): Update
2152 (gnat_write_global_declarations): Use finalize_compilation_unit.
2154 2012-04-30 Eric Botcazou <ebotcazou@adacore.com>
2156 * gcc-interface/decl.c (gnat_to_gnu_entity): In type annotation mode,
2157 do not adjust the size of a tagged type if there is a representation
2158 clause on it. Otherwise, round the adjustment up to the alignment
2159 of the first field and use the appropriate helper routine.
2160 (maybe_pad_type): Do not warn in type annotation mode on a tagged type.
2161 (gnat_to_gnu_field): Do not error out under the same circumstances.
2162 (annotate_rep): In type annotation mode, do not adjust the offset of
2163 components of a tagged type with representation clause. Otherwise,
2164 round the adjustment up to the alignment of the first field.
2166 2012-04-30 Eric Botcazou <ebotcazou@adacore.com>
2168 * gcc-interface/utils.c (finish_record_type): Force the traditional GCC
2169 layout for bitfields on the type if it is packed or has a representation
2170 clause and an alternate layout is available.
2172 2012-04-30 Eric Botcazou <ebotcazou@adacore.com>
2174 * gcc-interface/gigi.h (mark_out_of_scope): Delete.
2175 (destroy_gnat_to_gnu): Declare.
2176 (destroy_dummy_type): Likewise.
2177 * gcc-interface/decl.c (mark_out_of_scope): Delete.
2178 * gcc-interface/utils.c (destroy_gnat_to_gnu): New function.
2179 (destroy_dummy_type): Likewise.
2180 * gcc-interface/trans.c (gnat_validate_uc_list): New variable.
2181 (gigi): Call validate_unchecked_conversion on gnat_validate_uc_list
2182 after the translation is completed. Call destroy_gnat_to_gnu and
2183 destroy_dummy_type at the end.
2184 (Subprogram_Body_to_gnu): Do not call mark_out_of_scope.
2185 (gnat_to_gnu) <N_Block_Statement>: Likewise.
2186 <N_Validate_Unchecked_Conversion>: Do not process the node, only push
2187 it onto gnat_validate_uc_list.
2188 (validate_unchecked_conversion): New function.
2190 2012-04-26 Tristan Gingold <gingold@adacore.com>
2192 * gcc-interface/Make-lang.in: Update dependencies.
2193 Remove s-traceb and tracebak objects from gnat1 and gnatbind (not used).
2194 Remove s-tasdeb and s-vaflop rules (not used).
2196 2012-04-26 Olivier Hainque <hainque@adacore.com>
2198 * gcc-interface/targtyps.c (WIDEST_HARDWARE_FP_SIZE): Default to
2199 DOUBLE_TYPE_SIZE instead of LONG_DOUBLE_TYPE_SIZE.
2201 2012-04-26 Hristian Kirtchev <kirtchev@adacore.com>
2203 * a-calend.adb (Day_Of_Week): Keep the internal
2204 usage of UTC_Time_Offset consistent with Time_Of and Split.
2206 2012-04-26 Hristian Kirtchev <kirtchev@adacore.com>
2208 * sem_ch5.adb (Analyze_Loop_Parameter_Specification): Do not freeze
2209 the loop variable while preanalyzing a quantified expression.
2211 2012-04-26 Hristian Kirtchev <kirtchev@adacore.com>
2213 * a-calend.adb (Split, Time_Of): Rename parameter Is_Ada_05
2214 to Use_TZ to better illustrate its function. Update all
2215 references to the parameter.
2216 (To_Ada_Time): Update the call to Formatting_Operations.Time_Of.
2217 * a-calend.ads (Split, Time_Of): Rename parameter Is_Ada_05
2218 to Use_TZ to better illustrate its function. Update the related
2220 * a-calend-vms.adb (Split, Time_Of): Rename parameter
2221 Is_Ada_05 to Use_TZ to better illustrate its function. Update
2222 all references to the parameter.
2223 (To_Ada_Time): Update the call to Formatting_Operations.Time_Of.
2224 * a-calend-vms.ads (Split, Time_Of): Rename parameter Is_Ada_05
2225 to Use_TZ to better illustrate its function. Update the related
2227 * a-calfor.adb (Split, Time_Of): Update the call to
2228 Formatting_Operations.Time_Of.
2229 * sysdep.c (__gnat_localtime_tzoff): Dereference pointer
2230 "is_historic" and rewrite the check as a comparison. Add a
2231 comment on flag values.
2233 2012-04-26 Robert Dewar <dewar@adacore.com>
2235 * exp_ch2.adb, sem_ch8.adb: Minor reformatting.
2237 2012-04-26 Vasiliy Fofanov <fofanov@adacore.com>
2239 * a-stzunb-shared.adb, gnat_ugn.texi, a-strunb-shared.adb,
2240 a-strunb-shared.ads, uintp.adb, a-stwiun-shared.adb,
2241 a-stwiun-shared.ads, a-cbhama.ads, vms_data.ads, a-cobove.adb,
2242 a-convec.adb, sem_ch13.adb, a-cbhase.ads: Fix common misuses of the
2243 word "then" where "than" should be used in English.
2245 2012-04-26 Robert Dewar <dewar@adacore.com>
2247 * sem_ch5.adb (Check_Unreachable_Code): Skip past pragmas.
2249 2012-04-26 Hristian Kirtchev <kirtchev@adacore.com>
2251 * s-finroo.ads: Remove with clause for
2252 Ada.Streams. Type Root_Controlled is now abstract tagged null
2253 record. Remove internal package Stream_Attributes. Root_Controlled
2254 doesn't need stream attribute redeclaration and avoids the
2255 dependency on streams.
2257 2012-04-26 Tristan Gingold <gingold@adacore.com>
2259 * adaint.c (to_host_path_spec): Removed (unused).
2262 2012-04-26 Steve Baird <baird@adacore.com>
2264 * gnat_rm.texi Improve description of Valid_Scalars attribute.
2266 2012-04-26 Ed Schonberg <schonberg@adacore.com>
2268 * sem_ch6.adb (Can_Override_Operator): If the formal is a
2269 generic type the operator cannot be overriding.
2271 2012-04-26 Ed Schonberg <schonberg@adacore.com>
2273 * sem_ch8.adb (Spec_Reloaded_For_Body): Check whether the type
2274 is declared in a package specification, and current unit is the
2275 corresponding package body. The use clauses themselves may be
2276 within a nested package.
2278 2012-04-26 Bob Duff <duff@adacore.com>
2280 * exp_ch2.adb (Param_Entity): Take into account the case where
2281 the type of the entry parameter has a representation clause.
2283 2012-04-26 Ed Schonberg <schonberg@adacore.com>
2285 * gnat_ugn.texi: Tweak dimensionality doc.
2287 2012-04-26 Robert Dewar <dewar@adacore.com>
2289 * sem_eval.adb: Minor reformatting.
2291 2012-04-26 Robert Dewar <dewar@adacore.com>
2293 * einfo.adb, einfo.ads, sem_res.adb, sem_ch4.adb,
2294 sem_eval.adb: Minor reformatting.
2296 2012-04-26 Thomas Quinot <quinot@adacore.com>
2298 * freeze.adb: Minor change in error wording.
2300 2012-04-26 Ed Schonberg <schonberg@adacore.com>
2302 * gnat_ugn.texi: Documentation on dimensional analysis.
2304 2012-04-26 Hristian Kirtchev <kirtchev@adacore.com>
2306 * einfo.adb, einfo.ads: Remove synthesized attribute
2307 Proper_First_Index along with its associations in various nodes.
2308 (Proper_First_Index): Removed.
2309 * sem_ch4.adb (Analyze_Slice): Alphabetize constants. Add new
2310 local variable Index_Type. The index type of a string literal
2311 subtype is that of the stored low bound.
2312 * sem_eval (Get_Static_Length): Remove the use of Proper_First_Index.
2313 * sem_res.adb (Resolve_Slice): Alphabetize constants. Add
2314 new local variable Index_Type. The index type of a
2315 string literal subtype is that of the stored low bound.
2316 (Set_String_Literal_Subtype): Code reformatting.
2318 2012-04-26 Robert Dewar <dewar@adacore.com>
2320 * exp_aggr.adb: Minor reformatting.
2322 2012-04-26 Hristian Kirtchev <kirtchev@adacore.com>
2324 * exp_ch7.adb (Expand_Cleanup_Actions): Update the call to
2325 Requires_Cleanup_Actions.
2326 * exp_util.adb (Requires_Cleanup_Actions (List_Id; Boolean;
2327 Boolean)): Rename formal parameter For_Package to Lib_Level to
2328 better reflect its purpose. Update the related comment and all
2329 occurrences of For_Package in the body.
2330 (Requires_Cleanup_Actions
2331 (Node_Id; Boolean)): Add new formal parameter Lib_Level. Add
2332 local constant At_Lib_Level to keep monitor whether the path
2333 taken from the top-most context to the current construct involves
2334 package constructs. Update all calls to Requires_Cleanup_Actions.
2335 * exp_util.ads (Requires_Cleanup_Actions): Add new formal
2336 parameter Lib_Level and associated comment.
2338 2012-04-26 Ed Schonberg <schonberg@adacore.com>
2340 * sem_ch6.adb (Process_Formals): If the type of the formal is
2341 a non null access type, mark the generated subtype as having a
2342 delayed freeze only if the designated type is not frozen yet.
2344 2012-04-26 Vincent Celier <celier@adacore.com>
2346 * prj-attr.adb: New package Clean with attributes
2347 Object_Artifact_Extensions and Source_Artifact_Extensions.
2348 * prj-nmsc.adb (Process_Clean): Process new package Clean
2349 * prj.ads (Language_Config): New components
2350 Clean_Object_Artifacts and Clean_Source_Artifacts.
2351 * snames.ads-tmpl: New standard names Clean,
2352 Object_Artifact_Extensions and Source_Artifact_Extensions.
2354 2012-04-26 Hristian Kirtchev <kirtchev@adacore.com>
2356 * einfo.adb (Proper_First_Index): Moved from Sem_Util.
2357 * einfo.ads: Add new synthesized attribute Proper_First_Index
2358 along with usage in nodes.
2359 (Proper_First_Index): Moved from Sem_Util.
2360 * sem_util.ads, sem_util.adb (Proper_First_Index): Moved to Einfo.
2362 2012-04-26 Gary Dismukes <dismukes@adacore.com>
2364 * layout.adb (Layout_Component_List): Test for the case of a
2365 single variant and the size of its component list was computed
2366 as an integer literal, and use that size (which is in bits)
2367 as is rather than converting to storage units.
2369 2012-04-26 Robert Dewar <dewar@adacore.com>
2371 * exp_aggr.adb: Minor reformatting.
2373 2012-04-26 Robert Dewar <dewar@adacore.com>
2375 * sem_util.adb: Minor reformatting.
2377 2012-04-26 Thomas Quinot <quinot@adacore.com>
2379 * exp_aggr.adb, exp_pakd.adb (Setup_Inline_Packed_Array_Reference,
2380 Packed_Array_Aggregate_Handled.Get_Component_Val):
2381 Reverse bit numbering within PAT when Reverse_Storage_Order
2382 applies to the enclosing record.
2384 2012-04-26 Thomas Quinot <quinot@adacore.com>
2386 * freeze.adb (Freeze_Record_Type): Improve error message for
2387 Scalar_Storage_Order inconsistent with Bit_Order.
2389 2012-04-25 Gary Dismukes <dismukes@adacore.com>
2391 * exp_ch9.adb: Add comments on the usage of the
2392 lock-free data structures.
2394 2012-04-25 Vincent Pucci <pucci@adacore.com>
2396 * exp_intr.adb (Expand_Shift): Convert the left
2397 operand and the operator when the type of the call differs from
2398 the type of the operator.
2400 2012-04-25 Geert Bosch <bosch@adacore.com>
2402 * stand.ads: Minor comment fix.
2404 2012-04-25 Hristian Kirtchev <kirtchev@adacore.com>
2406 * sem_ch4.adb (Analyze_Slice): Handle the case where the prefix
2407 is a string literal. Retrieve the first index from the base type
2408 when slicing a string literal.
2409 * sem_ch12.adb (Check_Private_View): Move the initialization
2410 of the type inside the loop to reflect the changing index.
2411 * sem_eval.adb (Eval_Relational_Op): Retrieve the first index
2412 from the base type when dealing with a string literal.
2413 * sem_res.adb (Resolve_Slice): Retrieve the first index from
2414 the base type when slicing a string literal.
2415 * sem_util.adb (Is_Internally_Generated_Renaming): New routine.
2416 (Is_Object_Reference): String literals may act
2417 as object references only when they are renamed internally.
2418 (Proper_First_Index): New routine.
2419 * sem_util.ads (Proper_First_Index): New routine.
2421 2012-04-25 Robert Dewar <dewar@adacore.com>
2423 * sem_ch3.adb, csinfo.adb, lib-writ.adb, sem_ch12.adb,
2424 lib-xref.adb: Minor reformatting.
2426 2012-04-25 Hristian Kirtchev <kirtchev@adacore.com>
2428 * exp_ch9.adb: Rename Lock_Free_Sub_Type
2429 to Lock_Free_Subprogram. Remove type Subprogram_Id.
2430 Rename LF_Sub_Table to Lock_Free_Subprogram_Table.
2431 (Allow_Lock_Free_Implementation): Renamed to
2432 Allows_Lock_Free_Implementation. Update the comment on
2433 lock-free restrictions. Code clean up and restructuring.
2434 (Build_Lock_Free_Protected_Subprogram_Body): Update the
2435 profile and related comments. Code clean up and restructuring.
2436 (Build_Lock_Free_Unprotected_Subprogram_Body): Update the
2437 profile and related comments. Code clean up and restructuring.
2440 2012-04-25 Vincent Celier <celier@adacore.com>
2442 * sem_ch12.adb (Inherit_Context): Compare library units, not
2443 names of units, when checking if a unit is already in the context.
2445 2012-04-25 Thomas Quinot <quinot@adacore.com>
2447 * sem_ch3.adb: Reverse_Storage_Order must be propagated to
2448 untagged derived record types.
2450 2012-04-25 Ed Schonberg <schonberg@adacore.com>
2452 * lib-xref.adb: Adjust position of end label.
2454 2012-04-22 Jan Hubicka <jh@suse.cz>
2456 * gcc-interface/utils.c (gnat_write_global_declarations): Do not mark
2459 2012-04-20 Jan Hubicka <jh@suse.cz>
2461 * gcc-interface/utils.c (gnat_write_global_declarations): Update for new
2462 force_output placement.
2464 2012-04-14 Jan Hubicka <jh@suse.cz>
2466 * gcc-interface/trans.c (finalize_nrv): Update field referenced for new
2467 cgraph/varpool layout.
2469 2012-04-09 Mike Stump <mikestump@comcast.net>
2471 * a-assert.ads: Remove execute permission.
2472 * a-chacon.ads: Likewise.
2473 * a-coteio.ads: Likewise.
2474 * a-envvar.ads: Likewise.
2475 * a-exetim-mingw.ads: Likewise.
2476 * a-fzteio.ads: Likewise.
2477 * a-izteio.ads: Likewise.
2478 * a-lcteio.ads: Likewise.
2479 * a-llctio.ads: Likewise.
2480 * a-scteio.ads: Likewise.
2481 * a-suenco.ads: Likewise.
2482 * a-suenst.ads: Likewise.
2483 * a-suewst.ads: Likewise.
2484 * a-suezst.ads: Likewise.
2485 * a-tirsfi.ads: Likewise.
2486 * a-wichha.ads: Likewise.
2487 * a-zchara.ads: Likewise.
2488 * a-zchhan.ads: Likewise.
2489 * a-zchuni.ads: Likewise.
2490 * a-zrstfi.ads: Likewise.
2491 * aspects.ads: Likewise.
2492 * g-byorma.ads: Likewise.
2493 * g-decstr.ads: Likewise.
2494 * g-encstr.ads: Likewise.
2495 * g-spchge.ads: Likewise.
2496 * g-u3spch.ads: Likewise.
2497 * g-wispch.ads: Likewise.
2498 * g-zspche.ads: Likewise.
2499 * namet-sp.ads: Likewise.
2500 * s-os_lib.ads: Likewise.
2501 * s-regexp.ads: Likewise.
2502 * s-regpat.ads: Likewise.
2503 * s-string.ads: Likewise.
2504 * s-tasloc.ads: Likewise.
2505 * s-utf_32.ads: Likewise.
2506 * sem_aux.ads: Likewise.
2507 * a-assert.adb: Likewise.
2508 * a-chacon.adb: Likewise.
2509 * a-envvar.adb: Likewise.
2510 * a-exetim-mingw.adb: Likewise.
2511 * a-suenco.adb: Likewise.
2512 * a-suenst.adb: Likewise.
2513 * a-suewst.adb: Likewise.
2514 * a-suezst.adb: Likewise.
2515 * a-tirsfi.adb: Likewise.
2516 * a-wichha.adb: Likewise.
2517 * a-zchhan.adb: Likewise.
2518 * a-zchuni.adb: Likewise.
2519 * a-zrstfi.adb: Likewise.
2520 * aspects.adb: Likewise.
2521 * g-byorma.adb: Likewise.
2522 * g-decstr.adb: Likewise.
2523 * g-encstr.adb: Likewise.
2524 * g-spchge.adb: Likewise.
2525 * g-u3spch.adb: Likewise.
2526 * g-wispch.adb: Likewise.
2527 * g-zspche.adb: Likewise.
2528 * namet-sp.adb: Likewise.
2529 * s-except.adb: Likewise.
2530 * s-inmaop-vxworks.adb: Likewise.
2531 * s-os_lib.adb: Likewise.
2532 * s-regexp.adb: Likewise.
2533 * s-regpat.adb: Likewise.
2534 * s-string.adb: Likewise.
2535 * s-tasloc.adb: Likewise.
2536 * s-utf_32.adb: Likewise.
2537 * s-wchcon.adb: Likewise.
2538 * sem_aux.adb: Likewise.
2540 2012-04-02 Robert Dewar <dewar@adacore.com>
2542 * s-atopri.ads: Minor reformatting.
2544 2012-04-02 Thomas Quinot <quinot@adacore.com>
2546 * sem_util.adb: Minor reformatting, minor code cleanup.
2548 2012-04-02 Ed Schonberg <schonberg@adacore.com>
2550 * lib-xref.adb (Generate_Reference): For a reference to an
2551 operator symbol, set the sloc to point to the first character
2552 of the operator name, and not to the initial quaote.
2553 (Output_References): Ditto for the definition of an operator
2556 2012-04-02 Vincent Celier <celier@adacore.com>
2558 * ali.adb (Scan_Ali): Recognize Z lines. Set
2559 Implicit_With_From_Instantiation to True in the With_Record for
2561 * ali.ads (With_Record): New Boolean component
2562 Implicit_With_From_Instantiation, defaulted to False.
2563 * csinfo.adb: Indicate that Implicit_With_From_Instantiation
2565 * lib-writ.adb (Write_ALI): New array Implicit_With.
2566 (Collect_Withs): Set Implicit_With for the unit is it is not Yes.
2567 (Write_With_Lines): Write a Z line instead of a W line if
2568 Implicit_With is Yes for the unit.
2569 * sem_ch12.adb (Inherit_Context): Only add a unit in the context
2570 if it is not there yet.
2571 * sinfo.ads: New flag Implicit_With_From_Instantiation (Flag12)
2574 2012-04-02 Yannick Moy <moy@adacore.com>
2576 * osint.adb, osint.ads (Add_Default_Search_Dirs): Add library
2577 search dirs in file specified with option -gnateO.
2579 2012-04-02 Robert Dewar <dewar@adacore.com>
2581 * sem_ch5.adb, exp_util.adb, sem_util.adb, exp_ch4.adb: Minor
2584 2012-04-02 Olivier Hainque <hainque@adacore.com>
2586 * g-sse.ads: Add x86-solaris and x86_64-darwin to the set of
2587 platforms where the use of this spec is supported. Add current
2588 year to the copyright notice.
2589 * gcc-interfaces/Makefile.in: Add g-sse.o and g-ssvety.o to
2590 EXTRA_GNATRTL_NONTASKING_OBJS on x86 32/64 targets that support
2591 it and where they were missing (x86-solaris, x86-freebsd,
2592 x86_64-freebsd, and x86-darwin).
2594 2012-04-02 Gary Dismukes <dismukes@adacore.com>
2596 * bindgen.adb (Gen_Ada_Init): When compiling for the AAMP small
2597 library, where we no longer suppress the Standard_Library,
2598 generate an empty body rather than the usual generation of
2599 assignments to imported globals, since those aren't present in
2602 2012-04-02 Ed Schonberg <schonberg@adacore.com>
2604 * sinfo.ads: Minor documentation fix.
2606 2012-04-02 Hristian Kirtchev <kirtchev@adacore.com>
2608 * sem_res.adb (Resolve_Conditional_Expression): Add local variables
2609 Else_Typ and Then_Typ. Add missing type conversions to the "then" and
2610 "else" expressions when their respective types are scalar.
2612 2012-04-02 Vincent Pucci <pucci@adacore.com>
2614 * exp_ch9.adb: Reordering of the local subprograms. New Table
2615 for the lock free implementation that maps each protected
2616 subprograms with the protected component it references.
2617 (Allow_Lock_Free_Implementation): New routine. Check if
2618 the protected body enables the lock free implementation.
2619 (Build_Lock_Free_Protected_Subprogram_Body): New routine.
2620 (Build_Lock_Free_Unprotected_Subprogram_Body): New routine.
2621 (Comp_Of): New routine.
2622 * Makefile.rtl: Add s-atopri.o
2623 * debug.adb: New compiler debug flag -gnatd9 for lock free
2625 * rtsfind.ads: RE_Atomic_Compare_Exchange_8,
2626 RE_Atomic_Compare_Exchange_16, RE_Atomic_Compare_Exchange_32,
2627 RE_Atomic_Compare_Exchange_64, RE_Atomic_Load_8,
2628 RE_Atomic_Load_16, RE_Atomic_Load_32, RE_Atomic_Load_64, RE_Uint8,
2629 RE_Uint16, RE_Uint32, RE_Uint64 added.
2630 * s-atropi.ads: New file. Defines atomic primitives used
2631 by the lock free implementation.
2633 2012-04-02 Emmanuel Briot <briot@adacore.com>
2635 * g-expect.adb (Expect_Internal): Fix leak of the input file descriptor.
2637 2012-04-02 Hristian Kirtchev <kirtchev@adacore.com>
2639 * exp_ch4.adb (Expand_N_Quantified_Expression): Reimplemented.
2640 The expansion no longer uses the copy of the original QE created
2642 * sem.adb (Analyze): Add processing for loop parameter specifications.
2643 * sem_ch4.adb (Analyze_Quantified_Expression): Reimplemented. The
2644 routine no longer creates a copy of the original QE. All
2645 constituents of a QE are now preanalyzed and resolved.
2646 * sem_ch5.adb (Analyze_Iteration_Scheme): Remove the guard which
2647 bypasses all processing when the iteration scheme is related to a
2648 QE. Relovate the code which analyzes loop parameter specifications
2649 to a separate routine. (Analyze_Iterator_Specification):
2650 Preanalyze the iterator name. This action was originally
2651 done in Analyze_Iteration_Scheme. Update the check which
2652 detects an iterator specification in the context of a QE.
2653 (Analyze_Loop_Parameter_Specification): New routine. This
2654 procedure allows for a stand-alone analysis of a loop parameter
2655 specification without the need of a parent iteration scheme. Add
2656 code to update the type of the loop variable when the range
2657 generates an itype and the context is a QE.
2658 (Pre_Analyze_Range): Renamed to Preanalyze_Range. Update all references
2660 * sem_ch5.ads: Code reformatting.
2661 (Analyze_Loop_Parameter_Specification): New routine.
2662 * sem_ch6.adb (Fully_Conformant_Expressions): Detect a case
2663 when establishing conformance between two QEs utilizing different
2665 * sem_res.adb (Proper_Current_Scope): New routine.
2666 (Resolve): Do not resolve a QE as there is nothing to be done now.
2667 Ignore any loop scopes generated for QEs when detecting an expression
2668 function as the scopes are cosmetic and do not appear in the tree.
2669 (Resolve_Quantified_Expression): Removed. All resolution of
2670 QE constituents is now performed during analysis. This ensures
2671 that loop variables appearing in array aggregates are properly
2674 2012-04-02 Ed Schonberg <schonberg@adacore.com>
2676 * sem_util.adb (Build_Default_Subtype): If the base type is
2677 private and its full view is available, use the full view in
2678 the subtype declaration.
2680 2012-04-02 Jose Ruiz <ruiz@adacore.com>
2682 * gnat_ugn.texi: Add some minimal documentation about how to
2683 use GNATtest for cross platforms.
2685 2012-04-02 Vincent Celier <celier@adacore.com>
2687 * opt.ads (Object_Path_File_Name): New variable.
2688 * prj-attr.adb: New Compiler attribute Object_Path_Switches.
2689 * prj-nmsc.adb (Process_Compiler): Recognize new attribute
2690 Object_Path_Switches.
2691 * snames.ads-tmpl: New standard name Object_Path_Switches.
2692 * switch-c.adb (Scan_Front_End_Switches): Recognize new switch
2693 -gnateO= and put its value in Opt.Object_Path_File_Name.
2695 2012-04-02 Hristian Kirtchev <kirtchev@adacore.com>
2697 * exp_ch7.adb (Process_Declarations): Detect a case where
2698 a source object was initialized by another source object,
2699 but the expression was rewritten as a class-wide conversion
2700 of Ada.Tags.Displace.
2701 * exp_util.adb (Initialized_By_Ctrl_Function): Removed.
2702 (Is_Controlled_Function_Call): New routine.
2703 (Is_Displacement_Of_Ctrl_Function_Result): Removed.
2704 (Is_Displacement_Of_Object_Or_Function_Result): New routine.
2705 (Is_Source_Object): New routine.
2706 (Requires_Cleanup_Actions): Detect a case where a source object was
2707 initialized by another source object, but the expression was rewritten
2708 as a class-wide conversion of Ada.Tags.Displace.
2709 * exp_util.ads (Is_Displacement_Of_Ctrl_Function_Result): Removed.
2710 (Is_Displacement_Of_Object_Or_Function_Result): New routine.
2712 2012-04-02 Ed Schonberg <schonberg@adacore.com>
2714 * sem_res.adb (Resolve_Call): A call to an expression function
2715 does not freeze if it appears in a different scope from the
2716 expression function itself. Such calls appear in the generated
2717 bodies of other expression functions, or in pre/postconditions
2718 of subsequent subprograms.
2720 2012-04-02 Yannick Moy <moy@adacore.com>
2722 * lib-xref-alfa.adb: Code clean up.
2724 2012-04-02 Ed Schonberg <schonberg@adacore.com>
2726 * sem_ch12.adb (Analyze_Subprogram_Instantiation): Do not suppress
2727 style checks, because the subprogram instance itself may contain
2728 violations of syle rules.
2729 * style.adb (Missing_Overriding): Check for missing overriding
2730 indicator on a subprogram instance.
2732 2012-04-02 Hristian Kirtchev <kirtchev@adacore.com>
2734 * sem_ch6.adb (Last_Implicit_Declaration): New routine.
2735 (Process_PPCs): Insert the body of _postconditions after the
2736 last internally generated declaration. This ensures that actual
2737 subtypes created for formal parameters are visible and properly
2738 frozen as _postconditions may reference them.
2740 2012-04-02 Robert Dewar <dewar@adacore.com>
2742 * einfo.adb (First_Component_Or_Discriminant) Now applies to
2743 all types with discriminants, not just records.
2744 * exp_attr.adb (Expand_N_Attribute): Add Scalar_Values handling
2745 for arrays, scalars and non-variant records.
2746 * sem_attr.adb (Analyze_Attribute): Handle Valid_Scalars
2747 * sem_attr.ads (Valid_Scalars): Update description
2748 * sem_util.ads, sem_util.adb (No_Scalar_Parts): New function.
2750 2012-03-31 Eric Botcazou <ebotcazou@adacore.com>
2753 2012-03-25 Eric Botcazou <ebotcazou@adacore.com>
2755 * gcc-interface/decl.c (SS_MARK_NAME): New define.
2756 (gnat_to_gnu_entity) <E_Function>: Prepend leaf attribute on entities
2757 whose name is SS_MARK_NAME.
2759 2012-03-30 Robert Dewar <dewar@adacore.com>
2761 * exp_ch5.adb, sem_util.adb, exp_ch4.adb: Minor comment updates.
2763 2012-03-30 Yannick Moy <moy@adacore.com>
2765 * lib-xref-alfa.adb (Add_Alfa_File): Treat possibly 2 units at the same
2766 time, putting all scopes in the same Alfa file.
2767 (Add_Alfa_Xrefs): Correct errors in comparison function. Correct value
2769 (Collect_Alfa): Possibly pass 2 units to Add_Alfa_File.
2771 2012-03-30 Hristian Kirtchev <kirtchev@adacore.com>
2773 * exp_util.adb (Is_Secondary_Stack_BIP_Func_Call): Handle a case where
2774 a build-in-place call appears as Prefix'Reference'Reference.
2776 2012-03-30 Yannick Moy <moy@adacore.com>
2778 * lib-xref-alfa.adb: Minor refactoring to remove internal package.
2780 2012-03-30 Hristian Kirtchev <kirtchev@adacore.com>
2782 * sem_ch5.adb (Analyze_Iteration_Scheme): Preanalyze the subtype
2783 definition of a loop when the context is a quantified expression.
2785 2012-03-30 Vincent Celier <celier@adacore.com>
2787 * prj.ads: Minor comment update.
2789 2012-03-30 Yannick Moy <moy@adacore.com>
2791 * lib-xref-alfa.adb, alloc.ads, lib-xref.ads: Minor addition of
2792 comments and refactoring.
2794 2012-03-30 Robert Dewar <dewar@adacore.com>
2796 * lib-xref.adb, lib-xref-alfa.adb: Minor reformatting & code
2799 2012-03-30 Yannick Moy <moy@adacore.com>
2801 * lib-xref-alfa.adb (Generate_Dereference): Use Get_Code_Unit
2802 instead of Get_Source_Unit to get file for reference.
2803 (Traverse_Compilation_Unit): Do not add scopes for generic units.
2804 * lib-xref.adb (Generate_Reference): Use Get_Code_Unit instead
2805 of Get_Source_Unit to get file for reference.
2806 * sem_ch12.adb (Analyze_Package_Instantiation): Enable
2807 instantiation in Alfa mode.
2809 2012-03-30 Hristian Kirtchev <kirtchev@adacore.com>
2811 * exp_ch7.adb (Process_Declarations): Replace
2812 the call to Is_Null_Access_BIP_Func_Call with
2813 Is_Secondary_Stack_BIP_Func_Call. Update the related comment.
2814 * exp_util.adb (Is_Null_Access_BIP_Func_Call): Removed.
2815 (Is_Secondary_Stack_BIP_Func_Call): New routine.
2816 (Requires_Cleanup_Actions): Replace
2817 the call to Is_Null_Access_BIP_Func_Call with
2818 Is_Secondary_Stack_BIP_Func_Call. Update the related comment.
2819 * exp_util.ads (Is_Null_Access_BIP_Func_Call): Removed.
2820 (Is_Secondary_Stack_BIP_Func_Call): New routine.
2822 2012-03-30 Yannick Moy <moy@adacore.com>
2824 * lib-xref-alfa.adb, lib-xref.adb: Code clean ups.
2826 2012-03-30 Gary Dismukes <dismukes@adacore.com>
2828 * exp_ch5.adb (Expand_Iterator_Loop_Over_Array): For the case of a
2829 loop entity which is rewritten as a renaming
2830 of the indexed array, explicitly mark the entity as needing
2831 debug info so that Materialize entity will be set later by
2832 Debug_Renaming_Declaration when the renaming is expanded.
2834 2012-03-30 Robert Dewar <dewar@adacore.com>
2836 * sem_attr.ads: Update comment.
2838 2012-03-30 Vincent Celier <celier@adacore.com>
2840 * prj.ads: New Dependency_Kind: ALI_Closure.
2842 2012-03-30 Thomas Quinot <quinot@adacore.com>
2844 * exp_pakd.adb: Minor reformatting.
2846 2012-03-30 Yannick Moy <moy@adacore.com>
2848 * lib-xref-alfa.adb (Add_Alfa_File): Take into account possible absence
2849 of compilation unit for unit in Sdep_Table.
2851 2012-03-30 Thomas Quinot <quinot@adacore.com>
2853 * freeze.adb (Freeze_Record_Type): For a type with reversed bit
2854 order and reversed storage order, disable front-end relayout.
2856 2012-03-25 Eric Botcazou <ebotcazou@adacore.com>
2858 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Record_Subtype>: Copy
2859 the TYPE_PACKED flag from the base type.
2861 2012-03-25 Eric Botcazou <ebotcazou@adacore.com>
2863 * gcc-interface/decl.c (SS_MARK_NAME): New define.
2864 (gnat_to_gnu_entity) <E_Function>: Prepend leaf attribute on entities
2865 whose name is SS_MARK_NAME.
2867 2012-03-25 Eric Botcazou <ebotcazou@adacore.com>
2869 * gcc-interface/utils.c (add_parallel_type): Take a TYPE instead of a
2870 DECL and adjust. Move around.
2871 (has_parallel_type): New predicate.
2872 (rest_of_record_type_compilation): Return early if the type already
2873 has a parallel type.
2874 * gcc-interface/gigi.h (add_parallel_type): Adjust.
2875 * gcc-interface/decl.c (gnat_to_gnu_entity): Adjust for above changes.
2877 2012-03-25 Eric Botcazou <ebotcazou@adacore.com>
2879 * gcc-interface/utils.c (finish_record_type): Return early for padded
2882 2012-03-20 Arnaud Charlet <charlet@adacore.com>
2884 * hlo.ads, hlo.adb: Removed, no longer used.
2885 * gcc-interface/Make-lang.in: Remove hlo.o. Update dependencies.
2886 * gcc-interface/Makefile.in: Remove EXTRA_LIBGNAT_SRCS (temporarly)
2887 and compute it from EXTRA_LIBGNAT_OBJS.
2888 Clean up comments, reorder LIBGNAT_SRCS and LIBGNAT_OBJS.
2890 2012-03-20 Yannick Moy <moy@adacore.com>
2892 * gnat_rm.texi, sem_attr.ads: Update documentation.
2894 2012-03-19 Yannick Moy <moy@adacore.com>
2896 * sem_ch6.adb: Minor code clean up.
2898 2012-03-19 Vincent Celier <celier@adacore.com>
2900 * make.adb (Scan_Make_Arg): Make sure all significant -m switches
2901 on the command line are counted.
2903 2012-03-19 Robert Dewar <dewar@adacore.com>
2905 * sem_elab.adb (Generate_Elab_Warnings): Fix spec, fix attribute
2908 2012-03-19 Robert Dewar <dewar@adacore.com>
2910 * par-ch4.adb (Check_Bad_Exp): New procedure
2912 2012-03-19 Robert Dewar <dewar@adacore.com>
2914 * exp_attr.adb, sem_attr.adb, sem_attr.ads, snames.ads-tmpl: Add
2915 initial framework for Valid_Scalars attribute.
2917 2012-03-19 Robert Dewar <dewar@adacore.com>
2919 * scng.adb (Scan): Recognize incorrect preprocessor directive
2921 2012-03-19 Robert Dewar <dewar@adacore.com>
2923 * atree.adb (Allocate_Initialize_Node): Use Num_Extension_Nodes
2924 * atree.ads (Num_Extension_Nodes): New variable
2925 * debug.adb: New debug flag -gnatd.N
2926 * gnat1drv.adb (Adjust_Global_Switches): Adjust
2927 Num_Extension_Nodes if -gnatd.N set
2929 2012-03-19 Eric Botcazou <ebotcazou@adacore.com>
2931 * einfo.ads: Minor update to First_Rep_Item and Has_Gigi_Rep_Item
2934 2012-03-19 Robert Dewar <dewar@adacore.com>
2936 * opt.ads: Remove HLO_Active flag.
2937 * sem.adb: Remove call of high level optimizer.
2938 * sem.ads (New_Nodes_OK): Removed.
2939 * sem_ch10.adb: Remove references to New_Nodes_OK.
2940 * switch-c.adb: Remove handling of -gnatH switch.
2942 2012-03-19 Yannick Moy <moy@adacore.com>
2944 * sem_ch6.adb (Check_Subprogram_Contract): Do not emit warnings
2945 on trivially True or False postconditions and Ensures components
2948 2012-03-19 Robert Dewar <dewar@adacore.com>
2950 * gnat_ugn.texi: Fix index entry for -gnatei (now we have
2953 2012-03-19 Hristian Kirtchev <kirtchev@adacore.com>
2955 * sem_ch3.adb (Get_Discriminant_Value): Instead of looking
2956 at the immediate correcponsing discriminant, traverse a
2957 potential chain of discriminants produced by type derivations.
2958 (Root_Corresponding_Discriminant): Traverse a chain of inherited
2959 discriminants and return the topmost discriminant.
2961 2012-03-19 Bob Duff <duff@adacore.com>
2963 * debug.adb: Minor comment change.
2964 * gnat_ugn.texi: Update documentation for elaboration regarding
2967 2012-03-19 Gary Dismukes <dismukes@adacore.com>
2969 * exp_ch3.adb (Expand_N_Object_Declaration): In
2970 the case of an object of a class-wide interface type, where the
2971 declaration is rewritten as a renaming, call Set_Debug_Info_Needed
2972 on the renaming entity so that Materialize_Entity will be
2973 set. Also, change existing call (for other than interface cases)
2974 to call Set_Debug_Info_Needed rather than Set_Needs_Debug_Info
2975 (as specified for that flag).
2977 2012-03-19 Hristian Kirtchev <kirtchev@adacore.com>
2979 * sem_ch4.adb (Analyze_Allocator): Detect an allocator generated
2980 by the build-in-place machinery where the designated type is
2981 indefinite, but the underlying type is not. Do not emit errors
2982 related to missing initialization in this case.
2984 2012-03-19 Robert Dewar <dewar@adacore.com>
2986 * gnat_ugn.texi: Add documentation for -gnateinnn switch.
2987 * sem_elab.adb, put_alfa.adb, lib-xref-alfa.adb: Minor reformatting.
2988 * sem_prag.adb: Minor comment update.
2990 2012-03-15 Robert Dewar <dewar@adacore.com>
2992 * errout.ads: Add entry for translating -gnateinn to
2993 /MAX_INSTANTIATIONS for VMS.
2994 * hostparm.ads (Max_Instantiations): Moved to Opt.
2995 * opt.ads (Maximum_Instantiations): Moved from Hostparm, and renamed.
2996 * sem_ch12.adb (Maximum_Instantiations): New name of
2997 Max_Instantiations (Analyze_Package_Instantiation): Change error
2998 msg for too many instantiations (mention -gnateinn switch).
2999 * switch-c.adb (Scan_Front_End_Switches): Implement -gnateinn switch.
3000 * switch.ads: Minor comment update.
3001 * usage.adb (Usage): Output line for -maxeinn switch.
3002 * vms_data.ads: Add entry for MAX_INSTANTIATIONS (-gnateinn).
3004 2012-03-15 Yannick Moy <moy@adacore.com>
3006 * alfa.ads Update the decription of ALI sections.
3007 (Alfa_File_Record): Add a component Unit_File_Name to store the
3008 unit file name for subunits.
3009 * get_alfa.adb, put_alfa.adb Adapt to the possible presence of
3011 * lib-xref-alfa.adb (Add_Alfa_File): For subunits, retrieve the
3012 file name of the unit.
3014 2012-03-15 Yannick Moy <moy@adacore.com>
3016 * sem_ch6.adb (Check_Subprogram_Contract): Do
3017 not issue warning on missing 'Result in postcondition if all
3018 postconditions and contract-cases already get a warning for only
3019 referring to pre-state.
3021 2012-03-15 Bob Duff <duff@adacore.com>
3023 * debug.adb: Add new debug switch -gnatd.U, which disables the
3024 support added below, in case someone trips over a cycle, and needs
3026 * sem_attr.adb (Analyze_Access_Attribute):
3027 Treat Subp'Access as a call for elaboration purposes.
3028 * sem_elab.ads, sem_elab.adb (Check_Elab_Call): Add support
3031 2012-03-15 Vincent Pucci <pucci@adacore.com>
3033 * sem.ads, sem.adb (Preanalyze): New routine.
3034 * sem_ch4.adb (Analyze_Quantified_Expression): Call to the
3035 Preanalyze routine in Sem added. Renaming of Needs_Expansion
3036 into Need_Preanalysis.
3037 * sem_ch6.adb (Preanalyze): Removed.
3039 2012-03-15 Robert Dewar <dewar@adacore.com>
3041 * sem_ch4.adb (Analyze_Quantified_Expression): Add comment.
3042 * sem_prag.adb: Minor comment additions.
3043 * sem_attr.adb (Check_First_Last_Valid): Make sure prefix type
3046 2012-03-15 Vincent Pucci <pucci@adacore.com>
3048 * sem_ch4.adb (Analyze_Quantified_Expression):
3049 Preanalyze the condition when the quantified expression will be
3052 2012-03-15 Yannick Moy <moy@adacore.com>
3054 * sem_prag.adb, sem_util.adb, sem_util.ads, sem_attr.adb, sem_ch6.adb,
3055 sem_warn.adb: Minor refactoring, renaming Case_Pragma in CTC_Pragma,
3056 to refer to both Test_Case pragma and Contract_Case pragma (same
3057 acronym as in Spec_CTC_List).
3059 2012-03-15 Robert Dewar <dewar@adacore.com>
3061 * sem_prag.adb, sem_prag.ads, sem_util.ads, sem_attr.adb, sem_ch6.adb,
3062 sem_warn.adb: Minor reformatting.
3064 2012-03-15 Hristian Kirtchev <kirtchev@adacore.com>
3066 * exp_util.adb (Initialized_By_Ctrl_Function): Do not loop over
3067 selector names as the function call always appears at the top selected
3070 2012-03-15 Ed Schonberg <schonberg@adacore.com>
3072 * sem_ch12.adb (Validate_Access_Subprogram_Instance): keep
3073 Mode_Conformance check for older versions of the language.
3075 2012-03-15 Yannick Moy <moy@adacore.com>
3077 * gnat_ugn.texi Document the extension of option -gnatw.t.
3078 * sem_ch3.adb (Analyze_Declaration): Check for suspicious
3079 contracts only after contract cases have been semantically
3081 * sem_ch6.adb (Check_Subprogram_Contract): Consider also Ensures
3082 components of contract cases for detecting suspicious contracts.
3084 2012-03-15 Yannick Moy <moy@adacore.com>
3086 * aspects.adb, aspects.ads (Aspect_Id): New GNAT aspect
3087 Aspect_Contract_Case.
3088 * gnat_rm.texi Document the new pragma/aspect
3089 Contract_Case. Correct the documentation of the existing
3090 pragma/aspect Test_Case with the new semantics.
3091 * sem_attr.adb (Analyze_Attribute): Allow use of 'Result in the
3092 Ensures component of a Contract_Case pragma.
3093 * sem_ch13.adb (Analyze_Aspect_Specifications): Check new aspect
3094 and translate it into a pragma.
3095 (Check_Aspect_At_Freeze_Point): Take into account the new aspect.
3096 * sem_ch3.adb, sinfo.adb, sinfo.ads Renaming of TC (for test case)
3097 into CTC (for contract and test case).
3098 * sem_ch6.adb (Process_PPCs): Generate Check pragmas from
3099 Contract_Case pragmas, similarly to what is done already for
3101 * sem_prag.adb, sem_prag.ads (Check_Contract_Or_Test_Case):
3102 Renaming of Check_Test_Case.
3103 (Analyze_Pragma, Sig_Flags): Take into account the new pragma.
3104 * sem_util.adb, sem_util.ads Renaming to take into account the
3105 new pragma, so that functions which applied only to Test_Case
3106 now apply to both Test_Case and Contract_Case.
3107 * par-prag.adb, sem_warn.adb, snames.ads-tmpl Take into account
3110 2012-03-15 Robert Dewar <dewar@adacore.com>
3112 * sem_ch6.ads: Minor comment updates.
3113 * sem_ch12.adb: Minor comment clarification.
3115 2012-03-15 Robert Dewar <dewar@adacore.com>
3117 * sem_ch5.adb: Minor reformatting.
3119 2012-03-15 Ed Schonberg <schonberg@adacore.com>
3121 * exp_ch3.adb (Expand_N_Object_Declaration): When rewriting the
3122 declaration of a class-wide object, retain the Ekind to prevent
3123 subsequent misuse of constants.
3125 2012-03-15 Yannick Moy <moy@adacore.com>
3127 * gnat_rm.texi, gnat_ugn.texi: Minor correction of invariant
3130 2012-03-15 Hristian Kirtchev <kirtchev@adacore.com>
3132 * exp_util.adb (Initialized_By_Ctrl_Function): Add code to
3133 process the case when a function call appears in object.operation
3136 2012-03-15 Ed Schonberg <schonberg@adacore.com>
3138 * sem_ch6.ads, sem_ch6.adb (Check_Subtype_Conformant): add
3139 Get_Inst formal, so that conformance within an instantiation
3140 follows renamings of formals. This is similar to what is already
3141 done in Check_Mode_conformant.
3142 * sem_ch12.adb (Vailidate_Access_Subprogram_Instance): check that
3143 formal and actual are subtype conformant. Previously only mode
3144 conformance was required.
3146 2012-03-15 Robert Dewar <dewar@adacore.com>
3148 * par-ch6.adb, einfo.ads, sem_eval.adb, sem_eval.ads,
3149 sem_case.adb: Minor reformatting.
3151 2012-03-15 Robert Dewar <dewar@adacore.com>
3153 * exp_attr.adb (Expand_N_Attribute_Reference): Add handling
3154 of First_Valid/Last_Valid.
3155 * sem_attr.adb (Check_First_Last_Valid): New procedure
3156 (Analyze_Attribute): Add handling of First_Valid and Last_Valid
3157 (Eval_Attribute): ditto.
3158 * snames.ads-tmpl: Add entries for First_Valid and Last_Valid.
3160 2012-03-15 Ed Schonberg <schonberg@adacore.com>
3162 * exp_ch5.adb (Expand_Predicated_Loop): Suppress warnings on
3163 loop variable, for the unusual case where the range has a single
3164 element and the loop variable has no visible assignment to it.
3166 2012-03-15 Vincent Pucci <pucci@adacore.com>
3168 * exp_ch4.adb (Expand_N_Quantified_Expression): Expand the
3169 original quantified expression node.
3170 * sem_ch4.adb (Analyze_Quantified_Expression): Properly analyze
3171 the quantified expression and preserve the original non-analyzed
3172 quantified expression when an expansion is needed.
3173 * sem_ch5.adb (Analyze_Iteration_Scheme): Special treatment
3174 for quantified expressions.
3175 (Analyze_Iterator_Specification): Special treatment for quantified
3178 2012-03-15 Ed Falis <falis@adacore.com>
3180 * s-vxwork-ppc.ads: Update FP_CONTEXT so name of former pad
3181 field matches VxWorks headers.
3183 2012-03-14 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
3185 * gcc-interface/Makefile.in (mips-sgi-irix6*): Remove.
3187 * a-intnam-irix.ads, mlib-tgt-specific-irix.adb,
3188 s-intman-irix.adb, s-mastop-irix.adb, s-osinte-irix.adb,
3189 s-osinte-irix.ads, s-proinf-irix-athread.adb,
3190 s-proinf-irix-athread.ads, s-taprop-irix.adb, s-tasinf-irix.ads,
3191 system-irix-n32.ads, system-irix-n64.ads, system-irix-o32.ads:
3194 * adaint.c [__mips && __sgi]: Remove.
3195 (__gnat_number_of_cpus) [__mips && __sgi]: Remove.
3196 [IS_CROSS && !(__mips && __sgi)]: Remove.
3197 * adaint.h [sgi && _LFAPI]: Remove.
3198 * cstreams.c (__gnat_full_name) [sgi]: Remove.
3199 * env.c (__gnat_unsetenv) [__mips && __sgi]: Remove.
3200 (__gnat_clearenv) [__mips && __sgi]: Remove.
3201 * errno.c (_SGI_MP_SOURCE): Remove.
3202 * gsocket.h [sgi]: Remove.
3203 * init.c: Remove IRIX reference.
3205 * link.c [sgi]: Remove.
3206 * s-oscons-tmplt.c [__mips && __sgi] (IOV_MAX): Don't define.
3207 (main) [__mips && __sgi] (MAX_tv_sec): Don't define.
3208 (CLOCK_SGI_FAST, CLOCK_SGI_CYCLE): Remove.
3209 * sysdep.c [sgi]: Remove.
3210 (getc_immediate_common) [sgi]: Remove.
3211 (__gnat_localtime_tzoff) [sgi]: Remove.
3212 * terminals.c [__mips && __sgi] (IRIX): Don't define.
3213 [IRIX] (USE_GETPTY): Don't define.
3214 (allocate_pty_desc) [USE_GETPTY]: Remove.
3216 * g-traceb.ads: Remove IRIX reference.
3217 * g-trasym.ads: Likewise.
3218 * memtrack.adb: Likewise.
3219 * s-interr-sigaction.adb: Likewise.
3221 * gnat_rm.texi (Implementation Advice): Remove SGI info.
3222 (Implementation Defined Characteristics): Likewise.
3223 * gnat_ugn.texi (Summary of Run-Time Configurations, mips-irix):
3225 (Irix-Specific Considerations): Remove.
3227 2012-03-13 Tristan Gingold <gingold@adacore.com>
3229 * gcc-interface/gigi.h (flag_vms_malloc64): Refine condition.
3231 2012-03-13 Tristan Gingold <gingold@adacore.com>
3233 * sysdep.c: Adjust condition after removal of __osf__.
3235 2012-03-12 Eric Botcazou <ebotcazou@adacore.com>
3237 * gcc-interface/gigi.h (shift_unc_components_for_thin_pointers): Kill.
3238 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Array_Type>: Remove call
3240 * gcc-interface/trans.c (Attribute_to_gnu) <Attr_Pool_Address>: Adjust
3241 handling of thin pointers.
3242 <Attr_Descriptor_Size>: Likewise.
3243 (gnat_to_gnu) <N_Free_Statement>: Likewise.
3244 * gcc-interface/utils.c (shift_unc_components_for_thin_pointers): Kill.
3245 (convert_to_fat_pointer): Adjust handling of thin pointers.
3246 (convert) <POINTER_TYPE>: Likewise.
3247 * gcc-interface/utils2.c (build_unary_op) <INDIRECT_REF>: Likewise.
3249 2012-03-12 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
3251 * gcc-interface/Makefile.in (alpha*-dec-osf*): Remove.
3252 * a-intnam-tru64.ads, mlib-tgt-specific-tru64.adb,
3253 s-mastop-tru64.adb, s-osinte-tru64.adb, s-osinte-tru64.ads,
3254 s-taprop-tru64.adb, s-tasinf-tru64.ads, s-taspri-tru64.ads,
3255 system-tru64.ads: Remove.
3257 * adaint.c (__gnat_number_of_cpus) [__alpha__ && __osf__]:
3259 [IS_CROSS] [!(__alpha__ && __osf__)]: Remove.
3260 * env.c [__alpha__ && __osf__]: Remove.
3261 * gsocket.h (_OSF_SOURCE): Remove.
3262 (HAVE_THREAD_SAFE_GETxxxBYyyy) [__osf__]: Remove.
3263 * init.c [__alpha__ && __osf__]: Remove.
3264 * link.c [__osf__]: Remove.
3265 * s-oscons-tmplt.c [__alpha__ && __osf__]: Remove.
3266 [__osf__ && !_SS_MAXSIZE]: Remove.
3267 * sysdep.c [__osf__]: Remove.
3268 * terminals.c [__alpha__ && __osf__]: Remove.
3271 * g-traceb.ads: Remove Tru64 reference.
3272 * g-trasym.ads: Likewise.
3273 * gnat_ugn.texi (Linking a Mixed C++ & Ada Program): Likewise.
3274 (Summary of Run-Time Configurations): Likewise.
3275 * memtrack.adb: Likewise.
3277 2012-03-12 Tristan Gingold <gingold@adacore.com>
3279 * gcc-interface/decl.c (gnat_to_gnu_param): Use flag_vms_malloc64
3280 instead of TARGET_MALLOC64.
3281 * gcc-interface/gigi.h (flag_vms_malloc64): Define instead
3284 2012-03-09 Robert Dewar <dewar@adacore.com>
3286 * a-direct.adb, comperr.adb, freeze.adb: Minor reformatting.
3288 2012-03-09 Arnaud Charlet <charlet@adacore.com>
3290 * s-taskin.adb (Initialize_ATCB): Set Task_Image_Len to
3291 0 so that we never access this field uninitialized (e.g. in
3292 Task_Primitives.Operations.Enter_Task for the environment task).
3294 2012-03-09 Vincent Pucci <pucci@adacore.com>
3296 * exp_ch5.adb (Expand_Iterator_Loop):
3297 Call to Expand_Iterator_Loop_Over_Array added.
3298 (Expand_Iterator_Loop_Over_Array): New routine. Expansion of
3299 "of" iterator loop over arrays. Multidimensional array case added.
3301 2012-03-09 Eric Botcazou <ebotcazou@adacore.com>
3303 * uintp.ads: Fix minor pasto in comment.
3305 2012-03-09 Vasiliy Fofanov <fofanov@adacore.com>
3307 * a-direct.adb: Do not strip the trailing directory separator
3308 from path, as this is already done inside Normalize_Pathname;
3309 doing it again produces the wrong result on Windows for the
3310 drive's root dir (i.e. "X:\" becomes "X:").
3312 2012-03-09 Thomas Quinot <quinot@adacore.com>
3314 * exp_attr.adb, freeze.adb, sem_attr.adb, aspects.adb, aspects.ads,
3315 sem_ch13.adb, snames.ads-tmpl (Exp_Attr.Expand_N_Attribute_Reference):
3316 Add Attribute_Scalar_Storage_Order.
3317 (Sem_Attr.Analyze_Attribute, Eval_Attribute): Ditto.
3318 (Aspects): Add Aspect_Scalar_Storage_Order (Snames): Add
3319 Name_Scalar_Storage_Order and Attribute_Scalar_Storage_Order.
3320 (Sem_Ch13.Analyze_Attribute_Definition_Clause): Add processing
3321 for Scalar_Storage_Order.
3322 (Freeze): If Scalar_Storage_Order is specified, check that it
3323 is compatible with Bit_Order.
3325 2012-03-09 Robert Dewar <dewar@adacore.com>
3327 * s-osinte-linux.ads, sem_util.adb, s-taprop-linux.adb, exp_ch4.adb,
3328 a-strsup.ads, sem_ch6.adb, a-stwisu.ads, exp_ch3.adb,
3329 a-stzsup.ads: Minor reformatting.
3331 2012-03-09 Thomas Quinot <quinot@adacore.com>
3333 * s-ransee-vms.adb: Minor reformatting.
3335 2012-03-09 Arnaud Charlet <charlet@adacore.com>
3337 * comperr.adb (Delete_SCIL_Files): Fix handling of
3338 N_Package_Renaming_Declaration and N_Generic_Package_Declaration.
3340 2012-03-09 Javier Miranda <miranda@adacore.com>
3342 * sem_ch6.adb (Check_Body_To_Inline): In AAMP and VM targets
3343 use frontend inlining at all optimization levels.
3344 * sem_util.adb (Must_Inline): In AAMP and VM targets, given that
3345 there is no inlining support in the backend, use also frontend
3346 inlining when compiling with optimizations enabled.
3347 * exp_ch6.adb (Expand_Call): Minor code reorganization.
3349 2012-03-09 Eric Botcazou <ebotcazou@adacore.com>
3351 * gcc-interface/ada-tree.h (TYPE_VAX_FLOATING_POINT_P): Move around.
3352 (TYPE_UNCONSTRAINED_ARRAY): Adjust comment.
3353 * gcc-interface/trans.c (Attribute_to_gnu) <Attr_Pool_Address>: Tidy
3354 up. Add comment and use canonical predicate for thin pointers.
3355 (gnat_to_gnu) <N_Free_Statement>: Tidy up and reorder. Add comment
3356 and use canonical predicate for thin pointers.
3357 * gcc-interface/utils.c (convert_to_fat_pointer): Remove superfluous
3358 'else' and use standard name.
3359 (convert_to_thin_pointer): Delete.
3360 (convert) <POINTER_TYPE>: Do the difference in sizetype directly and
3361 change obsolete idioms. Do not call above function.
3362 (unchecked_convert): Fix formatting.
3363 * gcc-interface/utils2.c (build_unary_op) <INDIRECT_REF>: In the thin
3364 pointer case, use byte_position to get the field position.
3366 2012-03-07 Eric Botcazou <ebotcazou@adacore.com>
3368 * gcc-interface/decl.c (gnat_to_gnu_entity): Do not set flags on the
3369 DECL node built for a type which has a non-trivial equivalent type.
3371 2012-03-07 Eric Botcazou <ebotcazou@adacore.com>
3373 * gcc-interface/gigi.h (rest_of_type_decl_compilation): Delete.
3374 * gcc-interface/decl.c (defer_finalize_level): Likewise.
3375 (defer_finalize_list): Likewise.
3376 (gnat_to_gnu_entity): Delete references to above variables and do not
3377 call rest_of_type_decl_compilation.
3378 (rest_of_type_decl_compilation): Delete.
3379 (rest_of_type_decl_compilation_no_defer): Likewise.
3380 * gcc-interface/utils.c (rest_of_record_type_compilation): Do not call
3381 rest_of_type_decl_compilation.
3382 (create_type_decl): Likewise.
3383 (update_pointer_to): Likewise.
3385 2012-03-07 Eric Botcazou <ebotcazou@adacore.com>
3387 * gcc-interface/trans.c (Identifier_to_gnu): Don't unshare initializer.
3388 (add_decl_expr): Mark external DECLs as used.
3389 * gcc-interface/utils.c (convert) <CONSTRUCTOR>: Copy the vector.
3391 2012-03-07 Tristan Gingold <gingold@adacore.com>
3393 * s-ransee-vms.adb: New file.
3394 * gcc-interface/Makefile.in: Use s-ransee-vms.adb on VMS.
3395 * gcc-interface/Make-lang.in: Update dependencies.
3397 2012-03-07 Bob Duff <duff@adacore.com>
3399 * rtsfind.ads: Add support for finding Super_String types.
3400 * sem_util.ads, sem_util.adb (Is_Bounded_String): New function
3401 to determine whether a given type is a bounded string type.
3402 (Is_Fully_Initialized_Type): Return True for bounded
3403 string types, to suppress bogus warnings.
3404 * exp_ch4.adb (Expand_Composite_Equality): Special case for bounded
3405 strings: equality composes. This allows us to remove default values in
3407 * a-strsup.ads, a-stwisu.ads, a-stzsup.ads: Update comments.
3408 * exp_ch3.adb (Expand_Freeze_Record_Type): Comment.
3410 2012-03-07 Robert Dewar <dewar@adacore.com>
3412 * sem_util.adb, exp_ch4.adb, exp_ch6.adb, sem_ch6.adb: Minor
3415 2012-03-07 Sergey Rybin <rybin@adacore.com frybin>
3417 * gnat_ugn.texi: gnatpp: fix paragraph about sources with
3418 preprocessor directives.
3420 2012-03-07 Arnaud Charlet <charlet@adacore.com>
3422 * s-osinte-linux.ads, s-taprop-linux.adb (prctl): New function.
3423 (Enter_Task): Call prctl when relevant.
3425 2012-03-07 Tristan Gingold <gingold@adacore.com>
3427 * s-osinte-vms.ads: pthread_mutex_setname_np: new function.
3429 2012-03-07 Ed Schonberg <schonberg@adacore.com>
3431 * sem_ch6.adb (Process_Formals): a generic subprogram with
3432 a formal incomplete type does not require a freeze node.
3434 2012-03-07 Bob Duff <duff@adacore.com>
3436 * sem_util.ads: Minor reformatting.
3438 2012-03-07 Geert Bosch <bosch@adacore.com>
3440 * targparm.ads: New target parameter Atomic_Sync_Default,
3442 * targparm.adb (Get_Target_Parameters): Add processing for
3443 Atomic_Sync_Default.
3444 * gnat1drv.adb (Adjust_Global_Switches): Adjust Supress_Options
3447 2012-03-07 Javier Miranda <miranda@adacore.com>
3449 * sem_ch3.adb (Analyze_Object_Declaration): If the object
3450 declaration has an init expression then stop the analysis of the
3451 object declaration if the expression which initializes the object
3452 is a call to an inlined function which returns an unconstrained
3453 and has been expanded into a procedure call.
3454 * sem_ch5.adb (Has_Call_Using_Secondary_Stack): Add missing
3455 support to handle selected components.
3456 * sem_ch6.ads (Cannot_Inline): Adding parameter Is_Serious plus
3458 * sem_ch6.adb (Check_And_Build_Body_To_Inline): New
3459 subprogram which implements the checks required by the
3460 new rules for frontend inlining and builds the body to inline.
3461 (Analyze_Subprogram_Body_Helper): Move code that
3462 checks inlining of subprogram that has nested subprogram
3463 to Check_And_Build_Body_To_Inline. Replace call to
3464 Build_Body_To_Inline by call to the new subprogram
3465 Check_And_Build_Body_To_Inline.
3466 (Cannot_Inline): New implementation.
3467 * sem_ch12.adb (Analyze_Package_Instantiation.Must_Inline_Subp):
3469 * sem_util.ad[sb] (Must_Inline): New subprogram.
3470 (Returns_Unconstrained_Type): New subprogram.
3471 * sem_res.adb (Resolve_Call): Do not create a transient scope
3473 * inline.ads (Analyzing_Inlined_Bodies): Remove unreferenced variable.
3474 * inline.adb (Analyze_Inlined_Bodies, Initialize): Remove setting
3475 to false the variable Analyzing_Inlined_Bodies. Fix comments.
3476 * exp_ch4.adb (Expand_N_Allocator): Fix handling of finalization master.
3477 * exp_ch6.ads (List_Inlining_Info): New subprogram.
3478 * exp_ch6.adb (Expand_Call.Do_Inline): New subprogram.
3479 (Expand_Call.Do_Inline_Always): New subprogram.
3480 (In_Unfrozen_Instance): Move the declaration of this subprogram.
3481 (Expand_Inlined_Call.Reset_Dispatching_Calls): New subprogram.
3482 (Expand_Inlined_Call): Adding new support for inlining functions
3483 that return unconstrained types.
3484 (List_Inlining_Info): New subprogram.
3485 * debug.adb Document flags -gnatd.j and -gnatd.k
3486 * gnat1drv.adb Add call to generate the new listing of inlined
3487 calls and calls passed to the backend.
3489 2012-03-07 Robert Dewar <dewar@adacore.com>
3491 * sem_ch5.adb, s-vaflop.adb, s-taprop-vms.adb, exp_ch6.adb,
3492 s-gearop.adb, sem_ch6.adb, g-trasym.adb: Minor reformatting.
3494 2012-03-07 Javier Miranda <miranda@adacore.com>
3496 * a-ngrear.ads: Add documentation.
3498 2012-03-07 Tristan Gingold <gingold@adacore.com>
3500 * s-taprop-vms.adb (Create_Task): set thread name.
3501 * s-osinte-vms.ads (pthread_attr_setname_np): Declare.
3503 2012-03-07 Arnaud Charlet <charlet@adacore.com>
3505 * g-trasym.adb: Minor reformatting.
3507 2012-03-07 Robert Dewar <dewar@adacore.com>
3509 * a-ngrear.ads: Minor addition of ??? comment.
3511 2012-03-07 Gary Dismukes <dismukes@adacore.com>
3513 * exp_ch4.adb (Apply_Accessibility_Check): Call
3514 Remove_Side_Effects in the build-in-place case, to ensure that
3515 we capture the call and don't end up with two calls.
3517 2012-03-07 Javier Miranda <miranda@adacore.com>
3519 * exp_ch6.adb (Expand_Inlined_Call): Skip inlining of functions
3520 that return unconstrained types using an extended return statement
3521 since the support for inlining these functions has not been yet
3522 added to the frontend.
3523 * s-vaflop.adb, s-vaflop-vms-alpha.adb: Code reorganization.
3524 * a-ngrear.ads: Replace all the Inline_Always pragmas by pragma
3526 * a-ngrear.adb (Eigenvalues, Transpose): Restructured to use
3527 extended return statement.
3528 * a-strsup.adb, a-stzsup.adb, a-stwisu.adb (Concat, Super_Slice,
3529 Super_To_String): Restructured to use extended return statement.
3530 * a-chahan.adb (To_Basic, To_Lower, To_Upper): Restructured to
3531 use extended return statement.
3532 * s-gearop.adb (Diagonal, Matrix_Elementwise_Operation,
3533 Vector_Elementwise_Operation, Matrix_Elementwise_Operation,
3534 Matrix_Matrix_Scalar_Elementwise_Operation,
3535 Vector_Vector_Elementwise_Operation,
3536 Vector_Vector_Scalar_Elementwise_Operation,
3537 Matrix_Scalar_Elementwise_Operation,
3538 Vector_Scalar_Elementwise_Operation,
3539 Scalar_Matrix_Elementwise_Operation,
3540 Scalar_Vector_Elementwise_Operation, Matrix_Matrix_Product,
3541 Matrix_Vector_Product, Outer_Product, Unit_Matrix, Unit_Vector,
3542 Vector_Matrix_Product): Restructured to use extended return
3545 2012-03-07 Vincent Pucci <pucci@adacore.com>
3547 * sem_ch5.adb (One_Bound): Minor reformatting.
3549 2012-03-07 Tristan Gingold <gingold@adacore.com>
3551 * s-osinte-vms-ia64.adb, s-osinte-vms-ia64.ads, s-osinte-vms.adb,
3552 s-osinte-vms.ads, gcc-interface/Makefile.in: Merge s-osinte-vms and
3555 2012-03-07 Ed Schonberg <schonberg@adacore.com>
3557 * checks.adb (Apply_Predicate_Check): Do not generate a predicate
3558 check is the context is an internally generated type-specific
3560 * sem_ch6.adb (Process_PPCs); the formals of internally generated
3561 type-specific functions do not get assertion checks.
3563 2012-03-07 Yannick Moy <moy@adacore.com>
3565 * gnat_rm.texi: Minor renaming of title.
3566 * gnat_ugn.texi: Minor correction.
3568 2012-03-07 Vincent Pucci <pucci@adacore.com>
3570 * exp_ch4.adb (Expand_N_Quantified_Expression): Minor
3572 * sem_ch4.adb (Analyze_Quantified_Expression): Creation and
3573 analysis of the iteration scheme added in all cases.
3574 * sem_ch5.adb (Analyze_Iteration_Scheme): Minor reformating.
3575 (Analyze_Iterator_Specification): Minor reformating.
3576 * sem_res.adb (Resolve_Quantified_Expression): Resolution of
3577 the condition added in all cases.
3579 2012-03-07 Thomas Quinot <quinot@adacore.com>
3581 * einfo.adb, einfo.ads: Add flag Reverse_Storage_Order.
3583 2012-03-07 Yannick Moy <moy@adacore.com>
3585 * gnat_rm.texi, gnat_ugn.texi: Rewording of GNAT UG and GNAT RM to
3586 account for Ada 2012 assertions, and their pragma counterparts in GNAT.
3588 2012-03-07 Thomas Quinot <quinot@adacore.com>
3590 * exp_attr.adb, sem_attr.adb: Minor reformatting.
3592 2012-03-07 Bob Duff <duff@adacore.com>
3594 * hostparm.ads (Max_Instantiations): Increase parameter.
3596 2012-03-07 Bob Duff <duff@adacore.com>
3598 * par-prag.adb: Minor code rearrangement.
3600 2012-03-07 Bob Duff <duff@adacore.com>
3602 * a-strsup.ads, a-stwisu.ads, a-stzsup.ads (Super_String):
3603 Remove default initial value for Data. It is no longer needed
3604 because "=" now composes properly for untagged records. This
3605 default has caused efficiency problems.
3607 2012-03-07 Ed Schonberg <schonberg@adacore.com>
3609 * sem_res.adb (Resolve_Actuals): If the actual is a selected
3610 component of an anonymous access type, whose prefix is a variable,
3611 treat the variable as if it may be modified by the call, to
3612 suppress spurious warnings that a variable might be declared as
3615 2012-03-07 Thomas Quinot <quinot@adacore.com>
3617 * einfo.adb, einfo.ads: Remove unused entity flags.
3619 2012-03-07 Eric Botcazou <ebotcazou@adacore.com>
3621 * gnat_ugn.texi (Inline Assembler): Fix swapping of Input and
3622 Output operands throughout.
3624 2012-03-07 Hristian Kirtchev <kirtchev@adacore.com>
3626 * sem_ch12.adb (Earlier): When two nodes come from the same
3627 generic instantiation, compare their locations. Otherwise always
3628 use the top level locations of the nodes.
3630 2012-03-07 Thomas Quinot <quinot@adacore.com>
3632 * einfo.ads, sem_prag.adb: Minor reformatting.
3634 2012-03-05 Jason Merrill <jason@redhat.com>
3636 * gcc-interface/Make-lang.in (doc/gnat_ugn.texi): Build xgnatugn
3639 2012-03-04 Eric Botcazou <ebotcazou@adacore.com>
3641 * gnatvsn.ads (Library_Version): Bump to 4.8.
3643 2012-03-03 H.J. Lu <hongjiu.lu@intel.com>
3645 * init.c (__gnat_adjust_context_for_raise): Also check
3646 "orq $0x0,(%esp)" for x32.
3648 * link.c (__gnat_default_libgcc_subdir): Set to libx32 for x32.
3650 * gcc-interface/Makefile.in (arch): Set to x32 if MULTISUBDIR
3651 is /x32 and add support for x32.
3653 2012-02-29 Eric Botcazou <ebotcazou@adacore.com>
3655 * gcc-interface/decl.c (components_to_record): Add ARTIFICIAL parameter
3656 and set TYPE_ARTIFICIAL according to it. Adjust recursive call.
3657 (gnat_to_gnu_entity) <E_Record_Type>: Adjust call to above function.
3658 * gcc-interface/utils.c (rest_of_record_type_compilation): Do not
3659 invoke rest_of_type_decl_compilation on the parallel type, if any.
3661 2012-02-29 Eric Botcazou <ebotcazou@adacore.com>
3663 * gcc-interface/utils.c (gnat_write_global_declarations): Make sure the
3664 dummy global built for global types is preserved.
3666 2012-02-27 Tristan Gingold <gingold@adacore.com>
3668 * gcc-interface/decl.c (gnat_to_gnu_entity) [E_String_Type,
3669 E_Array_Type]: Reuse dummy fat type for gnu_ptr_template and
3672 2012-02-27 Eric Botcazou <ebotcazou@adacore.com>
3674 * gcc-interface/ada-tree.h (TYPE_PACKED_ARRAY_TYPE_P): Add checking.
3675 (TYPE_BY_REFERENCE_P): New flag.
3676 (TYPE_IS_BY_REFERENCE_P): New macro.
3677 (TYPE_DUMMY_P): Add checking and remove VOID_TYPE.
3678 (TYPE_IS_DUMMY_P): Adjust for above change.
3679 * gcc-interface/decl.c (gnat_to_gnu_entity): Use TYPE_BY_REFERENCE_P
3680 and TYPE_IS_BY_REFERENCE_P instead of TREE_ADDRESSABLE.
3681 (gnat_to_gnu_param): Likewise.
3682 (maybe_pad_type): Likewise.
3683 (make_type_from_size): Use TYPE_IS_PACKED_ARRAY_TYPE_P.
3684 * gcc-interface/misc.c (must_pass_by_ref): Use TYPE_IS_BY_REFERENCE_P
3685 instead of TREE_ADDRESSABLE.
3686 * gcc-interface/trans.c (finalize_nrv): Likewise.
3687 (call_to_gnu): Likewise. Do not create a temporary for return values
3688 with by-reference type here.
3689 (gnat_to_gnu): Test TYPE_IS_DUMMY_P instead of TYPE_DUMMY_P.
3690 (gnat_gimplify_expr) <ADDR_EXPR>: Don't do anything for non-constant
3691 CONSTRUCTORs and calls.
3692 * gcc-interface/utils.c (make_dummy_type): Get the equivalent type of
3693 the underlying type and use it throughout. Use TYPE_IS_BY_REFERENCE_P
3694 instead of TREE_ADDRESSABLE.
3695 * gcc-interface/utils2.c (build_cond_expr): Deal with by-reference
3698 2012-02-27 Eric Botcazou <ebotcazou@adacore.com>
3700 * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: Revert previous
3701 change that creates a special VAR_DECL for debugging purposes. For an
3702 aliased object with an unconstrained nominal subtype, make its type a
3703 thin reference to the underlying object.
3704 * gcc-interface/utils2.c (build_unary_op) <INDIRECT_REF>: Deal with
3705 expressions built for the initialization of above objects.
3707 2012-02-24 Dave Korn <dave.korn.cygwin@gmail.com>
3709 * gcc-interface/Makefile.in (WIN_SO_PREFIX [windows targets]): New
3710 Windows-specific make variable.
3711 (WIN_SO_INSTALL_DIR [windows targets]): Likewise.
3712 (install-gnatlib): Respect the above during installation when set,
3713 and also install any windows import library that has been built.
3714 (gnatlib-shared-win32): Use WIN_SO_PREFIX to name output DLL and also
3715 build a corresponding import library.
3717 2012-02-22 Robert Dewar <dewar@adacore.com>
3719 * exp_util.adb, make.adb, sem_dim.adb, sem_ch4.adb, exp_disp.adb: Minor
3722 2012-02-22 Geert Bosch <bosch@adacore.com>
3724 * g-bytswa-x86.adb, g-bytswa.adb, gcc-interface/Makefile.in: Remove
3725 x86-specific version of byteswap and use GCC builtins instead.
3727 2012-02-22 Tristan Gingold <gingold@adacore.com>
3729 * gcc-interface/decl.c (gnat_to_gnu_entity) [E_String_Type,
3730 E_Array_Type]: Translate component ealier.
3732 2012-02-22 Robert Dewar <dewar@adacore.com>
3734 * par-ch3.adb (P_Signed_Integer_Type_Definition): Specialize
3735 error message for 'Range.
3737 2012-02-22 Pascal Obry <obry@adacore.com>
3739 * s-taprop-mingw.adb (Finalize_TCB): Do not wait on thread handle as
3740 this is our own thread.
3742 2012-02-22 Sergey Rybin <rybin@adacore.com frybin>
3744 * tree_io.ads: Update ASIS_Version_Number because of the changes
3747 2012-02-22 Hristian Kirtchev <kirtchev@adacore.com>
3749 * exp_ch7.adb (Create_Finalizer): Suppress elaboration checks on
3750 stack-related finalizers.
3752 2012-02-22 Ed Schonberg <schonberg@adacore.com>
3754 * sem_ch6.adb (Analyze_Expression_Function): If the construct
3755 is a completion, indicate that its formals are the formals of
3756 a completion, and as such do not get a cross- reference entry.
3757 (Analyze_Subprogram_Specification): Do not generate a definition
3758 for the entity of an expression function, because it may be a
3759 completion. Definition will be generated if needed when analyzing
3760 the generated subprogram declaration.
3762 2012-02-22 Vincent Celier <celier@adacore.com>
3764 * make.adb (Check): When checking if an object file is in the
3765 correct object directory, get the unit name from a previous call
3766 to Check_Source_Info_In_ALI.
3767 * makeutl.adb (Check_Source_Info_In_ALI): Return the name of
3768 the unit when everything is OK, otherwise return No_Name.
3769 * makeutl.ads (Check_Source_Info_In_ALI): Return Name_Id instead
3772 2012-02-22 Ed Schonberg <schonberg@adacore.com>
3774 * sem_ch4.adb (Find_Equality_Types, Try_One_Interp): In an
3775 instance, the operator is visible if an operand is of some
3776 numeric type which is not in use or directly visible, and the
3777 other operand is a numeric literal.
3779 2012-02-22 Tristan Gingold <gingold@adacore.com>
3781 * init.c: Minor code clean up.
3782 * gcc-interface/Make-lang.in: Update dependencies.
3784 2012-02-22 Arnaud Charlet <charlet@adacore.com>
3786 * gnatlink.adb (Gnatlink): Use -gnatcC in CodePeer_Node,
3787 otherwise GCC will generate an object file.
3789 2012-02-22 Vincent Celier <celier@adacore.com>
3791 * projects.texi: Correct typo related to "**" in Source_Dirs.
3793 2012-02-22 Steve Baird <baird@adacore.com>
3795 * sem_prag.adb (Analyze_PPC_In_Decl_Part): Clean up generation of
3798 2012-02-22 Vincent Pucci <pucci@adacore.com>
3800 * rtsfind.adb (Get_Unit_Name): Ada_Numerics_Child and
3801 System_Dim_Child cases added.
3802 * rtsfind.ads: Ada_Numerics,
3803 Ada_Numerics_Generic_Elementary_Functions, System_Dim,
3804 System_Dim_Float_IO and System_Dim_Integer_IO added to the list
3805 of RTU_Id. Ada_Numerics_Child and System_Dim_Child added as
3806 new RTU_Id subtypes.
3807 * sem_dim.adb (Is_Dim_IO_Package_Entity): Use of
3808 Rtsfind to verify the package entity is located either
3809 in System.Dim.Integer_IO or in System.Dim.Float_IO.
3810 (Is_Dim_IO_Package_Instantiation): Minor
3811 changes. (Is_Elementary_Function_Call): Removed.
3812 (Is_Elementary_Function_Entity): New routine.
3813 (Is_Procedure_Put_Call): Is_Dim_IO_Package_Entity call added.
3814 * snames.ads-tmpl: Name_Dim and Name_Generic_Elementary_Functions
3817 2012-02-22 Vincent Pucci <pucci@adacore.com>
3819 * sem_prag.adb: Minor reformatting.
3821 2012-02-22 Ed Schonberg <schonberg@adacore.com>
3823 * sem_ch3.adb (Find_Type_Name): When analyzing a private type
3824 declaration that is the completion of a tagged incomplete type, do
3825 not associate the class-wide type already created with the private
3826 type to prevent order-of-elaboration issues in the back-end.
3827 * exp_disp.adb (Find_Specific_Type): Find specific type of
3828 a class-wide type, and handle the case of an incomplete type
3829 coming either from a limited_with clause or from an incomplete
3830 type declaration. Used when expanding a dispatchin call and
3831 generating tag checks (minor refactoring).
3833 2012-02-22 Robert Dewar <dewar@adacore.com>
3835 * exp_ch5.adb: Add comment.
3836 * sem_ch12.adb, exp_ch6.adb: minor reformatting
3838 2012-02-22 Ed Schonberg <schonberg@adacore.com>
3840 * freeze.adb (Freeze_Entity): Do not perform type layout within
3843 2012-02-22 Eric Botcazou <ebotcazou@adacore.com>
3845 * init.c (__gnat_error_handler) [Linux]: Map SIGBUS to
3848 2012-02-22 Ed Schonberg <schonberg@adacore.com>
3850 * exp_ch5.adb (Expand_N_Assignment_Statement): Reject an
3851 assignment to a classwide type whose type is limited, as
3852 can happen in an instantiation in programs that run afoul or
3855 2012-02-17 Ed Schonberg <schonberg@adacore.com>
3857 * exp_ch6.adb (Legal_Copy): If layout is not
3858 determined in the front-end, do not emit error message when
3859 by-reference actual is potentially unaligned.
3860 * gcc-interface/decl.c (gnat_to_gnu_field): Better error message for
3861 illegal representation clause on tagged or aliased component, or on
3862 by-reference type with forced alignment.
3864 2012-02-17 Nicolas Roche <roche@adacore.com>
3866 * gcc-interface/Makefile.in: Ensure FORCE_DEBUG_ADAFLAGS variables is
3867 propagated by gnatlib-sjlj and gnatlib-zcx targets.
3868 * gcc-interface/Make-lang.in: Update dependencies.
3870 2012-02-17 Thomas Quinot <quinot@adacore.com>
3872 * sem_ch12.adb (Analyze_Package_Instantiation): For an
3873 instantiation in an RCI library unit, omit the instance body
3874 if the RCI library unit is the instance itself (E.2.3(18)),
3875 but include the body if the instantiation is within the RCI
3876 declaration (12.3(12)).
3878 2012-02-17 Steve Baird <baird@adacore.com>
3880 * sem_prag.adb (Analyze_PPC_In_Decl_Part): Pre'Class and
3881 Post'Class aspects can only be specified for a primitive operation
3884 2012-02-17 Yannick Moy <moy@adacore.com>
3886 * gnat_rm.texi: Minor shuffling.
3888 2012-02-17 Ed Schonberg <schonberg@adacore.com>
3890 * aspects.adb: Expression functions can carry pre/postconditions.
3891 * par-ch6.adb (P_Subprogram): look for optional pre/postconditions
3892 in an expression function.
3893 * sem_prag (Check_Precondition_Postcondition): legal on expression
3896 2012-02-17 Vincent Pucci <pucci@adacore.com>
3898 * a-cdlili.adb, a-cidlli.adb, a-cihama.adb, a-cimutr.adb,
3899 * a-ciorma.adb, a-cohama.adb, a-coinve.adb, a-comutr.adb,
3900 * a-convec.adb, a-coorma.adb (Adjust): New routine.
3901 (Constant_Reference): Increment Busy and Lock counters.
3902 (Reference): Increase Busy and Lock counters.
3903 (Finalize): New routine.
3904 * a-cihase.adb, a-ciorse.adb, a-cohase.adb, a-coorse.adb:
3905 (Adjust): New routine. (Constant_Reference): Increment Busy
3907 (Finalize): New routine.
3908 * a-cdlili.ads, a-cidlli.ads, a-cihama.ads, a-cihase.ads,
3909 * a-cimutr.ads, a-ciorma.ads, a-ciorse.ads, a-cohama.ads,
3910 * a-cohase.ads, a-coinve.ads, a-comutr.ads, a-convec.ads,
3911 * a-coorma.ads, a-coorse: Controlled component added to the
3914 2012-02-17 Robert Dewar <dewar@adacore.com>
3916 * restrict.adb (Check_Restriction): Add special handling for
3917 No_Obsolescent_Features.
3919 2012-02-17 Hristian Kirtchev <kirtchev@adacore.com>
3921 * exp_util.adb (Find_Finalize_Address): When dealing with an
3922 internally built full view for a type with unknown discriminants,
3923 use the original record type.
3925 2012-02-17 Robert Dewar <dewar@adacore.com>
3927 * sem_dim.adb: Minor reformatting.
3929 2012-02-17 Yannick Moy <moy@adacore.com>
3931 * gnat_rm.texi: Minor rewording.
3933 2012-02-17 Thomas Quinot <quinot@adacore.com>
3935 * sem_aggr.adb: Minor reformatting.
3937 2012-02-17 Robert Dewar <dewar@adacore.com>
3939 * gnat_ugn.texi: Update doc for -gnatw.m to include 2*x case.
3941 2012-02-17 Vincent Pucci <pucci@adacore.com>
3943 * sem_dim.adb (Is_Dim_IO_Package_Entity): New routine.
3944 (Is_Dim_IO_Package_Instantiation): Is_Dim_IO_Package_Entity
3946 (Is_Procedure_Put_Call): Is_Dim_IO_Package_Entity
3948 * s-dim.ads: Make package Pure.
3950 2012-02-17 Gary Dismukes <dismukes@adacore.com>
3952 * prj-nmsc.adb: Minor reformatting.
3954 2012-02-17 Yannick Moy <moy@adacore.com>
3956 * gnat_rm.texi: Update GNAT RM with a separate chapter on restrictions.
3958 2012-02-17 Yannick Moy <moy@adacore.com>
3960 * gnat_ugn.texi: Fix typos.
3962 2012-02-17 Pascal Obry <obry@adacore.com>
3964 * prj-nmsc.adb: prj-nmsc.adb (Check_Aggregated): Check that an
3965 aggregate is not Externally_Built.
3967 2012-02-17 Ed Schonberg <schonberg@adacore.com>
3969 * sem_aggr.adb (Resolve_Record_Aggregate): If a composite
3970 component has a box association, copy the default value using
3971 the current scope as the scope of internal types, to prevent
3972 scoping anomalies in gigi.
3974 2012-02-17 Robert Dewar <dewar@adacore.com>
3976 * sem_dim.adb, sem_dim.ads, s-tasren.adb, prj.adb, prj.ads, freeze.adb,
3977 sem_res.adb, exp_ch4.adb, sinput.adb, sinput.ads, exp_aggr.adb,
3978 exp_intr.adb, s-os_lib.adb: Minor reformatting.
3980 2012-02-17 Ed Schonberg <schonberg@adacore.com>
3982 * sem_ch6.adb (Is_Non_Overriding_Operation): Add warning if the
3983 old operation is abstract, the relevant type is not abstract,
3984 and the new subprogram fails to override.
3986 2012-02-15 Eric Botcazou <ebotcazou@adacore.com>
3988 * gcc-interface/trans.c (Identifier_to_gnu): Move block retrieving the
3989 type of the result to the end and execute it for a deferred constant of
3990 a discriminated type whose full view can be elaborated statically.
3992 2012-02-15 Eric Botcazou <ebotcazou@adacore.com>
3994 * gcc-interface/trans.c (gnat_to_gnu) <N_Qualified_Expression>: If the
3995 type is tagged, mark it as used for debugging purposes.
3996 <N_Allocator>: Likewise for a qualified expression.
3998 2012-02-15 Eric Botcazou <ebotcazou@adacore.com>
4000 * gcc-interface/trans.c (call_to_gnu): Create the temporary for the
4001 return value in the by-reference return type case if this isn't the
4002 expression of an object declaration. Tidy up.
4004 2012-02-09 Tristan Gingold <gingold@adacore.com>
4006 * gcc-interface/Makefile.in: Remove .sym rule (not used).
4007 Remove adamsg.o object (requires native message compiler).
4008 * init.c (CMA$_EXIT_THREAD, MTH$_FLOOVEMAT, SS$_INTDIV): Define as a
4009 macro instead of as extern int.
4010 (ADA$_ALREADY_OPEN, ADA$_CONSTRAINT_ERRO, ADA$_DATA_ERROR)
4011 (ADA$_DEVICE_ERROR, ADA$_END_ERROR, ADA$_FAC_MODE_MISMAT)
4012 (ADA$_IOSYSFAILED, ADA$_KEYSIZERR, ADA$_KEY_MISMATCH)
4013 (ADA$_LAYOUT_ERROR, ADA$_LINEXCMRS, ADA$_MAXLINEXC)
4014 (ADA$_MODE_ERROR, ADA$_MRN_MISMATCH, ADA$_MRS_MISMATCH)
4015 (ADA$_NAME_ERROR, ADA$_NOT_OPEN, ADA$_ORG_MISMATCH)
4016 (ADA$_PROGRAM_ERROR, ADA$_RAT_MISMATCH, ADA$_RFM_MISMATCH)
4017 (ADA$_STAOVF, ADA$_STATUS_ERROR, ADA$_STORAGE_ERROR)
4018 (ADA$_UNSUPPORTED, ADA$_USE_ERROR): Likewise.
4019 (struct cond_except): Field cond is now an unsigned int.
4020 (dec_ada_cond_except_table): Adjust.
4021 (cond_except_table): Likewise.
4022 (cond_resignal_table): Likewise.
4023 (__gnat_default_resignal_p): Fix style.
4025 2012-02-08 Vincent Celier <celier@adacore.com>
4027 * gcc-interface/Make-lang.in: Add g-byorma.o to gnatbind objects
4028 (g-buorma is now imported by sinput).
4029 Update dependencies.
4030 * scn.adb (Initialize_Scanner): Call Check_For_BOM
4031 * sinput-p.adb (Source_File_Is_Subunit): Call Check_For_BOM
4032 * sinput.adb: New procedure Check_For_BOM
4033 * sinput.ads: New procedure Check_For_BOM
4035 2012-02-08 Vincent Pucci <pucci@adacore.com>
4037 * impunit.adb: Dimension package names updated
4038 * Makefile.rtl: s-dim added
4039 * sem_dim.adb (Is_Procedure_Put_Call): minor changes
4040 (Is_Dim_IO_Package_Instantiation): minor changes
4041 * sem_dim.ads: minor changes in comments
4042 * snames.ads-tmpl: Name_Dim added Name_Dim_Float_IO and
4043 Name_Dim_Integer_IO removed
4044 * s-dim.ads: New package. Define the dimension terminology.
4045 * s-diflio.adb, s-diinio.adb, s-dimkio.ads, s-dimmks.ads,
4046 * s-dmotpr.ads: Package names updated.
4047 * s-diflio.ads, s-diinio.ads: Documentation added and package
4050 2012-02-08 Gary Dismukes <dismukes@adacore.com>
4052 * gcc-interface/utils2.c (build_call_alloc_dealloc_proc): Revise test
4053 for storage pools to test for an underlying record type rather than
4054 testing Is_Tagged_Type, so that simple storage pools will be handled
4055 the same as normal Ada storage pools.
4057 2012-02-08 Yannick Moy <moy@adacore.com>
4059 * gnat_rm.texi: Minor reshuffling to place restriction at
4062 2012-02-08 Bob Duff <duff@adacore.com>
4064 * warnsw.adb (Set_Warning_Switch): Set Warn_On_Suspicious_Modulus_Value
4065 False for '-gnatwA', to suppress these warnings.
4067 2012-02-08 Vincent Celier <celier@adacore.com>
4069 * sinput-p.adb (Source_File_Is_Subunit): Check for BOM before
4070 starting to scan, so that UTF8 encoding is taken into account.
4072 2012-02-08 Arnaud Charlet <charlet@adacore.com>
4074 * s-tasren.adb, s-tasren.ads (Internal_Complete_Rendezvous): New
4076 (Complete_Rendezvous): Now call Internal_Complete_Rendezvous.
4077 (Exceptional_Complete_Rendezvous): Mark No_Return.
4079 2012-02-08 Eric Botcazou <ebotcazou@adacore.com>
4081 * exp_aggr.adb (Compile_Time_Known_Composite_Value):
4082 New predicate to compute whether a composite value can be
4083 evaluated at compile time.
4084 (Component_Not_OK_For_Backend): Use Compile_Time_Known_Value for all
4085 expressions of elementary type and Compile_Time_Known_Composite_Value
4086 for all other expressions.
4087 (Expand_Record_Aggregate): Convert to assignments in the case
4088 of a type with mutable components if the aggregate cannot be
4091 2012-02-08 Gary Dismukes <dismukes@adacore.com>
4093 * aspects.ads (type Aspect_Id): Add Simple_Storage_Pool_Type.
4094 (Impl_Defined_Aspects): Add association for
4095 Aspect_Simple_Storage_Pool_Type.
4097 association for Aspect_Simple_Storage_Pool_Type.
4099 (Canonical_Aspect): Add association for Simple_Storage_Pool_Type.
4100 * exp_attr.adb (Expand_N_Attribute_Reference):
4101 Change name to Name_Simple_Storage_Pool_Type.
4102 * exp_ch4.adb (Expand_N_Allocator): Change
4103 name to Name_Simple_Storage_Pool_Type.
4104 * exp_intr.adb (Expand_Unc_Deallocation): Change name to
4105 Name_Simple_Storage_Pool_Type. * freeze.adb (Freeze_Entity):
4106 Change names to Name_Simple_Storage_Pool_Type. * par-prag.adb:
4107 Change names to Name_Simple_Storage_Pool_Type. * sem_attr.adb:
4108 (Analyze_Attribute): Change name to Name_Simple_Storage_Pool_Type.
4109 * sem_ch13.adb (Analyze_Attribute_Definition_Clause):
4110 Change name to Name_Simple_Storage_Pool_Type.
4112 (Analyze_Pragma): Change name to Name_Simple_Storage_Pool_Type.
4113 (Sig_Flags): Change name to Name_Simple_Storage_Pool_Type.
4114 * sem_res.adb (Resolve_Allocator): Change name to
4115 Name_Simple_Storage_Pool_Type. * snames.ads-tmpl:
4116 (Name_Simple_Storage_Pool_Type): New name constant.
4117 (type Pragma_Id): Change name to Name_Simple_Storage_Pool_Type and
4118 move to main pragma section because it no longer matches the
4120 * snames.adb-tmpl (Get_Pragma_Id): Remove test for
4121 Name_Simple_Storage_Pool.
4122 (Is_Pragma_Name): Remove test for Name_Simple_Storage_Pool.
4124 2012-02-08 Robert Dewar <dewar@adacore.com>
4126 * gnat_ugn.texi: Add some clarification to -gnatwA and -gnatws.
4128 2012-02-08 Pascal Obry <obry@adacore.com>
4130 * prj.adb (Compute_All_Imported_Projects): Use new
4131 For_Project_And_Aggregated_Context to ensure proper context is
4132 used for encapsulated aggregate libraries.
4133 * prj-proc.adb (Recursive_Process): Call
4134 Process_Aggregated_Projects earlier to ensure that all dependent
4135 projects are set with the proper encapsulated status.
4137 2012-02-08 Pascal Obry <obry@adacore.com>
4139 * s-os_lib.adb (Normalize_Arguments): Properly escape last \ in null
4142 2012-02-08 Pascal Obry <obry@adacore.com>
4144 * prj.ads, prj.adb (For_Project_And_Aggregated_Context): New
4145 generic routine with a context parameter.
4147 2012-02-08 Robert Dewar <dewar@adacore.com>
4149 * a-coinve.adb, sem_util.adb, sem_ch8.adb, a-cobove.adb,
4150 a-convec.adb: Minor reformatting and code reorganization.
4152 2012-02-08 Steve Baird <baird@adacore.com>
4154 * sem_cat.adb (In_Preelaborated_Unit): A child
4155 unit instantiation does not inherit preelaboration requirements
4158 2012-02-08 Gary Dismukes <dismukes@adacore.com>
4160 * aspects.ads (type Aspect_Id): Add Aspect_Simple_Storage_Pool.
4161 (Impl_Defined_Aspects): Add entry for Aspect_Simple_Storage_Pool.
4162 (Aspect_Argument): Add Name entry for Aspect_Simple_Storage_Pool.
4163 (Aspect_Names): Add entry for Aspect_Simple_Storage_Pool.
4164 * aspects.adb (Canonical_Aspect): Add entry for
4165 Aspect_Simple_Storage_Pool.
4166 * exp_attr.adb (Expand_N_Attribute_Reference): Handle case of
4167 Attribute_Simple_Storage_Pool in the same way as Storage_Pool
4168 (add conversion, analyze/resolve). For the Storage_Size attribute,
4169 for the simple pool case, locate and use the simple pool type's
4170 Storage_Size function (if any), otherwise evaluate to zero.
4171 * exp_ch4.adb (Expand_N_Allocator): In the case of an allocator
4172 for an access type with an associated simple storage pool,
4173 locate and use the pool type's Allocate.
4174 * exp_intr.adb (Expand_Unc_Deallocation): In the case where the
4175 access type has a simple storage pool, locate the pool type's
4176 Deallocate procedure (if present) and use it as the procedure
4177 to call on the Free operation.
4178 * freeze.adb (Freeze_Entity): In the case of a full type for
4179 a private type defined with pragma Simple_Storage_Pool, check
4180 that the full type is also appropriate for the pragma. For
4181 a simple storage pool type, validate that the operations
4182 Allocate, Deallocate (if present), and Storage_Size
4183 (if present) are defined with appropriate expected profiles.
4184 (Validate_Simple_Pool_Op_Formal): New procedure
4185 (Validate_Simple_Pool_Operation): New procedure Add with and
4187 * par-prag.adb: Add Pragma_Simple_Storage_Pool to case statement
4188 (no action required).
4189 * sem_attr.adb (Analyze_Attribute): For the case of the
4190 Storage_Pool attribute, give a warning if the prefix type has an
4191 associated simple storage pool, and rewrite the attribute as a
4192 raise of Program_Error. In the case of the Simple_Storage_Pool
4193 attribute, check that the prefix type has an associated simple
4194 storage pool, and set the attribute type to the pool's type.
4195 * sem_ch13.adb (Analyze_Aspect_Specifications): Add
4196 Aspect_Simple_Storage_Pool case choice.
4197 (Analyze_Attribute_Definition_Clause): Add
4198 Aspect_Simple_Storage_Pool to case for Ignore_Rep_Clauses
4199 (no action). Add handling for Simple_Storage_Pool attribute
4200 definition, requiring the name to denote a simple storage pool
4202 (Check_Aspect_At_Freeze_Point): For a simple storage pool
4203 aspect, set the type to that of the name specified for the aspect.
4204 * sem_prag.adb (Analyze_Pragma): Add handling for pragma
4205 Simple_Storage_Pool, requiring that it applies to a library-level
4206 type declared in a package declaration that is a limited private
4207 or limited record type.
4208 * sem_res.adb (Resolve_Allocator): Flag an attempt to call a
4209 build-in-place function in an allocator for an access type with
4210 a simple storage pool as unsupported.
4211 * snames.ads-tmpl: Add Name_Simple_Storage_Pool.
4212 (type Attribute_Id): Add Attribute_Simple_Storage_Pool.
4213 (type Pragma_Id): Add Pragma_Simple_Storage_Pool.
4214 * snames.adb-tmpl (Get_Pragma_Id): Handle case of
4215 Name_Simple_Storage_Pool.
4216 (Is_Pragma_Name): Return True for Name_Simple_Storage_Pool.
4218 2012-02-08 Cyrille Comar <comar@adacore.com>
4220 * projects.texi: Clarify doc for interfaces.
4222 2012-02-07 Eric Botcazou <ebotcazou@adacore.com>
4224 * gcc-interface/Make-lang.in (GCC_LINKERFLAGS): New variable.
4227 2012-02-01 Tristan Gingold <gingold@adacore.com>
4229 * gcc-interface/trans.c (Loop_Statement_to_gnu): Use sizetype
4230 instead of size_type_node.
4232 2012-01-30 Nicolas Roche <roche@adacore.com>
4234 * gcc-interface/Make-lang.in: Update dependencies.
4235 * gcc-interface/Makefile.in: Use system-vxworks-system-ppc-mils.ads
4237 Remove Linker_Options -crtbe when building sjlj run-time.
4239 2012-01-30 Robert Dewar <dewar@adacore.com>
4241 * sem.adb (Analyze): Call Analyze_Mod for N_Op_Mod mode.
4242 * sem_ch3.adb (Modular_Type_Declaration): Warn on mod value of
4243 form 2 * small-literal.
4244 * sem_ch4.adb (Analyze_Mod): New procedure (warn on suspicious
4246 * sem_ch4.ads (Analyze_Mod): New procedure.
4248 2012-01-30 Ed Schonberg <schonberg@adacore.com>
4250 * sem_ch6.adb: sem_ch6.adb (Analyze_Expression_Function): Copy
4251 types and return expression when building spec for implicit
4252 body, to preserve global references that may be present in an
4255 2012-01-30 Matthew Heaney <heaney@adacore.com>
4257 * a-convec.adb, a-coinve.adb, a-cobove.adb (Sort,
4258 Reverse_Elements): Check for cursor tampering.
4260 2012-01-30 Ed Schonberg <schonberg@adacore.com>
4262 * sem_util.adb (Is_Fully_Initialized_Type): In Ada 2012, a
4263 type with aspect Default_Value or Default_Component_Value is
4264 fully initialized, and use of variables of such types do not
4267 2012-01-30 Javier Miranda <miranda@adacore.com>
4270 * sem_ch8.adb (Analyze_Subprogram_Renaming):
4271 Handle self-renaming when the renamed entity is referenced using
4274 2012-01-30 Vincent Celier <celier@adacore.com>
4276 * projects.texi: Add documentation for attribute Interfaces.
4278 2012-01-30 Hristian Kirtchev <kirtchev@adacore.com>
4280 * exp_ch7.adb (Build_Finalizer_Call): Set loc again.
4281 * exp_ch11.adb (Expand_At_End_Handler): Do not provide a source
4282 location for the wrapped call to the original AT_END routine
4283 and the subsequent return statement.
4285 2012-01-30 Pascal Obry <obry@adacore.com>
4287 * s-rannum.adb: Minor reformatting.
4289 2012-01-30 Hristian Kirtchev <kirtchev@adacore.com>
4291 * a-calend-vms.adb, a-calend.adb: Increment the number of leap seconds
4292 to 25 and add the hard time value for 2012-06-30.
4294 2012-01-30 Robert Dewar <dewar@adacore.com>
4296 * a-strhas.ads, einfo.adb, einfo.ads, exp_ch7.adb, exp_ch9.adb,
4297 freeze.adb, prj.adb, prj.ads, prj-nmsc.adb, prj-proc.adb, s-llflex.ads,
4298 s-ransee.adb, s-ransee.ads, sem_ch13.adb, sem_dim.adb, sem_prag.adb:
4299 Minor reformatting/code reorganization.
4301 2012-01-30 Thomas Quinot <quinot@adacore.com>
4303 * s-rannum.adb, s-ransee.adb, s-ransee.ads (Get_Seed): Return
4304 Unsigned_64 rather than Duration.
4305 (System.Random_Numbers.Reset): Use full value of seed
4306 (do not truncate sub-second bits).
4308 2012-01-30 Thomas Quinot <quinot@adacore.com>
4310 * sem_cat.adb, sem_ch12.adb: Minor reformatting.
4312 2012-01-30 Yannick Moy <moy@adacore.com>
4314 * gnat_ugn.texi: Minor correction of GNAT UG, to take into
4315 account changes to -gnatwa and more recent warnings.
4317 2012-01-30 Hristian Kirtchev <kirtchev@adacore.com>
4319 * exp_ch7.adb (Build_Finalizer_Call): Do not provide a source
4320 location when creating a call to a finalizer.
4321 * exp_ch11.adb (Expand_Exception_Handlers): Do not provide
4322 a source location for the first actual of Save_Occurrence for
4325 2012-01-30 Ed Schonberg <schonberg@adacore.com>
4327 * einfo.ads, einfo,adb: New attribute on scalar types:
4328 Default_Aspect_Value New attribute on array types:
4329 Default_Aspect_Component_Value Move attribute Related_Array_Object
4330 to a different position to accomodate new aspect attributes.
4331 * freeze.adb (Freeze_Entity): Use new attributes to retrieve value
4332 of defaults set with an aspect specification, rather than using
4333 the list of aspects attached to the type, to prevent issues with
4335 * sem_ch13.adb (Analyze_Aspect_Specifications): For aspects
4336 Default_Value and Default_Component _Value, store corresponding
4337 expression in type entity.
4338 (Check_Aspect_At_End_Of_Declaration): If the default aspects
4339 are declared on the full view, use the full view to resolve the
4340 correseponding expression.
4341 * exp_ch3.adb (Init_Component): Use attribute
4342 Default_Aspect_Component_Value to perform default initialization,
4343 rather than relying on the rep item list for the type.
4344 (Get_Simple_Init_Val): Ditto.
4346 2012-01-30 Thomas Quinot <quinot@adacore.com>
4348 * a-strhas.ads: Document risk of collision attack.
4350 2012-01-30 Yannick Moy <moy@adacore.com>
4352 * gnat_ugn.texi: Minor update wrt warning switches.
4354 2012-01-30 Vincent Celier <celier@adacore.com>
4356 * prj-nmsc.adb (Check_Interfaces): Report an error when a
4357 unit from Library_Interface is not a unit of the project.
4359 2012-01-30 Vincent Pucci <pucci@adacore.com>
4361 * sem_prag.adb (Make_Aspect_For_PPC_In_Gen_Sub_Decl): Parent
4362 links fixed inside PPC pragmas.
4363 * sem_ch12.adb: Move call to Make_Aspect_For_PPC_In_Gen_Sub_Decl.
4365 2012-01-30 Thomas Quinot <quinot@adacore.com>
4367 * s-ransee.ads: Minor reformatting.
4369 2012-01-30 Pascal Obry <obry@adacore.com>
4371 * prj.ads, prj.adb (For_Each_Source): Add support for skipping
4372 sources coming from an encapsulated library.
4374 2012-01-30 Ed Schonberg <schonberg@adacore.com>
4376 * sem_ch3.adb (Process-Full_View): fix typo.
4377 * sem_ch13.adb (Aalyze_Aspect_Specifications): if predicates
4378 appear on a private type and the full view is available, ensure
4379 existence of freeze node for full view.
4380 (Build_Predicate_Function): Attach predicate function to both
4381 views of a private type.
4383 2012-01-30 Vincent Celier <celier@adacore.com>
4385 * prj-nmsc.adb (Check_Interfaces): Compute the Lib_Interface_ALIs
4386 for the project if either attribute Library_Interface or
4387 Interfaces is declared.
4388 (Check_Stand_Alone_Library): Use Lib_Interface_ALIs computed in
4391 2012-01-30 Pascal Obry <obry@adacore.com>
4393 * prj-proc.adb (Recursive_Process): Set From_Encapsulated_Lib
4394 boolean value to true in the process list created by this routine.
4395 * prj.ads (Project_List_Element): New field From_Encapsulated_Lib.
4396 Continued work for KA06-021.
4397 * prj.adb (Compute_All_Imported_Projects): Set
4398 From_Encapsulated_Lib boolean flag.
4400 2012-01-30 Vincent Pucci <pucci@adacore.com>
4402 * sem_dim.adb (Expand_Put_Call_With_Dimension_Symbol): Minor
4404 * s-diflio.ads: Minor change.
4406 2012-01-30 Javier Miranda <miranda@adacore.com>
4408 * exp_ch9.adb (Build_Dispatching_Requeue): Add missing call
4409 to Get_Entry_Index. Required to generate code which provides
4410 the correct value of Entry_Index in the target entry.
4412 2012-01-30 Nicolas Roche <roche@adacore.com>
4414 * system-vxworks-ppc.ads: Add pragma Linker_Options -crtbe to
4415 fix issue with zcx on VxWorks5.
4417 2012-01-30 Pascal Obry <obry@adacore.com>
4419 * prj.ads, prj.adb (For_Every_Project_Imported): Remove
4421 (For_Every_Project_Imported_Context): New generic routine with
4422 a context parameter.
4423 * prj-nmsc.adb: Revert to use For_Every_Project_Imported Avoid
4424 distributed complexity.
4425 * prj-env.adb, prj-conf.adb, makeutl.adb, gnatcmd.adb: Ditto.
4427 2012-01-30 Thomas Quinot <quinot@adacore.com>
4429 * exp_aggr.adb (Expand_Record_Aggregate): After creating the
4430 _parent aggregate for an extension aggregate, check whether it
4431 requires delayed (top-down) expansion.
4433 2012-01-30 Vincent Pucci <pucci@adacore.com>
4435 * sem_dim.adb (Expand_Put_Call_With_Dimension_Symbol): Rewritten.
4436 * snames.ads-tmpl: Name_Item and Name_Symbols added.
4437 * s-diflio.adb, s-diflio.ads, s-diinio.adb, s-diinio.ads: Rename
4438 and change the position of parameter Symbols in every Put routine.
4439 * s-dimmks.ads: Convert long float type Mks_Type into long
4441 * s-llflex.ads: Modifications in comments.
4443 2012-01-30 Hristian Kirtchev <kirtchev@adacore.com>
4445 * sem_ch12.adb (Earlier): Do not use the
4446 top level source locations of the two input nodes.
4448 2012-01-30 Robert Dewar <dewar@adacore.com>
4450 * einfo.ads, sem_prag.adb, sem_attr.adb, aspects.ads,
4451 sem_cat.adb, sem_aggr.adb, exp_aggr.adb: Minor reformatting.
4453 2012-01-30 Robert Dewar <dewar@adacore.com>
4455 * a-cdlili.adb, a-cidlli.adb, a-cbdlli.adb: Minor reformatting.
4457 2012-01-30 Olivier Hainque <hainque@adacore.com>
4459 * sigtramp-ppcvxw.c (CFI_COMMON_REGS): Add rule for r1 back +
4462 2012-01-30 Thomas Quinot <quinot@adacore.com>
4464 * gnat_rm.texi, sem_dist.adb, sem_dist.ads, einfo.ads, sem_prag.adb,
4465 sem_ch12.adb, sem_attr.adb, aspects.adb, aspects.ads, par-prag.adb,
4466 sem_cat.adb, snames.ads-tmpl (Sem_Dist.Is_Valid_Remote_Object_Type):
4467 New subprogram (extracted from
4468 Sem_Cat.Validate_Remote_Access_Object_Type_Declaration).
4469 (Einfo.Is_Remote_Types): Now applies to generic types. Update
4470 documentation accordingly.
4471 (Sem_Ch12.Analyze_Associations): A RACW type is acceptable as
4472 actual for a formal type to which a pragma Remote_Access_Type
4474 (Aspects, Par.Prag, Sem_Prag): Support for new pramga/aspect
4476 (Sem_Attr.Analyze_Attribute, case Stub_Type): Attribute can
4477 be applied to a generic type if pragma Remote_Access_Type
4478 applies, in which case the type of the attribute is
4479 System.Partition_Interface.RACW_Stub_Type.
4481 2012-01-27 Eric Botcazou <ebotcazou@adacore.com>
4483 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Procedure>: Do not set
4484 an alignment on fields of the RETURN type built for the CICO mechanism.
4486 2012-01-27 Eric Botcazou <ebotcazou@adacore.com>
4488 * gcc-interface/trans.c (gnat_to_gnu): Avoid making a SAVE_EXPR for
4489 a call to a function that returns an unconstrained type with default
4490 discriminant. Similarly, avoid doing the conversion to the nominal
4491 result type in this case.
4493 2012-01-27 Eric Botcazou <ebotcazou@adacore.com>
4495 * gcc-interface/ada-tree.h (DECL_ALIASED_P): New flag.
4496 * gcc-interface/decl.c (is_variable_size): Rename to...
4497 (type_has_variable_size): ...this.
4498 (adjust_packed): Adjust to above renaming.
4499 (gnat_to_gnu_field): Set DECL_ALIASED_P on the field.
4500 (field_is_artificial): New predicate.
4501 (field_is_aliased): Likewise.
4502 (field_has_self_size): Likewise.
4503 (field_has_variable_size): Likewise.
4504 (components_to_record): Record information for the final layout during
4505 the first pass on fields.
4506 If there is an aliased field placed after a field whose length depends
4507 on discriminants, put all the fields of the latter sort, last.
4509 2012-01-27 Eric Botcazou <ebotcazou@adacore.com>
4511 * gcc-interface/gigi.h (get_minimal_subprog_decl): Declare.
4512 * gcc-interface/decl.c (get_minimal_subprog_decl): New function.
4513 * gcc-interface/trans.c (Attribute_to_gnu): Use it for the prefix of an
4514 Access-like attribute in a dispatch table if the subprogram is public.
4516 2012-01-27 Eric Botcazou <ebotcazou@adacore.com>
4518 * gcc-interface/gigi.h (create_label_decl): Adjust.
4519 * gcc-interface/utils.c (create_label_decl): Add GNAT_NODE parameter
4520 and invoke gnat_pushdecl on it. Remove obsolete settings.
4521 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Label>: Adjust call to
4523 * gcc-interface/trans.c (gnat_to_gnu) <N_Null): Likewise. Ignore the
4524 label for debugging purposes.
4526 2012-01-27 Eric Botcazou <ebotcazou@adacore.com>
4528 * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: For an aliased
4529 object with an unconstrained nominal subtype and if optimization isn't
4530 enabled, create a special VAR_DECL for debugging purposes.
4532 2012-01-23 Robert Dewar <dewar@adacore.com>
4534 * sem_prag.ads, sem_prag.adb: Minor reformatting.
4536 2012-01-23 Robert Dewar <dewar@adacore.com>
4538 * sem_ch13.adb (Analyze_Aspect_Specifications): Check for
4539 language defined aspect applied to renaming or formal type
4540 declaration (not permitted)
4542 2012-01-23 Matthew Heaney <heaney@adacore.com>
4544 * a-cdlili.adb, a-cidlli.adb, a-cbdlli.adb (Vet): Replaced
4545 comment with pragma Assert.
4547 2012-01-23 Vincent Pucci <pucci@adacore.com>
4549 * sem_ch12.adb (Analyze_Generic_Subprogram_Declaration): Call
4550 to Make_Aspect_For_PPC_In_Gen_Sub_Decl added in ASIS mode.
4551 * sem_prag.adb, sem_prag.ads (Make_Aspect_For_PPC_In_Gen_Sub_Decl): New
4552 routine. In ASIS mode, convert any PPC pragmas into aspects in generic
4553 subprogram declaration in order to enable the analysis of PPC boolean
4556 2012-01-23 Robert Dewar <dewar@adacore.com>
4558 * sem_ch3.adb (Analyze_Object_Declaration): Properly
4559 handle Current_Value for volatile variables (also propagate
4560 Treat_As_Volatile from type to object).
4562 2012-01-23 Hristian Kirtchev <kirtchev@adacore.com>
4564 * sem_ch12.adb (Install_Body): Detect the case
4565 where the enclosing context is a package with a stub body that
4566 has already been replaced by the actual body. In such cases,
4567 the freeze node for the enclosing context must be inserted after
4570 2012-01-23 Ed Schonberg <schonberg@adacore.com>
4572 * sem_prag.adb (Analyze_Pragma, case Debug): Freeze the called
4573 subprogram before expanding the pragma into an if-statement with
4574 a block, to ensure that when the subprogram is null its body is
4575 properly generated before expansion.
4577 2012-01-23 Hristian Kirtchev <kirtchev@adacore.com>
4579 * sem_ch12.adb (Analyze_Associations): Alphabetize local variables and
4580 constants. Rename Actual_Types to Actuals_To_Freeze. Rename Next_Formal
4582 Freeze all eligible subprograms which appear as actuals in
4584 (Has_Fully_Defined_Profile): New routine.
4585 (Renames_Standard_Subprogram): New routine.
4586 (Earlier): Add local variable N. Comment update. Do not use source
4587 locations when trying to determine whether one node precedes another.
4589 2012-01-23 Gary Dismukes <dismukes@adacore.com>
4591 * exp_ch4.adb (Expand_Concatenate): In the case
4592 where the result of a concatentation can be null, set the to
4593 result have both the low and high bounds of the right operand (not
4594 just the high bound, as was the case prior to this fix). Also,
4595 fix the saved high bound setting (Last_Opnd_High_Bound) in the
4596 empty string literal case (should have been low bound minus one,
4597 rather than plus one).
4599 2012-01-23 Thomas Quinot <quinot@adacore.com>
4601 * scos.ads, put_scos.adb, get_scos.adb (Get_SCOs, Put_SCOs): Do not
4602 omit statement SCOs for disabled pragmas.
4604 2012-01-23 Matthew Heaney <heaney@adacore.com>
4606 * a-cohase.ads, a-cihase.ads, a-cbhase.ads, a-coorse.ads,
4607 a-ciorse.ads, a-cborse.ads, a-cohama.ads, a-cihama.ads, a-cbhama.ads,
4608 a-coorma.ads, a-ciorma.ads, a-cborma.ads, a-cdlili.ads, a-cidlli.ads,
4609 a-cbdlli.ads, a-convec.ads, a-coinve.ads, a-cobove.ads (Cursor'Read,
4610 Cursor'Write): Declare in private part.
4611 (Reference_Type'Read, Reference_Type'Write): Ditto.
4612 (Constant_Reference_Type'Read, Constant_Reference_Type'Write): Ditto.
4614 2012-01-23 Robert Dewar <dewar@adacore.com>
4616 * a-catizo.ads, a-calend.adb, a-calend.ads, par-ch13.adb: Minor
4619 2012-01-23 Ed Schonberg <schonberg@adacore.com>
4621 * sem_ch6.adb (Analyze_Subprogram_Declaration): Do not set the
4622 Corresponding_Body on a defaulted null formal subprogram.
4623 * sem_ch12.adb (Check_Formal_Package_Instance): No check needed
4624 on a defaulted formal subprogram that is a null procedure.
4626 2012-01-23 Hristian Kirtchev <kirtchev@adacore.com>
4628 * exp_ch9.adb: Update the comments involving pragma Implemented.
4629 * sem_ch3.adb (Check_Pragma_Implemented (Entity_Id)): Add local
4630 constant Subp_Alias and local variable Impl_Subp. Properly
4631 handle aliases of synchronized wrappers. Code cleanup.
4632 (Check_Pragma_Implemented (Entity_Id; Entity_Id)): Add
4633 Name_Optional as part of the condition.
4634 * sem_prag.adb (Analyze_Pragma): Add "Optional" as one of the
4635 valid choices of implementation kind.
4636 (Check_Arg_Is_One_Of): New routine.
4637 * snames.ads-tmlp: Add Name_Optional.
4639 2012-01-23 Ed Schonberg <schonberg@adacore.com>
4641 * par-ch13.adb: Better error recovery in illegal aspect
4644 2012-01-23 Hristian Kirtchev <kirtchev@adacore.com>
4646 * a-calend.adb: Add with clause for Interfaces.C. Add constant
4648 (Day_Of_Week): Call the internal UTC_Time_Offset.
4649 (Split): Call the internal UTC_Time_Offset.
4650 (Time_Of): Call the internal UTC_Time_Offset.
4651 (Time_Zone_Operations.UTC_Time_Offset): Call internal UTC_Time_Offset.
4652 (UTC_Time_Offset): New library-level routine.
4653 * a-calend.ads (UTC_Time_Offset): Remove parameter
4654 Is_Historic. Update related comment on usage.
4655 * a-catizo.adb (UTC_Time_Offset): Removed.
4656 (UTC_Time_Offset (Time)): Call Time_Zone_Operations.UTC_Time_Offset.
4657 * a-caltizo.ads (UTC_Time_Offset): Removed.
4658 (UTC_Time_Offset (Time)): Add back the default expression of parameter
4661 2012-01-23 Robert Dewar <dewar@adacore.com>
4663 * sprint.ads, sprint.adb (Sprint_Node_List): Add New_Lines parameter
4664 (pg,po,ps): Make sure each entry starts on new line.
4666 2012-01-23 Hristian Kirtchev <kirtchev@adacore.com>
4668 * a-calend.ads, a-calend.adb: Define types int and int_Pointer. Update
4669 the parameter profile of procedure localtime_tzoff and its associated
4671 (Day_Of_Week): Do not treat the input date as historical
4672 with respect to time zones.
4673 (Split): Do not treat the input
4674 date as historical with respect to time zones. (Time_Of): Do
4675 not treat the input constituents as forming a historical date
4676 with respect to time zones.
4677 (UTC_Time_Offset): Add new formal
4678 parameter Is_Historic. Add local variable Flag. Update the call
4680 * a-catizo.ads, a-catizo.adb (UTC_Time_Offset): New routine.
4681 (UTC_Time_Offset (Time)): Update the call to
4682 Time_Zone_Operations.UTC_Time_Offset.
4683 * sysdep.c (__gnat_localtime_tzoff): Update parameter
4684 profile. Split the processing of offsets on Windows into two - one
4685 part of historic time stamps and the other for the current time.
4687 2012-01-23 Robert Dewar <dewar@adacore.com>
4689 * a-calend.adb: Minor reformatting.
4691 2012-01-23 Ed Schonberg <schonberg@adacore.com>
4693 * exp_ch9.adb, sem_ch9.adb: Handle array of access to synchronized
4694 interface in requeue statement.
4696 2012-01-23 Cyrille Comar <comar@adacore.com>
4698 * projects.texi: Remove references to main units and replace
4699 with references to main programs to be coherent with the
4702 2012-01-23 Robert Dewar <dewar@adacore.com>
4704 * s-utf_32.adb: Minor reformatting.
4706 2012-01-23 Vincent Celier <celier@adacore.com>
4708 * snames.ads-tmpl: Minor comment addition Indicate that
4709 Name_Library_Encapsulated_Options is only used in gprbuild.
4711 2012-01-23 Robert Dewar <dewar@adacore.com>
4713 * sem_ch10.adb (Analyze_Subunit): Properly save/restore cunit
4716 2012-01-23 Ed Schonberg <schonberg@adacore.com>
4718 * snames.ads-tmpl: Add Name_Synchronization.
4719 * aspects.ads, aspects.adb: Add Aspect_Synchronization to
4720 enumeration type and related maps.
4721 * sem_ch13.adb (Analyze_Aspect_Specifications): Handle Aspect
4722 Synchronization, build corresponding pragma Implemented.
4723 * sem_util.adb (Implementation_Kind): Handle both explicit and
4724 implicit pragma_argument association to retrieve the given
4725 synchronization mode.
4727 2012-01-23 Robert Dewar <dewar@adacore.com>
4729 * sem_ch10.adb, errout.adb: Minor reformatting.
4731 2012-01-23 Ed Schonberg <schonberg@adacore.com>
4733 * sem_res.adb (Resolve_Actuals): An actual in a call to an
4734 Ada 2012 Reference function does not lead to a dangerous order
4737 2012-01-23 Gary Dismukes <dismukes@adacore.com>
4739 * exp_util.adb (Is_Iterated_Container): Test
4740 Is_Entity_Name when searching for calls to the default iterator,
4741 to avoid blowing up on indirect calls which have an explicit
4742 dereference as the call name.
4744 2012-01-23 Thomas Quinot <quinot@adacore.com>
4746 * errout.adb (Set_Msg_Node): For an N_Expanded_Name, output
4747 the complete expanded name, rather than just its Selector_Name.
4749 2012-01-23 Thomas Quinot <quinot@adacore.com>
4751 * a-textio.adb (Put): Rewrite one-parameter Character version to
4752 just call the two-parameter one with Current_Out.
4754 2012-01-23 Hristian Kirtchev <kirtchev@adacore.com>
4756 * freeze.adb (Check_Current_Instance): Issue an
4757 error when the prefix of 'Unchecked_Access or 'Access does not
4758 denote a legal aliased view of a type.
4759 (Freeze_Record_Type): Do not halt the processing of record components
4760 once the Has_Controlled_Component is set as this bypasses the remaining
4762 (Is_Aliased_View_Of_Type): New routine.
4764 2012-01-23 Thomas Quinot <quinot@adacore.com>
4766 * errout.ads, freeze.adb: Minor reformatting.
4768 2012-01-23 Thomas Quinot <quinot@adacore.com>
4770 * sem_ch10.adb, sem_prag.adb: Remove redundant apostrophes in error
4773 2012-01-23 Olivier Hainque <hainque@adacore.com>
4775 * adadecode.c (__gnat_decode): Deal with empty input early,
4776 preventing potential erroneous memory access later on.
4778 2012-01-21 Eric Botcazou <ebotcazou@adacore.com>
4781 * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: In the case of a
4782 renaming, preserve the volatileness through the indirection, if any.
4784 2012-01-14 Andreas Schwab <schwab@linux-m68k.org>
4786 * gcc-interface/Makefile.in (OSCONS_EXTRACT): Add
4789 2012-01-10 Pascal Obry <obry@adacore.com>
4791 * prj-nmsc.adb (Check_Library_Attributes):
4792 Kill check for object/source directories for aggregate libraries.
4794 2012-01-10 Matthew Heaney <heaney@adacore.com>
4796 * a-cdlili.adb, a-cdlili.ads, a-cihama.adb, a-cihama.ads, a-coinve.adb,
4797 a-coinve.ads, a-ciorse.adb, a-ciorse.ads, a-coorma.adb, a-coorma.ads,
4798 a-cborma.adb, a-cborma.ads, a-cidlli.adb, a-cidlli.ads, a-cimutr.adb,
4799 a-cimutr.ads, a-cihase.adb, a-cihase.ads, a-cohama.adb, a-cohama.ads,
4800 a-coorse.adb, a-coorse.ads, a-cbhama.adb, a-cbhama.ads, a-cborse.adb,
4801 a-cborse.ads, a-comutr.adb, a-comutr.ads, a-ciorma.adb, a-cobove.adb,
4802 a-ciorma.ads, a-cobove.ads, a-convec.adb, a-convec.ads, a-cohase.adb,
4803 a-cohase.ads, a-cbdlli.adb, a-cbdlli.ads, a-cbmutr.adb, a-cbmutr.ads,
4804 a-cbhase.adb, a-cbhase.ads (Reference, Constant_Reference): Declare
4805 container parameter as aliased in/in out.
4808 2012-01-10 Bob Duff <duff@adacore.com>
4810 * s-os_lib.ads: Improve comment.
4812 2012-01-10 Geert Bosch <bosch@adacore.com>
4814 * s-gearop.adb (Forward_Eliminate): Avoid improper aliasing
4817 2012-01-10 Bob Duff <duff@adacore.com>
4819 * sem_intr.adb (Check_Shift): Use RM_Size instead of Esize, when
4820 checking that the 'Size is correct. If the type is "mod 2**12",
4821 for example, it's illegal, but Esize is the 'Object_Size, which
4822 will be something like 16 or 32, so the error ('Size = 12) was
4824 * gnat_rm.texi: Improve documentation of shift
4825 and rotate intrinsics.
4827 2012-01-10 Pascal Obry <obry@adacore.com>
4829 * prj.adb (For_Every_Project_Imported): Fix
4830 implementation to make sure we return each project only once
4831 for aggragte libraries. It is fine to return a project twice for
4832 aggregate projects, this was the case as a Project_Id is different
4833 in each project tree. The new implementation use a table based on
4834 the project name to ensure proper detection of duplicate project
4835 in aggregate library. A new context is then created to continue
4836 retrurning duplicate project for aggregate libraries.
4838 2012-01-09 Eric Botcazou <ebotcazou@adacore.com>
4840 * gcc-interface/trans.c (call_to_gnu): Create the temporary for the
4841 return value in the variable-sized return type case if the target is
4842 an array with fixed size. However, do not create it if this is the
4843 expression of an object declaration.
4845 2012-01-09 Eric Botcazou <ebotcazou@adacore.com>
4847 * gcc-interface/trans.c (addressable_p) <COMPONENT_REF>: Fix thinko.
4849 2012-01-06 Robert Dewar <dewar@adacore.com>
4851 * a-wichha.ads, a-wichun.ads, a-zchhan.ads, a-zchuni.ads,
4852 s-utf_32.ads: Add pragma Pure
4853 * s-utf_32.adb: Suppress warnings on non-static constants (now
4856 2012-01-06 Bob Duff <duff@adacore.com>
4858 * s-rpc.ads (Read, Write): Add overriding indicators.
4860 2012-01-06 Robert Dewar <dewar@adacore.com>
4862 * gnat_rm.texi: Add documentation for conventions
4863 Ada_Pass_By_Copy and Ada_Pass_By_Reference.
4865 2012-01-06 Gary Dismukes <dismukes@adacore.com>
4867 * a-tienio.adb (Put): Add exception message on
4868 raise statements. Remove unneeded blocks and object declarations.
4870 2012-01-06 Robert Dewar <dewar@adacore.com>
4872 * sem_prag.adb: Minor reformatting.
4874 2012-01-06 Ed Schonberg <schonberg@adacore.com>
4876 * sinfo.ads, sinfo.adb (Has_Prefixed_Call): New flag to indicate
4877 that a selected component within a generic unit has been resolved
4878 as a prefixed call with local references.
4879 * sem_ch3.adb (Is_Visible_Component): In an instance body a selected
4880 component is always visible.
4881 * sem_ch4.adb (Analyze_Selected_Component): If the node is a
4882 prefixed call in an instance, do not look for visible components
4884 * sem_ch12.adb (Reset_Entity): If a selected component has resolved
4885 to a prefixed call, mark the node accordingly when prefix and
4886 selector are local references.
4888 2012-01-02 Eric Botcazou <ebotcazou@adacore.com>
4890 * gnatvsn.ads (Current_Year): Bump to 2012.
4892 Copyright (C) 2012 Free Software Foundation, Inc.
4894 Copying and distribution of this file, with or without modification,
4895 are permitted in any medium without royalty provided the copyright
4896 notice and this notice are preserved.