OSDN Git Service

2004-09-17 Jeffrey D. Oldham <oldham@codesourcery.com>
[pf3gnuchains/gcc-fork.git] / gcc / ada / ChangeLog
index 4b51073..92560a9 100644 (file)
@@ -1,3 +1,493 @@
+2004-09-17  Jeffrey D. Oldham  <oldham@codesourcery.com>
+           Zack Weinberg  <zack@codesourcery.com>
+
+       * ada-tree.def: Use tree_code_class enumeration constants
+       instead of code letters.
+       * ada-tree.h, decl.c, misc.c, trans.c, utils.c, utils2.c:
+       Update for new tree-class enumeration constants.
+
+2004-09-17  Vincent Celier  <celier@gnat.com>
+
+       * prj-attr-pm.ads, prj-attr-pm.adb: New files, to split some private
+       capabilities of the general project manager.
+
+2004-09-09  Vincent Celier  <celier@gnat.com>
+
+       * a-direct.ads: Add pragma Ada_05
+       (Directory_Entry_Type): Give default value to component Kind to avoid
+       not initialized warnings.
+
+       * a-direct.adb (Current_Directory): Remove directory separator at the
+       end.
+       (Delete_Directory, Delete_Tree): Raise Name_Error if Directory is not
+       an existing directory.
+       (Fetch_Next_Entry): Give default value to variable Kind to avoid warning
+       (Size (String)): Function C_Size returns Long_Integer, not File_Size.
+       Convert the result to File_Size.
+
+       * prj.ads: (Project_Error): New exception
+
+       * prj-attr.adb: Except in procedure Initialize, Fail comes from
+       Prj.Com, not from Osint.
+       (Attrs, Package_Attributes): Tables moved to private part of spec
+       (Add_Attribute, Add_Unknown_Package): Moved to new child package
+       Prj.Attr.PM.
+       (Register_New_Package (Name, Attributes), Register_New_Attribute): Raise
+       Prj.Project_Error after call to Fail.
+       (Register_New_Package (Name, Id)): Set Id to Empty_Package after calling
+       Fail. Check that package name is not already in use.
+
+       * prj-attr.ads: Comment updates to indicate that all subprograms may be
+       used by tools, not only by the project manager, and to indicate that
+       exception Prj.Prj_Error may be raised in case of problem.
+       (Add_Unknown_Package, Add_Attribute): Moved to new child package
+       Prj.Attr.PM.
+       (Attrs, Package_Attributes): Table instantiations moved from the body to
+       the private part to be accessible from Prj.Attr.PM body.
+
+       * prj-dect.adb (Parse_Package_Declaration): Call Add_Unknown_Package
+       from new package Prj.Attr.PM.
+       (Parse_Attribute_Declaration): Call Add_Attribute from new package
+       Prj.Attr.PM.
+
+       * Makefile.in: Add prj-attr-pm.o to gnatmake object list
+
+       * gnatbind.adb (Gnatbind): Correct warning message (Elaboration_Check
+       instead of Elaboration_Checks).
+
+       * a-calend.adb: Minor reformatting
+
+2004-09-09  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>
+
+       * gigi.h (maybe_pad_type): New declaration.
+       (create_subprog_type): New arg RETURNS_BY_TARGET_PTR.
+
+       * ada-tree.h: (TYPE_RETURNS_BY_TARGET_PTR_P): New macro.
+
+       * cuintp.c: Convert to use buildN.
+
+       * decl.c (maybe_pad_type): No longer static.
+       (gnat_to_gnu_entity, case E_Function): Handle case of returning by
+       target pointer.
+       Convert to use buildN.
+
+       * trans.c (call_to_gnu): Add arg GNU_TARGET; support
+       TYPE_RETURNS_BY_TARGET_PTR_P.  All callers changed.
+       (gnat_to_gnu, case N_Assignment_Statement): Call call_to_gnu if call on
+       RHS.
+       (gnat_to_gnu, case N_Return): Handle TYPE_RETURN_BY_TARGET_PTR_P.
+       (gnat_gimplify_expr, case ADDR_EXPR): New case.
+       Convert to use buildN.
+
+       * utils2.c (gnat_build_constructor): Also set TREE_INVARIANT and
+       TREE_READONLY for const.
+       Convert to use buildN.
+
+       * utils.c (create_subprog_type): New operand RETURNS_BY_TARGET_PTR.
+       (create_var_decl): Refine when TREE_STATIC is set.
+       Convert to use buildN.
+
+2004-09-09  Gary Dismukes  <dismukes@gnat.com>
+
+       * gnat_ugn.texi: Delete text relating to checking of ali and object
+       consistency.
+
+       * a-except.adb (Rcheck_*): Add pragmas No_Return for each of these
+       routines.
+
+2004-09-09  Jose Ruiz  <ruiz@act-europe.fr>
+
+       * gnat_ugn.texi: Add Detect_Blocking to the list of configuration
+       pragmas recognized by GNAT.
+
+       * gnat_rm.texi: Document pragma Detect_Blocking.
+
+       * s-solita.adb (Timed_Delay_T): When pragma Detect_Blocking is active,
+       raise Program_Error if called from a protected operation.
+
+       * s-taprob.adb (Lock): When pragma Detect_Blocking is active increase
+       the protected action nesting level.
+       (Lock_Read_Only): When pragma Detect_Blocking is active increase the
+       protected action nesting level.
+       (Unlock): When pragma Detect_Blocking is active decrease the protected
+       action nesting level.
+
+       * s-taskin.adb (Initialize_ATCB): Initialize to 0 the
+       Protected_Action_Nesting.
+
+       * s-taskin.ads: Adding the field Protected_Action_Nesting to the
+       Common_ATCB record. It contains the dynamic level of protected action
+       nesting for each task. It is needed for checking whether potentially
+       blocking operations are called from protected operations.
+       (Detect_Blocking): Adding a Boolean constant reflecting whether pragma
+       Detect_Blocking is active or not in the partition.
+
+       * s-tasren.adb (Call_Simple): When pragma Detect_Blocking is active,
+       raise Program_Error if called from a protected operation.
+       (Task_Entry_Call): When pragma Detect_Blocking is active, raise
+       Program_Error if called from a protected operation.
+       (Timed_Task_Entry_Call): When pragma Detect_Blocking is active, raise
+       Program_Error if called from a protected operation.
+
+       * s-tassta.adb (Abort_Tasks): When pragma Detect_Blocking is active,
+       raise Program_Error if called from a protected operation.
+
+       * s-tpoben.adb (Lock_Entries): When pragma Detect_Blocking is active,
+       raise Program_Error if called from a protected operation, and increase
+       the protected action nesting level.
+       (Lock_Read_Only_Entries): When pragma Detect_Blocking is active, raise
+       Program_Error if called from a protected operation, and increase the
+       protected action nesting level.
+       (Unlock_Entries): When pragma Detect_Blocking is active decrease the
+       protected action nesting level.
+
+       * s-tposen.adb (Lock_Entry): When pragma Detect_Blocking is active,
+       raise Program_Error if called from a protected operation, and increase
+       the protected action nesting level.
+       (Lock_Read_Only_Entry): When pragma Detect_Blocking is active, raise
+       Program_Error if called from a protected operation, and increase the
+       protected action nesting level.
+       (Protected_Single_Entry_Call): When pragma Detect_Blocking is active,
+       raise Program_Error if called from a protected operation.
+       (Timed_Protected_Single_Entry_Call): When pragma Detect_Blocking is
+       active, raise Program_Error if called from a protected operation.
+       (Unlock_Entry): When pragma Detect_Blocking is active decrease the
+       protected action nesting level.
+
+       * sem_util.adb (Check_Potentially_Blocking_Operation): Remove the
+       insertion of the statement raising Program_Error. The run time
+       contains the required machinery for handling that.
+
+       * sem_util.ads: Change comment associated to procedure
+       Check_Potentially_Blocking_Operation.
+       This procedure does not insert a call for raising the exception because
+       that is currently done by the run time.
+
+       * raise.h (__gnat_set_globals): Pass the detect_blocking parameter.
+
+       * init.c: Add the global variable __gl_detect_blocking that indicates
+       whether pragma Detect_Blocking is active (1) or not (0). Needed for
+       making the pragma available at run time.
+       (__gnat_set_globals): Pass and update the detect_blocking parameter.
+
+       * lib-writ.adb (Write_ALI): Set the DB flag in the ali file if
+       pragma Detect_Blocking is active.
+
+       * lib-writ.ads: Document the Detect_Blocking flag (DB) in ali files.
+
+       * ali.adb (Scan_ALI): Set the Detect_Blocking value to true if the flag
+       DB is found in the ali file. Any unit compiled with pragma
+       Detect_Blocking active forces its effect in the whole partition.
+
+       * a-retide.adb (Delay_Until): Raise Program_Error if pragma
+       Detect_Blocking is active and delay is called from a protected
+       operation.
+
+       * bindgen.adb (Gen_Adainit_Ada): When generating the call to
+       __gnat_set_globals, pass 1 as Detect_Blocking parameter if pragma
+       Detect_Blocking is active (0 otherwise).
+       (Gen_Adainit_C): When generating the call to __gnat_set_globals, pass 1
+       as Detect_Blocking parameter if pragma Detect_Blocking is active (0
+       otherwise).
+
+2004-09-09  Thomas Quinot  <quinot@act-europe.fr>
+
+       * gnat_rm.texi: Rename GNAT.Perfect_Hash.Generators to
+       GNAT.Perfect_Hash_Generators, and remove the empty GNAT.Perfect_Hash
+       package.
+
+       * s-parint.ads, s-parint.adb (Get_RAS_Info): New subprogram.
+       (Register_Receiving_Stub): Add Subp_Info formal parameter.
+       Update API in placeholder implemetation of s-parint to reflect changes
+       in distribution runtime library.
+
+       * sem_ch3.adb (Expand_Derived_Record): Rename to
+       Expand_Record_Extension.
+
+       * sem_disp.adb (Check_Controlling_Formals): Improve error message for
+       primitive operations of potentially distributed object types that have
+       non-controlling anonymous access formals.
+
+       * sem_dist.ads, sem_dist.adb (Build_RAS_Primitive_Specification): New
+       subprogram.
+       New implementation of expansion for remote access-to-subprogram types,
+       based on the RACW infrastructure.
+       This version of sem_dist is compatible with PolyORB/DSA as well as
+       GLADE.
+
+       * sem_prag.adb (Analyze_Pragma, case Pragma_Asynchronous): For a pragma
+       Asynchrronous that applies to a remote access-to-subprogram type, mark
+       the underlying RACW type as asynchronous.
+
+       * link.c: FreeBSD uses GNU ld: set __gnat_objlist_file_supported and
+        __gnat_using_gnu_linker to 1.
+
+       * Makefile.rtl, impunit.adb, g-perhas.ads, g-pehage.ads,
+       g-pehage.adb: Rename GNAT.Perfect_Hash.Generators to
+       GNAT.Perfect_Hash_Generators, and remove the empty
+       GNAT.Perfect_Hash package.
+
+       * atree.adb: Minor reformatting
+
+       * exp_ch3.adb (Expand_Derived_Record): Rename to
+       Expand_Record_Extension.
+       (Build_Record_Init_Proc.Build_Assignment): The default expression in
+       a component declaration must remain attached at that point in the
+       tree so New_Copy_Tree copies it if the enclosing record type is derived.
+       It is therefore necessary to take a copy of the expression when building
+       the corresponding assignment statement in the init proc.
+       As a side effect, in the case of a derived record type, we now see the
+       original expression, without any rewriting that could have occurred
+       during expansion of the ancestor type's init proc, and we do not need
+       to go back to Original_Node.
+
+       * exp_ch3.ads (Expand_Derived_Record): Rename to
+       Expand_Record_Extension.
+
+       * exp_dist.ads, exp_dist.adb (Underlying_RACW_Type): New subprogram.
+       Returns the RACW type used to implement a remote access-to-subprogram
+       type.
+       (Add_RAS_Proxy_And_Analyze, Build_Remote_Subprogram_Proxy_Type):
+       New subprograms. Used to create a proxy tagged object for a remote
+       subprogram. The proxy object is used as the designated object
+       for RAS values on the same partition (unless All_Calls_Remote applies).
+       (Build_Get_Unique_RP_Call): New subprogram. Build a call to
+       System.Partition_Interface.Get_Unique_Remote_Pointer.
+       (Add_RAS_Access_TSS, Add_RAS_Dereference_TSS):
+       Renamed from Add_RAS_*_Attribute.
+       (Add_Receiving_Stubs_To_Declarations): Generate a table of local
+       subprograms.
+       New implementation of expansion for remote access-to-subprogram types,
+       based on the RACW infrastructure.
+
+       * exp_dist.ads (Copy_Specification): Update comment to note that this
+       function can copy the specification from either a subprogram
+       specification or an access-to-subprogram type definition.
+
+2004-09-09  Ed Schonberg  <schonberg@gnat.com>
+
+       * sem_type.adb (Disambiguate): Handle properly an accidental ambiguity
+       in an instance, between an explicit subprogram an one inherited from a
+       type derived from an actual.
+
+       * exp_ch6.adb (Expand_N_Subprogram_Body): If polling is enabled, do not
+       add a polling call if the subprogram is to be inlined by the back-end,
+       to avoid repeated calls with multiple inlinings.
+
+       * checks.adb (Apply_Alignment_Check): If the expression in the address
+       clause is a call whose name is not a static entity (e.g. a dispatching
+       call), treat as dynamic.
+
+2004-09-09  Robert Dewar  <dewar@gnat.com>
+
+       * g-trasym.ads: Minor reformatting
+
+       * exp_ch3.adb (Component_Needs_Simple_Initialization): Don't except
+       packed arrays, since unused bits are expected to be zero for a
+       comparison.
+
+2004-09-09  Eric Botcazou  <ebotcazou@act-europe.fr>
+
+       * exp_pakd.ads: Fix an inacurracy and a couple of typos in the head
+       comment.
+
+2004-09-09  Pascal Obry  <obry@gnat.com>
+
+       * mdll.ads, mdll.adb (Build_Dynamic_Library): New parameter Map_File to
+       enable map file generation. Add the right option to generate the map
+       file if Map_File is set to True.
+
+       * gnatdll.adb (Gen_Map_File): New variable.
+       (Syntax): Add info about new -m (Map_File) option.
+       (Parse_Command_Line): Add support for -m option.
+       (gnatdll): Pass Gen_Map_File to Build_Dynamic_Library calls.
+       Minor reformatting.
+
+2004-09-09  Laurent Pautet  <pautet@act-europe.fr>
+
+       * gnatls.adb: Add a very verbose mode -V. Such mode is required by the
+       new gnatdist implementation.
+       Define a subpackage isolating the output routines specific to this
+       verbose mode.
+
+2004-09-09  Joel Brobecker  <brobecker@gnat.com>
+
+       * Makefile.rtl: (GNATRTL_NONTASKING_OBJS): Add g-dynhta.
+
+       * gnat_ugn.texi (Main Subprograms): Fix typo. Deduced, not deducted.
+
+2004-09-09  Cyrille Comar  <comar@act-europe.fr>
+
+       * opt.adb (Set_Opt_Config_Switches): Use Ada_Version_Runtime to compile
+       internal unit.
+
+       * opt.ads: Add Ada_Version_Runtime constant used to decide which
+       version of the language is used to compile the run time.
+
+2004-09-09  Arnaud Charlet  <charlet@act-europe.fr>
+
+       * sem_util.adb (Requires_Transient_Scope): Re-enable handling
+       of variable length temporaries for function return now that the
+       back-end and gigi support it.
+
+2004-09-01  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>
+
+       * misc.c (gnat_print_type): Use TYPE_RM_SIZE_NUM.
+
+       * trans.c (struct stmt_group): Delete field GLOBAL.
+       (gnat_init_stmt_group): Do not initialize it.
+       (call_to_gnu): Use save_expr, not protect_multiple_eval.
+       (Exception_Handler_to_gnu_sjlj): Call build_int_cst, not build_int_2
+       (gnat_to_gnu, case N_Character_Literal, N_String_Literal): Likewise.
+       (gnat_to_gnu, case N_Compilation_Unit): Do not set GLOBAL in stmt group.
+       (start_stmt_group): Likewise.
+       (add_stmt, add_decl_expr): Rework handling of global DECL_EXPRs.
+
+       * utils2.c (ggc.h): Include.
+       (build_call_raise): Call build_int_cst, not build_int_2.
+
+       * utils.c (gnat_init_decl_processing): Fix arg to
+       build_common_tree_nodes.
+       (create_subprog_type): Do not use SET_TYPE_CI_CO_LIST.
+       (gnat_define_builtin): Set built_in_decls.
+       (init_gigi_decls): Call build_int_cst, not build_int_2.
+
+       * ada-tree.h (struct lang_decl, struct lang_type): Field is type tree.
+       (GET_TYPE_LANG_SPECIFIC, SET_TYPE_LANG_SPECIFIC): New macros.
+       (GET_DECL_LANG_SPECIFIC, SET_DECL_LANG_SPECIFIC): Likewise.
+       (TYPE_CI_CO_LIST, SET_TYPE_CI_CO_LIST, TYPE_MODULE,
+       SET_TYPE_MODULE): Use them.
+       (TYPE_INDEX_TYPE, SET_TYPE_INDEX_TYPE, TYPE_DIGITS_VALUE): Likewise.
+       (SET_TYPE_DIGITS_VALUE, TYPE_UNCONSTRAINED_ARRAY): Likewise.
+       (SET_TYPE_UNCONSTRAINED_ARRAY, TYPE_ADA_SIZE,
+       SET_TYPE_ADA_SIZE): Likewise.
+       (TYPE_ACTUAL_BOUNDS, SET_TYPE_ACTUAL_BOUNDS): Likewise.
+       (DECL_CONST_CORRESPONDING_VAR,
+       SET_DECL_CONST_CORRESPONDING_VAR): Likewise.
+       (DECL_ORIGINAL_FIELD, SET_DECL_ORIGINAL_FIELD): Likewise.
+       (TYPE_RM_SIZE_INT, TYPE_RM_SIZE_ENUM, SET_TYPE_RM_SIZE_ENUM): Deleted.
+       (TYPE_RM_SIZE_NUM): New macro.
+       (TYPE_RM_SIZE): Modified to use above.
+
+       * cuintp.c: (build_cst_from_int): New function.
+       (UI_To_gnu): Use it.
+
+       * decl.c (gnat_to_gnu_entity): Use TYPE_RM_SIZE_NUM.
+       (make_type_from_size): Avoid changing TYPE_UNSIGNED of a type.
+       (gnat_substitute_in_type, case ARRAY_TYPE): If old had a
+       MIN_EXPR for the size, copy it into new.
+
+2004-09-01  Robert Dewar  <dewar@gnat.com>
+
+       * exp_ch6.adb (Expand_Call): Properly handle validity checks for
+       packed indexed component where array is an IN OUT formal. This
+       generated garbage code previously.
+
+       * gnat_ugn.texi: Document -fverbose-asm
+
+       * gnat-style.texi: Minor updates (note that boolean constants and
+       variables are joined with AND/OR rather than short circuit forms).
+
+2004-09-01  Ed Schonberg  <schonberg@gnat.com>
+
+       * exp_util.adb (Safe_Unchecked_Type_Conversion): Conversion is safe if
+       it is an upward conversion of an untagged type with no representation
+       change.
+
+2004-09-01  Thomas Quinot  <quinot@act-europe.fr>
+
+       * rtsfind.ads: Move RCI_Subp_Info and RCI_Subp_Info_Array to
+       System.Partition_Interface.
+
+       * checks.adb (Apply_Access_Checks): Do not generate checks when
+       expander is not active (but check for unset reference to prefix of
+       dereference).
+
+       * sem_prag.adb (Analyze_Pragma, case Pragma_Debug): Uniformly rewrite
+       pragma Debug as an if statement with a constant condition, for
+       consistent treatment of entity references contained within the
+       enclosed procedure call.
+
+2004-09-01  Vincent Celier  <celier@gnat.com>
+
+       * bindgen.adb: (Set_EA_Last): New procedure
+       (Gen_Exception_Table_Ada, Gen_Exception_Table_C): Use new procedure
+       Set_EA_Last.
+       (Gen_Adafinal_Ada): If no finalization, adafinal does nothing
+       (Gen_Output_File_Ada): Always call Gen_Adafinal_Ada, so that SAL can be
+       linked without errors.
+       (Gen_Exception_Table_Ada): Correct bugs when generating code for arrays
+       ST and EA.
+       (Gen_Exception_Table_C): Correct same bugs
+
+       * vms_data.ads: Add new qualifier /VERBOSE_ASM to GCC_Switches
+
+       * g-os_lib.adb (Normalize_Pathname.Get_Directory): When Dir is empty,
+       on Windows, make sure that the drive letter is in upper case.
+
+       * g-os_lib.ads (Normalize_Pathname): Add a comment to indicate that on
+       Windows, when the drive letter is added and Case_Sensitive is True, the
+       drive letter is forced to upper case.
+
+       * mlib-tgt-irix.adb (Build_Dynamic_Library): Transfer all -lxxx options
+       to Options_2 for the call to MLib.Utl.Gcc.
+
+       * bld.adb (Put_Include_Project): Use '/', not '\' on Windows as
+       directory separator when defining BASE_DIR.
+
+2004-09-01  Pascal Obry  <obry@gnat.com>
+
+       * gprcmd.adb (Extend): Do not output trailing directory separator. This
+       is not needed and it confuses Windows GNU/make which does not report
+       directory terminated by a slash as a directory.
+       (gprcmd): Idem for "pwd" internal command.
+
+       * Makefile.generic: Use __GPRCOLON__ instead of pipe character in
+       target names rewrite to fix regressions with recent version of
+       GNU/make. Starting with GNU/make 3.80 the pipe character was not
+       handled properly anymore.
+
+2004-09-01  Andreas Schwab  <schwab@suse.de>
+
+       * Make-lang.in (EXTRA_GNATBIND_OBJS): Revert last change.
+       * raise.c [!IN_RTS]: Undef abort.
+
+2004-08-27  Nathan Sidwell  <nathan@codesourcery.com>
+
+       * utils2.c (build_allocator): Use ssize_int.
+
+       * utils.c (gnat_init_decl_processing): Ada has a signed sizetype.
+
+2004-08-27  Andreas Schwab  <schwab@suse.de>
+
+       * Make-lang.in (EXTRA_GNATBIND_OBJS): Add errors.o.
+
+2004-08-25  Nathan Sidwell  <nathan@codesourcery.com>
+           Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>
+
+       * ada-tree.h (TYPE_RM_SIZE_INT): Use TYPE_LANG_SLOT_1.
+
+2004-08-25  Nathan Sidwell  <nathan@codesourcery.com>
+
+       * cuintp.c (UI_To_gnu): Adjust build_int_cst calls.
+       * trans.c (Exception_Handler_to_gnu_sjlj, gnat_to_gnu): Likewise.
+       * utils.c (init_gigi_decls): Likewise.
+       * utils2.c (build_call_raise, build_allocator): Likewise.
+
+2004-08-24  Nathan Sidwell  <nathan@codesourcery.com>
+
+       * utils.c (gnat_init_decl_processing): Adjust
+       build_common_tree_nodes call.
+
+2004-08-20  Nathan Sidwell  <nathan@codesourcery.com>
+
+       * utils2.c (build_allocator): Use build_int_cst for negative
+       size types.
+
+2004-08-18  Richard Henderson  <rth@redhat.com>
+
+       * misc.c (LANG_HOOKS_HONOR_READONLY): Remove.
+
 2004-08-16  Nathan Sidwell  <nathan@codesourcery.com>
 
        * cuintp.c (UI_To_gnu): Be more conservative with build_int_cst
        GNAT.Sockets.Thin.Is_Socket_In_Set to account for new specification
        and test explicitly for non-zero return value.
 
-       * g-socthi-vms.ads, g-socthi-mingw.ads, g-socthi-vxworks.ads: 
+       * g-socthi-vms.ads, g-socthi-mingw.ads, g-socthi-vxworks.ads:
        (Is_Socket_In_Set): Declare imported function as returning C.int, to
        avoid using a derived boolean type.
 
        (gnat_to_gnu, case N_Compilation_Unit): Just handle nested case here.
        (add_stmt): Force walking of sizes and DECL_INITIAL for DECL_EXPR.
        (mark_visited): Don't mark dummy type.
-       (tree_transform <N_Procedure_Call_Statement>): Unless this is an In     
+       (tree_transform <N_Procedure_Call_Statement>): Unless this is an In
        parameter, we must remove any LJM building from GNU_NAME.
        (gnat_to_gnu, case N_String_Literal): Fill in indices in CONSTRUCTOR.
        (pos_to_constructor): Use int_const_binop.
        (gnat_to_gnu): If statement and not in procedure, go into elab proc.
        Delete calls to add_decl_expr; add arg to create_*_decl.
        (gnat_to_gnu, case N_Loop): Recalculate side effects on COND_EXPR.
-       (gnat_to_gnu, case N_Subprogram_Body): Move some code to 
+       (gnat_to_gnu, case N_Subprogram_Body): Move some code to
        begin_subprog_body and call it.
        Don't push and pop ggc context.
        (gnat_to_gnu, case N_Compilation_Unit): Rework to support elab proc.
        (function_nesting_depth): Deleted.
        (begin_subprog_body): Delete obsolete code.
        * utils2.c (build_call_alloc_dealloc): Add new arg to create_var_decl.
-       
+
 2004-06-28  Robert Dewar  <dewar@gnat.com>
 
        * mlib-tgt-tru64.adb, mlib-tgt-aix.adb, mlib-tgt-irix.adb,
        Lib_Address and Relocatable.
        (Default_DLL_Address): Removed.
 
-       * mlib-tgt-tru64.adb, mlib-tgt-aix.adb, mlib-tgt-irix.adb, 
-       mlib-tgt-hpux.adb, mlib-tgt-linux.adb, mlib-tgt-solaris.adb, 
+       * mlib-tgt-tru64.adb, mlib-tgt-aix.adb, mlib-tgt-irix.adb,
+       mlib-tgt-hpux.adb, mlib-tgt-linux.adb, mlib-tgt-solaris.adb,
        mlib-tgt-vms-alpha.adb, mlib-tgt-vms-ia64.adb, mlib-tgt-vxworks.adb:
        (Build_Dynamic_Library): Remove parameter Lib_Address and Relocatable.
        (Default_DLL_Address): Removed.
        (Compile_Sources.Compile): Add switch -gnatez as the last option
        (Display): Never display -gnatez
 
-       * Makefile.generic: 
+       * Makefile.generic:
        When using $(MAIN_OBJECT), always use $(OBJ_DIR)/$(MAIN_OBJECT)
 
        * gnatcmd.adb (Check_Project): New function
        opt.adb, par.adb, opt.ads, par-ch11.adb, par-ch3.adb, par-ch4.adb,
        par-ch5.adb, par-ch6.adb, par-ch8.adb, par-ch9.adb, par-prag.adb,
        par-util.adb, scng.adb, sem_aggr.adb, sem_attr.adb, sem_cat.adb,
-        sem_ch10.adb, sem_ch10.adb, sem_ch11.adb, sem_ch12.adb, sem_ch2.adb,
+       sem_ch10.adb, sem_ch10.adb, sem_ch11.adb, sem_ch12.adb, sem_ch2.adb,
        sem_ch3.adb, sem_ch3.ads, sem_ch4.adb, sem_ch5.adb, sem_ch6.adb,
        sem_ch7.adb, sem_ch8.adb, sem_ch9.adb, sem_eval.adb, sem_prag.adb,
        sem_res.adb, sem_type.adb, sem_util.adb, sinfo.ads, snames.adb,
 
        Renaming of target specific files for clarity
 
-        * Makefile.in: Rename GNAT target specific files.
+       * Makefile.in: Rename GNAT target specific files.
 
        * 31soccon.ads, 31soliop.ads 35soccon.ads, 3asoccon.ads,
        3bsoccon.ads, 3gsoccon.ads, 3hsoccon.ads, 3psoccon.ads,