1 2004-10-04 Laurent GUERBY <laurent@guerby.net>
4 * Makefile.in: Define and use RANLIB_FLAGS.
6 2004-10-04 Pascal Obry <obry@gnat.com>
8 * tracebak.c: Always set LOWEST_ADDR to 0 on Win32 (as done on all
11 2004-10-04 Olivier Hainque <hainque@act-europe.fr>
13 * s-tassta.adb (Task_Wrapper): Make it Convention C, which makes sense
14 in general and triggers stack alignment adjustment for thread entry
15 points on targets where this is necessary.
17 2004-10-04 Bernard Banner <banner@gnat.com>
21 * Makefile.in: Add section for powerpc linux
22 Add variant i-vxwork-x86.ads
24 * i-vxwork-x86.ads, system-linux-ppc.ads: New files.
26 2004-10-04 Olivier Hainque <hainque@act-europe.fr>
28 * init.c (__gnat_initialize): Call an Ada subprogram to perform the
29 table registration calls when need be. Ensures no reference to the crt
30 ctors symbol are issued in the SJLJ case, which avoids possible
31 undefined symbol errors in the case of modules to be statically linked
34 2004-10-04 Javier Miranda <miranda@gnat.com>
36 * sem_ch4.adb (Try_Object_Operation): Reformat the code to expand
37 in-line the code corresponding to subprogram Analyze_Actuals. In
38 addition, analyze the actuals only in case of subprogram call.
40 2004-10-04 Ed Falis <falis@gnat.com>
42 * s-vxwork-x86.ads: (FP_CONTEXT): Defined to be correct size
44 2004-10-04 Sergey Rybin <rybin@act-europe.fr>
46 * g-dirope.ads (Base_Name): Clarify the meaning of the Suffix parameter
49 2004-10-04 Robert Dewar <dewar@gnat.com>
51 * sem_ch5.adb (Unblocked_Exit_Count): Now used for blocks as well as
53 (Analyze_Block_Statement): Add circuitry to detect following dead code
54 (Check_Unreachable_Code): Handle case of block exit
56 2004-10-04 Robert Dewar <dewar@gnat.com>
58 * g-spipat.adb: (XMatch): Avoid warning for Logic_Error call
59 (XMatchD): Avoid warning for Logic_Error call
61 2004-10-04 Robert Dewar <dewar@gnat.com>
63 * exp_ch4.adb (Is_Procedure_Actual): Correct so that this does not
64 consider expressions buried within a procedure actual to be an actual.
65 This caused some blowups with uses of packed slices within a procedure
68 2004-10-04 Robert Dewar <dewar@gnat.com>
70 * exp_ch3.adb (Needs_Simple_Initialization): Modular packed arrays no
71 longer need to be initialized to zero.
72 (Get_Simple_Init_Val): Modular packed arrays no longer need to be
75 * checks.adb (Expr_Known_Valid): Packed arrays are now always
76 considered valid, even if the representation is modular. That's correct
77 now that we no longer initialize packed modular arrays to zero.
79 * exp_dbug.ads: Clarify documentation on handling of PAD and JM
80 suffixes. These are now documented as the only cases in which the
81 debugger ignores outer records.
82 Previously, the spec allowed arbitrary suffixes for this purpose.
83 Change name of LJM to JM for packed array pad records
84 Create separate section on packed array handling, and add a whole new
85 set of comments to this section describing the situation with packed
86 modular types and justification requirements depending on endianness.
88 2004-10-04 Robert Dewar <dewar@gnat.com>
90 * a-except.adb: Add a comment for last change
92 * einfo.ads: Minor spelling correction in comment
94 * exp_pakd.adb, gnatdll.adb, prj-attr.ads: Minor reformatting
96 * sem_ch11.adb: Fix a case of using | instead of \ for continuation
99 * sem_util.ads: Minor comment update
101 2004-10-04 Ed Schonberg <schonberg@gnat.com>
103 * sem_ch6.adb (Analyze_Subprogram_Body): Do not treat Inline as
104 Inline_Always when in Configurable_Run_Time mode.
106 * sem_prag.adb (Process_Convention): If entity is an inherited
107 subprogram, apply convention to parent subprogram if in same scope.
108 (Analyze_Pragma, case Inline): Do not treat Inline as Inline_Always
109 when in Configurable_Run_Time mode.
111 2004-10-04 Ed Schonberg <schonberg@gnat.com>
113 * sem_ch3.adb (Build_Derived_Record_Type): Set First/Last entity of
114 class_wide type after component list has been inherited.
116 2004-10-04 Ed Schonberg <schonberg@gnat.com>
118 * sem_ch12.adb (Check_Generic_Actuals): New predicate
119 Denotes_Previous_Actual, to handle properly the case of a private
120 actual that is also the component type of a subsequent array actual.
121 The visibility status of the first actual is not affected when the
123 (Process_Nested_Formal): Subsidiary of Instantiate_Formal_Package, to
124 make fully recursive the treatment of formals of packages declared
126 (Restore_Nested_Formal): Subsidiary of Restore_Private_Views, to undo
127 the above on exit from an instantiation.
128 (Denotes_Formal_Package): When called from Restore_Private_Views, ignore
129 current instantiation which is now complete.
130 (Analyze_Package_Instantiation): No instantiated body is needed if the
131 main unit is generic. Efficient, and avoid anomalies when a instance
132 appears in a package accessed through rtsfind.
134 2004-10-04 Ed Schonberg <schonberg@gnat.com>
136 * exp_ch6.adb (Expand_N_Function_Call): If stack checking is enabled,
137 do not generate a declaration for a temporary if the call is part of a
138 library-level instantiation.
140 2004-10-04 Ed Schonberg <schonberg@gnat.com>
142 * sem_util.adb (Explain_Limited_Type): Ignore internal components when
143 searching for a limited component to flag.
145 * exp_attr.adb (Freeze_Stream_Subprogram): Subsidiary procedure to
146 expansion of Input, to account for the fact that the implicit call
147 generated by the attribute reference must freeze the user-defined
148 stream subprogram. This is only relevant to 'Input, because it can
149 appear in an object declaration, prior to the body of the subprogram.
151 * sem_ch13.adb (Rep_Item_Too_Late): Make the error non-serious, so that
152 expansion can proceed and further errors uncovered.
153 (Minor clean up): Fix cases of using | instead of \ for continuation
156 2004-10-04 Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
158 * cuintp.c, decl.c, utils2.c: Use gcc_assert and gcc_unreachable.
160 * trans.c (assoc_to_constructor): Fix unused var warning if no checking.
161 (gnat_gimplify_expr, case ADDR_EXPR): Fix error in last change.
162 Use gcc_assert and gcc_unreachable.
164 * decl.c (gnat_to_gnu_entity, case object): Check and process a
165 specified alignment before validating size.
166 (gnat_to_gnu_entity) <E_Modular_Integer_Subtype>: Create a
167 stripped-down declaration for the type of the inner field when making
170 * utils.c (finish_record_type): Do not compute the size in units
171 incrementally. Instead compute it once for the rep clause case.
172 Use gcc_assert and gcc_unreachable.
174 2004-10-04 Vincent Celier <celier@gnat.com>
176 * a-dirval-mingw.adb (Invalid_Character): Add '\' as invalid character
178 (Is_Valid_Path_Name): Take '/' as a directory separator.
180 2004-10-04 Vincent Celier <celier@gnat.com>
182 * prj-part.adb (Parse_Single_Project): Call Is_Extending_All
183 (Extended_Project) only if Extended_Project is defined, to avoid
185 (Post_Parse_Context_Clause): Always call Set_Path_Name_Of with a
187 (Parse_Single_Project): Ditto.
189 * prj-env.adb (Set_Ada_Paths.Add.Recursive_Add): Do not call
190 Add_To_Project_Path for virtual projects.
192 2004-10-04 Vincent Celier <celier@gnat.com>
194 * mlib-tgt-tru64.adb, mlib-tgt-aix.adb, mlib-tgt-irix.adb,
195 mlib-tgt-hpux.adb, mlib-tgt-linux.adb, mlib-tgt-solaris.adb,
196 mlib-tgt-vms-alpha.adb, mlib-tgt-vms-ia64.adb, mlib-tgt-mingw.adb,
197 mlib-tgt-vxworks.adb, mlib-tgt.adb (Build_Dynamic_Library): New
200 * mlib-prj.ads, mlib-prj.adb (Build_Library): Call
201 Build_Dynamic_Library with an empty Options_2.
203 * mlib-utl.ads, mlib-utl.adb (Gcc): Parameter Options_2 has no
206 * makegpr.adb (Get_Imported_Directories.add): Remove trailing
207 directory separator, if any.
208 (Gprmake): Do not allow mains on the command line for library projects.
209 Do not attempt to link when the project is a library project.
210 (Library_Opts): New table to store Library_Options.
211 (Build_Library): If Library_Options is specified, pass these options
212 when building a shared library.
214 2004-10-04 Jose Ruiz <ruiz@act-europe.fr>
216 * s-tposen.adb (Service_Entry): The object must be always unlocked at
217 the end of this procedure now that the unlock operation was inserted
220 2004-10-04 Jose Ruiz <ruiz@act-europe.fr>
222 * targparm.ads, targparm.adb (Targparm_Tags): Add PAS value
223 corresponding to the Preallocated_Stacks flags in System.
224 (Get_Target_Parameters): Including the processing for
227 * system.ads, system-vxworks-x86.ads, system-darwin-ppc.ads,
228 system-vms_64.ads, system-unixware.ads, system-linux-ia64.ads,
229 system-freebsd-x86.ads, system-lynxos-ppc.ads, system-lynxos-x86.ads,
230 system-linux-x86_64.ads, system-tru64.ads, system-aix.ads,
231 system-vxworks-sparcv9.ads, system-vxworks-xscale.ads,
232 system-solaris-x86.ads, system-irix-o32.ads, system-irix-n32.ads,
233 system-hpux.ads, system-vxworks-m68k.ads, system-linux-x86.ads,
234 system-vxworks-mips.ads, system-os2.ads, system-interix.ads,
235 system-solaris-sparc.ads, system-solaris-sparcv9.ads, system-vms.ads,
236 system-mingw.ads, system-vms-zcx.ads, system-vxworks-ppc.ads,
237 system-vxworks-alpha.ads: Add the flag Preallocated_Stacks, that is
238 used to signal whether the compiler creates the required stacks and
239 descriptors for the different tasks (when True) or it is done by the
240 underlying operating system at run time (when False).
241 It is initially set to False in all targets.
243 * exp_ch9.adb (Expand_N_Task_Type_Declaration): Create the task stack
244 if it is supported by the target.
245 (Make_Task_Create_Call): Pass the stack address if it has been
246 previously created. Otherwise pass a Null_Address.
248 * snames.adb: Add _stack.
250 * snames.ads: Add Name_uStack. Required to allow the expander to
251 statically allocated task stacks.
253 * s-tarest.ads, s-tarest.adb (Create_Restricted_Task): Add
254 Stack_Address argument.
255 Check that its value is equal to Null_Address because this target does
256 not support the static stack allocation.
258 2004-10-04 Thomas Quinot <quinot@act-europe.fr>
260 * usage.adb: Change "pragma inline" to "pragma Inline" in information
263 2004-10-04 Thomas Quinot <quinot@act-europe.fr>
265 * exp_dist.adb: Split declaration of asynchronous flag out of
266 Add_RACW_Read_Attribute.
267 Minor reformatting for better alignment with PolyORB version.
268 Store the entity for the asynchronous flag of an RACW, rather than the
269 expression, in the asynchronous flags table. This will allow this flag
270 to be used in other subprograms beside Add_RACW_Read_Attribute.
272 2004-10-04 Thomas Quinot <quinot@act-europe.fr>
274 * g-socket.ads, g-socket.adb, g-socthi.adb, socket.c,
275 g-soccon-aix.ads, g-soccon-irix.ads, g-soccon-hpux.ads,
276 g-soccon-interix.ads, g-soccon-solaris.ads, g-soccon-vms.adb,
277 g-soccon-mingw.ads, g-soccon-vxworks.ads, g-soccon-freebsd.ads,
278 g-soccon.ads, g-soccon-unixware.ads, g-soccon-tru64.ads: Add new
279 sockets constant MSG_NOSIGNAL (Linux-specific).
280 Add new sockets constant MSG_Forced_Flags, list of flags to be set on
282 For Linux, set MSG_NOSIGNAL on all send operations to prevent them
283 from trigerring SIGPIPE.
284 Rename components to avoid clash with Ada 2005 possible reserved
286 (Check_Selector): When the select system call returns with an error
287 condition, propagate Socket_Error to the caller.
289 2004-10-01 Jan Hubicka <jh@suse.cz>
291 * misc.c (gnat_expand_body): Update call of tree_rest_of_compilation.
293 2004-09-23 Robert Dewar <dewar@gnat.com>
297 * sem_prag.adb (Process_Import_Or_Interface): Don't set Is_Public here,
298 instead do this at freeze time (we won't do it if there is an address
300 Change "pragma inline" to "pragma Inline" in information and error
304 * freeze.adb (Check_Address_Clause): Remove previous change, not the
305 right way of doing things after all.
306 (Freeze_Entity): For object, set Is_Public for imported entities
307 unless there is an address clause present.
309 2004-09-21 Olivier Hainque <hainque@act-europe.fr>
311 * decl.c (gnat_to_gnu_entity) <E_General_Access_Type>: Check for a
312 dummy designated type via TYPE_MODE instead of COMPLETE_TYPE_P. This
313 ensures proper handling of types with rep clauses, which might have
314 their TYPE_SIZE set already.
316 2004-09-21 Robert Dewar <dewar@gnat.com>
318 * decl.c (gnat_to_gnu_type, case E_Modular_Integer_Type): Wrap modular
319 packed array types in both little- and big-endian cases. This change
320 ensures that we no longer count on the unused bits being initialized
321 for such types (and in particular ensures that equality testing will
322 only read the relevant bits).
323 Change name TYPE_LEFT_JUSTIFIED_MODULAR_P to TYPE_JUSTIFIED_MODULAR_P
324 These changes mean that we no longer need to initialize small packed
326 (gnat_to_gnu_entity) <E_Record_Subtype>: Apply the same
327 optimization to an LJM field as to its parent field.
329 * ada-tree.h, trans.c, utils.c, utils2.c:
330 Change name TYPE_LEFT_JUSTIFIED_MODULAR_P to TYPE_JUSTIFIED_MODULAR_P
332 2004-09-20 Jan Hubicka <jh@suse.cz>
334 * utils.c (gnat_finalize): Remove.
335 (end_subprog_body): Directly call cgraph_finalize_function;
336 do not lower the nested functions.
338 2004-09-20 Robert Dewar <dewar@gnat.com>
342 * freeze.adb (Check_Address_Clause): Reset Is_Imported and Is_Public
343 if an address clause is present, since that means that the Import
346 2004-09-20 Arnaud Charlet <charlet@act-europe.fr>
348 * 5tsystem.ads: Removed, no longer used.
350 2004-09-17 Jeffrey D. Oldham <oldham@codesourcery.com>
351 Zack Weinberg <zack@codesourcery.com>
353 * ada-tree.def: Use tree_code_class enumeration constants
354 instead of code letters.
355 * ada-tree.h, decl.c, misc.c, trans.c, utils.c, utils2.c:
356 Update for new tree-class enumeration constants.
358 2004-09-17 Vincent Celier <celier@gnat.com>
360 * prj-attr-pm.ads, prj-attr-pm.adb: New files, to split some private
361 capabilities of the general project manager.
363 2004-09-09 Vincent Celier <celier@gnat.com>
365 * a-direct.ads: Add pragma Ada_05
366 (Directory_Entry_Type): Give default value to component Kind to avoid
367 not initialized warnings.
369 * a-direct.adb (Current_Directory): Remove directory separator at the
371 (Delete_Directory, Delete_Tree): Raise Name_Error if Directory is not
372 an existing directory.
373 (Fetch_Next_Entry): Give default value to variable Kind to avoid warning
374 (Size (String)): Function C_Size returns Long_Integer, not File_Size.
375 Convert the result to File_Size.
377 * prj.ads: (Project_Error): New exception
379 * prj-attr.adb: Except in procedure Initialize, Fail comes from
380 Prj.Com, not from Osint.
381 (Attrs, Package_Attributes): Tables moved to private part of spec
382 (Add_Attribute, Add_Unknown_Package): Moved to new child package
384 (Register_New_Package (Name, Attributes), Register_New_Attribute): Raise
385 Prj.Project_Error after call to Fail.
386 (Register_New_Package (Name, Id)): Set Id to Empty_Package after calling
387 Fail. Check that package name is not already in use.
389 * prj-attr.ads: Comment updates to indicate that all subprograms may be
390 used by tools, not only by the project manager, and to indicate that
391 exception Prj.Prj_Error may be raised in case of problem.
392 (Add_Unknown_Package, Add_Attribute): Moved to new child package
394 (Attrs, Package_Attributes): Table instantiations moved from the body to
395 the private part to be accessible from Prj.Attr.PM body.
397 * prj-dect.adb (Parse_Package_Declaration): Call Add_Unknown_Package
398 from new package Prj.Attr.PM.
399 (Parse_Attribute_Declaration): Call Add_Attribute from new package
402 * Makefile.in: Add prj-attr-pm.o to gnatmake object list
404 * gnatbind.adb (Gnatbind): Correct warning message (Elaboration_Check
405 instead of Elaboration_Checks).
407 * a-calend.adb: Minor reformatting
409 2004-09-09 Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
411 * gigi.h (maybe_pad_type): New declaration.
412 (create_subprog_type): New arg RETURNS_BY_TARGET_PTR.
414 * ada-tree.h: (TYPE_RETURNS_BY_TARGET_PTR_P): New macro.
416 * cuintp.c: Convert to use buildN.
418 * decl.c (maybe_pad_type): No longer static.
419 (gnat_to_gnu_entity, case E_Function): Handle case of returning by
421 Convert to use buildN.
423 * trans.c (call_to_gnu): Add arg GNU_TARGET; support
424 TYPE_RETURNS_BY_TARGET_PTR_P. All callers changed.
425 (gnat_to_gnu, case N_Assignment_Statement): Call call_to_gnu if call on
427 (gnat_to_gnu, case N_Return): Handle TYPE_RETURN_BY_TARGET_PTR_P.
428 (gnat_gimplify_expr, case ADDR_EXPR): New case.
429 Convert to use buildN.
431 * utils2.c (gnat_build_constructor): Also set TREE_INVARIANT and
432 TREE_READONLY for const.
433 Convert to use buildN.
435 * utils.c (create_subprog_type): New operand RETURNS_BY_TARGET_PTR.
436 (create_var_decl): Refine when TREE_STATIC is set.
437 Convert to use buildN.
439 2004-09-09 Gary Dismukes <dismukes@gnat.com>
441 * gnat_ugn.texi: Delete text relating to checking of ali and object
444 * a-except.adb (Rcheck_*): Add pragmas No_Return for each of these
447 2004-09-09 Jose Ruiz <ruiz@act-europe.fr>
449 * gnat_ugn.texi: Add Detect_Blocking to the list of configuration
450 pragmas recognized by GNAT.
452 * gnat_rm.texi: Document pragma Detect_Blocking.
454 * s-solita.adb (Timed_Delay_T): When pragma Detect_Blocking is active,
455 raise Program_Error if called from a protected operation.
457 * s-taprob.adb (Lock): When pragma Detect_Blocking is active increase
458 the protected action nesting level.
459 (Lock_Read_Only): When pragma Detect_Blocking is active increase the
460 protected action nesting level.
461 (Unlock): When pragma Detect_Blocking is active decrease the protected
462 action nesting level.
464 * s-taskin.adb (Initialize_ATCB): Initialize to 0 the
465 Protected_Action_Nesting.
467 * s-taskin.ads: Adding the field Protected_Action_Nesting to the
468 Common_ATCB record. It contains the dynamic level of protected action
469 nesting for each task. It is needed for checking whether potentially
470 blocking operations are called from protected operations.
471 (Detect_Blocking): Adding a Boolean constant reflecting whether pragma
472 Detect_Blocking is active or not in the partition.
474 * s-tasren.adb (Call_Simple): When pragma Detect_Blocking is active,
475 raise Program_Error if called from a protected operation.
476 (Task_Entry_Call): When pragma Detect_Blocking is active, raise
477 Program_Error if called from a protected operation.
478 (Timed_Task_Entry_Call): When pragma Detect_Blocking is active, raise
479 Program_Error if called from a protected operation.
481 * s-tassta.adb (Abort_Tasks): When pragma Detect_Blocking is active,
482 raise Program_Error if called from a protected operation.
484 * s-tpoben.adb (Lock_Entries): When pragma Detect_Blocking is active,
485 raise Program_Error if called from a protected operation, and increase
486 the protected action nesting level.
487 (Lock_Read_Only_Entries): When pragma Detect_Blocking is active, raise
488 Program_Error if called from a protected operation, and increase the
489 protected action nesting level.
490 (Unlock_Entries): When pragma Detect_Blocking is active decrease the
491 protected action nesting level.
493 * s-tposen.adb (Lock_Entry): When pragma Detect_Blocking is active,
494 raise Program_Error if called from a protected operation, and increase
495 the protected action nesting level.
496 (Lock_Read_Only_Entry): When pragma Detect_Blocking is active, raise
497 Program_Error if called from a protected operation, and increase the
498 protected action nesting level.
499 (Protected_Single_Entry_Call): When pragma Detect_Blocking is active,
500 raise Program_Error if called from a protected operation.
501 (Timed_Protected_Single_Entry_Call): When pragma Detect_Blocking is
502 active, raise Program_Error if called from a protected operation.
503 (Unlock_Entry): When pragma Detect_Blocking is active decrease the
504 protected action nesting level.
506 * sem_util.adb (Check_Potentially_Blocking_Operation): Remove the
507 insertion of the statement raising Program_Error. The run time
508 contains the required machinery for handling that.
510 * sem_util.ads: Change comment associated to procedure
511 Check_Potentially_Blocking_Operation.
512 This procedure does not insert a call for raising the exception because
513 that is currently done by the run time.
515 * raise.h (__gnat_set_globals): Pass the detect_blocking parameter.
517 * init.c: Add the global variable __gl_detect_blocking that indicates
518 whether pragma Detect_Blocking is active (1) or not (0). Needed for
519 making the pragma available at run time.
520 (__gnat_set_globals): Pass and update the detect_blocking parameter.
522 * lib-writ.adb (Write_ALI): Set the DB flag in the ali file if
523 pragma Detect_Blocking is active.
525 * lib-writ.ads: Document the Detect_Blocking flag (DB) in ali files.
527 * ali.adb (Scan_ALI): Set the Detect_Blocking value to true if the flag
528 DB is found in the ali file. Any unit compiled with pragma
529 Detect_Blocking active forces its effect in the whole partition.
531 * a-retide.adb (Delay_Until): Raise Program_Error if pragma
532 Detect_Blocking is active and delay is called from a protected
535 * bindgen.adb (Gen_Adainit_Ada): When generating the call to
536 __gnat_set_globals, pass 1 as Detect_Blocking parameter if pragma
537 Detect_Blocking is active (0 otherwise).
538 (Gen_Adainit_C): When generating the call to __gnat_set_globals, pass 1
539 as Detect_Blocking parameter if pragma Detect_Blocking is active (0
542 2004-09-09 Thomas Quinot <quinot@act-europe.fr>
544 * gnat_rm.texi: Rename GNAT.Perfect_Hash.Generators to
545 GNAT.Perfect_Hash_Generators, and remove the empty GNAT.Perfect_Hash
548 * s-parint.ads, s-parint.adb (Get_RAS_Info): New subprogram.
549 (Register_Receiving_Stub): Add Subp_Info formal parameter.
550 Update API in placeholder implemetation of s-parint to reflect changes
551 in distribution runtime library.
553 * sem_ch3.adb (Expand_Derived_Record): Rename to
554 Expand_Record_Extension.
556 * sem_disp.adb (Check_Controlling_Formals): Improve error message for
557 primitive operations of potentially distributed object types that have
558 non-controlling anonymous access formals.
560 * sem_dist.ads, sem_dist.adb (Build_RAS_Primitive_Specification): New
562 New implementation of expansion for remote access-to-subprogram types,
563 based on the RACW infrastructure.
564 This version of sem_dist is compatible with PolyORB/DSA as well as
567 * sem_prag.adb (Analyze_Pragma, case Pragma_Asynchronous): For a pragma
568 Asynchrronous that applies to a remote access-to-subprogram type, mark
569 the underlying RACW type as asynchronous.
571 * link.c: FreeBSD uses GNU ld: set __gnat_objlist_file_supported and
572 __gnat_using_gnu_linker to 1.
574 * Makefile.rtl, impunit.adb, g-perhas.ads, g-pehage.ads,
575 g-pehage.adb: Rename GNAT.Perfect_Hash.Generators to
576 GNAT.Perfect_Hash_Generators, and remove the empty
577 GNAT.Perfect_Hash package.
579 * atree.adb: Minor reformatting
581 * exp_ch3.adb (Expand_Derived_Record): Rename to
582 Expand_Record_Extension.
583 (Build_Record_Init_Proc.Build_Assignment): The default expression in
584 a component declaration must remain attached at that point in the
585 tree so New_Copy_Tree copies it if the enclosing record type is derived.
586 It is therefore necessary to take a copy of the expression when building
587 the corresponding assignment statement in the init proc.
588 As a side effect, in the case of a derived record type, we now see the
589 original expression, without any rewriting that could have occurred
590 during expansion of the ancestor type's init proc, and we do not need
591 to go back to Original_Node.
593 * exp_ch3.ads (Expand_Derived_Record): Rename to
594 Expand_Record_Extension.
596 * exp_dist.ads, exp_dist.adb (Underlying_RACW_Type): New subprogram.
597 Returns the RACW type used to implement a remote access-to-subprogram
599 (Add_RAS_Proxy_And_Analyze, Build_Remote_Subprogram_Proxy_Type):
600 New subprograms. Used to create a proxy tagged object for a remote
601 subprogram. The proxy object is used as the designated object
602 for RAS values on the same partition (unless All_Calls_Remote applies).
603 (Build_Get_Unique_RP_Call): New subprogram. Build a call to
604 System.Partition_Interface.Get_Unique_Remote_Pointer.
605 (Add_RAS_Access_TSS, Add_RAS_Dereference_TSS):
606 Renamed from Add_RAS_*_Attribute.
607 (Add_Receiving_Stubs_To_Declarations): Generate a table of local
609 New implementation of expansion for remote access-to-subprogram types,
610 based on the RACW infrastructure.
612 * exp_dist.ads (Copy_Specification): Update comment to note that this
613 function can copy the specification from either a subprogram
614 specification or an access-to-subprogram type definition.
616 2004-09-09 Ed Schonberg <schonberg@gnat.com>
618 * sem_type.adb (Disambiguate): Handle properly an accidental ambiguity
619 in an instance, between an explicit subprogram an one inherited from a
620 type derived from an actual.
622 * exp_ch6.adb (Expand_N_Subprogram_Body): If polling is enabled, do not
623 add a polling call if the subprogram is to be inlined by the back-end,
624 to avoid repeated calls with multiple inlinings.
626 * checks.adb (Apply_Alignment_Check): If the expression in the address
627 clause is a call whose name is not a static entity (e.g. a dispatching
628 call), treat as dynamic.
630 2004-09-09 Robert Dewar <dewar@gnat.com>
632 * g-trasym.ads: Minor reformatting
634 * exp_ch3.adb (Component_Needs_Simple_Initialization): Don't except
635 packed arrays, since unused bits are expected to be zero for a
638 2004-09-09 Eric Botcazou <ebotcazou@act-europe.fr>
640 * exp_pakd.ads: Fix an inacurracy and a couple of typos in the head
643 2004-09-09 Pascal Obry <obry@gnat.com>
645 * mdll.ads, mdll.adb (Build_Dynamic_Library): New parameter Map_File to
646 enable map file generation. Add the right option to generate the map
647 file if Map_File is set to True.
649 * gnatdll.adb (Gen_Map_File): New variable.
650 (Syntax): Add info about new -m (Map_File) option.
651 (Parse_Command_Line): Add support for -m option.
652 (gnatdll): Pass Gen_Map_File to Build_Dynamic_Library calls.
655 2004-09-09 Laurent Pautet <pautet@act-europe.fr>
657 * gnatls.adb: Add a very verbose mode -V. Such mode is required by the
658 new gnatdist implementation.
659 Define a subpackage isolating the output routines specific to this
662 2004-09-09 Joel Brobecker <brobecker@gnat.com>
664 * Makefile.rtl: (GNATRTL_NONTASKING_OBJS): Add g-dynhta.
666 * gnat_ugn.texi (Main Subprograms): Fix typo. Deduced, not deducted.
668 2004-09-09 Cyrille Comar <comar@act-europe.fr>
670 * opt.adb (Set_Opt_Config_Switches): Use Ada_Version_Runtime to compile
673 * opt.ads: Add Ada_Version_Runtime constant used to decide which
674 version of the language is used to compile the run time.
676 2004-09-09 Arnaud Charlet <charlet@act-europe.fr>
678 * sem_util.adb (Requires_Transient_Scope): Re-enable handling
679 of variable length temporaries for function return now that the
680 back-end and gigi support it.
682 2004-09-01 Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
684 * misc.c (gnat_print_type): Use TYPE_RM_SIZE_NUM.
686 * trans.c (struct stmt_group): Delete field GLOBAL.
687 (gnat_init_stmt_group): Do not initialize it.
688 (call_to_gnu): Use save_expr, not protect_multiple_eval.
689 (Exception_Handler_to_gnu_sjlj): Call build_int_cst, not build_int_2
690 (gnat_to_gnu, case N_Character_Literal, N_String_Literal): Likewise.
691 (gnat_to_gnu, case N_Compilation_Unit): Do not set GLOBAL in stmt group.
692 (start_stmt_group): Likewise.
693 (add_stmt, add_decl_expr): Rework handling of global DECL_EXPRs.
695 * utils2.c (ggc.h): Include.
696 (build_call_raise): Call build_int_cst, not build_int_2.
698 * utils.c (gnat_init_decl_processing): Fix arg to
699 build_common_tree_nodes.
700 (create_subprog_type): Do not use SET_TYPE_CI_CO_LIST.
701 (gnat_define_builtin): Set built_in_decls.
702 (init_gigi_decls): Call build_int_cst, not build_int_2.
704 * ada-tree.h (struct lang_decl, struct lang_type): Field is type tree.
705 (GET_TYPE_LANG_SPECIFIC, SET_TYPE_LANG_SPECIFIC): New macros.
706 (GET_DECL_LANG_SPECIFIC, SET_DECL_LANG_SPECIFIC): Likewise.
707 (TYPE_CI_CO_LIST, SET_TYPE_CI_CO_LIST, TYPE_MODULE,
708 SET_TYPE_MODULE): Use them.
709 (TYPE_INDEX_TYPE, SET_TYPE_INDEX_TYPE, TYPE_DIGITS_VALUE): Likewise.
710 (SET_TYPE_DIGITS_VALUE, TYPE_UNCONSTRAINED_ARRAY): Likewise.
711 (SET_TYPE_UNCONSTRAINED_ARRAY, TYPE_ADA_SIZE,
712 SET_TYPE_ADA_SIZE): Likewise.
713 (TYPE_ACTUAL_BOUNDS, SET_TYPE_ACTUAL_BOUNDS): Likewise.
714 (DECL_CONST_CORRESPONDING_VAR,
715 SET_DECL_CONST_CORRESPONDING_VAR): Likewise.
716 (DECL_ORIGINAL_FIELD, SET_DECL_ORIGINAL_FIELD): Likewise.
717 (TYPE_RM_SIZE_INT, TYPE_RM_SIZE_ENUM, SET_TYPE_RM_SIZE_ENUM): Deleted.
718 (TYPE_RM_SIZE_NUM): New macro.
719 (TYPE_RM_SIZE): Modified to use above.
721 * cuintp.c: (build_cst_from_int): New function.
724 * decl.c (gnat_to_gnu_entity): Use TYPE_RM_SIZE_NUM.
725 (make_type_from_size): Avoid changing TYPE_UNSIGNED of a type.
726 (gnat_substitute_in_type, case ARRAY_TYPE): If old had a
727 MIN_EXPR for the size, copy it into new.
729 2004-09-01 Robert Dewar <dewar@gnat.com>
731 * exp_ch6.adb (Expand_Call): Properly handle validity checks for
732 packed indexed component where array is an IN OUT formal. This
733 generated garbage code previously.
735 * gnat_ugn.texi: Document -fverbose-asm
737 * gnat-style.texi: Minor updates (note that boolean constants and
738 variables are joined with AND/OR rather than short circuit forms).
740 2004-09-01 Ed Schonberg <schonberg@gnat.com>
742 * exp_util.adb (Safe_Unchecked_Type_Conversion): Conversion is safe if
743 it is an upward conversion of an untagged type with no representation
746 2004-09-01 Thomas Quinot <quinot@act-europe.fr>
748 * rtsfind.ads: Move RCI_Subp_Info and RCI_Subp_Info_Array to
749 System.Partition_Interface.
751 * checks.adb (Apply_Access_Checks): Do not generate checks when
752 expander is not active (but check for unset reference to prefix of
755 * sem_prag.adb (Analyze_Pragma, case Pragma_Debug): Uniformly rewrite
756 pragma Debug as an if statement with a constant condition, for
757 consistent treatment of entity references contained within the
758 enclosed procedure call.
760 2004-09-01 Vincent Celier <celier@gnat.com>
762 * bindgen.adb: (Set_EA_Last): New procedure
763 (Gen_Exception_Table_Ada, Gen_Exception_Table_C): Use new procedure
765 (Gen_Adafinal_Ada): If no finalization, adafinal does nothing
766 (Gen_Output_File_Ada): Always call Gen_Adafinal_Ada, so that SAL can be
767 linked without errors.
768 (Gen_Exception_Table_Ada): Correct bugs when generating code for arrays
770 (Gen_Exception_Table_C): Correct same bugs
772 * vms_data.ads: Add new qualifier /VERBOSE_ASM to GCC_Switches
774 * g-os_lib.adb (Normalize_Pathname.Get_Directory): When Dir is empty,
775 on Windows, make sure that the drive letter is in upper case.
777 * g-os_lib.ads (Normalize_Pathname): Add a comment to indicate that on
778 Windows, when the drive letter is added and Case_Sensitive is True, the
779 drive letter is forced to upper case.
781 * mlib-tgt-irix.adb (Build_Dynamic_Library): Transfer all -lxxx options
782 to Options_2 for the call to MLib.Utl.Gcc.
784 * bld.adb (Put_Include_Project): Use '/', not '\' on Windows as
785 directory separator when defining BASE_DIR.
787 2004-09-01 Pascal Obry <obry@gnat.com>
789 * gprcmd.adb (Extend): Do not output trailing directory separator. This
790 is not needed and it confuses Windows GNU/make which does not report
791 directory terminated by a slash as a directory.
792 (gprcmd): Idem for "pwd" internal command.
794 * Makefile.generic: Use __GPRCOLON__ instead of pipe character in
795 target names rewrite to fix regressions with recent version of
796 GNU/make. Starting with GNU/make 3.80 the pipe character was not
797 handled properly anymore.
799 2004-09-01 Andreas Schwab <schwab@suse.de>
801 * Make-lang.in (EXTRA_GNATBIND_OBJS): Revert last change.
802 * raise.c [!IN_RTS]: Undef abort.
804 2004-08-27 Nathan Sidwell <nathan@codesourcery.com>
806 * utils2.c (build_allocator): Use ssize_int.
808 * utils.c (gnat_init_decl_processing): Ada has a signed sizetype.
810 2004-08-27 Andreas Schwab <schwab@suse.de>
812 * Make-lang.in (EXTRA_GNATBIND_OBJS): Add errors.o.
814 2004-08-25 Nathan Sidwell <nathan@codesourcery.com>
815 Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
817 * ada-tree.h (TYPE_RM_SIZE_INT): Use TYPE_LANG_SLOT_1.
819 2004-08-25 Nathan Sidwell <nathan@codesourcery.com>
821 * cuintp.c (UI_To_gnu): Adjust build_int_cst calls.
822 * trans.c (Exception_Handler_to_gnu_sjlj, gnat_to_gnu): Likewise.
823 * utils.c (init_gigi_decls): Likewise.
824 * utils2.c (build_call_raise, build_allocator): Likewise.
826 2004-08-24 Nathan Sidwell <nathan@codesourcery.com>
828 * utils.c (gnat_init_decl_processing): Adjust
829 build_common_tree_nodes call.
831 2004-08-20 Nathan Sidwell <nathan@codesourcery.com>
833 * utils2.c (build_allocator): Use build_int_cst for negative
836 2004-08-18 Richard Henderson <rth@redhat.com>
838 * misc.c (LANG_HOOKS_HONOR_READONLY): Remove.
840 2004-08-16 Nathan Sidwell <nathan@codesourcery.com>
842 * cuintp.c (UI_To_gnu): Be more conservative with build_int_cst
844 * trans.c (Exception_Handler_to_gnu_sjlj): Likewise.
845 (gnat_to_gnu): Likewise.
847 2004-08-16 Pascal Obry <obry@gnat.com>
849 * adaint.c (__gnat_prj_add_obj_files): Set to 0 only on Win32 for GCC
850 backend prior to GCC 3.4. With GCC 3.4 we are using the GCC's shared
851 option and not mdll anymore. Update comment.
853 2004-08-16 Pascal Obry <obry@gnat.com>
855 * bld.adb (Put_Include_Project): Properly handle directory separators
858 2004-08-16 Ed Schonberg <schonberg@gnat.com>
860 * sem_ch4.adb (Try_Object_Operation): Restructure code. Optimize by
861 decreasing the number of allocated junk nodes while searching for the
862 appropriate subprogram.
864 2004-08-15 Nathan Sidwell <nathan@codesourcery.com>
866 * cuintp.c (UI_To_gnu): Use build_int_cst..
867 * trans.c (Exception_Handler_to_gnu_sjlj, gnat_to_gnu): Likewise.
868 * utils.c (init_gigi_decls): Likewise.
869 * utils2.c (build_call_raise): Likewise.
871 2004-08-13 Olivier Hainque <hainque@act-europe.fr>
873 * decl.c (gnat_to_gnu_entity) <E_Variable>: When building an allocator
874 for a global aliased object with a variable size and an unconstrained
875 nominal subtype, pretend there is no initializer if the one we have is
876 incomplete, and avoid referencing an inexistant component in there. The
877 part we have will be rebuilt anyway and the reference may confuse
880 2004-08-13 Thomas Quinot <quinot@act-europe.fr>
882 * einfo.ads: Minor reformatting
884 * lib-writ.adb (Output_Main_Program_Line): Do not set parameter
885 restrictions in the ALI if we only want to warn about violations.
887 2004-08-13 Vincent Celier <celier@gnat.com>
889 * ali.adb (Scan_ALI): Initialize component Body_Needed_For_SAL to False
890 when creating a new Unit_Record in table Units.
892 * gnatls.adb (Output_Unit): In verbose mode, output the restrictions
893 that are violated, if any.
895 * prj-nmsc.adb (Ada_Check.Get_Path_Names_And_Record_Sources): Do not
896 add directory separator if path already ends with a directory separator.
898 2004-08-13 Ed Schonberg <schonberg@gnat.com>
900 * rtsfind.adb (Entity_Not_Defined): If the error ocurrs in a predefined
901 unit, this is an attempt to inline a construct that is not available in
902 the current restricted mode, so abort rather than trying to continue.
904 * sem_ch3.adb (Build_Underlying_Full_View): If the new type has
905 discriminants that rename those of the parent, recover names of
906 original discriminants for the constraint on the full view of the
908 (Complete_Private_Subtype): Do not create a subtype declaration if the
911 * gnat_rm.texi: Added section on implementation of discriminated
912 records with default values for discriminants.
914 2004-08-13 Ed Schonberg <schonberg@gnat.com>
917 * sem_res.adb (Make_Call_Into_Operator): Handle properly the case where
918 the second operand is overloaded.
920 2004-08-10 Richard Henderson <rth@redhat.com>
922 * utils.c (gnat_install_builtins): Remove __builtin_stack_alloc,
923 add __builtin_alloca.
925 2004-08-10 Richard Henderson <rth@redhat.com>
927 * config-lang.in (boot_language): Yes.
929 2004-08-09 Thomas Quinot <quinot@act-europe.fr>
931 * g-socket.adb (Abort_Selector): Initialize Buf to prevent valgrind
932 from complaining on potential uninitialized reference.
933 Change calls to GNAT.Sockets.Thin.Is_Socket_In_Set to account for
934 new specification and test explicitly for non-zero return value.
936 * g-socthi.ads (Is_Socket_In_Set): Declare imported function as
937 returning C.int, to avoid using a derived boolean type.
939 * exp_ch5.adb (Make_Tag_Ctrl_Assignments): Use
940 Duplicate_Subexpr_No_Checks in preference to direct use of
941 Remove_Side_Effects and New_Copy_Tree.
942 Clear Comes_From_Source on prefix of 'Size attribute reference.
944 * g-socthi.adb, g-socthi-vms.adb, g-socthi-mingw.adb,
945 g-socthi-vxworks.adb: Change calls to
946 GNAT.Sockets.Thin.Is_Socket_In_Set to account for new specification
947 and test explicitly for non-zero return value.
949 * g-socthi-vms.ads, g-socthi-mingw.ads, g-socthi-vxworks.ads:
950 (Is_Socket_In_Set): Declare imported function as returning C.int, to
951 avoid using a derived boolean type.
953 2004-08-09 Albert Lee <lee@gnat.com>
955 * system-irix-n32.ads: Refine tasking priority constants for IRIX.
957 2004-08-09 Pascal Obry <obry@gnat.com>
959 * gnat_ugn.texi: Document new way to build DLLs on Windows using
960 GCC's -shared option.
962 * mlib-tgt-mingw.adb (Build_Dynamic_Library): Pass GCC's options into
963 Options_2 parameter (options put after object files).
965 2004-08-09 Olivier Hainque <hainque@act-europe.fr>
967 * decl.c (gnat_to_gnu_entity) <E_Array_Subtype>: Adjust condition to
968 ignore overflows on low and high bounds of an index to also account for
969 differences in signedness between sizetype and gnu_index_subtype.
970 These are as legitimate as the ones caused by a lower TYPE_PRECISION
973 2004-08-09 Robert Dewar <dewar@gnat.com>
975 * s-solita.ads, s-solita.adb: Minor reformatting
977 * gnat_rm.texi: Add documentation for pragma Profile (Restricted)
978 Move pragma Restricted_Run_Time, No_Run_Time, Ravenscar to new
980 Add note that No_Implicit_Conditionals does not suppress
981 run time constraint checks.
983 * vms_conv.ads: Minor reformatting
985 * s-secsta.adb: Use SS_Ptr instead of Mark_Id as stack pointer (cleanup
986 and necessary for following change).
987 (Mark): Return new format Mark_Id containing sec stack address
988 (Release): Use sec stack address from Mark_Id avoiding Self call
990 * s-secsta.ads: Define SS_Ptr to be used instead of Mark_Id as stack
991 pointer (cleanup and necessary for following change).
992 Define Mark_Id as record containing address of secondary stack, that way
993 Release does not need to find the stack again, decreasing the number of
994 calls to Self and improving efficiency.
996 * sem_util.ads: Add a ??? comment for Is_Local_Variable_Reference
998 * sem_ch5.adb (Analyze_Case_Statement): Add circuitry to track value of
999 case variable into the individual case branches when possible.
1001 * sem_ch11.adb: Minor reformatting
1003 * prj.ads: Correct spelling of suffixs
1005 * prj-nmsc.adb: Minor reformatting
1006 Correct spelling suffixs throughout (also in identifiers)
1008 * freeze.adb: Minor spelling correction
1010 * exp_ch2.adb: Cleanups to handling of Current_Value
1011 (no functional effect).
1013 * bld.adb: Correct spelling of suffixs
1015 * einfo.adb (Enclosing_Dynamic_Scope): Defend against junk argument
1017 2004-08-09 Ed Schonberg <schonberg@gnat.com>
1021 * sem_ch7.adb (Install_Private_Declarations): In the body of the
1022 package or of a child, private entities are both immediately_visible
1025 2004-08-09 Ed Schonberg <schonberg@gnat.com>
1027 * sem_eval.adb (Eval_Integer_Literal): If the context is Any_Integer,
1028 there are no range checks on the value of the literal.
1030 * exp_ch7.adb (Insert_Actions_In_Scope_Around): If the node being
1031 wrapped is the triggering alternative of an asynchronous select, action
1032 statements mustbe inserted before the select itself.
1034 * sem_attr.adb (Analyze_Attribute, case 'Size): Handle properly the
1035 case where the prefix is a protected function call.
1036 (Resolve_Attribute, case 'Access): The attribute reference on a
1037 subprogram is legal in a generic body if the subprogram is declared
1040 2004-08-09 Vincent Celier <celier@gnat.com>
1042 * makegpr.adb (Build_Library): Link with g++ if C++ is one of the
1043 languages, otherwise building the library may fail with unresolved
1045 (Compile_Sources): Do not build libraries if -c switch is used
1047 * gnatlink.adb (Process_Args): New switches -M and -Mmap
1048 (Write_Usage): If map file creation is supported, output new switches
1050 (Gnatlink): When -M is specified, add the necessary switch(es) to the
1051 gcc call, when supported.
1053 * Makefile.in: Added indepsw.o to the object list for gnatlink
1054 Specified the AIX, GNU/Linux and Windows versions of indepsw.adb
1056 * indepsw-aix.adb, indepsw-linux.adb, indepsw-mingw.adb,
1057 indepsw.adb, indepsw.ads: New files.
1059 2004-08-09 Bernard Banner <banner@gnat.com>
1061 * system-vxworks-x86.ads, s-vxwork-x86.ads: New files.
1063 * Makefile.in: add section for vxworks x86
1065 2004-08-09 Hristian Kirtchev <kirtchev@gnat.com>
1067 * exp_ch3.adb (Build_Init_Statements): Add extra condition to deal with
1068 per-object constrained components where the discriminant is of an
1070 (Build_Record_Init_Proc): Add condition to prevent the inheritance of
1071 the parent initialization procedure for derived Unchecked_Unions.
1072 Instead, derived Unchecked_Unions build their own initialization
1074 (Build_Variant_Record_Equality): Implement Unchecked_Union equality.
1075 Check the body of the subprogram for details.
1076 (Freeze_Record_Type): Prevent the inheritance of discriminant checking
1077 functions for derived Unchecked_Union types by introducing a condition.
1078 Allow the creation of TSS equality functions for Unchecked_Unions.
1079 (Make_Eq_Case): Rename formal parameter Node to E in function signature.
1080 Add formal parameter Discr to function signature. Discr is used to
1081 control the generated case statement for Unchecked_Union types.
1082 (Make_Eq_If): Rename formal parameter Node to E in function signature.
1084 * exp_ch4.adb (Build_Equality_Call): Implement equality calls for
1086 Check the body of the subprogram for details.
1087 (Expand_Composite_Equality): Augment composite type equality to include
1088 correct handling of Unchecked_Union components.
1089 (Expand_N_In): Add condition to detect illegal membership tests when the
1090 subtype mark is a constrained Unchecked_Union and the expression lacks
1091 inferable discriminants, and build a Raise_Program_Error node.
1092 (Expand_N_Op_Eq): Add function Has_Unconstrained_UU_Component. Used
1093 to detect types that contain components of unconstrained Unchecked_Union
1094 subtype. Add condition to detect equality between types that have an
1095 unconstrained Unchecked_Union component, and build a Raise_Program_Error
1096 node. Add condition to detect equality between Unchecked_Union types
1097 that lack inferable discriminants, and build a Raise_Program_Error node.
1098 Otherwise build a TSS equality function call.
1099 (Expand_N_Type_Conversion): Add condition to detect illegal conversions
1100 from a derived Unchecked_Union to an unconstrained non-Unchecked_Union
1101 with the operand lacking inferable discriminants, and build a Raise_
1103 (Expand_Record_Equality): Remove guard that prevents Unchecked_Union
1105 (Has_Inferable_Discriminants): Implement new predicate for objects and
1106 expressions of Unchecked_Union type. Check the body of subprogram for
1108 (Has_Unconstrained_UU_Components): Add function
1109 Component_Is_Unconstrained_UU. It is used to detect whether a single
1110 component is of an unconstrained Unchecked_Union subtype. Add function
1111 Variant_Is_Unconstrained_UU. It is used to detect whether a single
1112 component inside a variant is of an unconstrained Unchecked_Union type.
1114 * exp_ch5.adb (Expand_Assign_Record): Add condition to copy the
1115 inferred discriminant values. Add condition to generate a case
1116 statement with an inferred discriminant as the switch.
1117 (Make_Component_List_Assign): Introduce a Boolean flag that determines
1118 the behaviour of the subprogram in the presence of an Unchecked_Union.
1119 Add condition to trigger the usage of the inferred discriminant value
1120 as the generated case statement switch.
1121 (Make_Field_Assign): Introduce a Boolean flag that determines the
1122 behaviour of the subprogram in the presence of an Unchecked_Union. Add
1123 condition to trigger the usage of the inferred discriminant value as
1124 the right-hand side of the generated assignment.
1126 * exp_ch6.adb (Expand_Call): Add condition to skip extra actual
1127 parameter generation when dealing with Unchecked_Unions.
1129 * checks.adb (Apply_Discriminant_Check): Do not apply discriminant
1130 checks for Unchecked_Unions.
1132 * einfo.ads: Update comment on usage of flag Has_Per_Object_Constraint
1134 * exp_attr.adb (Expand_N_Attribute_Reference): Produce
1135 Raise_Program_Error nodes for the execution of Read and Write
1136 attributes of Unchecked_Union types and the execution of Input and
1137 Output attributes of Unchecked_Union types that lack default
1138 discriminant values.
1140 * sem_prag.adb (Analyze_Pragma): Remodel the analysis of pragma
1141 Unchecked_Union. Add procedure Check_Component. It is used to inspect
1142 per-object constrained components of Unchecked_Unions for being
1143 Unchecked_Unions themselves. Add procedure Check_Variant. It is used to
1144 check individual components withing a variant.
1146 * sem_res.adb (Resolve_Comparison_Op): Remove guard that prevents
1147 comparison of Unchecked_Unions.
1148 (Resolve_Equality_OP): Remove guard that prevents equality between
1151 * sem_util.adb (Build_Component_Subtype): Add guard to prevent creation
1152 of component subtypes for Unchecked_Union components.
1153 (Get_Actual_Subtype): Add condition that returs the Unchecked_Union type
1154 since it is the actual subtype.
1156 * sem_ch12.adb (Instantiate_Type): Add condition to detect the correct
1157 pass of Unchecked_Union subtypes as generic actuals to formal types
1158 that lack known_discriminant_parts or that are derived Unchecked_Union
1159 types, and do nothing. In any other case, produce an error message.
1161 * sem_ch3.adb (Analyze_Component_Declaration): Add function
1162 Contains_POC. It determines whether a constraint uses the discriminant
1163 of an enclosing record type.
1164 Add condition to detect per-object constrained component and set the
1166 (Derived_Type_Declaration): Remove guard that prevents derivation from
1167 Unchecked_Union types.
1168 (Process_Subtype): Remove quard that prevents the creation of Unchecked_
1171 * sem_ch4.adb (Analyze_Selected_Component): Correct the detection of
1172 references to Unchecked_Union discriminants.
1174 * sem_ch6.adb (Create_Extra_Formals): Add condition to skip extra
1175 formal generation when dealing with Unchecked_Unions.
1176 (Set_Actual_Subtypes): Add condition to prevent generation of actual
1177 subtypes for Unchecked_Unions.
1179 * sem_ch7.adb (Analyze_Package_Specification): Add procedure
1180 Inspect_Unchecked_Union_Completion. It is used to detect incorrect
1181 completions of discriminated partial views by Unchecked_Unions and
1182 produce an error message.
1184 2004-08-09 Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
1186 * trans.c (struct stmt_group): New field, GLOBAL.
1187 (global_stmt_group, gnu_elab_proc_decl, build_unit_elab): Deleted.
1188 (struct elab_info): New struct.
1189 (elab_info_list, gnu_elab_proc_stack): New variables.
1190 (Compilation_Unit_to_gnu): New procedure.
1191 (gigi): Call it and also handle elaboration procs we've saved.
1192 (gnat_init_stmt_group): Don't set global_stmt_group; instead initialize
1193 global field from parent.
1194 (gnat_to_gnu): Get decl from gnu_elab_proc_stack.
1195 (gnat_to_gnu, case N_Compilation_Unit): Call Compilation_Unit_to_gnu.
1196 (start_stmt_group): Initialize global field from parent.
1197 (add_decl_expr): Set to global for current statement group.
1198 (gnat_gimplify_expr, case NULL_EXPR): Add operand 0 to pre list, not
1201 * utils.c (global_bindings_p): True when no current_function_decl; no
1202 longer check current_binding_level.
1204 2004-08-09 Ben Brosgol <brosgol@gnat.com>
1206 * xgnatugn.adb: Added logic to deal with @ifset/@ifclear for edition
1209 * gnat_rm.texi, gnat_ugn.texi: Added edition conditionalization logic.
1211 2004-08-06 Andreas Schwab <schwab@suse.de>
1213 * utils.c (gnat_define_builtin): Remove second parameter of
1215 (begin_subprog_body): Likewise.
1217 2004-07-26 Arnaud Charlet <charlet@act-europe.fr>
1219 * sem_util.adb (Requires_Transient_Scope): Temporarily disable
1220 optimization, not supported by the tree-ssa back-end.
1222 2004-07-26 Olivier Hainque <hainque@act-europe.fr>
1224 * s-mastop-irix.adb: Update comments.
1226 * a-except.adb (Exception_Information): Raise Constraint_Error if
1227 exception Id is Null_Id.
1228 This is required behavior, which is more reliably and clearly checked
1229 at the top level interface level.
1231 2004-07-26 Javier Miranda <miranda@gnat.com>
1233 * exp_aggr.adb (Build_Array_Aggr_Code): Do not build the initialization
1234 call if a component has no default_expression and the box is used.
1236 * sem_aggr.adb (Resolve_Array_Aggregate): If a component has no
1237 default_expression and you use box, it behaves as if you had declared a
1239 (Resolve_Record_Aggregate): If a component has no default_expression and
1240 you use box, it behaves as if you had declared a stand-alone object.
1242 * sem_ch10.adb (Install_Siblings): Do not make visible the private
1243 entities of private-with siblings.
1245 2004-07-26 Ed Schonberg <schonberg@gnat.com>
1247 * sem_ch3.adb (Build_Underlying_Full_View): If this is the full view
1248 for a component of an itype, set the parent pointer for analysis,
1249 there is no list in which to insert it.
1251 * sem_res.adb (Resolve): Call Rewrite_Renamed_Operator only for
1252 bona-fide renamings, not for inherited operations.
1254 * exp_ch4.adb (Expand_Allocator_Expression): If the allocator is an
1255 actual for a formal that is an access parameter, create local
1256 finalization list even if the expression is not an aggregate.
1258 2004-07-26 Ed Schonberg <schonberg@gnat.com>
1261 * sem_ch8.adb (Attribute_Renaming, Check_Library_Level_Renaming):
1262 Diagnose properly illegal subprogram renamings that are library units.
1264 2004-07-26 Ed Schonberg <schonberg@gnat.com>
1267 * sem_util.adb (Is_OK_Variable_For_Out_Formal): If actual is a type
1268 conversion rewritten as an unchecked conversion, check that original
1269 expression is a variable.
1271 * exp_ch4.adb (Expand_N_Type_Conversion): If rewriting as an
1272 unchecked_conversion, create new node rather than rewriting in place,
1273 to preserve original construct.
1275 2004-07-26 Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
1277 * gigi.h (gnat_expand_body): Deleted.
1279 * Make-lang.in: (trans.o): Depends on function.h.
1281 * misc.c: (gnat_expand_body): Moved to here.
1283 * trans.c (gnat_expand_body_1): Deleted.
1284 (gnat_expand_body): Moved from here.
1285 (gnat_to_gnu): N_Implicit_Label_Declaration forces being in elab proc.
1286 (add_stmt): Check for marked visited with global_bindings_p.
1287 (gnat_gimplify_expr, case COMPONENT_REF): New case.
1288 (gnat_gimplify_expr, case NULL_EXPR): Set TREE_NO_WARNING for temp.
1290 * utils2.c (build_binary_op, case MODIFY_EXPR): Put LHS in a
1291 VIEW_CONVERT_EXPR if not operation type.
1293 * utils.c (update_pointer_to): Set DECL_ORIGINAL_FIELD for
1296 * decl.c, cuintp.c, gigi.h, misc.c, trans.c, utils.c, utils2.c: Minor
1297 changes: reformatting of negation operators, removing unneeded
1298 inequality comparison with zero, converting equality comparisons with
1299 zero to negations, changing int/0/1 to bool/false/true, replace calls
1300 to gigi_abort with abort, and various other similar changes.
1302 2004-07-26 Vincent Celier <celier@gnat.com>
1304 * gnatcmd.adb (GNATCmd): Add processing for new built-in command
1307 * make.adb (Gnatmake): Fail when a library is not present and there is
1308 no object directory.
1310 * mlib-prj.adb (Check_Library): No need to check if the library needs
1311 to be rebuilt if there is no object directory, hence no object files
1312 to build the library.
1314 * opt.ads (Setup_Projects): New Boolean flag.
1316 * prj-nmsc.adb (Locate_Directory): New parameter Project, Kind and
1318 Create directory when Kind /= "" and in "gnat setup". Report error if
1319 directory cannot be created.
1320 (Ada_Check): Create library interface copy dir if it does not exist
1321 and we are in "gnat setup".
1322 (Find_Sources): No error if in "gnat setup" and no Ada sources were
1324 (Language_Independent_Check): Create object directory, exec directory
1325 and/or library directory if they do not exist and we are in
1328 * vms_conv.ads: (Command_Type): New command Setup.
1330 * vms_conv.adb (Initialize): Add Setup component of Cammand_List.
1332 * vms_data.ads: Add qualifiers/switches for new built-in command
1335 2004-07-25 Richard Henderson <rth@redhat.com>
1337 * utils.c (create_subprog_decl): Set DECL_ARTIFICIAL and
1338 DECL_IGNORED_P on RESULT_DECL.
1340 2004-07-20 Olivier Hainque <hainque@act-europe.fr>
1342 * a-elchha.adb (Last_Chance_Handler): Remove the bogus buffer dynamic
1343 allocation and potentially overflowing update with
1344 Tailored_Exception_Information. Use the sec-stack free procedural
1345 interface to output Exception_Information instead.
1347 * a-except.adb (To_Stderr): New subprogram for character, and string
1348 version moved from a-exextr to be visible from other separate units.
1349 (Tailored_Exception_Information): Remove the procedural version,
1350 previously used by the default Last_Chance_Handler and not any more.
1351 Adjust various comments.
1353 * a-exexda.adb: Generalize the exception information procedural
1354 interface, to minimize the use of secondary stack and the need for
1355 local buffers when the info is to be output to stderr:
1356 (Address_Image): Removed.
1357 (Append_Info_Character): New subprogram, checking for overflows and
1358 outputing to stderr if buffer to fill is of length 0.
1359 (Append_Info_String): Output to stderr if buffer to fill is of length 0.
1360 (Append_Info_Address, Append_Info_Exception_Name,
1361 Append_Info_Exception_Message, Append_Info_Basic_Exception_Information,
1362 Append_Info_Basic_Exception_Traceback,
1363 Append_Info_Exception_Information): New subprograms.
1364 (Append_Info_Nat, Append_Info_NL): Use Append_Info_Character.
1365 (Basic_Exception_Info_Maxlength, Basic_Exception_Tback_Maxlength,
1366 Exception_Info_Maxlength, Exception_Name_Length,
1367 Exception_Message_Length): New subprograms.
1368 (Exception_Information): Use Append_Info_Exception_Information.
1369 (Tailored_Exception_Information): Use
1370 Append_Info_Basic_Exception_Information.
1371 Export services for the default Last_Chance_Handler.
1373 * a-exextr.adb (To_Stderr): Remove. Now in a-except to be usable by
1374 other separate units.
1376 2004-07-20 Vincent Celier <celier@gnat.com>
1378 * clean.adb, mlib-utl.adb, osint.adb, makegpr.adb: Minor reformatting.
1380 2004-07-20 Ed Schonberg <schonberg@gnat.com>
1382 * freeze.adb (Freeze_Entity): If entity is a discriminated record type,
1383 emit itype references for the designated types of component types that
1384 are declared outside of the full record declaration, and that may
1385 denote a partial view of that record type.
1387 2004-07-20 Ed Schonberg <schonberg@gnat.com>
1390 * sem_ch3.adb (Build_Discriminated_Subtype): Do not attach a subtype
1391 which is the designated type in an access component declaration, to the
1392 list of incomplete dependents of the parent type, to avoid elaboration
1393 issues with out-of-scope subtypes.
1394 (Complete_Private_Subtype): Recompute Has_Unknown_Discriminants from the
1395 full view of the parent.
1397 2004-07-20 Ed Schonberg <schonberg@gnat.com>
1400 * sem_ch8.adb (Find_Expanded_Name): If name is overloaded, reject
1401 entities that are hidden, such as references to generic actuals
1402 outside an instance.
1404 2004-07-20 Javier Miranda <miranda@gnat.com>
1406 * sem_ch4.adb (Try_Object_Operation): New subprogram that gives
1407 support to the new notation.
1408 (Analyze_Selected_Component): Add call to Try_Object_Operation.
1410 2004-07-20 Jose Ruiz <ruiz@act-europe.fr>
1412 * s-taprob.adb: Adding the elaboration code required for initializing
1413 the tasking soft links that are common to the full and the restricted
1416 * s-tarest.adb (Init_RTS): Tasking soft links that are shared with the
1417 restricted run time has been moved to the package
1418 System.Soft_Links.Tasking.
1420 * s-tasini.adb (Init_RTS): Tasking soft links that are shared with the
1421 restricted run time has been moved to the package
1422 System.Soft_Links.Tasking.
1424 * Makefile.rtl: Add entry for s-solita.o in run-time library list.
1426 * s-solita.ads, s-solita.adb: New files.
1428 2004-07-20 Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
1430 * trans.c (Identifier_to_gnu, Pragma_to_gnu, Attribute_to_gnu,
1431 Case_Statement_to_gnu): Split off from gnat_to_gnu.
1432 (Loop_Statement_to_gnu, Subprogram_Body_to_gnu, call_to_gnu,
1433 Handled_Sequence_Of_Statements_to_gnu, Exception_Handler_to_gnu_sjlj,
1434 Exception_Handler_to_gnu_zcx): Likewise.
1436 2004-07-17 Joseph S. Myers <jsm@polyomino.org.uk>
1438 * gigi.h (builtin_function): Declare.
1440 2004-07-15 Robert Dewar <dewar@gnat.com>
1442 * makegpr.adb, s-secsta.ads, sem_ch3.adb, sem_case.adb: Minor
1445 * gnat_ugn.texi: Add instantiation of direct_io or sequential_io with
1446 access values as an example of a warning.
1448 * gnat_rm.texi: Document new attribute Has_Access_Values
1450 * gnat-style.texi: Document that box comments belong on nested
1453 * sem_util.ads (Has_Access_Values): Improved documentation
1455 * s-finimp.ads, s-finimp.adb: Fix spelling error in comment
1457 * sem_prag.adb (Check_Duplicated_Export_Name): New procedure
1458 (Process_Interface_Name): Call to this new procedure
1459 (Set_Extended_Import_Export_External_Name): Call to this new procedure
1461 * s-mastop-x86.adb, 9drpc.adb: Fix spelling error in comment
1463 * a-direio.ads, a-sequio.ads: Warn if Element_Type has access values
1465 * einfo.ads: Minor comment typo fixed
1467 2004-07-15 Jose Ruiz <ruiz@act-europe.fr>
1469 * snames.adb: Add _atcb.
1471 * snames.ads: Add Name_uATCB.
1473 * s-tarest.adb (Create_Restricted_Task): ATCBs are always preallocated
1474 (in the expanded code) when using the restricted run time.
1476 * s-tarest.ads (Create_Restricted_Task): Created_Task transformed into
1477 a in parameter in order to allow ATCBs to be preallocated (in the
1480 * s-taskin.adb (Initialize_ATCB): T converted into a in parameter in
1481 order to allow ATCBs to be preallocated. In case of error, the ATCB is
1482 deallocated in System.Tasking.Stages.
1484 * s-taskin.ads (Initialize_ATCB): T converted into a in parameter in
1485 order to allow ATCBs to be preallocated.
1487 * s-tassta.adb (Create_Task): In case of error the ATCB is deallocated
1488 here. It was previously done in Initialize_ATCB.
1490 * rtsfind.ads: Make the Ada_Task_Control_Block visible.
1492 * exp_ch9.adb: Preallocate the Ada_Task_Control_Block when using the
1493 Restricted run time.
1495 * exp_ch3.adb: When using the Restricted run time, pass the
1496 preallocated Ada_Task_Control_Block when creating a task.
1498 2004-07-15 Ed Schonberg <schonberg@gnat.com>
1500 * sem_util.adb (Normalize_Actuals): If there are no actuals on a
1501 function call that is itself an actual in an enclosing call, diagnose
1502 problem here rather than assuming that resolution will catch it.
1504 * sem_ch7.adb (Analyze_Package_Specification): If the specification is
1505 the local copy of a generic unit for a formal package, and the generic
1506 is a child unit, install private part of ancestors before compiling
1507 private part of spec.
1509 * sem_cat.adb (Validate_Categorization_Dependency): Simplify code to
1510 use scope entities rather than tree structures, to handle properly
1511 parent units that are instances rewritten as bodies for inlining
1514 * sem_ch10.adb (Get_Parent_Entity, Implicit_With_On_Parent,
1515 Remove_Parents): Handle properly a parent unit that is an
1516 instantiation, when the unit has been rewritten as a body for inlining
1519 * par.adb (Goto_List): Global variable to collect goto statements in a
1520 given unit, for use in detecting natural loops.
1522 * par-ch5.adb (P_Goto_Statement): Add goto to global Goto_List, for
1523 use in detecting natural loops.
1525 * par-labl.adb (Find_Natural_Loops): Recognize loops create by
1526 backwards goto's, and rewrite as a infinite loop, to improve locality
1529 * exp_util.adb (Force_Evaluation): Recognize a left-hand side
1530 subcomponent that includes an indexed reference, to prevent the
1531 generation of copies that would miscompile the desired assignment
1533 (Build_Task_Image_Decls): Add a numeric suffix to
1534 generated name for string variable, to avoid spurious conflicts with
1535 the name of the type of a single protected object.
1537 * exp_ch4.adb (Expand_Array_Equality): If indices are distinct, use a
1538 loop with an explicit exit statement, to avoid generating an
1539 out-of-range value with 'Succ leading to spurious constraint_errors
1540 when compiling with -gnatVo.
1542 2004-07-15 Thomas Quinot <quinot@act-europe.fr>
1544 * sem_ch4.adb (Analyze_Slice): Always call Analyze on the prefix: it
1545 might not be analyzed yet, even if its Etype is already set (case of an
1546 unchecked conversion built using Unchecked_Convert_To, for example).
1547 If the prefix has already been analyzed, this will be a nop anyway.
1549 * exp_ch5.adb (Make_Tag_Ctrl_Assignment): For an assignment of a
1550 controller type, or an assignment of a record type with controlled
1551 components, copy only user data, and leave the finalization chain
1554 2004-07-15 Vincent Celier <celier@gnat.com>
1556 * make.adb (Collect_Arguments): Improve error message when attempting
1557 to compile a source not part of any project, when -x is not used.
1559 * prj.ads: (Defined_Variable_Kind): New subtype
1561 * prj-attr.adb (Register_New_Package): Two new procedures to register
1562 a package with or without its attributes.
1563 (Register_New_Attribute): Mew procedure to register a new attribute in a
1565 New attribute oriented subprograms: Attribute_Node_Id_Of,
1566 Attribute_Kind_Of, Set_Attribute_Kind_Of, Attribute_Name_Of,
1567 Variable_Kind_Of, Set_Variable_Kind_Of, Optional_Index_Of,
1569 New package oriented subprograms: Package_Node_Id_Of,
1570 Add_Unknown_Package, First_Attribute_Of, Add_Attribute.
1572 * prj-attr.ads (Attribute_Node_Id): Now a private, self initialized
1574 (Package_Node_Id): Now a private, self initialized type
1575 (Register_New_Package): New procedure to register a package with its
1577 New attribute oriented subprograms: Attribute_Node_Id_Of,
1578 Attribute_Kind_Of, Set_Attribute_Kind_Of, Attribute_Name_Of,
1579 Variable_Kind_Of, Set_Variable_Kind_Of, Optional_Index_Of,
1581 New package oriented subprograms: Package_Node_Id_Of,
1582 Add_Unknown_Package, First_Attribute_Of, Add_Attribute.
1584 * prj-dect.adb (Parse_Attribute_Declaration,
1585 Parse_Package_Declaration): Adapt to new spec of Prj.Attr.
1587 * prj-makr.adb (Make): Parse existing project file before creating
1588 other files. Fail if there was an error during parsing.
1590 * prj-proc.adb (Add_Attributes, Process_Declarative_Items): Adapt to
1591 new spec of Prj.Attr.
1593 * prj-strt.adb (Attribute_Reference, Parse_Variable_Reference): Adapt
1594 to new spec of Prj.Attr.
1596 2004-07-15 Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
1598 * utils2.c: Fix typo in comment.
1600 2004-07-14 Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
1602 * trans.c (add_decl_expr): Clear TREE_READONLY if clear DECL_INITIAL.
1603 * utils.c (unchecked_convert): Don't do two VIEW_CONVERT_EXPRs.
1605 2004-07-14 Andreas Schwab <schwab@suse.de>
1607 * trans.c (gnat_init_stmt_group): Remove duplicate definition.
1609 2004-07-13 Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
1611 * decl.c: (gnat_to_gnu_entity, object case): Convert initializer to
1613 (gnat_to_gnu_entity, case E_Record_Subtype): Properly set
1616 * misc.c (gnat_types_compatible_p): New function.
1617 (LANG_HOOKS_TYPES_COMPATIBLE_P): New hook, to use it.
1618 (LANG_HOOKS_TYPE_MAX_SIZE, gnat_type_max_size): New.
1620 * trans.c (gigi): Move processing of main N_Compilation_Unit here.
1621 (gnat_to_gnu, case N_Compilation_Unit): Just handle nested case here.
1622 (add_stmt): Force walking of sizes and DECL_INITIAL for DECL_EXPR.
1623 (mark_visited): Don't mark dummy type.
1624 (tree_transform <N_Procedure_Call_Statement>): Unless this is an In
1625 parameter, we must remove any LJM building from GNU_NAME.
1626 (gnat_to_gnu, case N_String_Literal): Fill in indices in CONSTRUCTOR.
1627 (pos_to_constructor): Use int_const_binop.
1628 (gnat_to_gnu, case N_Identifier): Don't reference DECL_INITIAL of
1631 * utils.c (gnat_init_decl_processing): Don't make two "void" decls.
1632 (gnat_pushlevel): Set TREE_USE on BLOCK node.
1633 (gnat_install_builtins): Add __builtin_memset.
1635 2004-07-13 Olivier Hainque <hainque@act-europe.fr>
1637 * decl.c (gnat_to_gnu_entity <E_Variable>): If we are making a pointer
1638 for a renaming, stabilize the initialization expression if we are at a
1639 local level. At the local level, uses of the renaming may be performed
1640 by a direct dereference of the initializing expression, and we don't
1641 want possible variables there to be evaluated for every use.
1643 * trans.c (gnat_stabilize_reference, gnat_stabilize_reference_1):
1644 Propagate TREE_SIDE_EFFECTS and TREE_THIS_VOLATILE to avoid loosing
1645 them on the way. Account for the fact that we may introduce side
1646 effects in the process.
1648 2004-07-13 Richard Henderson <rth@redhat.com>
1650 * misc.c (default_pass_by_ref): Use pass_by_reference.
1652 2004-07-11 Joseph S. Myers <jsm@polyomino.org.uk>
1654 * misc.c (LANG_HOOKS_CLEAR_BINDING_STACK, LANG_HOOKS_PUSHLEVEL,
1655 LANG_HOOKS_POPLEVEL, LANG_HOOKS_SET_BLOCK): Remove.
1657 2004-07-08 Richard Henderson <rth@redhat.com>
1659 * trans.c (gnat_to_gnu <N_Handled_Sequence_Of_Statements>): Update
1662 2004-07-06 Vincent Celier <celier@gnat.com>
1664 * vms_conv.ads: Minor reformatting.
1665 Alphabetical order for enumerated values of type Command_Type, to have
1666 the command in alphabetical order for the usage.
1668 * vms_conv.adb (Process_Argument): Set Keep_Temporary_Files to True for
1669 the special qualifier /KEEP_TEMPORARY_FILES (minimum 6 characters).
1671 * gnat_ugn.texi: Document new switch -dn for the GNAT driver.
1673 * makegpr.adb (Global_Archive_Exists): New global Boolean variable
1674 (Add_Archive_Path): Only add the global archive if there is one.
1675 (Build_Global_Archive): Set Global_Archive_Exists depending if there is
1676 or not any object file to put in the global archive, and don't build
1677 a global archive if there is none.
1678 (X_Switches): New table
1679 (Compile_Link_With_Gnatmake): Pass to gnatmake the -X switches stored
1680 in the X_Switches table, if any.
1681 (Initialize): Make sure the X_Switches table is empty
1682 (Scan_Arg): Record -X switches in table X_Switches
1684 * opt.ads (Keep_Temporary_Files): New Boolean flag, defaulted to False.
1686 * make.adb: Minor comment fix
1688 * gnatname.adb (Gnatname): When not on VMS, and gnatname has been
1689 invoked with directory information, add the directory in front of the
1692 * gnatchop.adb (Gnatchop): When not on VMS, and gnatchop has been
1693 invoked with directory information, add the directory in front of the
1696 * gnatcmd.adb (Delete_Temp_Config_Files): Only delete temporary files
1697 when Keep_Temporary_Files is False.
1698 (GNATCmd): When not on VMS, and the GNAT driver has been invoked with
1699 directory information, add the directory in front of the path.
1700 When not on VMS, handle new switch -dn before the command to set
1701 Keep_Temporary_Files to True.
1702 (Non_VMS_Usage): Use lower case for the non VMS usage: this is valid
1705 * gnatlink.adb (Gnatlink): When not on VMS, and gnatlink has been
1706 invoked with directory information, add the directory in front of the
1709 2004-07-06 Thomas Quinot <quinot@act-europe.fr>
1711 * snames.ads, snames.adb (Name_Stub): New name for the distributed
1714 * rtsfind.ads: New RTE TC_Object, for DSA/PolyORB.
1715 New RTEs RAS_Proxy_Type and RAS_Proxy_Type_Access, for DSA.
1717 * g-socket.adb (To_Timeval): Fix incorrect conversion of
1718 Selector_Duration to Timeval for the case of 0.0.
1720 * exp_util.ads (Evolve_Or_Else): Fix overenthusiastic copy/paste of
1721 documentation from Evolve_And_Then.
1723 2004-07-06 Jose Ruiz <ruiz@act-europe.fr>
1725 * s-taprop-tru64.adb, s-taprop-os2.adb,
1726 s-taprop-mingw.adb, s-taprop-posix.adb: Update comment.
1728 2004-07-06 Robert Dewar <dewar@gnat.com>
1730 * s-osinte-hpux.ads, s-osinte-freebsd.ads,
1731 s-osinte-lynxos.ads, s-taprop-lynxos.adb, s-osinte-tru64.ads,
1732 s-osinte-aix.ads, s-osinte-irix.ads, s-taprop-irix.adb,
1733 s-interr-sigaction.adb, s-taprop-irix-athread.adb,
1734 s-osinte-hpux-dce.adb, s-taprop-hpux-dce.adb,
1735 s-taprop-linux.adb, s-taprop-dummy.adb, s-taprop-solaris.adb,
1736 s-interr-vms.adb, s-osinte-vms.ads, s-taprop-vms.adb,
1737 s-osinte-vxworks.ads, s-osprim-vxworks.adb, a-numaux-x86.adb,
1738 a-except.adb, a-exexpr.adb, a-intsig.adb, a-tags.adb,
1739 a-tags.ads, bindgen.ads, checks.adb, checks.adb,
1740 csets.ads, einfo.ads, einfo.ads, elists.adb, exp_ch4.adb,
1741 exp_ch7.adb, exp_dist.adb, exp_util.adb, freeze.adb,
1742 g-dynhta.adb, gnatmem.adb, g-regexp.adb, inline.adb,
1743 i-os2thr.ads, osint.adb, prj.adb, scng.adb, sem_cat.adb,
1744 sem_ch10.adb, sem_ch12.adb, sem_ch4.adb, sem_ch7.adb,
1745 sem_ch8.adb, sem_disp.adb, sem_prag.adb, sem_res.adb,
1746 sem_type.adb, sem_type.ads, sem_warn.adb, s-ficobl.ads,
1747 s-finimp.adb, s-htable.adb, sinfo.ads, sinput-l.ads,
1748 s-interr.adb, s-interr.ads, sprint.adb, s-tarest.adb,
1749 s-tasini.ads, s-taskin.ads, s-taskin.ads, uname.adb,
1750 vms_data.ads: Minor reformatting,
1751 Fix bad box comment format.
1753 * gnat_rm.texi: Fix minor grammatical error
1755 * sem_attr.adb, exp_attr.adb: New attribute Has_Access_Values
1757 * sem_util.ads, sem_util.adb (Requires_Transient_Scope): Allow many
1758 more cases of discriminated records to be recognized as not needing a
1760 (Has_Access_Values): New function.
1762 * snames.h, snames.adb, snames.ads: New attribute Has_Access_Values
1764 * cstand.adb, layout.ads, layout.adb, sem_ch13.ads: Change name
1765 Set_Prim_Alignment to Set_Elem_Alignment (more accurate correspondence
1766 with LRM terminology).
1767 Change terminology in comments primitive type => elementary type.
1769 2004-07-06 Ed Schonberg <schonberg@gnat.com>
1772 * sem_ch7.adb (Unit_Requires_Body): For a generic package, the formal
1773 parameters do not impose any requirements on the presence of a body.
1775 2004-07-06 Ed Schonberg <schonberg@gnat.com>
1778 * sem_ch12.adb (Analyze_Package_Instantiation): If the generic is not a
1779 compilation unit and is in an open scope at the point of instantiation,
1780 assume that a body may be present later.
1782 2004-07-06 Ed Schonberg <schonberg@gnat.com>
1784 * sem_ch13.adb (Analyze_Attribute_Definition_Clause, case 'Size):
1785 Improve error message when specified size is not supported.
1787 * sem_ch6.adb (Maybe_Primitive_Operation): A library-level subprogram
1788 is never a primitive operation.
1790 2004-07-05 Andreas Schwab <schwab@suse.de>
1792 * ada-tree.h (TYPE_LEFT_JUSTIFIED_MODULAR_P): Use
1793 RECORD_OR_UNION_CHECK.
1794 (TYPE_CONTAINS_TEMPLATE_P): Likewise.
1796 2004-07-04 Kelley Cook <kcook@gcc.gnu.org>
1798 * Make-lang.in (doc/gnat_ugn_unw.texi): Eliminate explicit
1799 dependency on xgnatugn, instead build it via a submake.
1800 (ADA_INFOFILES): Add doc/gnat_ugn_unw.texi.
1802 2004-07-04 Richard Henderson <rth@redhat.com>
1804 * utils2.c (gnat_mark_addressable): Don't put_var_into_stack.
1806 2004-07-01 Richard Henderson <rth@redhat.com>
1808 * trans.c (gnat_stabilize_reference): Don't handle RTL_EXPR.
1809 * utils.c (max_size): Likewise.
1811 2004-06-28 Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
1813 * decl.c: Remove calls to add_decl_expr, pushdecl, rest_of_compilation,
1814 and rest_of_type_compilation; add arg to create_*_decl.
1815 (annotate_decl_with_node): Deleted.
1816 (gnat_to_gnu_entity, case E_Array_Type): Set location of fields.
1817 * gigi.h (get_decls, block_has_vars, pushdecl): Deleted.
1818 (get_current_block_context, gnat_pushdecl): New declarations.
1819 (gnat_init_stmt_group): Likewise.
1820 (create_var_decl, create_type_decl, create_subprog_decl): Add new arg.
1821 * misc.c (LANG_HOOKS_CLEAR_BINDING_STACK): Deleted.
1822 (LANG_HOOKS_GETDECLS, LANG_HOOKS_PUSHDECL): Deleted.
1823 (gnat_init): Call gnat_init_stmt_group.
1824 * trans.c (global_stmt_group, gnu_elab_proc_decl): New variables.
1825 (gnu_pending_elaboration_list): Deleted.
1826 (mark_visited, mark_unvisited, gnat_init_stmt_group): New functions.
1827 (gigi): Rearrange initialization calls and move some to last above.
1828 (gnat_to_gnu): If statement and not in procedure, go into elab proc.
1829 Delete calls to add_decl_expr; add arg to create_*_decl.
1830 (gnat_to_gnu, case N_Loop): Recalculate side effects on COND_EXPR.
1831 (gnat_to_gnu, case N_Subprogram_Body): Move some code to
1832 begin_subprog_body and call it.
1833 Don't push and pop ggc context.
1834 (gnat_to_gnu, case N_Compilation_Unit): Rework to support elab proc.
1835 (add_stmt): Remove handling of DECL_EXPR from here.
1836 If not in function, mark visited.
1837 (add_decl_expr): Put global at top level.
1838 Check for cases of DECL_INITIAL we have to handle here.
1839 (process_type): Add extra arg to create_type_decl.
1840 (build_unit_elab): Rework to just gimplify.
1841 * utils.c (pending_elaborations, elist_stack, getdecls): Deleted.
1842 (block_has_vars, mark_visited, add_pending_elaborations): Likewise.
1843 (get_pending_elaborations, pending_elaborations_p): Likewise.
1844 (push_pending_elaborations, pop_pending_elaborations): Likewise.
1845 (get_elaboration_location, insert_elaboration_list): Likewise.
1846 (gnat_binding_level): Renamed from ada_binding_level.
1847 (init_gnat_to_gnu): Don't clear pending_elaborations.
1848 (global_bindings_p): Treat as global if no current_binding_level.
1849 (set_current_block_context): New function.
1850 (gnat_pushdecl): Renamed from pushdecl; major rework.
1851 All callers changed.
1852 (create_type_decl, create_var_decl, create_subprog_decl): Add new arg.
1853 (finish_record_type): Call call pushdecl for stub decl.
1854 (function_nesting_depth): Deleted.
1855 (begin_subprog_body): Delete obsolete code.
1856 * utils2.c (build_call_alloc_dealloc): Add new arg to create_var_decl.
1858 2004-06-28 Robert Dewar <dewar@gnat.com>
1860 * mlib-tgt-tru64.adb, mlib-tgt-aix.adb, mlib-tgt-irix.adb,
1861 mlib-tgt-irix.adb, mlib-tgt-hpux.adb, mlib-tgt-linux.adb,
1862 mlib-tgt-linux.adb, mlib-tgt-solaris.adb, mlib-tgt-solaris.adb,
1863 mlib-tgt-vms-alpha.adb, mlib-tgt-vms-alpha.adb, mlib-tgt-vms-ia64.adb,
1864 a-strmap.adb, a-strmap.ads, clean.adb: Minor reformatting
1866 * exp_util.adb (Is_Possibly_Unaligned_Slice): Completely rewritten, to
1867 deal with problem of inefficient slices on machines with strict
1868 alignment, when the slice is a component of a composite.
1870 * checks.adb (Apply_Array_Size_Check): Do not special case 64-bit
1871 machines, we need the check there as well.
1873 2004-06-28 Ed Schonberg <schonberg@gnat.com>
1875 * exp_ch5.adb (Expand_Assign_Array): Use correct condition to
1876 determine safe copying direction for overlapping slice assignments
1877 when component is controlled.
1879 * sem_ch12.adb (Instantiate_Formal_Package): Implicit operations of a
1880 formal derived type in the actual for a formal package are visible in
1881 the enclosing instance.
1883 2004-06-28 Ed Schonberg <schonberg@gnat.com>
1886 * sem_util.adb (Trace_Components): Diagnose properly an illegal
1887 circularity involving a private type whose completion includes a
1888 self-referential component.
1889 (Enter_Name): Use Is_Inherited_Operation to distinguish a source
1890 renaming or an instantiation from an implicit derived operation.
1892 2004-06-28 Pascal Obry <obry@gnat.com>
1894 * mlib-tgt-mingw.adb: (Library_Exists_For): Remove "lib" prefix from
1896 (Library_File_Name_For): Idem.
1898 2004-06-28 Matthew Gingell <gingell@gnat.com>
1900 * g-traceb.ads: Add explanatory note on the format of addresses
1901 expected by addr2line.
1903 2004-06-28 Jerome Guitton <guitton@act-europe.fr>
1905 * Makefile.in: Force debugging information on s-tasdeb.adb,
1906 a-except.adb and s-assert.adb needed by the debugger.
1908 2004-06-28 Vincent Celier <celier@gnat.com>
1910 * make.adb (Collect_Arguments_And_Compile): Change Flag1 to
1914 * mlib-prj.adb (Check_Library): Replace Flag1 with Need_To_Build_Lib
1916 * prj.adb: Minor reformatting
1917 (Project_Empty): Change Flag1 to Need_To_Build_Lib. Remove Flag2.
1919 * prj.ads: Comment updates
1921 (Project_Data): Change Flag1 to Need_To_Build_Lib.
1922 Remove Flag2: not used.
1924 * prj-dect.adb (Parse_Declarative_Items): Accept "null" as a
1927 * gnat_ugn.texi: Put a "null;" declaration in one project file example
1929 * gnat_rm.texi: Document Empty declarations "null;".
1931 * makegpr.adb (Compile_Link_With_Gnatmake): Put the global archives in
1932 front of the linker options.
1933 (Link_Foreign): Put the global archives and the libraries in front of
1936 2004-06-28 Javier Miranda <miranda@gnat.com>
1938 * rtsfind.adb: (Get_Unit_Name): Fix typo in comment
1939 (RTU_Loaded): Code cleanup
1940 (Set_RTU_Loaded): New procedure to register as *loaded* explicitly
1941 withed predefined units.
1943 * rtsfind.ads (Set_RTU_Loaded): New procedure to register as *loaded*
1944 explicitly withed predefined units.
1947 * sem_ch10.adb (Analyze_Compilation_Unit): Register as *loaded*
1948 explicitly withed predefined units.
1950 2004-06-26 Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
1952 * ada-tree.def (DECL_STMT): Deleted.
1953 * ada-tree.h (IS_ADA_STMT): Now test against STMT_STMT.
1954 (DECL_STMT_VAR): Deleted.
1955 * decl.c: add_decl_stmt now add_decl_expr.
1957 * trans.c: Likewise.
1958 (gnat_gimplify_type_sizes, gnat_gimplify_one_sizepos): Deleted.
1959 (gnat_to_gnu, case N_Subprogram_Body): Set cfun->function_end_locus.
1960 (add_stmt): Only handle padded type here.
1961 (add_stmt_with_node): Allow gnat_node to not be present.
1962 (gnat_gimplify_stmt, case USE_STMT): Set *STMT_P to null.
1963 (gnat_gimplify_stmt, case DECL_STMT): Deleted.
1964 (gnat_stabilize_reference_1): If COMPONENT_REF of fat pointer,
1965 make a SAVE_EXPR for the entire fat pointer.
1966 * utils.c (pushdecl): Walk a DECL_EXPR in global case.
1967 (create_index_type): Make a DECL_EXPR.
1968 (end_subprog_body): Don't call allocate_struct_function here but
1971 2004-06-25 Pascal Obry <obry@gnat.com>
1973 * makegpr.adb (Build_Library): Remove parameter Lib_Address and
1974 Relocatable from Build_Dynamic_Library call.
1976 * gnat_ugn.texi: Change documentation about Library_Kind. Dynamic and
1977 Relocatable are now synonym.
1979 * Makefile.in: Use s-parame-mingw.adb on MingW platform.
1981 * mlib-prj.adb (Build_Library): Remove DLL_Address constant definition.
1982 Remove parameter Lib_Address and Relocatable from Build_Dynamic_Library
1985 * mlib-tgt.ads, mlib-tgt.adb (Build_Dynamic_Library): Remove parameter
1986 Lib_Address and Relocatable.
1987 (Default_DLL_Address): Removed.
1989 * mlib-tgt-tru64.adb, mlib-tgt-aix.adb, mlib-tgt-irix.adb,
1990 mlib-tgt-hpux.adb, mlib-tgt-linux.adb, mlib-tgt-solaris.adb,
1991 mlib-tgt-vms-alpha.adb, mlib-tgt-vms-ia64.adb, mlib-tgt-vxworks.adb:
1992 (Build_Dynamic_Library): Remove parameter Lib_Address and Relocatable.
1993 (Default_DLL_Address): Removed.
1995 * mlib-tgt-mingw.adb: Ditto.
1996 (Build_Dynamic_Library): Do not add "lib" prefix to the DLL name.
1998 * s-taprop-mingw.adb (Create_Task): Use Adjust_Storage_Size to compute
1999 the initial thread stack size.
2001 * a-strmap.ads: Move package L to private part as it is not used in
2002 the spec. Found while reading code.
2004 2004-06-25 Olivier Hainque <hainque@act-europe.fr>
2006 * tracebak.c: Introduce support for a GCC infrastructure based
2007 implementation of __gnat_backtrace.
2009 * raise.c: Don't rely on a C mapping of the GNAT_GCC_Exception record
2010 any more. Use accessors instead. This eases maintenance and relaxes
2011 some alignment constraints.
2012 (_GNAT_Exception structure): Remove the Ada specific fields
2013 (EID_For, Adjust_N_Cleanups_For): New accessors, exported by
2015 (is_handled_by, __gnat_eh_personality): Replace component references to
2016 exception structure by use of the new accessors.
2018 * init.c (__gnat_initialize): Adjust comments to match the just
2019 reverted meaning of the -static link-time option.
2021 * adaint.c (convert_addresses): Arrange not to define a stub for
2022 mips-irix any more, as we now want to rely on a real version from a
2023 recent libaddr2line.
2025 * a-exexpr.adb: Provide new accessors to a GNAT_GCC occurrence, so that
2026 the personality routine can use them and not have to rely on a C
2027 counterpart of the record anymore. This simplifies maintenance and
2028 relaxes the constraint of having Standard'Maximum_Alignment match
2030 Update comments, and add a section on the common header alignment issue.
2032 2004-06-25 Geert Bosch <bosch@gnat.com>
2034 * a-ngelfu.adb (Tanh): Use full 20 digit precision for constants in
2035 polynomial approximation. Fixes inconsistency with Cody/Waite algorithm.
2037 2004-06-25 Robert Dewar <dewar@gnat.com>
2039 * gnat_rm.texi: Fix section on component clauses to indicate that the
2040 restriction on byte boundary placement still applies for bit packed
2042 Add comment on stack usage from Initialize_Scalars
2044 * gnat_ugn.texi: Add documentation for -gnatyLnnn
2046 * stylesw.ads, stylesw.adb: Implement new -gnatyLnnn option for
2047 limiting nesting level.
2049 * usage.adb: Add line for -gnatyLnnn switch
2051 * g-debpoo.ads, xtreeprs.adb, sinput.ads, sem_ch13.ads,
2052 sem_ch13.adb, exp_aggr.adb: Minor reformatting
2054 * sem_prag.adb (Process_Atomic_Shared_Volatile): Set Is_Atomic on base
2055 type as well as on the subtype. This corrects a problem in freeze in
2056 setting alignments of atomic types.
2058 * sem_eval.ads: Minor comment typo fixed
2060 * par-util.adb (Push_Scope_Stack): Check for violation of max nesting
2061 level. Minor reformatting.
2063 * fname.adb (Is_Predefined_File_Name): Require a letter after the
2064 minus sign. This means that file names like a--b.adb will not be
2065 considered predefined.
2067 * freeze.adb: Propagate new flag Must_Be_On_Byte_Boundary to containing
2068 record Test new flag and give diagnostic for bad component clause.
2069 (Freeze_Entity): Set alignment of array from component alignment in
2070 cases where this is safe to do.
2072 * exp_pakd.adb: Set new flag Must_Be_On_Byte_Boundary for large packed
2075 * cstand.adb: (Create_Standard): Set alignment of String to 1
2077 * einfo.ads, einfo.adb: Introduce new flag Must_Be_On_Byte_Boundary
2079 * exp_ch4.adb (Expand_Array_Equality): Improve efficiency of generated
2080 code in the common constrained array cases.
2082 * a-storio.adb: Change implementation to avoid possible alignment
2083 problems on machines requiring strict alignment (data should be moved
2084 as type Buffer, not type Elmt).
2086 * checks.adb (Apply_Array_Size_Check): Improve these checks by
2087 killing the overflow checks which we really do not need (64-bits is
2090 2004-06-25 Vincent Celier <celier@gnat.com>
2092 * makegpr.adb (Is_Included_In_Global_Archive): New Boolean function
2093 (Add_Archives.Recursive_Add_Archives): Call Add_Archive_Path
2094 inconditionally for the main project.
2095 (Recursive_Add_Archives.Add_Archive_Path): New procedure
2096 (Link_Executables.Check_Time_Stamps): New procedure
2097 (Link_Executables.Link_Foreign): New procedure
2098 Changes made to reduce nesting level of this package
2099 (Check): New procedure
2100 (Add_Switches): When not in quiet output, check that a switch is not
2101 the concatenation of several valid switches. If it is, issue a warning.
2102 (Build_Global_Archive): If the global archive is rebuilt, linking need
2104 (Compile_Sources): Rebuilding a library archive does not imply
2105 rebuilding the global archive.
2106 (Build_Global_Archive): New procedure
2107 (Build_Library): New name for Build_Archive, now only for library
2109 (Check_Archive_Builder): New procedure
2110 (Create_Global_Archive_Dependency_File): New procedure
2111 (Gprmake): Call Build_Global_Archive before linking
2112 * makegpr.adb: Use Other_Sources_Present instead of Sources_Present
2114 (Scan_Arg): Display the Copyright notice when -v is used
2116 * gnat_ugn.texi: Document new switch -files= (VMS qualifier /FILES=)
2119 * vms_data.ads: Add qualifier /MAX_NESTING=nnn (-gnatyLnnn) for GNAT
2121 Add new GNAT LIST qualifier /FILES=
2122 Added qualifier /DIRECTORY= to GNAT METRIC
2123 Added qualifier /FILES= to GNAT METRIC
2124 Added qualifier /FILES to GNAT PRETTY
2126 * switch.adb (Is_Front_End_Switch): Refine the test for --RTS or -fRTS,
2127 to take into account both versions of the switch.
2129 * switch-c.adb (Scan_Front_End_Switches): New switch -gnatez. Should
2130 always be the last switch to the gcc driver. Disable switch storing so
2131 that switches automatically added by the gcc driver are not put in the
2134 * prj.adb (Project_Empty): Take into account changes in components of
2137 * prj.ads (Languages_Processed): New enumaration value All_Languages.
2139 * prj.ads (Project_Data): Remove component Lib_Elaboration: never
2140 used. Split Boolean component Ada_Sources_Present in two Boolean
2141 components Ada_Sources_Present and Other_Sources_Present.
2144 * prj-env.adb (For_All_Source_Dirs.Add): Use Ada_Sources_Present
2145 instead of Sources_Present.
2146 (Set_Ada_Paths.Add.Recursive_Add): Ditto
2148 * prj-nmsc.adb: Minor reformatting
2149 (Check_Ada_Naming_Scheme): New name of procedure Check_Naming_Scheme
2150 (Check_Ada_Naming_Scheme_Validity): New name of previous procedure
2151 Check_Ada_Naming_Scheme.
2152 Change Sources_Present to Ada_Sources_Present or Other_Sources_Present
2155 * prj-part.adb (Post_Parse_Context_Clause): New Boolean parameter
2157 Make sure that all cycles where there is at least one "limited with"
2159 (Parse_Single_Project): New Boolean parameter In_Limited
2161 * prj-proc.adb (Recursive_Check): When Process_Languages is
2162 All_Languages, call first Prj.Nmsc.Ada_Check, then
2163 Prj.Nmsc.Other_Languages_Check.
2165 * prj-proc.adb (Process): Use Ada_Sources_Present or
2166 Other_Sources_Present (instead of Sources_Present) depending on
2169 * lang-specs.h: Keep -g and -m switches in the same order, and as the
2172 * lib.adb (Switch_Storing_Enabled): New global Boolean flag
2173 (Disable_Switch_Storing): New procedure. Set Switch_Storing_Enabled to
2175 (Store_Compilation_Switch): Do nothing if Switch_Storing_Enabled is
2178 * lib.ads (Disable_Switch_Storing): New procedure.
2180 * make.adb: Modifications to reduce nesting level of this package.
2181 (Check_Standard_Library): New procedure
2182 (Gnatmake.Check_Mains): New procedure
2183 (Gnatmake.Create_Binder_Mapping_File): New procedure
2184 (Compile_Sources.Compile): Add switch -gnatez as the last option
2185 (Display): Never display -gnatez
2188 When using $(MAIN_OBJECT), always use $(OBJ_DIR)/$(MAIN_OBJECT)
2190 * gnatcmd.adb (Check_Project): New function
2191 (Process_Link): New procedure to reduce nesting depth
2192 (Check_Files): New procedure to reduce the nesting depth.
2193 For GNAT METRIC, include the inherited sources in extending projects.
2194 (GNATCmd): When GNAT LS is invoked with a project file and no files,
2195 add the list of files from the sources of the project file. If this list
2196 is too long, put it in a temp text files and use switch -files=
2197 (Delete_Temp_Config_Files): Delete the temp text file that contains
2198 a list of source for gnatpp or gnatmetric, if one has been created.
2199 (GNATCmd): For GNAT METRIC and GNAT PRETTY, if the number of sources
2200 in the project file is too large, create a temporary text file that
2201 list them and pass it to the tool with "-files=<temp text file>".
2202 (GNATCmd): For GNAT METRIC add "-d=<abject dir>" as the first switch
2204 * gnatlink.adb (Gnatlink): Do not compile with --RTS= when the
2205 generated file is in not in Ada.
2207 * gnatls.adb: Remove all parameters And_Save that are no longer used.
2208 (Scan_Ls_Arg): Add processing for -files=
2209 (Usage): Add line for -files=
2211 * g-os_lib.adb (On_Windows): New global constant Boolean flag
2212 (Normalize_Pathname): When on Windows and the path starts with a
2213 directory separator, make sure that the resulting path will start with
2216 * clean.adb (Clean_Archive): New procedure
2217 (Clean_Project): When there is non-Ada code, delete the global archive,
2218 the archive dependency files, the object files and their dependency
2219 files, if they exist.
2220 (Gnatclean): Call Prj.Pars.Parse for All_Languages, not for Ada only.
2222 2004-06-25 Thomas Quinot <quinot@act-europe.fr>
2224 * sinfo.ads: Fix typo in comment.
2226 * sem_dist.adb (Process_Remote_AST_Attribute): Simplify code that uses
2227 the TSS for remote access-to-subprogram types, since these TSS are
2228 always present once the type has been analyzed.
2229 (RAS_E_Dereference): Same.
2231 * sem_attr.adb (Analyze_Attribute): When analysis of an attribute
2232 reference raises Bad_Attribute, mark the reference as analyzed so the
2233 node (and any children resulting from rewrites that could have occurred
2234 during the analysis that ultimately failed) is not analyzed again.
2236 * exp_ch7.ads (Find_Final_List): Fix misaligned comment.
2238 * exp_dist.adb: Minor comment fix.
2240 * exp_ch4.adb (Expand_N_Allocator): For an allocator whose expected
2241 type is an anonymous access type, no unchecked deallocation of the
2242 allocated object can occur. If the object is controlled, attach it with
2243 a count of 1. This allows attachment to the Global_Final_List, if
2244 no other relevant list is available.
2245 (Get_Allocator_Final_List): For an anonymous access type that is
2246 the type of a discriminant or record component, the corresponding
2247 finalisation list is the one of the scope of the type.
2249 2004-06-25 Ed Schonberg <schonberg@gnat.com>
2251 * sem_ch3.adb (Replace_Type): When computing the signature of an
2252 inherited subprogram, use the first subtype if the derived type
2253 declaration has no constraint.
2255 * exp_ch6.adb (Add_Call_By_Copy_Code): Check that formal is an array
2256 before applying previous optimization. Minor code cleanup.
2258 * exp_util.adb (Is_Possibly_Unaligned_Slice): If the component is
2259 placed at the beginning of an unpacked record without explicit
2260 alignment, a slice of it will be aligned and does not need a copy when
2263 2004-06-25 Ed Schonberg <schonberg@gnat.com>
2267 * sem_ch8.adb (Attribute_Renaming): Reject renaming if the attribute
2268 reference is written with expressions mimicking parameters.
2270 2004-06-25 Hristian Kirtchev <kirtchev@gnat.com>
2273 * sem_ch3.adb (Build_Derived_Record_Type): Add additional check to
2274 STEP 2a. The constraints of a full type declaration of a derived record
2275 type are checked for conformance with those declared in the
2276 corresponding private extension declaration. The message
2277 "not conformant with previous declaration" is emitted if an error is
2280 2004-06-25 Vasiliy Fofanov <fofanov@act-europe.fr>
2282 * g-traceb.ads: Document the need for -E binder switch in the spec.
2284 * g-trasym.ads: Document the need for -E binder switch in the spec.
2286 2004-06-25 Jose Ruiz <ruiz@act-europe.fr>
2288 * sem_prag.adb: Add handling of pragma Detect_Blocking.
2290 * snames.h, snames.ads, snames.adb: Add entry for pragma
2293 * s-rident.ads: Change reference to pragma Detect_Blocking.
2295 * targparm.ads, targparm.adb: Allow pragma Detect_Blocking in
2298 * opt.ads (Detect_Blocking): New Boolean variable (defaulted to False)
2299 to indicate whether pragma Detect_Blocking is active.
2301 * par-prag.adb: Add entry for pragma Detect_Blocking.
2303 * rtsfind.adb (RTU_Loaded): Fix the temporary kludge to get past bug
2304 of not handling WITH.
2305 Note that this replaces the previous update which was incorrect.
2307 2004-06-25 Javier Miranda <miranda@gnat.com>
2309 * sem_ch10.adb (Re_Install_Use_Clauses): Force the installation of the
2310 use-clauses to have a clean environment.
2312 * sem_ch8.adb (Install_Use_Clauses): Addition of a new formal to force
2313 the installation of the use-clauses to stablish a clean environment in
2314 case of compilation of a separate unit; otherwise the call to
2315 use_one_package is protected by the barrier Applicable_Use.
2317 * sem_ch8.ads (Install_Use_Clauses): Addition of a new formal to force
2318 the installation of the use-clauses to stablish a clean environment in
2319 case of compilation of a separate unit.
2320 (End_Use_Clauses): Minor comment cleanup.
2322 2004-06-25 Sergey Rybin <rybin@act-europe.fr>
2324 * gnat_ugn.texi: Add description of the gnatpp 'files' switch
2326 2004-06-23 Richard Henderson <rth@redhat.com>
2328 * trans.c (gnat_gimplify_stmt): Update gimplify_type_sizes call.
2330 2004-06-20 Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
2332 * decl.c (elaborate_expression, elaborate_expression_1): Arguments
2333 now bool instead of int.
2334 (gnat_to_gnu_entity, elaborate_expression_1): New arg to COMPONENT_REF.
2335 * trans.c (gnu_switch_label_stack): New function.
2336 (gnat_to_gnu, N_Object_Renaming_Declaration): Result is what the
2337 elaboration of renamed entity returns.
2338 (gnat_to_gnu, case N_Case_Statement): Add branches to end label.
2339 (add_decl_stmt): Don't add TYPE_DECL for UNCONSTRAINED_ARRAY_TYPE.
2340 (gnat_gimplify_stmt): Use alloc_stmt_list, not build_empty_stmt.
2341 (gnat_gimplify_stmt, case DECL_STMT): gimplify DECL_SIZE and
2342 DECL_SIZE_UNIT and simplify variable-sized case.
2343 (gnat_gimplify_type_sizes, gnat_gimplify_one_sizepos): Deleted.
2344 Callers changes to call gimplify_type_sizes and gimplify_one_sizepos.
2345 (gnat_stabilize_reference): Add arg to COMPONENT_REF.
2346 (build_unit_elab): Disable for now.
2347 * utils.c (mark_visited): New function.
2348 (pushdecl): Walk tree to call it for global decl.
2349 (update_pointer_to): Update all variants of pointer and ref types.
2350 Add arg to COMPONENT_REF.
2351 (convert): Likewise.
2352 Move check for converting between variants lower down.
2353 * utils2.c (build_simple_component_ref): Add arg to COMPONENT_REF.
2354 (build_allocator): Don't force type of MODIFY_EXPR.
2355 (gnat_mark_addressable, case VAR_DECL): Unconditionally call
2358 2004-06-14 Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
2360 * ada-tree.def (LOOP_STMT, EXIT_STMT): Update documentation.
2361 * ada-tree.h (EXIT_STMT_LABEL): Renamed from EXIT_STMT_LOOP.
2362 * decl.c (gnat_to_gnu_entity): Also set force_global for imported
2364 * trans.c (gnu_loop_label_stack): Renamed from gnu_loop_stmt_stack;
2365 all callers changed.
2366 (gnat_to_gnu, case N_Loop_Statement, case N_Exit_Statement): Change
2367 the way that EXIT_STMT finds the loop label.
2368 (gnat_gimplify_stmt, case LOOP_STMT, EXIT_STMT): Likewise.
2369 (gnat_gimplify_stmt, case DECL_STMT): Handle variable-sized decls here.
2370 (add_stmt): Use annotate_with_locus insted of setting directly.
2371 (pos_to_construct): Set TREE_PURPOSE of each entry to index.
2372 (gnat_stabilize_reference, case ARRAY_RANGE_REF): Merge with ARRAY_REF.
2373 * utils.c (gnat_install_builtins): Install __builtin_memcmp.
2374 (build_vms_descriptor): Add extra args to ARRAY_REF.
2375 (convert): Use VIEW_CONVERT_EXPR between aggregate types.
2376 * utils2.c (gnat_truthvalue_conversion, case INTEGER_CST, REAL_CST):
2378 (build_binary_op): Don't make explicit CONVERT_EXPR.
2379 Add extra rgs to ARRAY_REF.
2381 2004-06-14 Pascal Obry <obry@gnat.com>
2383 * gnat_ugn.texi: Document relocatable vs. dynamic Library_Kind on
2384 Windows. Fix minor typo.
2386 * mlib-tgt-mingw.adb: New implementation using the GCC -shared option
2387 which is now supported on Windows. With this implementation using the
2388 Library Project feature is no different on Windows than on UNIX.
2390 2004-06-14 Vincent Celier <celier@gnat.com>
2392 * makegpr.adb (Compile_Sources): Nothing to do when there are no
2395 * mlib-tgt-vxworks.adb (Library_Exists_For): Remove incorrect comment
2397 * prj-part.adb (Parse_Single_Project): When a duplicate project name is
2398 found, show the project name and the path of the previously parsed
2401 2004-06-14 Ed Schonberg <schonberg@gnat.com>
2403 * exp_ch6.adb (Add_Call_By_Copy_Code): For an out-parameter that is an
2404 array, avoid copying the actual before the call.
2406 2004-06-14 Thomas Quinot <quinot@act-europe.fr>
2408 * g-debpoo.adb: Remove alignment assumptions from GNAT.Debug_Pools.
2409 Instead, allocate memory on worst-case alignment assumptions, and then
2410 return an aligned address within the allocated zone.
2412 2004-06-14 Robert Dewar <dewar@gnat.com>
2414 * bindgen.adb (Gen_Adainit_Ada): Do not generate external references to
2415 elab entities in predefined units in No_Run_Time_Mode.
2416 (Gen_Adainit_C): Same fix
2417 (Gen_Elab_Calls_Ada): Do not generate calls to elaborate predefined
2418 units in No_Run_Time_Mode
2419 (Gen_Elab_Calls_C): Same fix
2421 * symbols-vms-alpha.adb: Minor reformatting
2423 * g-debpoo.ads: Minor reformatting
2425 * lib.adb (In_Same_Extended_Unit): Version working on node id's
2427 * lib.ads (In_Same_Extended_Unit): Version working on node id's
2429 * lib-xref.adb: Minor cleanup, use new version of In_Same_Extended_Unit
2432 * make.adb: Minor reformatting
2434 * par-ch12.adb: Minor reformatting
2436 * par-prag.adb: Add dummy entry for pragma Profile_Warnings
2438 * prj-strt.adb: Minor reformatting
2440 * restrict.ads, restrict.adb: Redo handling of profile restrictions to
2443 * sem_attr.adb: Minor reformatting
2445 * sem_ch7.adb: Minor reformatting
2447 * sem_elab.adb (Check_A_Call): Deal with problem of calling init proc
2448 for type in the same unit as the object declaration.
2450 * sem_prag.adb (Check_Arg_Is_External_Name): New procedure, allows
2451 static string expressions and not just string literals.
2453 (Set_Warning): Reset restriction warning flag for restriction pragma
2454 Implement pragma Profile_Warnings
2455 Implement pragma Profile (Restricted)
2456 Give obolescent messages for old restrictions and pragmas
2458 * snames.h, snames.ads, snames.adb: Add new entry for pragma
2461 * s-rident.ads: Add declarations for restrictions required by profile
2462 Restricted and profile Ravenscar.
2464 * targparm.ads, targparm.adb: Allow pragma Profile in system.ads
2466 * gnat_ugn.texi: Correct some missing entries in the list of GNAT
2467 configuration pragmas.
2469 2004-06-11 Vincent Celier <celier@gnat.com>
2471 * mlib-tgt-vms-alpha.adb (Build_Dynamic_Library): Issue switch -R to
2472 gnatsym, when symbol policy is Restricted.
2474 * mlib-tgt-vms-ia64.adb (Build_Dynamic_Library): Issue switch -R to
2475 gnatsym, when symbol policy is Restricted.
2477 * symbols-vms-alpha.adb (Initialize): When symbol policy is Restricted,
2478 read the symbol file.
2479 (Finalize): Fail in symbol policy Restricted if a symbol in the original
2480 symbol file is not in the object files. Do not create a new symbol file
2481 when symbol policy is Restricted.
2483 * gnatbind.adb (Gnatbind): Initialize Snames, because Snames is used
2486 * gnatsym.adb (Parse_Vmd_Line): Process new switch -R for symbol policy
2488 (Usage): Line for new switch -R
2490 * make.adb (Initialize): When the platform is not VMS, add the
2491 directory where gnatmake is invoked in the front of the path, if
2492 gnatmake is invoked with directory information. Change the Scan_Args
2493 while loop to a for loop.
2494 (Recursive_Compute_Depth): Remove parameter Visited. Improve efficiency:
2495 if Depth is equal or greater than the proposed depth, there is nothing
2497 (Initialize): Call Recursive_Compute_Depth with initial Depth equal to 1
2500 * prj.ads: Add new symbol policy Restricted.
2502 * prj-dect.adb (Parse_Case_Construction): Call End_Case_Construction
2503 with the new parameters Check_All_Labels and Case_Location.
2505 * prj-nmsc.adb (Ada_Check): Process new symbol policy Restricted
2506 (Library_Symbol_File needs to be defined).
2508 * prj-strt.adb (End_Case_Construction): New parameters Check_All_Labels
2509 and Case_Location If Check_All_Labels is True, check that all values of
2510 the string type are used, and output warning(s) if they are not.
2512 * prj-strt.ads (End_Case_Construction): New parameters Check_All_Labels
2515 * gnat_ugn.texi: Reorder subclauses in menus "Switches for gcc"
2517 * gnat_ugn.texi: Update documentation about the library directory in
2520 * makegpr.adb (Display_Command): In verbose mode, also display the
2521 value of the CPATH env var, when the compiler is gcc.
2522 (Initialize): Change the Scan_Args while loop to a for loop
2523 (Compile_Individual_Sources): Change directory to object directory
2524 before compilations.
2526 * symbols.ads: New symbol policy Restricted.
2528 2004-06-11 Olivier Hainque <hainque@act-europe.fr>
2530 * a-except.adb (Raise_After_Setup family): Remove. The responsibility
2531 is now taken care of internally in the Exception_Propagation package
2532 and does not require clients assistance any more.
2534 * a-exexpr.adb (Is_Setup_And_Not_Propagated,
2535 Set_Setup_And_Not_Propagated, and Clear_Setup_And_Not_Propagated): New
2536 functions. Helpers to maintain a predicate required in the handling of
2537 occurrence transfer between tasks.
2538 This is now handled internally and does not require clients assistance
2539 for the setup/propagate separation anymore.
2540 (Setup_Exception, Propagate_Exception): Simplify the Private_Data
2541 allocation strategy, handle the Setup_And_Not_Propagated predicate and
2544 * s-taenca.adb (Check_Exception): Use raise_with_msg instead of
2545 raise_after_setup, now that everything is handled internally within the
2546 setup/propagation engine.
2548 2004-06-11 Hristian Kirtchev <kirtchev@gnat.com>
2550 * exp_ch6.adb (Expand_Inlined_Call): Add function Formal_Is_Used_Once.
2551 Add additional conditions for the case of an actual being a simple
2552 name or literal. Improve inlining by preventing the generation
2553 of temporaries with a short lifetime (one use).
2555 2004-06-11 Hristian Kirtchev <kirtchev@gnat.com>
2559 * einfo.ads: Minor comment updates for Has_Completion and
2560 E_Constant list of flags.
2562 * sem_ch3.adb (Analyze_Object_Declaration): Full constant declarations
2563 and constant redeclarations now set the Has_Completion flag of their
2564 defining identifiers.
2566 * sem_ch7.adb (Analyze_Package_Spec): Add procedure
2567 Inspect_Deferred_Constant_Completion.
2568 Used to detect private deferred constants that have not been completed
2569 either by a constant redeclaration or pragma Import. Emits error message
2570 "constant declaration requires initialization expression".
2572 * sem_prag.adb (Process_Import_Or_Interface): An Import pragma now
2573 completes a deferred constant.
2575 2004-06-11 Geert Bosch <bosch@gnat.com>
2577 * eval_fat.adb (Decompose_Int): Fix rounding of negative numbers.
2579 * s-fatgen.adb (Gradual_Scaling): Correct off-by-one error in
2580 calculating exponent for scaling denormal numbers.
2581 (Leading_Part): Properly raise Constraint_Error for zero or negative
2583 (Remainder): Properly raise Constraint_Error for zero divisor.
2585 2004-06-11 Thomas Quinot <quinot@act-europe.fr>
2587 * sem_util.adb: Minor reformatting.
2589 * exp_ch2.adb (Expand_Entry_Parameter): Generate an explicit
2590 dereference when accessing the entry parameter record.
2591 (Check_Array_Type): Always check for possible implicit dereference.
2592 (maybe_implicit_dereference): Rename to check_no_implicit_derefence.
2593 Abort if a pointer is still present (denoting that an implicit
2594 dereference was left in the tree by the front-end).
2596 * sem_attr.adb (Expand_Entry_Parameter): Generate an explicit
2597 dereference when accessing the entry parameter record.
2598 (Check_Array_Type): Always check for possible implicit dereference.
2599 (maybe_implicit_dereference): Rename to check_no_implicit_derefence.
2600 Abort if a pointer is still present (denoting that an implicit
2601 dereference was left in the tree by the front-end).
2603 2004-06-11 Emmanuel Briot <briot@act-europe.fr>
2605 * g-debpoo.adb (Deallocate, Dereference): Add prefix "error:" to error
2606 message, like the compiler itself does. Easier to parse the output.
2608 * g-debpoo.ads: (Allocate, Deallocate, Dereference): Add comments.
2610 * gnat_ugn.texi (gnatxref, gnatfind): Clarify that source names should
2611 be base names, and not includes directories.
2613 2004-06-11 Arnaud Charlet <charlet@act-europe.fr>
2615 * Makefile.generic ($(EXEC)): Depend on $(OBJECTS), not $(OBJ_FILES),
2616 so that dependencies are properly taken into account by make.
2618 2004-06-11 Arnaud Charlet <charlet@act-europe.fr>
2621 * s-unstyp.ads, s-maccod.ads, sem_ch8.adb, s-auxdec.ads,
2622 exp_intr.adb, s-auxdec-vms_64.ads: Fix typo: instrinsic -> intrinsic
2624 2004-06-11 Jerome Guitton <guitton@act-europe.fr>
2626 * Makefile.in (install-gnatlib): install target-specific run-time files.
2628 * Make-lang.in: Remove obsolete targets.
2630 2004-06-11 Ed Schonberg <schonberg@gnat.com>
2632 * par-ch12.adb (P_Generic): Add scope before analyzing subprogram
2633 specification, to catch misuses of program unit names.
2635 * sem_res.adb (Resolve_Type_Conversion): Do not emit warnings on
2636 superfluous conversions in an instance.
2638 2004-06-11 Ed Schonberg <schonberg@gnat.com>
2642 * sem_ch12.adb (Save_References): If operator node has been folded to
2643 enumeration literal, associated_node must be discarded.
2645 2004-06-11 Jose Ruiz <ruiz@act-europe.fr>
2647 * s-stchop-vxworks.adb: Add required pragma Convention to
2648 Task_Descriptor because it is updated by a C function.
2650 2004-06-08 Arnaud Charlet <charlet@act-europe.fr>
2654 * Makefile.in: Remove target specific SO_OPT on IRIX
2656 2004-06-07 Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
2658 * ada-tree.def (TRANSFORM_EXPR, ALLOCATE_EXPR, USE_EXPR): Deleted.
2659 (GNAT_NOP_EXPR, GNAT_LOOP_ID, EXPR_STMT, NULL_STMT): Likewise.
2660 (BLOCK_STMT, IF_STMT, GOTO_STMT, LABEL_STMT, RETURN_STMT): Likewise.
2661 (ASM_STMT, BREAK_STMT, REGION_STMT,HANDLER_STMT): Likewise.
2662 (STMT_STMT, USE_STMT): New statement codes.
2663 (LOOP_STMT, EXIT_STMT): Make slight semantic changes.
2664 * ada-tree.h: Reflect above changes.
2665 (struct tree_loop_id): Deleted.
2666 (union lang_tree_node, struct lang_decl, struct lang_type):
2667 Now just contains a tree node; update macros using TYPE_LANG_SPECIFIC
2668 and DECL_LANGUAGE_SPECIFIC to reflect these changes.
2669 (DECL_INIT_BY_ASSIGN_P, TRE_LOOP_NODE_ID, TREE_SLOC): Deleted.
2670 (IS_ADA_STMT): New macro.
2671 * decl.c (annotate_decl_with_node): New function.
2672 (gnat_to_gnu_entity): Use it and Sloc_to_locus instead of set_lineno.
2673 (gnat_to_gnu_entity, case object): Remove call to expand CONVERT_EXPR.
2674 Call add_stmt_with_node to do needed assignments.
2675 Add call to update setjmp buffer directly, not via EXPR_STMT.
2676 (maybe_variable): Argment GNAT_NODE deleted.
2677 * gigi.h (maybe_variable): Likewise.
2678 (make_transform, add_stmt_with_node, set_block_for_group): New.
2679 (gnat_gimplify_expr, gnat_expand_body, Sloc_to_locus): Likewise.
2680 (set_block_jmpbuf_decl, get_block_jmpbuf_decl): Likewise.
2681 (discard_file_names, gnu_block_stack, gnat_to_code): Deleted.
2682 (set_lineno, set_lineno_from_sloc): Likewise.
2683 (record_code_position, insert_code_for): Likewise.
2684 (gnat_poplevel): Now returns void.
2685 (end_subprog_body): Now takes argument.
2686 * misc.c (cgraph.h, tree-inline.h): New includes.
2687 (gnat_tree_size, LANG_HOOKS_TREE_SIZE): Deleted.
2688 (gnat_post_options, LANG_HOOKS_POST_OPTIONS): New.
2689 (LANG_HOOKS_CALLGRAPH_EXPAND_FUNCTION): Likewise.
2690 (LANG_HOOKS_RTL_EXPAND_STMT, LANG_HOOKS_GIMPLIFY_EXPR): Likewise.
2691 (gnat_parse_file): Don't set immediate_size_expand.
2692 Call cgraph functions.
2693 (gnat_expand_expr): Remove most cases.
2694 (record_code_position, insert_code_for): Remove from here.
2695 * trans.c (toplev.h, tree-gimple.h): Now included.
2696 (discard_file_names): Deleted.
2697 (gnu_block_stack, gnu_block_stmt_node, gnu_block_stmt_free_list): Del.
2698 (first_nondeleted_insn, make_expr_stmt_from_rtl): Likewise.
2699 (struct stmt_group, current_stmt_group, stmt_group_free_list): New.
2700 (gnu_stack_free_list, record_cost_position, insert_code_for): Likewise.
2701 (add_cleanup, push_stack, gnat_gimplify_stmt, add_cleanup): Likewise.
2702 (gnat_gimplify_type_sizes, gnat_gimplify_one_sizepos): Likewise.
2703 (gnat_expand_body_1, gnat_gimplify_expr, annotate_with_node): Likewise.
2704 (set_block_for_group, add_stmt_list): Likewise.
2705 (start_stmt_group): Renamed from start_block_stmt.
2706 (end_stmt_group): Likewise, from end_block_stmt.
2707 (build_stmt_group): Likewise, from build_block_stmt, also add arg.
2708 (gigi): Don't set discard_file_names or call set_lineno.
2709 Disallow front end ZCX; call gnat_to_gnu, not gnat_to_code.
2710 (tree_transform): Deleted, now renamed to be gnat_to_gnu.
2711 Numerous changes throughout to reflect new names and complete
2712 function-at-a-time implementation.
2713 (gnat_expand_stmt): Delete or comment out all cases.
2714 (process_inlined_subprograms): Use add_stmt.
2715 (process_decls): Use gnat_to_gnu, not gnat_to_code, and don't
2716 call set_lineno; also remove unneeded block handling.
2717 (process_type): Remove unneeded block handling.
2718 (build_unit_elab): Remove calls to deleted functions.
2719 * utils.c (cgraph.h, tree-inline.h, tree-gimple.h): Now include.
2720 (tree-dump.h): Likewise.
2721 (struct ada_binding_level): Add field jmpbuf_decl.
2722 (gnat_define_builtin, gnat_install_builtins): New.
2723 (gnat_gimplify_function, gnat_finalize): Likewise.
2724 (gnat_poplevel): No longer return BLOCK, set it instead.
2725 Remove code dealing with nested functions.
2726 (gnat_init_decl_processing): Also set size_type_node.
2727 Call gnat_install_builtins.
2728 (create_var_decl): Don't set DECL_INIT_BY_ASSIGN.
2729 (create_subprog_decl): Change handling of inline_flag; set TREE_STATIC.
2730 Remove special-case for "main".
2731 (end_subprog_body): Add arg and rework for tree-ssa.
2732 (convert): Don't use GNAT_NOP_EXPR or look for TRANSFORM_EXPR.
2733 Add case for BOOLEAN_TYPE.
2734 * utils2.c (rtl.h): Now include.
2735 (build_call_raise): Test Debug_Flag_NN directly.
2736 (build_call_alloc_dealloc): Don't use local stack allocation for now.
2737 (gnat_mark_addressable, case GNAT_NOP_EXPR): Deleted.
2738 (gnat_mark_addressable, case VAR_DECL): Handle both early & late cases.
2740 2004-06-07 Robert Dewar <dewar@gnat.com>
2742 * a-direct.ads, einfo.ads: Minor comment updates
2744 * s-taprop-lynxos.adb, s-taprop-tru64.adb, s-taprop-irix.adb,
2745 s-taprop-irix-athread.adb, s-taprop-hpux-dce.adb, s-taprop-linux.adb,
2746 s-taprop-dummy.adb, s-taprop-os2.adb, s-taprop-solaris.adb,
2747 s-taprop-vms.adb, s-taprop-mingw.adb, s-taprop-vxworks.adb,
2748 s-taprop-posix.adb, s-taprop.ads, exp_dbug.adb: Minor reformatting.
2750 * s-interr-sigaction.adb: Remove unreferenced variable
2751 (Attached_Interrupts). Minor reformatting.
2752 Avoid use of variable I (replace by J).
2754 * par-ch10.adb: Fix text of one error message
2756 * checks.adb, checks.ads, cstand.adb, vms_data.ads, errout.ads,
2757 exp_aggr.adb, exp_ch3.adb, exp_ch3.ads, exp_ch5.adb, exp_ch6.adb,
2758 exp_ch9.adb, exp_code.adb, gnat1drv.adb, lib-load.adb, lib-writ.adb,
2759 opt.adb, par.adb, opt.ads, par-ch11.adb, par-ch3.adb, par-ch4.adb,
2760 par-ch5.adb, par-ch6.adb, par-ch8.adb, par-ch9.adb, par-prag.adb,
2761 par-util.adb, scng.adb, sem_aggr.adb, sem_attr.adb, sem_cat.adb,
2762 sem_ch10.adb, sem_ch10.adb, sem_ch11.adb, sem_ch12.adb, sem_ch2.adb,
2763 sem_ch3.adb, sem_ch3.ads, sem_ch4.adb, sem_ch5.adb, sem_ch6.adb,
2764 sem_ch7.adb, sem_ch8.adb, sem_ch9.adb, sem_eval.adb, sem_prag.adb,
2765 sem_res.adb, sem_type.adb, sem_util.adb, sinfo.ads, snames.adb,
2766 snames.ads, snames.h, sprint.adb, switch-c.adb: Modifications for Ada
2769 2004-06-07 Doug Rupp <rupp@gnat.com>
2771 * mlib-tgt-vms.adb: Rename mlib-tgt-vms.adb mlib-tgt-vms-alpha.adb
2773 * s-vaflop-vms.adb: Rename s-vaflop-vms.adb to s-vaflop-vms-alpha.adb
2775 * mlib-tgt-vms-ia64.adb: New file.
2777 * Makefile.in: Rename mlib-tgt-vms.adb to mlib-tgt-vms-alpha.adb
2778 Add mlib-tgt-vms-ia64.adb
2779 Rename s-vaflop-vms.adb to s-vaflop-vms-alpha.adb.
2780 Move to alpha specific ifeq section.
2781 Add VMS specific versions of symbols.adb
2782 Renaming of 5q vms files.
2784 * 5qsystem.ads renamed to system-vms_64.ads.
2786 2004-06-07 Vincent Celier <celier@gnat.com>
2788 * a-calend.ads: Add a GNAT Note comment after function Time_Of to
2789 explain that when a time of day corresponding to the non existing hour
2790 on the day switching to DST is specified, Split may return a different
2793 * gnatcmd.adb: Add processing of GNAT METRIC (for gnatmetric), similar
2796 * g-os_lib.adb (OpenVMS): New Boolean value imported from System.
2797 (Normalize_Pathname): Only resolve VMS logical names when on VMS.
2799 * mlib-prj.adb (Build_Library): New flag Gtrasymobj_Needed, initialize
2801 If Gtrasymobj_Needed is True, add the full path of g-trasym.obj to
2802 the linking options.
2803 (Build_Library.Check_Libs): On VMS, if there is a dependency on
2804 g-trasym.ads, set Gtrasymobj_Needed to True.
2806 * prj-attr.adb: Add new package Metrics for gnatmetric
2808 * prj-nmsc.adb (Record_Other_Sources): Put source file names in
2809 canonical case to take into account files with upper case characters on
2811 (Ada_Check): Load the reference symbol file name in the name buffer to
2812 check it, not the symbol file name.
2814 * snames.ads, snames.adb: Add standard name Metrics (name of project
2815 file package for gnatmetric).
2817 * vms_conv.ads: Add Metric to Comment_Type
2819 * vms_conv.adb (Initialize): Add component dor Metric in Command_List
2821 * vms_data.ads: Add qualifiers for GNAT METRIC
2823 * makegpr.adb (Link_Executables): Take into account the switches
2824 specified in package Linker of the main project.
2826 2004-06-07 Thomas Quinot <quinot@act-europe.fr>
2828 * bindgen.adb (Set_Unit_Number): Units is an instance of Table, and so
2829 the index of the last element is Units.Last, not Units.Table'Last
2830 (which is usually not a valid index within the actually allocated
2831 storage for the table).
2833 * exp_ch4.adb (Insert_Dereference_Action): Change predicate that
2834 determines whether to generate a call to a checked storage pool
2836 Generate such a call only for a dereference that either comes from
2837 source, or is the result of rewriting a dereference that comes from
2840 2004-06-07 Romain Berrendonner <berrendo@act-europe.fr>
2842 * bindgen.adb (Gen_Output_File): Add support for GAP builds.
2844 2004-06-07 Eric Botcazou <ebotcazou@act-europe.fr>
2846 (gnat_to_gnu_entity) <E_Array_Subtype>: For multi-dimensional arrays at
2847 file level, elaborate the stride for inner dimensions in alignment
2850 * exp_ch5.adb: Correct wrong reference to Component_May_Be_Bit_Aligned
2853 2004-06-07 Javier Miranda <miranda@gnat.com>
2855 * exp_ch6.adb: Correct wrong modification in previous patch
2857 2004-06-07 Vasiliy Fofanov <fofanov@act-europe.fr>
2859 * g-trasym.ads: Corrected comment to properly reflect level of support
2862 2004-06-07 Hristian Kirtchev <kirtchev@gnat.com>
2864 * lib-xref.adb (Generate_Reference): Add nested function Is_On_LHS. It
2865 includes case of a variable referenced on the left hand side of an
2866 assignment, therefore remove redundant code. Variables and prefixes of
2867 indexed or selected components are now marked as referenced on left
2868 hand side. Warnings are now properly emitted when variables or prefixes
2869 are assigned but not read.
2871 * sem_warn.adb (Output_Unreferenced_Messages): Add additional checks to
2872 left hand side referenced variables. Private access types do not
2873 produce the warning "variable ... is assigned but never read".
2874 Add also additional checks to left hand side referenced variables.
2875 Aliased, renamed objects and access types do not produce the warning
2876 "variable ... is assigned but never read" since other entities may read
2877 the memory location.
2879 2004-06-07 Jerome Guitton <guitton@act-europe.fr>
2881 * Makefile.in: In the powerpc/vxworks-specific section, restore
2882 EXTRA_GNATRTL_NONTASKING_OBJS and EXTRA_GNATRTL_TASKING_OBJS (removed
2885 2004-06-07 Ed Schonberg <schonberg@gnat.com>
2887 * sem_ch4.adb (Remove_Abstract_Operations): Refine the removal of
2888 predefined operators.
2889 Removes spurious type errors from g-trasym-vms.adb.
2891 * sem_res.adb (Rewrite_Renamed_Operator): If intrinsic operator is
2892 distinct from the operator appearing in the source, call appropriate
2893 routine to insert conversions when needed, and complete resolution of
2895 (Resolve_Intrinsic_Operator): Fix cut-and-paste bug on transfer of
2896 interpretations for rewritten right operand.
2897 (Set_Mixed_Mode_Operand): Handle properly a universal real operand when
2898 the other operand is overloaded and the context is a type conversion.
2900 2004-06-07 Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
2902 * ada-tree.def (BLOCK_STMT): Now has two operands.
2905 * ada-tree.h: (BLOCK_STMT_BLOCK): New macro.
2907 * gigi.h: (gnat_poplevel): Now returns a tree.
2909 * trans.c (end_block_stmt): Add arg; all callers changed.
2910 (tree_transform, case N_Case_Statement): Make a BLOCK_STMT for a WHEN.
2911 (start_block_stmt): Clear BLOCK_STMT_BLOCK.
2912 (add_stmt): Set TREE_TYPE.
2913 (gnat_expand_stmt, case BLOCK_STMT): Handle BLOCK_STMT_BLOCK.
2914 (gnat_expand_stmt, case BREAK_STMT): New case.
2916 * utils.c (gnat_poplevel): Return a BLOCK, if we made one.
2918 2004-06-07 Jose Ruiz <ruiz@act-europe.fr>
2920 * s-stchop.adsm s-stchop.adb, s-stchop-vxworks.adb: Remove the
2921 procedure Set_Stack_Size that is not needed.
2923 2004-06-07 Sergey Rybin <rybin@act-europe.fr>
2925 * gnat_ugn.texi: Clarify the case when non-standard naming scheme is
2926 used for gnatpp input file and for the files upon which it depends
2928 2004-06-07 Ben Brosgol <brosgol@gnat.com>
2930 * gnat_ugn.texi: Wordsmithing of "GNAT and Libraries" chapter
2932 2004-06-07 Arnaud Charlet <charlet@act-europe.fr>
2934 * gnatvsn.ads: Bump version numbers appropriately.
2937 2004-06-07 Pascal Obry <obry@gnat.com>
2939 * gnat_ugn.texi: Improve comments about imported names and link names
2940 on Windows. Add a note about the requirement to use -k gnatdll's option
2941 when working with a DLL which has stripped stdcall symbols (no @nn
2944 2004-05-27 Vincent Celier <celier@gnat.com>
2946 * vms_data.ads: Add new GNAT PRETTY qualifiers /NO_BACKUP and
2947 COMMENTS_LAYOUT=UNTOUCHED
2949 * symbols-vms.adb, symbols-vms-alpha.adb: Renamed symbols-vms.adb to
2950 symbols-vms-alpha.adb
2952 2004-05-27 Thomas Quinot <quinot@act-europe.fr>
2954 * sem.ads: Clarify documentation on checks suppression.
2956 * einfo.ads (Is_Known_Non_Null): Minor comment typo fix and rephrasing.
2958 2004-05-27 Ed Schonberg <schonberg@gnat.com>
2960 * sem_util.adb (Is_Descendent_Of): Examine properly all ancestors in
2961 the case of multiple derivations.
2962 (Is_Object_Reference): For a selected component, verify that the prefix
2963 is itself an object and not a value.
2965 * sem_ch12.adb (Same_Instantiated_Constant): New name for
2966 Same_Instantiated_Entity.
2967 (Same_Instantiated_Variable): Subsidiary to
2968 Check_Formal_Package_Instance, to recognize actuals for in-out generic
2969 formals that are obtained from a previous formal package.
2970 (Instantiate_Subprogram_Body): Emit proper error when
2971 generating code and the proper body of a stub is missing.
2973 * sem_ch4.adb (Remove_Address_Interpretations): If the operation still
2974 has a universal interpretation, do the disambiguation here.
2976 * exp_ch4.adb (Expand_N_Type_Conversion,
2977 Expand_N_Unchecked_Type_Conversion): Special handling when target type
2978 is Address, to avoid typing anomalies when Address is a visible integer
2981 * exp_ch6.adb (Expand_N_Subprogram_Body): Use Is_Descendent_Of_Address
2982 to determine whether a subprogram should not be marked Pure, even when
2983 declared in a pure package.
2985 2004-05-27 Jose Ruiz <ruiz@act-europe.fr>
2987 * gnat_ugn.texi: Replace pragma Ravenscar by pragma Profile.
2989 * gnat_rm.texi: Replace Max_Entry_Queue_Depth by Max_Entry_Queue_Length
2990 Document No_Dynamic_Attachment, that supersedes No_Dynamic_Interrupts.
2991 Update the documentation about the Ravenscar profile, following the
2992 definition found in AI-249.
2994 * sem_prag.adb: Use FIFO_Within_Priorities and Ceiling_Locking when
2995 setting the Profile (Ravenscar). This must be done in addition to
2996 setting the required restrictions.
2998 * rtsfind.ads: Add the set of operations defined in package
3001 * exp_ch6.adb: Check whether we are violating the No_Dynamic_Attachment
3004 2004-05-27 Eric Botcazou <ebotcazou@act-europe.fr>
3006 lang-specs.h: Always require -c or -S and always redirect to /dev/null
3007 if -gnatc or -gnats is passed.
3009 2004-05-27 Hristian Kirtchev <kirtchev@gnat.com>
3011 * sem_prag.adb (Sig_Flags): A Pragma_Unchecked_Union does not count as
3012 a significant reference. Warnings are now properly emitted when a
3013 discriminated type is not referenced.
3015 * lib-xref.adb (Generate_Reference): A deferred constant completion,
3016 record representation clause or record type discriminant does not
3017 produce a reference to its corresponding entity. Warnings are now
3018 properly emitted when deferred constants and record types are not
3021 2004-05-27 Geert Bosch <bosch@gnat.com>
3023 * Makefile.in: Use long version of libm routines on ia64 gnu/linux.
3024 Fixes ACATS Annex G tests.
3026 2004-05-27 Robert Dewar <dewar@gnat.com>
3028 * rtsfind.adb (RTU_Loaded): Temporary kludge to get past bug of not
3031 2004-05-27 Arnaud Charlet <charlet@act-europe.fr>
3033 * s-interr.adb (Server_Task): Take into account case of early return
3034 from sigwait under e.g. linux.
3036 2004-05-27 Sergey Rybin <rybin@act-europe.fr>
3038 * gnat_ugn.texi: Add description for the new gnatpp options:
3039 -rnb - replace the original source without creating its backup copy
3040 -c0 - do not format comments
3042 2004-05-24 Geert Bosch <bosch@gnat.com>
3044 * a-numaux-x86.adb (Reduce): Reimplement using an approximation of Pi
3045 with 192 bits of precision, sufficient to reduce a double-extended
3046 arguments X with a maximum relative error of T'Machine_Epsilon, for X
3047 in -2.0**32 .. 2.0**32.
3048 (Cos, Sin): Always reduce arguments of 1/4 Pi or larger, to prevent
3049 reduction by the processor, which only uses a 68-bit approximation of
3051 (Tan): Always reduce arguments and compute function either using
3052 the processor's fptan instruction, or by dividing sin and cos as needed.
3054 2004-05-24 Doug Rupp <rupp@gnat.com>
3056 * adaint.c (__gnat_readdir): Cast CRTL function retun value to avoid
3057 gcc error on 32/64 bit VMS.
3059 2004-05-24 Olivier Hainque <hainque@act-europe.fr>
3061 * init.c (__gnat_error_handler): Handle EEXIST as EACCES for SIGSEGVs,
3062 since this is what we get for stack overflows although not documented
3064 Document the issues which may require adjustments to our signal
3067 2004-05-24 Ed Schonberg <schonberg@gnat.com>
3069 * inline.adb (Add_Scope_To_Clean): Do not add cleanup actions to the
3070 enclosing dynamic scope if the instantiation is within a generic unit.
3072 2004-05-24 Arnaud Charlet <charlet@act-europe.fr>
3074 * exp_dbug.ads: Fix typo.
3076 * Makefile.in: s-osinte-linux-ia64.ads was misnamed.
3077 Rename it to its proper name: system-linux-ia64.ads
3078 (stamp-gnatlib1): Remove extra target specific run time files when
3079 setting up the rts directory.
3081 2004-05-24 Javier Miranda <miranda@gnat.com>
3083 * einfo.ads, einfo.adb (Limited_Views): Removed.
3084 (Limited_View): New attribute that replaces the previous one. It is
3085 now a bona fide package with the limited-view list through the
3086 first_entity and first_private attributes.
3088 * sem_ch10.adb (Install_Private_With_Clauses): Give support to
3089 limited-private-with clause.
3090 (Install_Limited_Withed_Unit): Install the private declarations of a
3091 limited-private-withed package. Update the installation of the shadow
3092 entities according to the new structure (see Build_Limited_Views)
3093 (Build_Limited_Views): Replace the previous implementation of the
3094 limited view by a package entity that references the first shadow
3095 entity plus the first shadow private entity (required for limited-
3096 private-with clause)
3097 (New_Internal_Shadow_Entity): Code cleanup.
3098 (Remove_Limited_With_Clause): Update the implementation to undo the
3099 new work carried out by Build_Limited_Views.
3100 (Build_Chain): Complete documentation.
3101 Replace Ada0Y by Ada 0Y in comments
3104 * sem_ch3.adb (Array_Type_Declaration): In case of anonymous access
3105 types the level of accessibility depends on the enclosing type
3108 * sem_ch8.adb (Find_Expanded_Name): Fix condition to detect shadow
3109 entities. Complete documentation of previous change.
3111 2004-05-24 Robert Dewar <dewar@gnat.com>
3113 * namet.adb: Minor reformatting
3114 Avoid use of name I (replace by J)
3115 Minor code restructuring
3117 * sem_ch6.adb: Minor reformatting
3119 * lib-writ.adb: Do not set restriction as active if this is a
3120 Restriction_Warning case.
3122 * sem_prag.adb: Reset restriction warning flag if real pragma
3123 restriction encountered.
3125 * s-htable.adb: Minor reformatting
3126 Change rotate count to 3 in Hash (improves hash for small strings)
3128 * 5qsystem.ads: Add comments for type Address (no literals allowed).
3130 * gnat_ugn.texi: Add new section of documentation "Code Generation
3131 Control", which describes the use of -m switches.
3133 2004-05-24 Eric Botcazou <ebotcazou@act-europe.fr>
3135 trans.c (tree_transform) <N_Identifier>: Do the dereference directly
3136 through the DECL_INITIAL for renamed variables.
3138 2004-05-24 Arnaud Charlet <charlet@act-europe.fr>
3140 * s-osinte-linux-ia64.ads: Renamed system-linux-ia64.ads
3142 2004-05-19 Joel Brobecker <brobecker@gnat.com>
3144 * exp_dbug.ads: Correct comments concerning handling of overloading,
3145 since we no longer use $ anymore.
3147 2004-05-19 Sergey Rybin <rybin@act-europe.fr>
3149 * sem_ch10.adb (Optional_Subunit): When loading a subunit, do not
3150 ignore errors if ASIS_Mode is set. This prevents creating ASIS trees
3151 with illegal subunits.
3153 2004-05-19 Ed Schonberg <schonberg@gnat.com>
3155 * sem_ch6.adb (Check_Following_Pragma): When compiling a subprogram
3156 body with front-end inlining enabled, check whether an inline pragma
3157 appears immediately after the body and applies to it.
3159 * sem_prag.adb (Cannot_Inline): Emit warning if front-end inlining is
3160 enabled and the pragma appears after the body of the subprogram.
3162 2004-05-17 Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
3164 Part of function-at-a-time conversion
3166 * misc.c (adjust_decl_rtl): Deleted.
3167 (LANG_HOOKS_PUSHLEVEL, LANG_HOOKS_POPLEVEL, LANG_HOOKS_SET_BLOCK):
3170 * gigi.h: (adjust_decl_rtl, kept_level_p, set_block): Deleted.
3171 (add_decl_stmt, add_stmt, block_has_vars): New functions.
3172 (gnat_pushlevel, gnat_poplevel): Renamed from pushlevel and poplevel.
3174 * decl.c (elaborate_expression, maybe_pad_type): Call add_decl_stmt
3176 (gnat_to_gnu_entity): Likewise.
3177 Use add_stmt to update setjmp buffer.
3178 Set TREE_ADDRESSABLE instead of calling put_var_into_stack and
3180 No longer call adjust_decl_rtl.
3181 (DECL_INIT_BY_ASSIGN_P): New macro.
3182 (DECL_STMT_VAR): Likewise.
3184 * trans.c (gigi): Call start_block_stmt to make the outermost
3186 (gnat_to_code, gnu_to_gnu, tree_transform, process_decls, process_type):
3187 Call start_block_stmt and end_block_stmt temporarily.
3188 Use gnat_expand_stmt instead of expand_expr_stmt.
3189 (add_decl_stmt): New function.
3190 (tree_transform): Call it.
3191 (add_stmt): Also emit initializing assignment for DECL_STMT if needed.
3192 (end_block_stmt): Set type and NULL_STMT.
3193 (gnat_expand_stmt): Make recursize call instead of calling
3195 (gnat_expand_stmt, case DECL_STMT): New case.
3196 (set_lineno_from_sloc): Do nothing if global.
3197 (gnu_block_stmt_node, gnu_block_stmt_free_list): New variables.
3198 (start_block_stmt, add_stmt, end_block_stmt): New functions.
3199 (build_block_stmt): Call them.
3200 (gnat_to_code): Don't expand NULL_STMT.
3201 (build_unit_elab): Rename pushlevel and poplevel to gnat_* and change
3203 (tree_transform): Likewise.
3204 (tree_transform, case N_Null_Statement): Return NULL_STMT.
3205 (gnat_expand_stmt, case NULL_STMT): New case.
3206 (gnat_expand_stmt, case IF_STMT): Allow nested IF_STMT to have no
3209 * utils2.c (gnat_mark_addressable, case VAR_DECL): Do not set
3212 * utils.c (create_var_decl): Do not call expand_decl or
3214 Set TREE_ADDRESSABLE instead of calling gnat_mark_addressable.
3215 Set DECL_INIT_BY_ASSIGN_P when needed and do not generate MODIFY_EXPR
3217 (struct e_stack): Add chain_next to GTY.
3218 (struct binding_level): Deleted.
3219 (struct ada_binding_level): New struct.
3220 (free_block_chain): New.
3221 (global_binding_level, clear_binding_level): Deleted.
3222 (global_bindings_p): Rework to see if no chain.
3223 (kept_level_p, set_block): Deleted.
3224 (gnat_pushlevel): Renamed from pushlevel and extensive reworked to use
3225 new data structure and work directly on BLOCK node.
3226 (gnat_poplevel): Similarly.
3227 (get_decls): Look at BLOCK_VARS.
3228 (insert_block): Work directly on BLOCK node.
3229 (block_has_var): New function.
3230 (pushdecl): Rework for new binding structures.
3231 (gnat_init_decl_processing): Rename and rework calls to pushlevel and
3233 (build_subprog_body): Likewise.
3234 (end_subprog_body): Likewise; also set up BLOCK in DECL_INITIAL.
3236 * ada-tree.def (DECL_STMT, NULL_STMT): New codes.
3238 * ada-tree.h: (DECL_INIT_BY_ASSIGN_P): New macro.
3239 (DECL_STMT_VAR): Likewise.
3241 2004-05-17 Robert Dewar <dewar@gnat.com>
3243 * restrict.ads, restrict.adb (Process_Restriction_Synonym): New
3246 * sem_prag.adb (Analyze_Pragma, case Restrictions): Cleanup handling
3247 of restriction synonyums by using
3248 Restrict.Process_Restriction_Synonyms.
3250 * snames.ads, snames.adb: Add entries for Process_Restriction_Synonym
3252 * s-restri.ads (Tasking_Allowed): Correct missing comment
3254 * s-rident.ads: Add entries for restriction synonyms
3256 * ali.adb: Fix some problems with badly formatted ALI files that can
3257 result in infinite loops.
3259 * s-taprop-lynxos.adb, s-tpopsp-lynxos.adb, s-taprop-tru64.adb,
3260 s-tpopsp-posix-foreign.adb, s-taprop-irix.adb, s-interr-sigaction.adb,
3261 s-taprop-irix-athread.adb, s-taprop-hpux-dce.adb, s-taprop-linux.adb,
3262 s-taprop-dummy.adb, s-interr-dummy.adb, s-taprop-os2.adb,
3263 s-taprop-solaris.adb, s-tpopsp-solaris.adb, s-asthan-vms.adb,
3264 s-inmaop-vms.adb, s-interr-vms.adb, s-taprop-vms.adb,
3265 s-tpopde-vms.adb, s-taprop-mingw.adb, s-interr-vxworks.adb,
3266 s-taprop-vxworks.adb, s-tpopsp-vxworks.adb, s-taprop-posix.adb,
3267 s-tpopsp-posix.adb, s-tratas-default.adb, a-dynpri.adb,
3268 a-tasatt.adb, a-taside.adb, a-taside.ads, exp_attr.adb,
3269 exp_ch9.adb, g-thread.adb, rtsfind.ads, sem_attr.adb,
3270 s-interr.adb, s-interr.ads, s-soflin.ads, s-taasde.adb,
3271 s-taasde.ads, s-taenca.adb, s-taenca.ads, s-taprop.ads,
3272 s-tarest.adb, s-tarest.ads, s-tasdeb.adb, s-tasdeb.ads,
3273 s-tasini.adb, s-tasini.ads, s-taskin.adb, s-taskin.ads,
3274 s-tasque.adb, s-tasque.ads, s-tasren.adb, s-tasren.ads,
3275 s-tassta.adb, s-tassta.ads, s-tasuti.adb, s-tasuti.ads,
3276 s-tataat.adb, s-tataat.ads, s-tpinop.adb, s-tpinop.ads,
3277 s-tpoben.adb, s-tpobop.adb, s-tpobop.ads, s-tporft.adb,
3278 s-tposen.adb, s-tposen.ads, s-tratas.adb, s-tratas.ads: Change Task_ID
3279 to Task_Id (minor cleanup).
3281 2004-05-17 Vincent Celier <celier@gnat.com>
3283 * g-os_lib.adb (Normalize_Pathname.Final_Value): Remove trailing
3284 directory separator.
3286 * prj-proc.adb (Recursive_Process): Inherit attribute Languages from
3287 project being extended, if Languages is not declared in extending
3290 2004-05-17 Javier Miranda <miranda@gnat.com>
3292 * sem_ch10.adb (Install_Limited_Withed_Unit): Do not install the
3293 limited view of a visible sibling.
3295 2004-05-14 Robert Dewar <dewar@gnat.com>
3297 * gnat_ugn.texi: Minor change to -gnatS documentation
3299 * sprint.adb: Remove some instances of Assert (False) and for this
3300 purpose replace them by output of a ??? string.
3302 * checks.adb, exp_aggr.adb, sem_elim.adb: Remove useless pragma
3305 * lib-writ.adb, lib-load.adb, lib.ads, lib.adb: Remove Dependent_Unit
3306 flag processing. This was suppressing required dependencies in
3307 No_Run_Time mode and is not needed since the binder does not generate
3308 references for things in libgnat anyway.
3310 * sem_ch3.adb (Access_Type_Declaration): Reorganize code to avoid GCC
3313 2004-05-14 Thomas Quinot <quinot@act-europe.fr>
3315 * gnat_ugn.texi: Document AIX-specific issue with initialization of
3318 * exp_ch4.adb (Insert_Dereference_Action): Do not generate dereference
3319 action for the case of an actual parameter in an init proc call.
3321 2004-05-14 Ed Schonberg <schonberg@gnat.com>
3323 * sem_ch4.adb (Analyze_Selected_Component): If prefix is a protected
3324 subtype, check visible entities in base type.
3326 * exp_ch7.adb (Clean_Simple_Protected_Objects): Do not generate cleanup
3327 actions if the object is a renaming.
3329 * sem_ch12.adb (Same_Instantiated_Entity): Predicate for
3330 Check_Formal_Package_Instance, to determine more precisely when the
3331 formal and the actual denote the same entity.