[pf3gnuchains/gcc-fork.git] / gcc / ada / ChangeLog

2007-11-14  Samuel Tardieu  <sam@rfc1149.net>

        * adaint.c init.c initialize.c link.c: Remove system-specific
        sections of non-supported Interix target.

        * s-osinte-interix.ads: Removed.

2007-11-13  Samuel Tardieu  <sam@rfc1149.net>

        * a-tasatt.adb: Add a comment at the beginning of the package
        explaining why in general 'Unchecked_Access must be used instead
        of 'Access.

        * sem_prag.adb (Process_Convention): Move the test for the
        entity on which the Convention pragma applies down to also
        forbid pragma Convention on enumeration literals reached
        through renamings.

2007-11-10  Samuel Tardieu  <sam@rfc1149.net>

        * a-tasatt.adb: Revert previous change for this file as it will
        generate an error when this package is instantiated from a
        local context.

2007-11-07  Samuel Tardieu  <sam@rfc1149.net>

        * a-tasatt.adb: Type Wrapper should be declared in comment instead
        of already declared type Node_Access.
        Use 'Access instead of 'Unchecked_Access when applicable. Local
        lifetime is the one of the package.
        (Set_Value): W is allocated on the heap.

        * g-socket.adb: Use 'Access instead of 'Unchecked_Access when
        applicable.
        (Get_Socket_Option): Optlen formal of C_Getsockopt is of an anonymous
        access type.
        (Receive_Socket): Fromlen formal of C_Recvfrom is of an anonymous
        access type.

        * s-taasde.adb: Use 'Access instead of 'Unchecked_Access when
        applicable.
        (elaboration code): Timer_Queue lifetime is the one of the
        package.

        * tracebak.c (i386 alternative): Remove useless comparaison
        which is always false; LOWEST_ADDRESS is 0 and is never greater
        than an unsigned integer.

        * sem_attr.adb (Analyze_Attribute): Remove duplicate identical
        embedded check for "Ada_Version >= Ada_05".

2007-11-07  Olivier Hainque  <hainque@adacore.com>

        * decl.c (make_aligning_type): Set the mode of the RECORD_TYPE we
        craft and expand comment.

2007-11-01  Eric Botcazou  <ebotcazou@adacore.com>

        * lang-specs.h: Move translation of -fRTS= after -gnatez switch.

2007-10-23  Eric Botcazou  <ebotcazou@adacore.com>

        * misc.c (gnat_handle_option): Replace call to abort with
        call to gcc_unreachable.
        (gnat_init): Likewise.
        (gnat_expand_expr): Likewise.
        (fp_prec_to_size): Likewise.
        (fp_size_to_prec): Likewise.

2007-10-23  Richard Guenther  <rguenther@suse.de>

        PR bootstrap/33608
        * tracebak.c: #undef abort after including system.h.

2007-10-20  Danny Smith <dannysmith@users.sourceforge.net>

        * Makefile.in (LIBGNAT_TARGET_PAIRS) Add s-tasinf-mingw.adb,
        s-tasinf-mingw.ads, a-exetim-mingw.adb, a-exetim-mingw.ads
        for win32 targets.
        (EXTRA_GNATRTL_TASKING_OBJS): Add a-exetim.o for win32 targets.

2007-10-15  Eric Botcazou  <ebotcazou@adacore.com>

        * s-osinte-tru64.adb: (Hide_Yellow_Zone): Add On parameter.
        Set the protection status of the guard page based on the value of On.

        * s-osinte-tru64.ads: (Hide_Yellow_Zone): Add On parameter.

        * s-taprop-tru64.adb: (Enter_Task): Pass True to Hide_Yellow_Zone.
        (Exit_Task): Pass False to Hide_Yellow_Zone.

2007-10-15  Robert Dewar  <dewar@adacore.com>

        * s-taprop-solaris.adb, s-taprop-vms.adb, s-taprop-mingw.adb, 
        s-taprop-vxworks.adb, s-taprop-posix.adb, a-calend-vms.adb,
        a-calend.adb, a-nuflra.adb, a-tigeau.adb, a-wtgeau.adb, 
        checks.adb, bindgen.adb, eval_fat.adb, exp_fixd.adb, fmap.adb, 
        freeze.adb, g-awk.adb, g-calend.adb, g-diopit.adb, g-expect.adb, 
        gnatchop.adb, gnatlink.adb, g-spipat.adb, g-thread.adb, make.adb, 
        mdll.adb, mlib.adb, mlib-prj.adb, osint.adb, par-ch3.adb, prj.adb, 
        prj-makr.adb, sem_prag.adb, sem_type.adb, s-fatgen.adb, s-fileio.adb, 
        sinfo.ads, sinput-d.adb, s-taasde.adb, s-tasdeb.ads, s-tasren.adb, 
        s-tassta.adb, s-tpobop.adb, s-tposen.adb, stylesw.adb, types.ads,
        uintp.adb, validsw.adb, makegpr.adb, a-rbtgso.adb, a-crbtgo.adb, 
        a-coorse.adb, a-convec.adb, a-coinve.adb, a-cohama.adb, a-ciorse.adb, 
        a-cihama.adb, a-cidlli.adb, a-chtgop.adb, a-cdlili.adb, a-cdlili.adb, 
        a-coormu.adb, a-ciormu.adb, a-cihase.adb, a-cohase.adb, a-ciorma.adb, 
        a-coorma.adb, a-ztgeau.adb, symbols-vms.adb, a-crdlli.adb, 
        a-calari.adb, a-calfor.adb, s-os_lib.adb, s-regpat.adb, a-ngrear.adb:
        Minor reformatting.
        Add Unreferenced and Warnings (Off) pragmas for cases of
        variables modified calls where they are IN OUT or OUT parameters and
        the resulting values are not subsequently referenced. In a few cases,
        we also remove redundant code found by the new warnings.

        * ug_words, vms_data.ads, usage.adb, sem_util.adb, sem_util.ads, 
        sem_warn.adb, sem_warn.ads, sem_res.adb, sem_ch7.adb, sem_ch8.adb,
        sem_ch5.adb, opt.ads, lib-xref.adb, lib-xref.ads, exp_smem.adb,
        sem_ch11.adb, exp_ch6.adb, einfo.ads, einfo.adb: implement a new
        warning controlled by -gnatw.o that warns on cases of out parameter
        values being ignored.

2007-10-15  Geert Bosch  <bosch@adacore.com>

        * adaint.c, socket.c, cal.c: Initial port to arm-mentor-nucleus.

        * expect.c: Initial port to arm-mentor-nucleus.
        Use kill for __gnat_kill() on VMS.

2007-10-15  Emmanuel Briot  <briot@adacore.com>

        * ali.ads, ali.adb (Scan_ALI): Initialize XE.Tref to a known default
        value.
        (Xref_Record): Change type for Line, since in the case of a reference to
        a predefined entity (as happens for array index types), the line is set
        to 0.
        Add support for parsing multiple array index types info, or
        multiple inherited interfaces info. This information cannot be stored
        in Xref_Entity_Record, which only supports a single instance of Tref_*,
        and is therefore stored in the list of references instead. It has a
        special treatement later on in tools that use this information.

2007-10-15  Tristan Gingold  <gingold@adacore.com>

        * debug.adb: Document use of -gnatd.a and -gnatd.I

        * layout.adb: On OpenVMS -gnatd.a disables alignment optimization.

2007-10-15  Javier Miranda  <miranda@adacore.com>

        * exp_attr.adb (Expand_N_Attribute_Reference): Case Access,
        Unchecked_Access, and Unrestricted_Access. Cleanup code that takes
        care of access to class-wide interface types plus removal of bizarre
        conversion of tagged object to access type (reported by Gary
        Dismukes). After this patch there is no need to perform any
        additional management on these nodes in Expand_Interface_Actuals.

        * exp_disp.adb (Expand_Interface_Actuals): Code cleanup. Remove code
        that handles use of 'Access and 'Unchecked_Access applied to
        actuals covering interface types. Such code is now
        centralized in Expand_N_Attribute_Reference.

2007-10-15  Ed Schonberg  <schonberg@adacore.com>

        * exp_ch3.adb (Build_Init_Procedure): Keep separate the initialization
        of tagged types whose ultimate ancestor is a CPP type.
        (Freeze_Array_Type): For a packed array type, generate an initialization
        procedure if the type is public, to handle properly a client that
        specifies Normalize_Scalars.

2007-10-15  Hristian Kirtchev  <kirtchev@adacore.com>

        * exp_ch9.adb (Actual_Index_Expression): When the expansion occurs
        inside a generic body, retrieve the full view of the entry family
        discrete subtype if available.

2007-10-15  Thomas Quinot  <quinot@adacore.com>

        * exp_dist.adb (Add_RACW_Primitive_Declarations_And_Bodies): Do not
        attempt to generate stubs for hidden primitive operations.

2007-10-15  Vincent Celier  <celier@adacore.com>

        * mlib-tgt-specific.adb (Support_For_Libraries): New function,
        returning None, used when there is no platform specific body for
        MLib.Tgt.Specific.

2007-10-15  Bob Duff  <duff@adacore.com>

        * sem_case.adb, sem_ch13.adb, lib-sort.adb: Replace use of Heap_Sort_A
        (passing'Unrestricted_Access of nested subprograms to Sort) with use of
        the generic Heap_Sort_G, in order to avoid trampolines.

2007-10-15  Vasiliy Fofanov  <fofanov@adacore.com>
            Jose Ruiz  <ruiz@adacore.com>

        * vx_stack_info.c: New file.

        * i-forbla-unimplemented.ads: New file.

        * Makefile.in: i-forbla-unimplemented.ads: a variant of i-forbla.ads
        for unsupported configurations; use it on VMS targets instead of the
        real one.
        (EXTRA_LIBGNAT_SRCS,EXTRA_LIBGNAT_OBJS for VxWorks): Include
        vx_stack_info.{c,o} that contains the routine __gnat_get_stack_info
        used by VxWorks targets to have access to task-specific data and be
        able to extract the stack boundaries for stack checking.
        Use system-vms-ia64.ads on ivms.

        * Make-lang.in: Update dependencies.

        * sysdep.c (__gnat_get_stack_info): Move to a standalone file
        (vx_stack_info.c).

2007-10-15  Vincent Celier  <celier@adacore.com>

        * snames.adb, snames.ads: Add new standard name runtime_library_dir

        * prj.ads (Language_Config): Add new component Runtime_Library_Dir

        * prj-attr.adb: Add project level attribute Runtime_Library_Dir

        * prj-env.adb (Create_Mapping_File): Do not put an entry if the path of
        the source is unknown.

        * prj-ext.adb: Spelling error fix

        * prj-nmsc.adb (Check_Ada_Name): Reject any unit that includes an Ada
        95 reserved word in its name.
        (Process_Project_Level_Array_Attributes): Process new attribute
        Runtime_Library_Dir.

        * prj-part.adb (Parse_Single_Project): Do not check the name of the
        config project against the user project names.

        * prj-proc.adb (Expression): In multi-language mode, indexes that do
        not include a dot are always case insensitive.
        (Process_Declarative_Items): Ditto
        (Process_Project_Tree_Phase_1): Set Success to False in case an error is
        detected.

        * prj-util.adb (Value_Of (In_Array)): When Force_Lower_Case_Index is
        True, compare both indexes in lower case.

2007-10-15  Robert Dewar  <dewar@adacore.com>

        * rtsfind.adb: (Load_RTU): Turn off style checks for Load call

2007-10-15  Gary Dismukes  <dismukes@adacore.com>

        * sem_aggr.adb (Resolve_Record_Aggregate): In the case of a box
        association for an access component, add an association with null as
        the expression. Remove testing for array subtypes and the setting in
        that case of Ctyp to the array component type, which prevented proper
        inclusion of an association for null-initialized arrays. Collapse
        condition that tests for array subtypes into just a test of
        Is_Partially_Initialized_Type (which already covers arrays anyway).

2007-10-15  Hristian Kirtchev  <kirtchev@adacore.com>

        * sem_ch12.adb: Minor code reformatting.
        (Check_Generic_Child_Unit): Iterate over the homonym chain in order to
        find the parent package which may have been hidden by local
        declarations.

2007-10-15  Gary Dismukes  <dismukes@adacore.com>

        * sem_ch3.adb (Build_Derived_Concurrent_Type): Set the Is_Constrained
        flag of derived concurrent types, taking into account the flag setting
        on the parent subtype and any new set of discriminants.

2007-10-15  Hristian Kirtchev  <kirtchev@adacore.com>

        * sem_ch4.adb: Minor code and comment reformatting.
        (Analyze_Allocator): When the designated type of an unconstrained
        allocator is a record with unknown discriminants or an array with
        unknown range bounds, emit a detailed error message depending on the
        compilation mode and whether the designated type is limited.

2007-10-15  Tristan Gingold  <gingold@adacore.com>

        * system-vms-ia64.ads: New file.

        * system-vms_64.ads: Minor comment fix.

2007-10-15  Ed Schonberg  <schonberg@adacore.com>

        * sem_ch6.adb (Find_Corresponding_Spec): If the previous entity is a
        body generated for a function with a controlling result that is a null
        extension, discard the generated body in favor of the current explicit
        one.

2007-10-15  Ed Schonberg  <schonberg@adacore.com>

        * sem_disp.adb (Find_Controlling_Arg): Examine the call node before
        examining its original form, to handle properly operator calls that
        have been rewritten.

2007-10-15  Olivier Hainque  <hainque@adacore.com>

        * tb-alvms.c (tb_entry_t, __gnat_backtrace): Store a frame pointer
        instead of a procedure value in each traceback entry.

        * g-trasym-vms-alpha.adb (Symbolic_Traceback): Pass frame pointer
        instead of procedure value to TBK$SYMBOLIZE.

        * s-traent-vms.adb (PV_For): Rename as FP_For and access the proper
        field.
        (TB_Entry_For): Account for the PV/FP renaming.

        * s-traent-vms.ads (Traceback_Entry): Rename PV component into FP and
        add comment.
        (Null_TB_Entry): Account for change of component name.
        (PV_For): Rename as FP_For.

2007-10-15  Tristan Gingold  <gingold@adacore.com>

        * trans.c (gnat_to_gnu): Remove the padding structure more often.
        This optimize assignment to over-aligned record.

2007-10-15  Emmanuel Briot  <briot@adacore.com>

        * xref_lib.adb (Get_Full_Type): Add support for the 'h' entity type, ie
        interfaces.

        * xr_tabls.adb (Add_Reference): Add support for the new 'R' reference
        type, for dispatching calls.

2007-10-15  Vincent Celier  <celier@adacore.com>
            Robert Dewar  <dewar@adacore.com>

        * gnat_ugn.texi: Add documentation for switches --version and --help
        for the GNAT tools gnatbind, gnatlink, gnatmake, gnatchop, gnatname,
        gnatxref, gnatfind, gnatls, and gnatclean.
        Document -gnatw.o.
        Mention attribute Excluded_Source_Dirs
        Replace obsolescent attribute Locally_Removed_Files with attribute
        Excluded_Source_Files.
        Improve documentation of -u (gnatbind)
        Document how to do reliable stack checking for the environmental task
        on iVMS.

        * gnat_rm.texi: Rewrite section about No_Implicit_Dynamic_Code.
        Document attribute Excluded_Source_Files and indicate that attribute
        Locally_Removed_Files is obsolescent.

2007-10-15  Thomas Quinot  <quinot@adacore.com>

        * g-soccon-vms.ads: Fix value of MSG_WAITALL.

        * gen-soccon.c: 
        Update documentation to note that OpenVMS 8.3 or later must be used
        to generate g-soccon-vms.ads.

        * atree.adb: Add ??? comment

        * exp_util.adb: Minor reformatting.
        Add ??? comment in Kill_Dead_Code.

2007-10-15  Robert Dewar  <dewar@adacore.com>

        * errout.ads: Comment clarification

        * exp_ch4.adb (Expand_N_Allocator): Code cleanup.
        (Expand_N_Op_Eq): Improve handling of array equality with -gnatVa

        * lib.ads: Comment update

        * init.c: Minor reformatting.

        * sem_attr.adb: Minor formatting

        * osint-b.ads: Minor reformatting

        * sem_ch9.adb: Implement -gnatd.I switch

        * g-comlin.adb: (Start): Fix handling of empty command line.

        * gnatcmd.adb (GNATCmd): Do not put the -rules in the -cargs section,
        even when -rules follows the -cargs section.

2007-10-08  Ollie Wild  <aaw@google.com>

        * misc.c (LANG_HOOKS_PUSHDECL): Replaced lhd_return_tree with
        gnat_return_tree.
        (gnat_init_gcc_eh): Replaced gnat_eh_runtime_type with
        gnat_return_tree.
        (gnat_eh_runtime_type): Removed.
        (gnat_return_tree): New function.

2007-10-08  Ben Elliston  <bje@au.ibm.com>

        PR ada/33454
        Revert:
        2007-08-31  Ben Elliston  <bje@au.ibm.com>

        * Makefile.in (LIBGNAT_TARGET_PAIRS): Use system-linux-ppc64.ads
        when compiling for powerpc64-*-linux.
        * system-linux-ppc64.ads: New file.

2007-09-27  Eric Botcazou  <ebotcazou@adacore.com>

        Mapped location support
        * back_end.adb (Call_Back_End): Pass information about source
        files instead of units to gigi.
        * gigi.h (struct File_Info_Type): New.
        (gigi): Rename and change type of number_units parameter, change
        type of file_info_ptr parameter.
        * trans.c (number_files): New global variable.
        (gigi): Rename and change type of number_units parameter, change
        type of file_info_ptr parameter.
        If mapped location support is enabled, create the isomorphic mapping
        between source files and line maps.
        (Sloc_to_locus): If mapped location support is enabled, translate
        source location into mapped location.
        (annotate_with_node): Rename into set_expr_location_from_node.
        Call set_expr_location instead of annotate_with_locus.
        (Pragma_to_gnu): Adjust for above change.
        (Loop_Statement_to_gnu): Likewise.
        (call_to_gnu): Likewise.
        (Handled_Sequence_Of_Statements_to_gnu): Likewise.
        (gnat_to_gnu): Likewise.
        (add_stmt_with_node): Likewise.
        (add_cleanup): Likewise.
        * utils.c (gnat_init_decl_processing): Do not set input_line.

2007-09-26  Hristian Kirtchev  <kirtchev@adacore.com>

        * sem_ch8.adb (Analyze_Use_Type): Code cleanup.
        (Applicable_Use): Emit a warning when a package tries to use itself.
        (Use_One_Type): Add variable Is_Known_Used. Emit a warning when a type
        is already in use or the package where it is declared is in use or is
        declared in the current package.
        (Spec_Reloaded_For_Body): New subsidiary routine for Use_One_Type.

        * a-tasatt.adb, s-osprim-vxworks.adb, g-socthi-mingw.adb,
        s-intman-vms.adb, g-socket.adb, g-thread.adb, s-tarest.adb,
        s-tassta.adb, s-tporft.adb: Remove redundant 'use type' clause.

2007-09-26  Hristian Kirtchev  <kirtchev@adacore.com>

        * a-calend-vms.adb, a-calend.adb: 
        Add a section on leap seconds control along with two entities used to
        enable and disable leap seconds support. The array Leap_Second_Times is
        now constant and contains hard time values pre-generated. Remove
        all elaboration code used to populate the table of leap seconds.

        * bindgen.adb: 
        Add entity Leap_Seconds_Support to the list of global run-time variables
        along with a comment on its usage and values.
        (Gen_Adainit_Ada): Add code to generate the declaration and import of
        Integer variable Leap_Seconds_Support. Set its value to zero (disabled)
        or one (enabled) depending on the presence of binder switch "-y".
        (Gen_Adainit_C): Add code to generate the declaration of external int
        __gl_leap_seconds_support. Set is value to zero (disabled) or one
        (enabled) depending on the presence of binder switch "-y".

        * init.c: Add __gl_leap_seconds_support to the list of global values
        computed by the binder.

2007-09-26  Jerome Guitton  <guitton@adacore.com>

        * s-taprop-lynxos.adb, s-taprop-tru64.adb, s-taprop-irix.adb,
        s-taprop-hpux-dce.adb, s-taprop-linux.adb, s-taprop-dummy.adb,
         s-taprop-solaris.adb, s-taprop-vms.adb, s-taprop-mingw.adb,
        s-taprop-posix.adb (Stop_Task): New function, dummy implementation.

        * s-taprop.ads, s-taprop-vxworks.adb (Stop_Task): New function.

        * s-tasdeb.adb (Stop_All_Tasks): New function, implementing a run-time
        function which can be called by the debugger to interrupt the tasks of
        an Ada application asynchronously, as needed on VxWorks.
        (Stop_All_Tasks_Handler): Renamed from Stop_All_Tasks.

        * s-tasdeb.ads (Stop_All_Tasks_Handler): New function declaration,
        renamed from Stop_All_Tasks. Update comments.
        (Stop_All_tasks): New function declaration.

2007-09-26  Olivier Hainque  <hainque@adacore.com>

        * adaint.c (if defined (__Lynx__)): Wrap #def/#undef VMOS_DEV around
        #include <utime.h> and #define GCC_RESOURCE_H before
        #include <sys/wait.h>.
        Add more protections in __gnat_translate_vms.

        * expect.c (if defined (__Lynx__)): #define GCC_RESOURCE_H before
        #include <sys/wait.h>.

2007-09-26  Thomas Quinot  <quinot@adacore.com>
            Sergey Rybin  <rybin@adacore.com>

        * gnatvsn.ads (PCS_Version_Number, ASIS_Version_Number): Removed.

        * exp_dist.ads (PCS_Version_Number): Move from Gnatvsn to Exp_Dist,
        where it belongs.

        * opt.ads: Move ASIS_Version_Number from Gnatvsn into Tree_IO.

        * rtsfind.adb (PCS_Version_Number): Move from Gnatvsn to Exp_Dist,
        where it belongs.

        * sem_dist.ads: Minor comment fix

        * tree_io.ads: Move ASIS_Version_Number from Gnatvsn into Tree_IO.

2007-09-26  Javier Miranda  <miranda@adacore.com>
            Eric Botcazou  <ebotcazou@adacore.com>

        * a-tags.adb: 
        (Get_HT_Link/Set_HT_Link): Updated to handle the additional level of
         indirection added to the HT_Link component of the TSD. This is required
         to statically allocate the TSD.

        * a-tags.ads: 
        Minor reordering of the declarations in the private part. Required to
        add a level of indirection to the contents of the TSD component HT_Link.
        This is required to statically allocate the TSD.

        * decl.c (gnat_to_gnu_entity) <object>: Do not exclude objects with
        Is_Statically_Allocated set from constant objects.
        Do not make exported constants created by the compiler volatile.
        (gnat_to_gnu_param): Do not treat an IN parameter whose address is taken
        as read-only.

        * trans.c (Identifier_to_gnu): For constants, unshare initializers
        before returning them.

        * exp_disp.ads, exp_disp.adb (Building_Static_DT): Spec moved to the
        public part of the package.
        (Make_DT): Move HT_Link component out of the TSD record. For this
        purpose Make_DT now declares a separate object that stores the
        HT_Link value, and initializes the TSD component with the address
        of this new object. The addition of this level of indirection is
        required to statically allocate the TSD because the TSD cannot
        have variable components.
        (Expand_Interface_Conversion): Improve the expanded code.
        (Expand_Interface_Thunk): Set Is_Thunk in the thunk entity.

        * sem_disp.adb (Check_Dispatching_Operation): In case of a body
        declaring a primitive operation ---allowed by RM 3.9.2 (13.e/2)---,
        if we are building static dispatch tables then we must not generate
        extra code to register the primitive because the dispatch table will
        be built at the end of the library package; otherwise we notify that
        we cannot build the static dispatch table.

2007-09-26  Robert Dewar  <dewar@adacore.com>

        * checks.adb, gnat1drv.adb, sem_util.ads: Improve warnings for address
        overlays.

        * sem_ch13.ads, sem_ch13.adb: Improve warnings for address overlays
        (Analyze_Record_Representation_Clause): Suppress junk warning for
        missing component clause.
        (Analyze_Attribute_Definition_Clause, case Address): Apply the special
        tests for controlled type overlay to composites with controlled
        components.
        (Analyze_Record_Representation_Clause): Add reference for component name

2007-09-26  Javier Miranda  <miranda@adacore.com>
            Gary Dismukes  <dismukes@adacore.com>

        * einfo.adb (Is_Thunk): New attribute applicable to subprograms. True
        for thunks associated with interface types.

        * einfo.ads: Improve documentatation of Is_Internal
        (Is_Thunk): New attribute applicable to subprograms. True for thunks
        associated with interface types.
        Extensive comment fixes regarding flags that appear in all entities. The
        documentation is now consistent for all such flags (there were a number
        of errors in the documentation in this regard).

        * exp_attr.adb (Expand_N_Attribute_Reference): Minor code cleanup.

        * exp_ch6.adb (Make_Build_In_Place_Call_*): Return immediately if any
        of these procedures are passed a function call that already has
        build-in-place actuals (testing new flag
        Is_Expanded_Build_In_Place_Call). Set the flag on the function call in
        the case where processing continues.
        (Expand_Call): If the call is generated from a thunk body then we
        propagate the extra actuals associated with the accessibility
        level of the access type actuals.

        * sem_ch6.adb (Analyze_Subprogram_Body): Set the Protected_Formal field
        of each extra formal of a protected operation to reference the
        corresponding extra formal of the subprogram denoted by the
        operation's Protected_Body_Subprogram.
        
        * sinfo.ads, sinfo.adb (Is_Expanded_Build_In_Place_Call): New flag on
        N_Function_Call nodes.

2007-09-26  Robert Dewar  <dewar@adacore.com>

        * exp_ch5.adb: Activate memmove type processing if debug flag d.s is set

        * debug.adb: Add d.s flag.

2007-09-26  Gary Dismukes  <dismukes@adacore.com>

        * exp_dbug.adb (Debug_Renaming_Declaration): Set Is_Internal on the
        debug variable so that it won't be initialized when pragma
        Initialize_Scalars is in effect.

2007-09-26  Gary Dismukes  <dismukes@adacore.com>

        * freeze.adb (Freeze_Entity): Remove check for preelaborable
        initialization of a full view. This is moved to
        Analyze_Package_Specification.

        * sem_ch7.adb (Analyze_Package_Specification): Add check for
        preelaborable initialization of a full view in entity loop.
        (Uninstall_Declarations): If entity is a use-visible compilation unit,
        its child units are use-visible only if they are visible child units.

        * sem_util.adb (Is_Preelaborable_Expression): New function to determine
        whether an expression can be used within a type declaration that
        requires preelaborable init.
        (Check_Components): Replace inline code that does partial checking for
        preelaborable default expressions with call to
        Is_Preelaborable_Expression.
        (Has_Preelaborable_Initialization): In the case of a generic actual
        subtype, (that is, Is_Generic_Actual is True), return the result of
        applying Has_Preelaborable_Initialization to the generic actual's base
        type.

2007-09-26  Hristian Kirtchev  <kirtchev@adacore.com>

        * g-calend.adb (Has_53_Weeks): Rename to Last_Year_Has_53_Weeks. Add a
        call to Jan_1_Day _Of_Week to optimize its performance.
        (Is_Leap): Move the routine to the scope of Week_In_Year.
        (Jan_1_Day_Of_Week): New routine in Week_In_Year which calculates the
        weekday on which January 1 falls of Year - 1 and Year + 1. This function
        avoids calling Time_Of and Split, thus making it more efficent.
        (Week_In_Year): Reimplemented in oder to follow ISO 8601.

        * g-calend.ads (Week_In_Year): Change comment to reflect new
        implementation.

2007-09-26  Emmanuel Briot  <briot@adacore.com>

        * g-comlin.ads, g-comlin.adb (Command_Line_Configuration,
        Command_Line): New types
        (Define_Alias, Define_Prefix, Free): New subprograms. These provide
        support for defining how switches can be grouped on a command line (as
        is the case for -gnatw... for GNAT), and how simple switches can be
        used as aliases for more complex switches (-gnatwa is same as
        -gnatwbcef...)
        (Set_Command_Line, Add_Switch, Remove_Switch): New subprogram
        (Start, Current_*): New subprograms
        Added support for parsing an array of strings in addition to the real
        command line.
        (Opt_Parser, Opt_Parser_Data): New type. As a result, some types had to
         be moved from the body to the private part of the spec.
        (*): All subprograms now have an extra parameter with default value to
        specify which parser should be used. For backward compatibility, it
        defaults to parsing the command line of the application. They were also
        modified to properly handle cases where each of the argument does not
        start at index 1 (which is always true for Ada.Command_Line, but not
        when processing any Argument_List).
        (Free): New subprogram
        (Internal_Initialize_Option_Scan, Find_Longuest_Matching_Switch,
        Argument): New subprograms
        (Switch_Parameter_Type): New enum, which clarifies the code. The extra
        special characters like ':', '=',... are now handled in a single place,
        which makes the code more extensible eventually.
        (Getopt, Full_Switch): When the switch was returned as part of the
        special character '*', make sure it is prepended by the switch character
        ('-' in general), so that the application knows whether "foo" or "-foo"
        was specified on the command line.

2007-09-26  Florian Villoing  <villoing@adacore.com>

        * g-dirope.adb (Remove_Dir): In case we are removing directories
        recursively, make sure that if an exception is raised during the
        processing, the current working directory is reset to its initial
        value before propagating the exception.

2007-09-26  Vincent Celier  <celier@adacore.com>

        * gnatbind.adb: If there are several ALI files specified and there is
        a main program to bind, the first ALI is expected to contain the main
        subprogram and the names of the binder generated files will be derived
        from the first ALI file name.
        (Gnatbind): Fix insertion character in invocation of Error_Msg

2007-09-26  Vincent Celier  <celier@adacore.com>

        * gnatcmd.adb (Check_Files): Do not include sources that have been
        removed by attributes Exclude_Source_Files or Locally_Removed_Files.

2007-09-26  Ed Schonberg  <schonberg@adacore.com>

        * lib-xref.ads, lib-xref.adb: The entry for array types now carries
        information about each of its index types, following the type
        reference for its component type.

2007-09-26  Vincent Celier  <celier@adacore.com>

        * make.adb: (Kill): New procedure (__gnat_kill imported)
        (Running_Compile, Outstanding_Compiles): Global variables that
        were previously local to procedure Compile_Sources.
        (Sigint_Intercepted): Send signal SIGINT to all outstanding
        compilation processes.

        (Gnatmake): If project files are used, create the mapping of all the
        sources, so that the correct paths will be found.

        * prj-env.ads, prj-env.adb (Create_Mapping): New procedure

2007-09-26  Vincent Celier  <celier@adacore.com>

        * makeutl.ads (Main_Config_Project): Moved to gpr_util.ads

        * prj.ads, prj.adb (Default_Language): Remove function, no longer used
        Replace components Compiler_Min_Options and Binder_Min_Options with
        Compiler_Required_Switches and Binder_Required_Switches in record
        Language_Config.
        Remove components Default_Language and Config in Project_Tree_Data,
        no longer used.

        * prj-attr.adb: New attributes Required_Switches (<language>) in
        packages Compiler and Binder.

        * prj-nmsc.adb: Major rewrite of the processing of configuration
        attributes for gprbuild. No impact on GNAT tools.

        * prj-proc.ads, prj-proc.adb (Process_Project_Tree_Phase_2): No longer
        process configuration attributes: this is done in Prj.Nmsc.Check.
        (Recursive_Process): Make a full copy of packages inherited from project
        being extended, instead of a shallow copy.
        (Process_Project_Tree_Phase_1): New procedure
        (Process_Project_Tree_Phase_1): New procedure
        (Process): Implementation now uses the two new procedures

        * prj-util.adb (Executable_Of): Get the suffix and the default suffix
        from the project config, not the tree config that no longer exists.

2007-09-26  Vincent Celier  <celier@adacore.com>

        * Make-lang.in: Update dependencies..

2007-09-26  Vincent Celier  <celier@adacore.com>

        * osint.adb, osint.ads: Minor reformatting

        * osint-b.adb, osint-b.ads (Set_Current_File_Name_Index): New procedure

2007-09-26  Gary Dismukes  <dismukes@adacore.com>

        * par-ch4.adb (P_Record_Or_Array_Component_Association): Change Ada 95
        message to cite use of <> in aggregate component associations rather
        than wrongly indicating use of limited aggregates.

2007-09-26  Robert Dewar  <dewar@adacore.com>

        * sem_attr.adb (Analyze_Access_Attribute): Fix missing set of
        Address_Taken.

2007-09-26  Ed Schonberg  <schonberg@adacore.com>

        * sem_ch3.adb (Derive_Subprograms): If the interface parent is a direct
        ancestor of the derived type, the operations are inherited from the
        primary dispatch table of the parent.
        (OK_For_Limited_Init_In_05): Remove old comment. Reject in-place calls
        when the context is an explicit type conversion.

2007-09-26  Ed Schonberg  <schonberg@adacore.com>

        * sem_ch4.adb (Analyze_Qualified_Expression): Apply name resolution
        rule for qualified expressions properly, to detect improper conversions
        and resolve some cases of overloading.

2007-09-26  Ed Schonberg  <schonberg@adacore.com>

        * sem_res.adb (Resolve_Call): If the call is dispatching, generate the
        proper kind of reference to the primitive operation, for better source
        navigation.
        (Valid_Conversion): A tagged conversion is legal if both operands are
        tagged.

2007-09-26  Robert Dewar  <dewar@adacore.com>

        * sem_warn.adb (Check_References): Catch more cases of unreferenced
        packages.

2007-09-26  Vincent Celier  <celier@adacore.com>

        * snames.adb, snames.ads: Change Include_Option to Include_Switches

2007-09-26  Robert Dewar  <dewar@adacore.com>

        * s-wchstw.adb: provide messages for run time unit exceptions

        * a-witeio.adb: Minor reformatting

        * exp_ch13.adb: Minor reformatting

2007-09-26  Sergey Rybin  <rybin@adacore.com>

        * vms_data.ads: Revise gnatmetric qualifiers.
        Add qualified for the new gnatbind option '-y'

        * gnat_ugn.texi: Revise the gnatmetric section.
        Add entry for new gnatbind option '-y'.

        * gnat_rm.texi: Minor spelling correction.
        Document restriction on overlaying controlled types

2007-09-26  Vincent Celier  <celier@adacore.com>

        * makegpr.adb (Link_Executables): Do not fail when the root project has
        no sources, but is an extending project.

2007-09-25  Eric Botcazou  <ebotcazou@adacore.com>

        * trans.c: Fix misplaced #define.

2007-09-22  Eric Botcazou  <ebotcazou@adacore.com>

        * utils2.c (build_unary_op) <ADDR_EXPR> [INDIRECT_REF]: Propagate
        the TYPE_REF_CAN_ALIAS_ALL flag to the result.

2007-09-21  Olivier Hainque  <hainque@adacore.com>

        * utils.c (type_for_nonaliased_component_p): Return false for
        all AGGREGATE_TYPEs.

2007-09-17  Eric Botcazou  <ebotcazou@adacore.com>

        * decl.c (gnat_to_gnu_entity) <object>: Make again the type of an
        object covered by 13.3(19) volatile.

2007-09-12  Eric Botcazou  <ebotcazou@adacore.com>

        PR ada/26797
        PR ada/32407
        * utils.c (unchecked_convert): Use a subtype as the intermediate type
        in the special VIEW_CONVERT_EXPR case.

2007-09-12  Robert Dewar  <dewar@adacore.com>

        * types.ads, a-charac.ads, freeze.adb: Minor reformatting.

        * a-except.adb, g-hesora.adb, g-speche.adb, lib.adb, lib.ads,
        lib-load.adb, lib-writ.adb, s-assert.adb, s-carun8.adb,
        s-casuti.adb, s-crc32.adb, s-exctab.adb, s-htable.adb, s-imgenu.adb,
        s-mastop.adb, s-memory.adb, s-memory.ads, s-secsta.adb, s-soflin.adb,
        s-sopco3.adb, s-sopco4.adb, s-sopco5.adb, s-stache.adb, s-stalib.adb,
        s-stoele.adb, s-strcom.adb, s-strops.adb, s-traceb.adb, s-traent.adb,
        s-wchcnv.adb, s-wchcon.adb, s-wchjis.adb, s-addope.adb, s-except.adb,
        s-os_lib.adb, s-string.adb, s-utf_32.adb, a-elchha.adb,
        a-chlat1.ads, a-elchha.ads, a-except.ads, g-hesora.ads, g-htable.ads, 
        g-speche.ads, par-prag.adb, restrict.adb, restrict.ads, s-assert.ads, 
        s-carun8.ads, s-casuti.ads, s-crc32.ads, sem_ch11.adb, sem_prag.adb, 
        s-exctab.ads, s-htable.ads, s-imgenu.ads, s-mastop.ads, snames.adb, 
        snames.ads, snames.h, s-purexc.ads, s-secsta.ads, s-soflin.ads, 
        s-sopco3.ads, s-sopco4.ads, s-sopco5.ads, s-stache.ads, s-stalib.ads, 
        s-stoele.ads, s-strcom.ads, s-strops.ads, s-traceb.ads, s-traent.ads, 
        s-unstyp.ads, s-wchcnv.ads, s-wchcon.ads, s-wchjis.ads, s-addope.ads, 
        s-except.ads, s-os_lib.ads, s-string.ads, s-utf_32.ads: Implement
        pragma Compiler_Unit and adds it to relevant library units.

2007-09-12  Ed Schonberg  <schonberg@adacore.com>

        * sem_aggr.adb (Resolve_Record_Aggregate): An others association with
        a box need not correspond to any component.

2007-09-12  Robert Dewar  <dewar@adacore.com>

        * g-thread.ads: Document use of "with GNAT.Threads" to ensure loading
        the tasking version of the Ada run time when foreign threads are
        present and there are no explicit Ada tasks or tasking constructs.

        * gnat_rm.texi: Clarify documentation of GNAT.Threads.

2007-09-12  Hristian Kirtchev  <kirtchev@adacore.com>

        * bindusg.adb (Display): Correct comment for switch -X. Add a line for
        the usage of switch -y.

        * switch-b.adb (Scan_Binder_Switches): Set flag Leap_Seconds_Support
        when switch -y is present.

        * opt.ads: Add binder flag Leap_Seconds_Support used to enable/disable
        leap seconds in Ada.Calendar and its children.

2007-09-12  Jose Ruiz  <ruiz@adacore.com>

        * a-extiti.ads (Timer): The discriminant is a "not null access
        constant" in the Reference Manual.
        (Cancel_Handler): Cancelled is an out parameter in the Reference Manual.

2007-09-12  Robert Dewar  <dewar@adacore.com>

        * a-swuwha.adb: Remove junk RM header

2007-09-12  Vincent Celier  <celier@adacore.com>

        * g-bytswa-x86.adb (Swap2, Swap4, Swap8): Remove explicit "in" mode
        indicator

        * g-bytswa.ads: Minor reformatting

2007-09-12  Thomas Quinot  <quinot@adacore.com>

        * g-soccon-solaris-64.ads, g-soccon-hpux-ia64.ads: 
        Add new constant Thread_Blocking_IO, always True by default, set False
        on a per-runtime basis.
        (Need_Netdb_Buffer): New constant.

2007-09-12  Arnaud Charlet  <charlet@adacore.com>

        * s-dsaser.ads (Get_Local_Partition_Id, Get_Passive_Partition_Id):
        Added renames for corresponding functions in System.Partition_Interface.

2007-09-12  Doug Rupp  <rupp@adacore.com>

        * Makefile.in: Remove VMS specific System.CRTL packages which are no
        longer needed.

        * s-crtl-vms64.ads: Removed.

2007-09-12  Olivier Hainque  <hainque@adacore.com>

        * decl.c (gnat_to_gnu_entity) <E_Record_Subtype>: For a subtype
        with discriminant constraints, generalize the code for BIT_FIELDs
        to PACKED fields of constant size and propagate DECL_PACKED.

2007-09-11  Eric Botcazou  <ebotcazou@adacore.com>

        * decl.c (array_type_has_nonaliased_component): New predicate.
        (gnat_to_gnu_field) <E_Array_Type>: Invoke the above predicate to
        set the TYPE_NONALIASED_COMPONENT flag on the type.
        <E_Array_Subtype>: Likewise.
        * gigi.h (type_for_nonaliased_component_p): Declare.
        * utils.c (type_for_nonaliased_component_p): New predicate.
        (create_field_decl): Invoke the above predicate to set the
        DECL_NONADDRESSABLE_P flag on the field.

2007-09-11  Javier Miranda  <miranda@adacore.com>

        * einfo.ads, einfo.adb (Dispatch_Table_Wrapper): New attribute. Present
        in library level record type entities if we are generating statically
        allocated dispatch tables.

        * exp_disp.adb (Make_Tags/Make_DT): Replace previous code
        importing/exporting the _tag declaration by new code
        importing/exporting the dispatch table wrapper. This change allows us
        to statically allocate of the TSD.
        (Make_DT.Export_DT): New procedure.
        (Build_Static_DT): New function.
        (Has_DT): New function.

        * freeze.adb (Freeze_Static_Object): Code cleanup: Do not reset flags
        True_Constant and Current_Value. Required to statically
        allocate the dispatch tables.
        (Check_Allocator): Make function iterative instead of recursive.
        Also return inner allocator node, when present, so that we do not have
        to look for that node again in the caller.

2007-09-11  Jan Hubicka <jh@suse.cz>

        * misc.c (gnat_expand_body): Kill.
        (LANG_HOOKS_CALLGRAPH_EXPAND_FUNCTION): Kill.

2007-09-10  Robert Dewar  <dewar@adacore.com>

        * exp_atag.ads, exp_atag.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-mingw.adb, mlib-tgt-vxworks.adb, ali.adb, ali.ads,
        ali-util.adb, ali-util.ads, atree.h, back_end.adb, back_end.ads,
        bcheck.adb, bcheck.ads, binde.adb, binde.ads, binderr.adb, binderr.ads,
        bindgen.adb, bindgen.ads, bindusg.adb, bindusg.ads, butil.adb,
        butil.ads, checks.adb, checks.ads, clean.adb, clean.ads, comperr.adb,
        comperr.ads, cstand.adb, cstand.ads, debug_a.adb, debug_a.ads,
        elists.h, errout.adb, erroutc.ads, errutil.adb, errutil.ads,
        err_vars.ads, eval_fat.adb, eval_fat.ads, exp_sel.ads, exp_sel.adb,
        exp_aggr.adb, exp_aggr.ads, expander.adb, expander.ads, exp_attr.ads,
        exp_ch10.ads, exp_ch11.adb, exp_ch12.adb, exp_ch12.ads, exp_ch13.adb,
        exp_ch13.ads, exp_ch2.adb, exp_ch2.ads, exp_ch3.ads, exp_ch4.adb,
        exp_ch4.ads, exp_ch5.adb, exp_ch5.ads, exp_ch6.adb, exp_ch6.ads,
        exp_ch7.adb, exp_ch7.ads, exp_ch8.adb, exp_ch8.ads, exp_ch9.adb,
        exp_ch9.ads, exp_code.adb, exp_code.ads, exp_dbug.adb, exp_dbug.ads,
        exp_disp.ads, exp_dist.adb, exp_dist.ads, exp_fixd.adb, exp_fixd.ads,
        exp_imgv.adb, exp_imgv.ads, exp_intr.adb, exp_intr.ads, exp_pakd.adb,
        exp_pakd.ads, exp_prag.adb, exp_prag.ads, exp_smem.adb, exp_strm.adb,
        exp_strm.ads, exp_tss.adb, exp_tss.ads, exp_util.adb, exp_util.ads,
        exp_vfpt.adb, exp_vfpt.ads, fmap.adb, fmap.ads, fname-sf.adb,
        fname-sf.ads, fname-uf.adb, fname-uf.ads, frontend.adb, frontend.ads,
        get_targ.adb, get_targ.ads, gnat1drv.adb, gnat1drv.ads, gnatbind.adb,
        gnatbind.ads, gnatbl.c, gnatchop.adb, gnatclean.adb, gnatcmd.adb,
        gnatcmd.ads, gnatdll.adb, gnatfind.adb, gnatkr.adb, gnatkr.ads,
        gnatlbr.adb, gnatlink.adb, gnatlink.ads, gnatls.adb, gnatls.ads,
        gnatmake.adb, gnatmake.ads, gnatmem.adb, gnatname.adb, gnatname.ads,
        gnatprep.adb, gnatprep.ads, gnatsym.adb, gnatxref.adb,
        gprep.adb, gprep.ads, hlo.adb, hlo.ads, impunit.adb, impunit.ads,
        inline.adb, inline.ads, itypes.adb, itypes.ads, layout.adb, layout.ads,
        lib-load.adb, lib-load.ads, lib-util.adb, lib-util.ads, lib-writ.adb,
        lib-writ.ads, lib-xref.adb, lib-xref.ads, live.adb, live.ads,
        make.adb, make.ads, makeutl.ads, makeutl.adb, makeusg.adb, makeusg.ads,
        mdll.adb, mdll.ads, mdll-fil.adb, mdll-fil.ads, mdll-utl.adb,
        mdll-utl.ads, memroot.adb, memroot.ads, mlib.adb, mlib.ads,
        mlib-fil.adb, mlib-fil.ads, mlib-prj.adb, mlib-prj.ads, mlib-tgt.adb,
        mlib-tgt.ads, mlib-utl.adb, mlib-utl.ads, namet.h, nmake.adt,
        osint.adb, osint.ads, osint-b.adb, osint-b.ads, osint-c.adb,
        osint-c.ads, osint-l.adb, osint-l.ads, osint-m.adb, osint-m.ads,
        par.adb, par.ads, par-ch10.adb, par-ch11.adb, par-ch12.adb,
        par-ch13.adb, par-ch2.adb, par-ch3.adb, par-ch4.adb, par-ch5.adb,
        par-ch6.adb, par-ch7.adb, par-ch8.adb, par-ch9.adb, par-endh.adb,
        par-labl.adb, par-load.adb, par-prag.adb, par-sync.adb, par-tchk.adb,
        par-util.adb, prep.adb, prep.ads, prepcomp.adb, prepcomp.ads,
        prj.adb, prj.ads, prj-attr.adb, prj-attr.ads, prj-com.ads,
        prj-dect.adb, prj-dect.ads, prj-err.adb, prj-err.ads, prj-ext.adb,
        prj-ext.ads, prj-makr.adb, prj-makr.ads, prj-nmsc.adb, prj-nmsc.ads,
        prj-pars.adb, prj-pars.ads, prj-part.adb, prj-part.ads,
        prj-pp.adb, prj-pp.ads, prj-proc.adb, prj-proc.ads,
        prj-strt.adb, prj-strt.ads, prj-tree.adb, prj-tree.ads,
        prj-util.adb, prj-util.ads, restrict.adb, restrict.ads,
        rtsfind.adb, rtsfind.ads, scn.adb, scn.ads,
        scng.adb, scng.ads, sdefault.ads, sem.ads, sem_aggr.ads, sem_attr.adb,
        sem_case.adb, sem_case.ads, sem_cat.adb, sem_cat.ads, sem_ch10.adb,
        sem_ch10.ads, sem_ch11.adb, sem_ch11.ads, sem_ch12.ads, sem_ch13.adb,
        sem_ch13.ads, sem_ch2.adb, sem_ch2.ads, sem_ch3.adb, sem_ch3.ads,
        sem_ch4.ads, sem_ch5.adb, sem_ch5.ads, sem_ch6.adb, sem_ch6.ads,
        sem_ch7.adb, sem_ch7.ads, sem_ch8.adb, sem_ch8.ads, sem_ch9.adb,
        sem_ch9.ads, sem_disp.adb, sem_disp.ads, sem_dist.adb, sem_dist.ads,
        sem_elab.adb, sem_elab.ads, sem_elim.adb, sem_elim.ads, sem_eval.adb,
        sem_eval.ads, sem_intr.adb, sem_intr.ads, sem_maps.adb, sem_maps.ads,
        sem_mech.adb, sem_mech.ads, sem_prag.adb, sem_prag.ads, sem_res.adb,
        sem_res.ads, sem_smem.adb, sem_smem.ads, sem_type.adb, sem_type.ads,
        sem_util.adb, sem_util.ads, sem_vfpt.adb, sem_vfpt.ads, sem_warn.adb,
        sem_warn.ads, sfn_scan.ads, sinfo-cn.adb, sinfo-cn.ads, sinput-c.adb,
        sinput-c.ads, sinput-d.adb, sinput-d.ads, sinput-l.adb, sinput-l.ads,
        sinput-p.adb, sinput-p.ads, snames.h, sprint.adb, sprint.ads,
        stringt.h, style.ads, styleg.adb, styleg.ads, styleg-c.adb,
        styleg-c.ads, stylesw.adb, stylesw.ads, switch.adb, switch.ads,
        switch-b.adb, switch-b.ads, switch-c.adb, switch-c.ads, switch-m.adb,
        switch-m.ads, symbols.adb, symbols.ads, targparm.adb, tbuild.adb,
        tbuild.ads, tempdir.adb, tempdir.ads, tree_gen.adb, tree_gen.ads,
        treepr.adb, treepr.ads, treeprs.adt, ttypef.ads, ttypes.ads,
        types.h, uintp.h, urealp.h, usage.adb, usage.ads,
        validsw.adb, validsw.ads, vxaddr2line.adb, xeinfo.adb, xnmake.adb,
        xref_lib.adb, xref_lib.ads, xr_tabls.adb, xr_tabls.ads, xsinfo.adb,
        xtreeprs.adb, xsnames.adb, vms_conv.ads, vms_conv.adb, xgnatugn.adb,
        gprmake.adb, makegpr.ads, makegpr.adb, prj-attr-pm.ads, prj-attr-pm.adb,
        mlib-tgt-lynxos.adb, mlib-tgt-darwin.adb, symbols-vms.adb,
        symbols-processing-vms-alpha.adb, symbols-processing-vms-ia64.adb,
        mlib-tgt-specific.adb, mlib-tgt-specific.ads, mlib-tgt-vms.adb,
        mlib-tgt-vms.ads: Replace headers with GPL v3 headers.

2007-09-10  Emmanuel Briot  <briot@adacore.com>

        * s-regpat.adb (Parse_Character_Class): Fix handling of empty character
        classes ("[]").

2007-09-10  Vasiliy Fofanov  <fofanov@adacore.com>

        * adaint.c (__gnat_translate_vms): new function.

2007-09-10  Gary Dismukes  <dismukes@adacore.com>
            Thomas Quinot  <quinot@adacore.com>

        * exp_ch3.adb (Predef_Spec_Or_Body): When the type is abstract, only
        create an abstract subprogram in the case of 'Input. For 'Output we now
        create a real spec/body when the type is abstract, since it can
        potentially be called.
        (Predefined_Primitive_Bodies): Now allow the creation of a predefined
        body for 'Output when the type is abstract (only the creation of the
        body for 'Input is excluded when the type is abstract).
        (Stream_Operation_OK): Add an additional condition in the return
        statement, so that False will be returned for TTS_Stream_Input if the
        associated tagged type is an abstract extension. Add comments for
        return statement.
        (Expand_N_Object_Declaration): For the case of a shared passive
        variable, insert init proc call only after the shared variable
        procedures have been processed, because the IP call needs to undergo
        shared passive variable reference expansion, which requires these
        procedures to be available (and elaborated).

2007-09-10  Vincent Celier  <celier@adacore.com>

        * prj-env.ads, prj-env.adb (Create_Mapping_File (Language)): Remove
        parameter Runtime_Project.

2007-09-10  Ed Schonberg  <schonberg@adacore.com>

        * sem_aggr.adb (Build_Record_Aggr_Code): If an aggregate component is
        given a box association, the type of the component is discriminated,
        and the value of the discriminant is the discriminant of the enclosing
        type, retrieve its value from the aggregate itself, where it must have
        been supplied.

        * sem_ch4.adb (Analyze_One_Call): Further refinement to previous fix,
        to remove other spurious ambiguities on arithmetic operations involving
        literals and addresses, on systems where Address is a visible integer
        type, when the operator is called in functional notation.
        (Try_Primitive_Operation): Within an instance, a call in prefixed form
        is legal when the types match, even if the operation is currently
        hidden.

2007-09-10  Ed Schonberg  <schonberg@adacore.com>

        * sem_ch12.adb (Build_Local_Package): A formal package with no
        associations is legal if all formals have defaults. It is not
        equivalent to a formal declared with a box.

2007-09-10  Sergey Rybin  <rybin@adacore.com>

        * vms_data.ads: Add qualifier for the new gnatmetric '-lratio' option

2007-09-10  Sergey Rybin  <rybin@adacore.com>

        * gnat_ugn.texi: Add description of the new '-lratio' option
        Update 7.3.1 section about availability of the feature.

2007-09-10  Thomas Quinot  <quinot@adacore.com>

        * exp_smem.ads, exp_smem.adb (Make_Shared_Var_Procs): Return last
        inserted node.

2007-09-10  Olivier Hainque  <hainque@adacore.com>

        * Makefile.in: (mips-irix section): Activate build of libgmem.

2007-09-10  Eric Botcazou  <ebotcazou@adacore.com>

        * a-numaux-x86.adb (Logarithmic_Pow): Do not silently clobber
        x87 registers.

2007-09-10  Eric Botcazou  <ebotcazou@adacore.com>

        * decl.c (gnat_to_gnu_entity) <object>: Deal with variable built for
        a debug renaming declaration specially.

2007-09-08  Eric Botcazou  <ebotcazou@adacore.com>

        * decl.c (gnat_to_gnu_entity) <Object>: Simplify the condition under
        which a constant renaming is treated as a normal object declaration.
        * trans.c (lvalue_required_p) <N_Slice>: New case, extracted from
        the N_Indexed_Component case.
        <N_Indexed_Component>: Fall through to above case.
        <N_Object_Renaming_Declaration>: Return true for all composite types.

2007-09-08  Eric Botcazou  <ebotcazou@adacore.com>

        * decl.c (make_packable_type): If the new type has been given BLKmode,
        try again to get an integral mode for it.

2007-09-07  Eric Botcazou  <ebotcazou@adacore.com>

        Re-apply accidentally reverted change:

        2007-02-07  Andreas Krebbel  <krebbel1@de.ibm.com>

        * raise-gcc.c (get_region_description_for, get_call_site_action_for,
        get_action_description_for): Replace _Unwind_Word with _uleb128_t 
        and _Unwind_SWord with _sleb128_t.

2007-09-06  Eric Botcazou  <ebotcazou@adacore.com>

        * trans.c (convert_with_check): Update call to real_2expN.

2007-09-05  Sandra Loosemore  <sandra@codesourcery.com>

        * trans.c (Compilation_unit_to_gnu): Use set_cfun.
        * utils.c (end_subprog_body): Likewise.

2007-09-03  Nick Clifton  <nickc@redhat.com>

        * Make-lang.in: Change copyright header to refer to version 3 of
        the GNU General Public License and to point readers at the
        COPYING3 file and the FSF's license web page.
        * ada-tree.def, nmake.adt, nlists.h, snames.h, utils.c,
        Makefile.rtl, Makefile.in, config-lang.in, uintp.h, urealp.h,
        namet.h, decl.c, utils2.c, lang.opt, elists.h, atree.h, types.h,
        treeprs.adt, lang-specs.h, cuintp.c, stringt.h, gnatbl.c:
        Likewise.

2007-08-31  Vincent Celier  <celier@adacore.com>

        PR ada/4720

        * gnatchop.adb, gnatfind.adb, gnatlink.adb, gnatls.adb, 
        gnatname.adb, gnatxref.adb, gprep.adb, clean.adb gnatbind.adb
        (Check_Version_And_Help): New procedure in package Switch to process
        switches --version and --help.
        Use Check_Version_And_Help in GNAT tools

        * make.adb:  Ditto.
        (Compile_Sources): Make sure that sources that are "excluded" are not
        compiled.
        (Gnatmake): Do not issue -aO. to gnatbind and only issue -I- if a
        project file is used.
        (Version_Switch): Remove, moved to Switch
        (Help_Switch): Remove, moved to Switch
        (Display_Version): Remove, moved to Switch

        * switch.ads, switch.adb (Check_Version_And_Help): New procedure in
        package Switch to process switches --version and --help.
        (Display_Version): New procedure

        * gnatvsn.ads, gnatvsn.adb (Copyright_Holder): New function.

2007-08-31  Javier Miranda  <miranda@adacore.com>

        * a-tags.adb (Internal_Tag): Protect the run-time against wrong
        internal tags.

2007-08-31  Hristian Kirtchev  <kirtchev@adacore.com>

        * checks.adb (In_Declarative_Region_Of_Subprogram_Body): New routine.
        (Mark_Non_Null): If the node for which we just generated an access check
        is a reference to an *in* parameter and the reference appears in the
        declarative part of a subprogram body, mark the node as known non null.

2007-08-31  Hristian Kirtchev  <kirtchev@adacore.com>

        * einfo.ads, einfo.adb: New flag Is_Raised (Flag224). Update the
        structure of E_Exception to reflect the new flag.
        (Is_Raised, Set_Is_Raised): New inlined routines.
        Update the usage of available flag to reflect the addition of Is_Raised.
        (Is_Raised, Set_Is_Raised): Bodies of new routines.
        (Write_Entity_Flags): Write the status of flag Is_Raised.
        (Is_Descendent_Of_Address): New entity flag, to simplify handling of
        spurious ambiguities when integer literals appear in the context of an
        address type that is a visible integer type.

        * sem_ch11.adb (Analyze_Exception_Handler): Add code to warn on local
        exceptions never being raised.
        (Analyze_Raise_Statement): When analyzing an exception, mark it as being
        explicitly raised.

2007-08-31  Javier Miranda  <miranda@adacore.com>

        * exp_ch11.adb (Expand_At_End_Handler): Avoid generation of raise
        statement when compiling under restriction No_Exceptions_Proparation.

2007-08-31  Ed Schonberg  <schonberg@adacore.com>

        * exp_ch3.adb (Build_Record_Init_Proc): If there is a static
        initialization aggregate for the type, generate itype references for
        thetypes of its (sub)components, to prevent out-of-scope errors in gigi.

2007-08-31  Gary Dismukes  <dismukes@adacore.com>

        * exp_ch8.adb (Expand_N_Package_Renaming_Declaration): In the case of a
        library-level package renaming, pass the declaration associated with
        the renaming's special debug variable to Qualify_Entity_Names to ensure
        that its encoded name is properly qualified.

        * exp_dbug.adb (Qualify_All_Entity_Names): Check for a variable entity
        occurring in the list of entities to qualify, and do not attempt to
        traverse an entity list in that case. Variables associated with
`       library-level package renamings can now occur in the table.

        * exp_dbug.ads: Revise documentation of the encoding for renaming
        declarations.

2007-08-31  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>

        * layout.adb (Layout_Type): Use Underlying_Type to determine whether an
        access type points to an unconstrained array.

2007-08-31  Hristian Kirtchev  <kirtchev@adacore.com>

        * restrict.adb, namet.adb, par-util.adb: Remove redundant type
        conversion.

        * sem_res.adb (Resolve_Qualified_Expression): Add machinery to detect
        simple redundant qualifications. The check is performed whenever the
        expression is a non-overloaded identifier.
        (Resolve_Type_Conversion): Enchance the redundant type conversion check
        to include loop parameters.
        (Valid_Conversion): Avoid generation of spurious error message.

2007-08-31  Bob Duff  <duff@adacore.com>

        * par-ch4.adb (P_Simple_Expression): Fold long sequences of
        concatenations of string literals into a single literal, in order to
        avoid very deep recursion in the front end, which was causing stack
        overflow.

        * sem_eval.adb (Eval_Concatenation): If the left operand is the empty
        string, and the right operand is a string literal (the case of "" &
        "..."), optimize by avoiding copying the right operand -- just use the
        value of the right operand directly.

        * stringt.adb (Store_String_Chars): Optimize by growing the
        String_Chars table all at once, rather than appending characters one by
        one.
        (Write_String_Table_Entry): If the string to be printed is very long,
        just print the first few characters, followed by the length. Otherwise,
        doing "pn(n)" in the debugger can take an extremely long time.

        * sem_prag.adb (Process_Interface_Name): Replace loop doing
        Store_String_Char with Store_String_Chars.

2007-08-31  Vincent Celier  <celier@adacore.com>

        * prj-attr.adb: Add new attribute Excluded_Source_Files

        * prj-nmsc.adb: Use attribute Excluded_Source_Files before
        Locally_Removed_Files.

        * snames.ads, snames.adb: New standard name Excluded_Source_Files

2007-08-31  Ed Schonberg  <schonberg@adacore.com>

        * sem_ch10.adb (Analyze_Subunit_Context): When analyzing context
        clauses of subunits, ignore limited_with_clauses that are illegal and
        have not been fully analyzed.

2007-08-31  Ed Schonberg  <schonberg@adacore.com>

        * sem_ch3.adb: The predicate Is_Descendent_Of_Address is now an entity
        flag, for effiency. It is called when analyzing arithmetic operators
        and also for actuals in calls that are universal_integers. The flag is
        set for the predefined type address, and for any type or subtype
        derived from it.

        * sem_ch4.adb (Analyze_One_Call): Reject an actual that is a
        Universal_Integer, when the formal is a descendent of address and the
        call appears in user code.
        (Analyze_Selected_Component): if the prefix is a private extension, the
        tag component is visible.

        * sem_util.ads, sem_util.adb: Remove Is_Descendent_Of_Address, now an
        entity flag.

2007-08-31  Robert Dewar  <dewar@adacore.com>

        * s-fileio.adb (Open): Normalize file name to lower case in non-case
        sensitive file name systems to avoid unexpected mismatch in Vista.

2007-08-31  Vincent Celier  <celier@adacore.com>

        * tempdir.adb: On VMS, take into account GNUTMPDIR before TMPDIR

2007-08-31  Vincent Celier  <celier@adacore.com>

        * symbols-vms.adb (Initialize): Read symbol files with continuation
        lines
        (Finalize): If symbol is long, split the line

2007-08-31  Vincent Celier  <celier@adacore.com>

        * fmap.ads: Minor comment updates

2007-08-31  GNAT Script  <nobody@adacore.com>

        * Make-lang.in: Makefile automatically updated

2007-08-31  Bob Duff  <duff@adacore.com>

        * sinfo.ads: Minor comment fix.

2007-08-31  Thomas Quinot  <quinot@adacore.com>

        * stand.ads: (Standard_Debug_Renaming_Type): Make comment consistent
        with implementation.
        Documentation cleanup only.

2007-08-31  Sergey Rybin  <rybin@adacore.com>

        * vms_data.ads: Add new qualifier /STMT_NAME_ON_NEW_LINE for the new
        gnatpp '--separate-stmt-name' option.
        Add new qualifier /USE_ON_NEW_LIN for the new gnatpp '--use-on-new-line'
        option.

        * gnat_ugn.texi: Add description for the new gnatpp
        '--separate-stmt-name' and '--use-on-new-line' options.

2007-08-31  Ben Elliston  <bje@au.ibm.com>

        * Makefile.in (LIBGNAT_TARGET_PAIRS): Use system-linux-ppc64.ads
        when compiling for powerpc64-*-linux.
        * system-linux-ppc64.ads: New file.

2007-08-22  Krister Walfridsson  <cato@df.lth.se>

        * env.c ( __gnat_clearenv): Use the __gnat_unsetenv mechanism for
        NetBSD.

2007-08-16  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>

        * misc.c (gnat_type_max_size): Constify.

2007-08-16  Gary Dismukes  <dismukes@adacore.com>

        * cstand.adb (Create_Standard): Create an entity for a zero-sized type
        associated with Standard_Debug_Renaming_Type, to be used as the type of
        the special variables whose names provide debugger encodings for
        renaming declarations.

        * einfo.ads, einfo.adb (Debug_Renaming_Link): Change to return Node25.
        (Set_Debug_Renaming_Link): Change to set Node25.
        (Write_Field13_Name): Remove case for E_Enumeration_Literal.
        (Write_Field25_Name): Add case for E_Variable to output
        "Debug_Renaming_Link".
        (Write_Field23_Name): Correct the output string for "Limited_View".

        * exp_dbug.adb: Add with and use of Tbuild.
        (Debug_Renaming_Declaration): Replace creation of an enumeration type
        and literal with creation of a variable of type
        Standard_Debug_Renaming_Type whose name encodes both the renamed object
        and the entity of the renaming declaration.
        (Qualify_Entity_Name): Add the delayed qualification of the entity name
        part of the name of a variable that has a Debug_Renaming_Link.

        * stand.ads (Standard_Debug_Renaming_Type): New Entity_Id denoting a
        special type to be associated with variables that provide debugger
        encodings for renaming declarations.

2007-08-16  Gary Dismukes  <dismukes@adacore.com>
            Ed Schonberg  <schonberg@adacore.com>
            Javier Miranda  <miranda@adacore.com>

        * exp_aggr.adb (Build_Record_Aggr_Code): Extend the test for an
        ancestor part given by an aggregate to test for an unchecked conversion,
        since this can occur in some cases when the ancestor part is a function
        call, and we don't want to fall into the recursive call to this
        procedure in that case.

        * exp_ch3.adb (Stream_Operation_OK): Revise tests for availability of
        stream attributes on limited types to account for user-specified
        attributes as well as whether Input (resp. Output) becomes available
        due to Read (resp. Write) being available for the type. Change Boolean
        variable to the more accurate name
        Has_Predefined_Or_Specified_Stream_Attribute. Change convoluted
        double-"not" predicate at beginning of return statement to more
        understandable form.

        * exp_ch5.adb (Expand_N_Extended_Return_Statement): If the extended
        return has an associated N_Handled_Sequence_Of_Statements, then wrap it
        in a block statement and use that as the first statement of the
        expanded return rather than incorrectly using the handled sequence as
        the first statement.

        * exp_ch6.adb (Expand_N_Subprogram_Declaration): If this is a protected
        operation, generate an explicit freeze node for it rather than
        generating extra formals, to ensure that gigi has the proper order of
        elaboration for anonymous subtypes in the signature of the subprograms.
        (Build_In_Place_Formal): Move assertion to beginning of loop.
        (Is_Build_In_Place_Function_Call): Allow for an unchecked conversion
        applied to a function call (occurs for some cases of 'Input).
        (Make_Build_In_Place_Call_In_*): Allow for an unchecked conversion
        applied to a function call (occurs for some cases of 'Input).

        * exp_strm.adb (Build_Record_Or_Elementary_Input_Function): For Ada
        2005, generate an extended return statement enclosing the result object
        and 'Read call.

        * freeze.adb (Freeze_Record_Type): Extend the current management of
        components that are access type with an allocator as default value: add
        missing support to the use of qualified expressions of the
        allocator (which also cause freezing of the designated type!)
        (Freeze_Entity): Call Freeze_Subprogram in the case of a predefined
        dispatching operation, since extra formals may be needed by calls to
        build-in-place functions (such as stream 'Input).

        * sem_ch6.adb (Create_Extra_Formals): Skip creation of the extra
        formals for 'Constrained and accessibility level in the case of a
        predefined dispatching operation.

        * exp_util.adb (Insert_Actions): A protected body is a valid insertion
        point, no need to find the parent node.

2007-08-16  Javier Miranda  <miranda@adacore.com>

        * exp_attr.adb (Attribute_Priority): Add missing support for entries
        and entry barriers.

2007-08-16  Javier Miranda  <miranda@adacore.com>

        * exp_ch9.adb (Build_Protected_Entry): Undo previous change because it
        is not really required and can introduce regression with the debugger.
        The original problem is fixed with the patch written for checks.adb.

2007-08-16  Thomas Quinot  <quinot@adacore.com>

        * g-dyntab.adb, g-table.adb, table.adb: (Set_Item): Suppress
        Range_Check on Allocated_Table.

2007-08-16  Vincent Celier  <celier@adacore.com>

        * make.adb (Collect_Arguments): Call Test_If_Relative_Path with
        Including_Non_Switch set to False.
        (Gnatmake): For the compiler, call Test_If_Relative_Path with
        Including_Non_Switch set to False.

        * makeutl.adb, makeutl.ads (Test_If_Relative_Path): New Boolean
        parameter Including_Non_Switch, defaulted to True. When
        Including_Non_Switch is False, options that are not switches and
        appear as relative path are not converted to absolute paths.

2007-08-16  Nicolas Roche  <roche@adacore.com>

        * Makefile.in (gnatlib): Propagate FORCE_DEBUG_ADAFLAGS value to sub
        makefiles

        * Make-lang.in: Update dependencies

2007-08-16  Hristian Kirtchev  <kirtchev@adacore.com>

        * sem_ch10.adb (Has_With_Clause): If the name of the with clause
        currently inspected is a selected component, retrieve the entity of
        its selector.
        (Install_Limited_Withed_Unit): Call Has_Limited_With_Clause starting
        from the immediate ancestor of Main_Unit_Entity.
        (Install_Limited_Withed_Unit): Do not install the limited view of
        package P if P is reachable through an ancestor chain from package C
        and C also has a with clause for P in its body.
        (Has_Limited_With_Clause): New routine.
        (Has_With_Clause): New routine.

2007-08-16  Ed Schonberg  <schonberg@adacore.com>

        * sem_ch12.adb (Copy_Generic_Node): A reference to a child unit of the
        generic for an enclosing instance is a global reference, even though
        its scope is the enclosing instance.

2007-08-16  Gary Dismukes  <dismukes@adacore.com>
            Javier Miranda  <miranda@adacore.com>

        * sem_ch3.adb (OK_For_Limited_Init_In_05): Allow calls to 'Input to
        initialize a limited object.
        (Build_Derived_Record_Type): Add missing check of rules ARM 3.9.4
        13/2 and 14/2.
        Make sure Has_Complex_Representation is inherited by derived type.

2007-08-16  Robert Dewar  <dewar@adacore.com>

        * sem_ch5.adb (Analyze_Assignment): Make sure we still note update in
        exception case

2007-08-16  Ed Schonberg  <schonberg@adacore.com>

        * sem_disp.adb (Check_Dispatching_Operation): If the operation
        implements an operation inherited from a progenitor interface, verify
        that they are subtype-conformant.

2007-08-16  Hristian Kirtchev  <kirtchev@adacore.com>
            Bob Duff  <duff@adacore.com>
            Nicolas Setton  <setton@adacore.com>

        * sem_res.adb (Comes_From_Predefined_Lib_Unit): New.
        (Resolve): Alphabetize local variables. Add new variable From_Lib. When
        the statement which is being resolved comes from a predefined library
        unit, all non-predefined library interpretations are skipped.
        (Resolve_Op_Concat): If string concatenation was folded in the parser,
        but the "&" is user defined, give an error, because the folding would
        be wrong.

        * sinfo.ads, sinfo.adb (Is_Folded_In_Parser): New flag to indicate that
        the parser has folded a long sequence of concatenations of string
        literals.

        * trans.c (Handled_Sequence_Of_Statements_to_gnu): Mark "JMPBUF_SAVE"
        and "JMP_BUF" variables as artificial.
        (N_String_Literal): Do not use alloca for very long string literals. Use
        xmalloc/free instead. Otherwise the stack might overflow.

        * utils.c (init_gigi_decls): Mark "JMPBUF_T" type as created by the
        compiler.

2007-08-16  Vincent Celier  <celier@adacore.com>

        * vms_conv.adb (Process_Argument): Ensure that project related options
        are not put in the -cargs section when using GNAT COMPILE.

2007-08-16  Robert Dewar  <dewar@adacore.com>

        * gnat_ugn.texi: Add note on preprocessing (output file not written)

2007-08-16  Thomas Quinot  <quinot@adacore.com>

        * a-tags.adb: Minor reformatting.

2007-08-16  Bob Duff  <duff@adacore.com>

        * sem_type.ads, sem_ch4.adb: Minor reformatting.

2007-08-14  Thomas Quinot  <quinot@adacore.com>

        * g-soccon-interix.ads, a-excpol-interix.adb, a-intnam-interix.ads, 
        s-osinte-interix.ads, system-interix.ads: Removed.

2007-08-14  Hristian Kirtchev  <kirtchev@adacore.com>

        * a-calend-vms.adb, a-calend.adb ("+", "-", Add, Subtract): Remove
        calls to Check_Within_Time_Bounds.
        ("+", "-", Add, Subtract): Remove calls to Check_Within_Time_Bounds.
        (Difference): Account for possible rounding of the resulting difference

2007-08-14  Robert Dewar  <dewar@adacore.com>

        * uintp.adb, a-ztedit.adb, s-wchcon.adb, xnmake.adb, s-wchcon.adb,
        par-ch5.adb, par-ch10.adb, get_targ.adb, a-wtedit.adb, a-teioed.adb,
        s-osinte-solaris.adb, s-osinte-solaris.ads,
        s-osinte-freebsd.ads, s-osinte-freebsd.adb: Minor reformatting.

        * styleg.adb, styleg.ads, stylesw.adb, stylesw.ads: implement style
        switch -gnatyS. Enable -gnatyS in GNAT style check mode

2007-08-14  Robert Dewar  <dewar@adacore.com>
            Ed Schonberg  <schonberg@adacore.com>

        * inline.adb, types.ads, inline.ads, frontend.adb, alloc.ads: 
        Suppress unmodified in-out parameter warning in some cases
        This patch is a also fairly significant change to the way suppressible
        checks are handled.

        * checks.ads, checks.adb (Install_Null_Excluding_Check): No check
        needed for access to concurrent record types generated by the expander.
        (Generate_Range_Check): When generating a temporary to capture the
        value of a conversion that requires a range check, set the type of the
        temporary before rewriting the node, so that the type is always
        properly placed for back-end use.
        (Apply_Float_Conversion_Check): Handle case where the conversion is
        truncating.
        (Get_Discriminal): Code reformatting. Climb the scope stack looking
        for a protected type in order to examine its discriminants.

2007-08-14  Robert Dewar  <dewar@adacore.com>
            Gary Dismukes  <dismukes@adacore.com>
            Ed Schonberg  <schonberg@adacore.com>
            Thomas Quinot  <quinot@adacore.com>

        * a-stzsup.adb, nlists.adb, lib-util.adb, treepr.adb, 
        a-stwisu.adb, a-strsup.adb: Fix warnings for range
        tests optimized out.

        * exp_ch4.adb (Expand_N_In): Add warnings for range tests optimized out.
        (Get_Allocator_Final_List): For the case of an anonymous access type
        that has a specified Associated_Final_Chain, do not go up to the
        enclosing scope.
        (Expand_N_Type_Conversion): Test for the case of renamings of access
        parameters when deciding whether to apply a run-time accessibility
        check.
        (Convert_Aggr_In_Allocator): Use Insert_Actions to place expanded
        aggregate code before allocator, and ahead of declaration for
        temporary, to prevent access before elaboration when the allocator is
        an actual for an access parameter.
        (Expand_N_Type_Conversion): On an access type conversion involving an
        access parameter, do not apply an accessibility check when the
        operand's original node was an attribute other than 'Access. We now
        create access conversions for the expansion of 'Unchecked_Access and
        'Unrestricted_Access in certain cases and clearly accessibility should
        not be checked for those.

        * exp_ch6.ads, exp_ch6.adb (Add_Call_By_Copy_Code): For an actual that
        includes a type conversion of a packed component that has been expanded,
        recover the original expression for the object, and use this expression
        in the post-call assignment statement, so that the assignment is made
        to the object and not to a back-end temporary.
        (Freeze_Subprogram): In case of primitives of tagged types not defined
        at the library level force generation of code to register the primitive
        in the dispatch table. In addition some code reorganization has been
        done to leave the implementation clear.
        (Expand_Call): When expanding an inherited implicit conversion,
        preserve the type of the inherited function after the intrinsic
        operation has been expanded.

        * exp_ch2.ads, exp_ch2.adb
        (Expand_Entry_Parameter.In_Assignment_Context): An implicit dereference
        of an entry formal appearing in an assignment statement does not assign
        to the formal.
        (Expand_Current_Value): Instead of calling a routine to determine
        whether the prefix of an attribute reference should be optimized or
        not, prevent the optimization of such prefixes all together.

        * lib-xref.adb (Generate_Reference.Is_On_LHS): An indexed or selected
        component whose prefix is known to be of an access type is an implicit
        dereference and does not assign to the prefix.

2007-08-14  Ed Schonberg  <schonberg@adacore.com>
            Robert Dewar  <dewar@adacore.com>

        * atree.ads, atree.adb (New_Copy_Tree): If hash table is being used and
        itype is visited, make an entry into table to link associated node and
        new itype.
        Add comments and correct harmless error in Build_NCT_Hash_Tables
        (Array_Aggr_Subtype): Associate each itype created for an index type to
        the corresponding range construct, and not to the aggregate itself. to
        maintain a one-to-one correspondence between itype and its associated
        node, to prevent errors when complex expression is copied.
        Fix mishandling of multiple levels of parens

        * sem_aggr.adb: Create a limited view of an incomplete type, to make
        treatment of limited views uniform for all visible declarations in a
        limited_withed package.
        (New_Copy_Tree): If hash table is being used and itype is visited,
        make an entry into table to link associated node and new itype.
        (Resolve_Record_Aggregate): Do not add an others box association for a
        discriminated record component that has only discriminants, when there
        is a box association for the component itself.

        * par-ch4.adb: Fix mishandling of multiple levels of parens

2007-08-14  Robert Dewar  <dewar@adacore.com>

        * comperr.adb: Fix problem with suppressing warning messages from gigi

        * erroutc.ads, erroutc.adb, errout.ads, 
        errout.adb (Write_Eol): Remove trailing spaces before writing the line
        (Write_Eol_Keep_Blanks): New procedure to write a line, including
        possible trailing spaces.
        (Output_Source_Line): Call Write_Eol_Keep_Blanks to output a source line
        Fix problem with suppressing warning messages from back end
        Improve handling of deleted warnings

        * gnat1drv.adb: 
        Fix problem with suppressing warning messages from back end
        Handle setting of Static_Dispatch_Tables flag.

        * prepcomp.adb: 
        Fix problem with suppressing warning messages from back end

        * exp_intr.adb: Improve handling of deleted warnings

2007-08-14  Robert Dewar  <dewar@adacore.com>

        * debug.adb: Improve -gnatdI to cover all cases of serialization
        Add documentation of dZ, d.t

        * sprint.ads, sprint.adb: Improve -gnatdI to cover all cases of
        serialization.
        (Sprint_Node_Actual): Generate new output associated with implicit
        importation and implicit exportation of object declarations.

2007-08-14  Ed Schonberg  <schonberg@adacore.com>
            Robert Dewar  <dewar@adacore.com>
            Javier Miranda  <miranda@adacore.com>
            Gary Dismukes  <dismukes@adacore.com>

        * einfo.ads, einfo.adb: Create a limited view of an incomplete type,
        to make treatment of limited views uniform for all visible declarations
        in a limited_withed package.
        Improve warnings for in out parameters
        (Set_Related_Interaface/Related_Interface): Allow the use of this
        attribute with constants.
        (Write_Field26_Name): Handle attribute Related_Interface in constants.
        Warn on duplicate pragma Preelaborable_Initialialization

        * sem_ch6.ads, sem_ch6.adb (Analyze_Subprogram_Body): Force the
        generation of a freezing node to ensure proper management of null
        excluding access types in the backend.
        (Create_Extra_Formals): Test base type of the formal when checking for
        the need to add an extra accessibility-level formal. Pass the entity E
        on all calls to Add_Extra_Formal (rather than Scope (Formal) as was
        originally being done in a couple of cases), to ensure that the
        Extra_Formals list gets set on the entity E when the first entity is
        added.
        (Conforming_Types): Add missing calls to Base_Type to the code that
        handles anonymous access types. This is required to handle the
        general case because Process_Formals builds internal subtype entities
        to handle null-excluding access types.
        (Make_Controlling_Function_Wrappers): Create wrappers for constructor
        functions that need it, even when not marked Requires_Overriding.
        Improve warnings for in out parameters
        (Analyze_Function_Return): Warn for disallowed null return
        Warn on return from procedure with unset out parameter
        Ensure consistent use of # in error messages
        (Check_Overriding_Indicator): Add in parameter Is_Primitive.
        (Analyze_Function_Return): Move call to Apply_Constraint_Check before
        the implicit conversion of the expression done for anonymous access
        types. This is required to generate the code of the null excluding
        check (if required).

        * sem_warn.ads, sem_warn.adb (Check_References.Publicly_Referenceable):
        A formal parameter is never publicly referenceable outside of its body.
        (Check_References): For an unreferenced formal parameter in an accept
        statement, use the same warning circuitry as for subprogram formal
        parameters.
        (Warn_On_Unreferenced_Entity): New subprogram, taken from
        Output_Unreferenced_Messages, containing the part of that routine that
        is now reused for entry formals as described above.
        (Goto_Spec_Entity): New function
        (Check_References): Do not give IN OUT warning for dispatching operation
        Improve warnings for in out parameters
        (Test_Ref): Check that the entity is not undefinite before calling
        Scope_Within, in order to avoid infinite loops.
        Warn on return from procedure with unset out parameter
        Improved warnings for unused variables

2007-08-14  Robert Dewar  <dewar@adacore.com>
            Javier Miranda  <miranda@adacore.com>
            Gary Dismukes  <dismukes@adacore.com>

        * exp_attr.adb (Expand_N_Attribute_Reference): Handle case of child unit
        (Expand_N_Attribute_Reference): Further unify the handling of the
        three forms of access attributes, using common code now for all three
        cases. Add a test for the case of applying an access attribute to
        an explicit dereference when the context is an access-to-interface
        type. In that case we need to apply the conversion to the prefix
        of the explicit dereference rather than the prefix of the attribute.
        (Attribute_Version, UET_Address): Set entity as internal to ensure
        proper dg output of implicit importation.
        (Expand_Access_To_Type): Removed.
        (Expand_N_Attribute_Reference): Merge the code from the three cases
        of access attributes, since the processing is largely identical for
        these cases. The substantive fix here is to process the case of a
        type name prefix (current instance case) before handling the case
        of interface prefixes.

2007-08-14  Thomas Quinot  <quinot@adacore.com>
            Ed Schonberg  <schonberg@adacore.com>
            Javier Miranda  <miranda@adacore.com>
            Robert Dewar  <dewar@adacore.com>

        * exp_ch3.ads, exp_ch3.adb (Add_Final_Chain): New subprogram.
        (Freeze_Array_Type, Freeze_Record_Type): For the case of a component
        type that is an anonymous access to controlled object, establish
        an associated finalization chain to avoid corrupting the global
        finalization list when a dynamically allocated object designated
        by such a component is deallocated.
        (Make_Controlling_Function_Wrappers): Create wrappers for constructor
        functions that need it, even when not marked Requires_Overriding.
        (Initialize_Tag): Replace call to has_discriminants by call to
        Is_Variable_Size_Record in the circuitry that handles the
        initialization of secondary tags.
        (Is_Variable_Size_Record): New implementation.
        (Expand_N_Object_Declaration): Suppress call to init proc if there is a
        Suppress_Initialization pragma for a derived type.
        (Is_Variable_Size_Record): New subprogram.
        (Build_Offset_To_Top_Functions): New implementation that simplifies the
        initial version of this routine and also fixes problems causing
        incomplete initialization of the table of interfaces.
        (Build_Init_Procedure): Improve the generation of code to initialize the
        the tag components of secondary dispatch tables.
        (Init_Secondary_Tags): New implementation that simplifies the previous
        version of this routine.
        (Make_DT): Add parameter to indicate when type has been frozen by an
        object declaration, for diagnostic purposes.
        (Check_Premature_Freezing): New subsidiary procedure of Make_DT, to
        diagnose attemps to freeze a subprogram when some untagged type of its
        profile is a private type whose full view has not been analyzed yet.
        (Freeze_Array_Type): Generate init proc for packed array if either
        Initialize or Normalize_Scalars is set.
        (Make_Controlling_Function_Wrappers, Make_Null_Procedure_Specs): when
        constructing the new profile, copy the null_exclusion indicator for each
        parameter, to ensure full conformance of the new body with the spec.

        * sem_type.ads, sem_type.adb (Make_Controlling_Function_Wrappers):
        Create wrappers for constructor functions that need it, even when not
        marked Requires_Overriding.
        (Covers): Handle properly designated types of anonymous access types,
        whose non-limited views are themselves incomplete types.
        (Add_Entry): Use an entity to store the abstract operation which hides
        an interpretation.
        (Binary_Op_May_Be_Hidden): Rename to Binary_Op_Interp_Has_Abstract_Op.
        (Collect_Interps): Use Empty as an actual for Abstract_Op in the
        initialization aggregate.
        (Function_Interp_May_Be_Hidden): Rename to
        Function_Interp_Has_Abstract_Op.
        (Has_Compatible_Type): Remove machinery that skips interpretations if
        they are labeled as potentially hidden by an abstract operator.
        (Has_Hidden_Interp): Rename to Has_Abstract_Op.
        (Set_May_Be_Hidden): Rename to Set_Abstract_Op.
        (Write_Overloads): Output the abstract operator if present.
        (Add_Entry): Before inserting a new entry into the interpretation table
        for a node, determine whether the entry will be disabled by an abstract
        operator.
        (Binary_Op_Interp_May_Be_Hidden): New routine.
        (Collect_Interps): Add value for flag May_Be_Hidden in initialization
        aggregate.
        (Function_Interp_May_Be_Hidden): New routine.
        (Has_Compatible_Type): Do not consider interpretations hidden by
        abstract operators when trying to determine whether two types are
        compatible.
        (Has_Hidden_Interp): New routine.
        (Set_May_Be_Hidden_Interp): New routine.
        (Write_Overloads): Write the status of flag May_Be_Hidden.

2007-08-14  Ed Schonberg  <schonberg@adacore.com>
            Javier Miranda  <miranda@adacore.com>

        * exp_disp.ads, exp_disp.adb (Build_Dispatch_Tables): Handle tagged
        types declared in the declarative part of a nested package body or in
        the proper body of a stub.
        (Set_All_DT_Position): Add missing check to avoid wrong assignation
        of the same dispatch table slot to renamed primitives.
        (Make_Select_Specific_Data_Table): Handle private types.
        (Tagged_Kind): Handle private types.
        (Make_Tags, Make_DT): Set tag entity as internal to ensure proper dg
        output of implicit importation and exportation.
        (Expand_Interface_Thunk): Fix bug in the expansion assuming that the
        first formal of the thunk is always associated with the controlling
        type. In addition perform the following code cleanup: remove formal
        Thunk_Alias which is no longer required, cleanup evaluation of the
        the controlling type, and update the documentation.
        Replace occurrence of Default_Prim_Op_Count by
        Max_Predef_Prims. Addition of compile-time check to verify
        that the value of Max_Predef_Prims is correct.
        (Check_Premature_Freezing): Apply check in Ada95 mode as well.
        (Make_DT): Add parameter to indicate when type has been frozen by an
        object declaration, for diagnostic purposes.
        (Build_Static_Dispatch_Tables): New subprogram that takes care of the
        construction of statically allocated dispatch tables.
        (Make_DT): In case of library-level tagged types export the declaration
        of the primary tag. Remove generation of tags (now done by Make_Tags).
        Additional modifications to handle non-static generation of dispatch
        tables. Take care of building tables for asynchronous interface types
        (Make_Tags): New subprogram that generates the entities associated with
        the primary and secondary tags of Typ and fills the contents of Access_
        Disp_Table. In case of library-level tagged types imports the forward
        declaration of the primary tag that will be declared later by Make_DT.
        (Expand_Interface_Conversion): In case of access types to interfaces
        replace an itype declaration by an explicit type declaration to avoid
        problems associated with the scope of such itype in transient blocks.

2007-08-14  Robert Dewar  <dewar@adacore.com>
            Ed Schonberg  <schonberg@adacore.com>
            Javier Miranda  <miranda@adacore.com>

        * exp_util.ads, exp_util.adb: 
        This patch replaces a number of occurrences of explicit tests for N_Null
        with calls to Known_Null. This improves tracking of null values, since
        Known_Null also catches null constants, and variables currently known to
        be null, so we get better tracking.
        (Ensure_Defined): create an itype reference only in the scope of the
        itype.
        (Side_Effect_Free): A selected component of an access type that
        denotes a component with a rep clause must be treated as not
        side-effect free, because if it is part of a linked structure its
        value may be affected by a renaming.
        (Expand_Subtype_From_Expr): For limited objects initialized with build
        in place function calls, do nothing; otherwise we prematurely introduce
        an N_Reference node in the expression initializing the object, which
        breaks the circuitry that detects and adds the additional arguments to
        the called function. Bug found working in the new patch for statically
        allocated dispatch tables.
        (Is_Library_Level_Tagged_Type): New subprogram.
        (Remove_Side_Effects): If the expression of an elementary type is an
        operator treat as a function call.
        (Make_Literal_Range): If the index type of the array is not integer, use
        attributes properly to compute the constraint on the resulting aggregate
        which is a string.

        * freeze.ads, freeze.adb (Freeze_Entity): If the entity is a
        class-wide type whose base type is an incomplete private type, leave
        class-wide type unfrozen so that freeze nodes can be generated
        properly at a later point.
        (Freeze_Entity, array case): Handle case of pragma Pack and component
        size attributre clause for same array.

2007-08-14  Vincent Celier  <celier@adacore.com>

        * prj.ads, prj.adb: Update Project Manager to new attribute names for
        gprbuild.
        Allow all valid declarations in configuration project files
        (Reset): Initialize all tables and hash tables in the project tree data
        Major update of the Project Manager and of the project aware tools,
        including gprmake, so that the same sources in the GNAT repository
        can be used by gprbuild.
        (Slash_Id): Change type to be Path_Name_Type
        (Slash): Return a Path_Name_Type instead of a File_Name_Type

        * prj-attr.ads, prj-attr.adb: Remove attributes no longer used by
        gprbuild.
        Update Project Manager to new attribute names for ghprbuild
        Allow all valid declarations in configuration project files
        Major update of the Project Manager and of the project aware tools,
        including gprmake, so that the same sources in the GNAT repository
        can be used by gprbuild.

        * prj-com.ads: 
        Major update of the Project Manager and of the project aware tools,
        including gprmake, so that the same sources in the GNAT repository
        can be used by gprbuild.

        * prj-dect.adb (Prj.Strt.Attribute_Reference): Set correctly the case
        insensitive flag for attributes with optional index.
        (Prj.Dect.Parse_Attribute_Declaration): For case insensitive associative
        array attribute, put the index in lower case.
        Update Project Manager to new attribute names for ghprbuild
        Allow all valid declarations in configuration project files
        Major update of the Project Manager and of the project aware tools,
        including gprmake, so that the same sources in the GNAT repository
        can be used by gprbuild.

        * prj-env.ads, prj-env.adb: 
        Major update of the Project Manager and of the project aware tools,
        including gprmake, so that the same sources in the GNAT repository
        can be used by gprbuild.
        (Get_Reference): Change type of parameter Path to Path_Name_Type

        * prj-ext.ads, prj-ext.adb (Initialize_Project_Path): Make sure, after
        removing '-' from the path to start with the first character of the
        next directory.
        Major update of the Project Manager and of the project aware tools,
        including gprmake, so that the same sources in the GNAT repository
        can be used by gprbuild.
        Major update of the Project Manager and of the project aware tools,
        including gprmake, so that the same sources in the GNAT repository
        can be used by gprbuild.

        * prj-nmsc.ads, prj-nmsc.adb: 
        Update Project Manager to new attribute names for ghprbuild
        Allow all valid declarations in configuration project files
        (Search_Directories): Detect subunits that are specified with an
        attribute Body in package Naming. Do not replace a source/unit in the
        same project when the order of the source dirs are known. Detect
        duplicate sources/units in the same project when the order of the
        source dirs are not known.
        (Check_Ada_Name): Allow all identifiers that are not reserved words
        in Ada 95.
        Major update of the Project Manager and of the project aware tools,
        including gprmake, so that the same sources in the GNAT repository
        can be used by gprbuild.
        (Look_For_Sources): If the list of sources is empty, set the object
        directory of non extending project to nil.
        Change type of path name variables to be Path_Name_Type
        (Locate_Directory): Make sure that on Windows '/' is converted to '\',
        otherwise creating missing directories will fail.

        * prj-attr-pm.adb, prj-tree.ads, prj-proc.ads, prj-proc.adb, 
        prj-part.ads, prj-part.adb:
        Major update of the Project Manager and of the project aware tools,
        including gprmake, so that the same sources in the GNAT repository
        can be used by gprbuild.

        * prj-strt.adb (Prj.Strt.Attribute_Reference): Set correctly the case
        insensitive flag for attributes with optional index.
        (Prj.Dect.Parse_Attribute_Declaration): For case insensitive associative
        array attribute, put the index in lower case.
        (Parse_Variable_Reference): Allow the current project name to be used in
        the prefix of an attribute reference.

        * prj-util.ads, prj-util.adb
        (Value_Of (for arrays)): New Boolean parameter Force_Lower_Case_Index,
        defaulted to False. When True, always check against indexes in lower
        case.

        * snames.ads, snames.h, snames.adb: 
        Update Project Manager to new attribute names for gprbuild
        Allow all valid declarations in configuration project files

2007-08-14  Robert Dewar  <dewar@adacore.com>
            Ed Schonberg  <schonberg@adacore.com>

        * opt.ads: Warning for non-local exception propagation now off by
        default
        New switch -gnatI to disable representation clauses
        Implement new pragma Implicit_Packing

        * usage.adb: 
        Warning for non-local exception propagation now off by default
        Add warning for unchecked conversion of pointers wi different
        conventions.
        New switch -gnatI to disable representation clauses

        * usage.adb: new switch -gnatyS

        * gnat_ugn.texi: For the gnatcheck Non_Qualified_Aggregates rule add a
        note that aggregates of anonymous array types are not flagged.
        -gnatwc now includes membership tests optimized away
        -gnatw.x warnings are now off by default
        Added conditional compilation Appendix
        Add documentation of -gnatI
        Add documentation for new -gnatyS style check
        Update documentation about SAL and auto-init on Windows.

        * gnat_rm.texi: 
        Add documentation for pragma Check_Name and 'Enabled attribute
        Document that Eliminate on dispatching operation is ignored
        Document IDE attributes VCS_Repository_Root and VCS_Patch_Root.
        Document pragma Main
        Document pragma Implicit_Packing

        * sem_ch13.adb: Add warning for unchecked conversion of pointers wi
        different conventions
        New switch -gnatI to disable representation clauses

        * switch-c.adb (Scan_Front_End_Switches): When a -gnat switch is not
        recognized, report the invalid characters including "-gnat" instead of
        just the first character in the switch.
        New switch -gnatI to disable representation clauses
        Set Warn_On_Object_Renames_Function true for -gnatg

        * vms_data.ads: Add doc for /IGNORE_REP_CLAUSES
        Add STATEMENTS_AFTER_THEN_ELSE as synonym for -gnatyS
        Add qualifier /ADD_PROJECT_SEARCH_DIR= for different tools, equivalent
        to switch -aP (add directory to project search dir).

        * par-prag.adb: Implement new pragma Implicit_Packing

        * sem_prag.adb (Analyze_Pragma, case Complex_Representation): Mark the
        type as having a non-standard representation, to force expansion on
        conversion to related types.
        (Analyze_Pragma): Warn on misspelled pragma
        (Analyze_Pragma, case Convention_Identifier): Fix checking of second arg
        Ensure consistent use of # in error messages
        Implement pragma Implicit_Packing

2007-08-14  Olivier Hainque  <hainque@adacore.com>
            Eric Botcazou  <ebotcazou@adacore.com>

        * targtyps.c (get_target_maximum_default_alignment): New function.
        Maximum alignment
        that the compiler might choose by default for a type or object.
        (get_target_default_allocator_alignment): New function. Alignment known
        to be honored by the target default allocator.
        (get_target_maximum_allowed_alignment): New function. Maximum alignment
        we might accept for any type or object on the target.
        (get_target_maximum_alignment): Now synonym of maximum_default_alignment

        * gigi.h (get_target_maximum_default_alignment): Declare new function.
        (get_target_default_allocator_alignment): Likewise.
        (get_target_maximum_allowed_alignment): Likewise.

        PR ada/19037
        * decl.c (gnat_to_gnu_entity) <object>: Except for the renaming of the
        result of a function call, first try to use a stabilized reference for
        a constant renaming too.
        (validate_alignment): Use target_maximum_allowed_alignment instead of
        MAX_OFILE_ALIGNMENT as the upper bound to what we accept.
        (gnat_to_gnu_entity): Use common nodes directly.
        (gnat_to_gnu_entity) <object>: Pick the values of the type to annotate
        alignment and size for the object.
        (lvalue_required_p): Handle N_Parameter_Association like N_Function_Call
        and N_Procedure_Call_Statement.
        (takes_address): Rename to lvalue_required_p, add third parameter
        'aliased' and adjust recursive calls.
        <N_Indexed_Component>: Update 'aliased' from the array type.
        <N_Selected_Component>: New case.
        <N_Object_Renaming_Declaration>: New Likewise.
        (Identifier_to_gnu): Adjust for above changes.
        (maybe_stabilize_reference) <CONST_DECL>: New case.

        * utils2.c (build_binary_op) <ARRAY_RANGE_REF>: Look through conversion
        between type variants.
        (build_simple_component_ref): Likewise.
        (build_call_alloc_dealloc): Use target_default_allocator_alignment
        instead of BIGGEST_ALIGNMENT as the threshold to trigger the super
        aligning type circuitry for allocations from the default storage pool.
        (build_allocator): Likewise.
        (build_simple_component_ref): Manually fold the reference for a
        constructor if the record type contains a template.

        * utils.c (value_zerop): Delete.
        (gnat_init_decl_processing): Emit debug info for common types.
        (rest_of_record_type_compilation): If a union contains a field
        with a non-constant qualifier, treat it as variable-sized.
        (finish_record_type): Give the stub TYPE_DECL a name.
        (rest_of_record_type_compilation): Likewise.
        (convert) <CONSTRUCTOR>: New case.  Build a new constructor if
        types are equivalent array types.
        (create_field_decl): Claim fields of any ARRAY_TYPE are addressable,
        even if the type is not passed by reference.
        (static_ctors, static_dtors): Delete.
        (end_subprog_body): Do not record constructors and destructors.
        (build_global_cdtor): Delete.
        (gnat_write_global_declarations): Do not call build_global_cdtor.

        * lang-spARGET_VXWORKS_RTP is defined, append -mrtp when
        -fRTS=rtp is specified.
        If CONFIG_DUAL_EXCEPTIONS is 1, append -fsjlj when -fRTS=sjlj is
        specified.

        * misc.c (gnat_init_gcc_eh): Use __gnat_eh_personality_sj for the name
        of the personality function with SJLJ exceptions.

        * raise-gcc.c (PERSONALITY_FUNCTION): Use __gnat_eh_personality_sj for
        the name of the personality function with SJLJ exceptions.

2007-08-14  Robert Dewar  <dewar@adacore.com>
            Ed Schonberg  <schonberg@adacore.com>

        * par.ads, par.adb: Improve handling of extra right parens.
        (Par): Remove flag From_Limited_With_Clause.

        * par-util.adb, par-ch3.adb: Improve error recovery for bad constraint
        Improve handling of extra right parens.

2007-08-14  Robert Dewar  <dewar@adacore.com>

        * par-tchk.adb (TF_Semicolon): Improve error recovery

2007-08-14  Robert Dewar  <dewar@adacore.com>
            Ed Schonberg  <schonberg@adacore.com>

        * sem_attr.ads, sem_attr.adb (Analyze_Attribute, case Value): For
        enumeration type, mark all literals as referenced.
        (Eval_Attribute, case 'Image): If the argument is an enumeration
        literal and names are available, constant-fold but mark nevertheless as
        non-static.
        Clean up function names.
        (Name_Modifies_Prefix): Rename to Name_Implies_Lvalue_Prefix. Clarify
        comment.
        (Requires_Simple_Name_Prefix): Removed.

2007-08-14  Robert Dewar  <dewar@adacore.com>
            Ed Schonberg  <schonberg@adacore.com>

        * sem_ch11.adb: Improved warnings for unused variables

        * sem_ch3.ads, sem_ch3.adb (Build_Derived_Record_Type): If the ancestor
        is a synchronized interface, the derived type is limited.
        (Analyze_Object_Declaration): Mark the potential coextensions in the
        definition and expression of an object declaration node.
        (Build_Derived_Type): For the completion of a private type declaration
        with a derived type declaration, chain the parent type's representation
        items to the last representation item of the derived type (not the
        first one) if they are not present already.
        (Analyze_Object_Declaration, Constant_Redeclaration): Allow incomplete
        object declaration of forward references to tags.
        (Access_Subprogram_Declaration): In Ada2005, anonymous access to
        subprogram types can appear as access discriminants of synchronized
        types.
        (OK_For_Limited_Init_In_05): The initialization is legal is it is a call
        given in prefixed form as a selected component.
        (Process_Discriminants): If not all discriminants have defaults, place
        error message on a default that is present.
        (Analyze_Private_Extension_Declaration): Diagnose properly an attempt to
        extend a synchronized tagged type.
        Improved warnings for unused variables
        (Is_Visible_Component): Fix a visibility hole on a component inherited
        by a private extension when parent is itself declared as a private
        extension, and the derivation is in a child unit.
        (Find_Hidden_Interface): Move spec from the package body.

2007-08-14  Robert Dewar  <dewar@adacore.com>
            Ed Schonberg  <schonberg@adacore.com>

        * sem_ch5.adb: Improve warnings on redundant assignments

        * sem_util.ads, sem_util.adb: (Is_Variable): Add defense against junk
        parameter
        (Is_Synchronized_Tagged_Type): New subprogram that returns true
        in case of synchronized tagged types (AARM 3.9.4 (6/2)).
        (Safe_To_Capture_Value): Can now return True for constants, even if Cond
        is set to False. Improves handling of Known_[Not_]Null.
        (Wrong_Type): Special case address arithmetic attempt
        (Collect_Abstract_Interfaces): Add new formal to allow collecting
        abstract interfaces just using the partial view of private types.
        (Has_Abstract_Interfaces): Add new formal to allow checking types
        covering interfaces using the partial view of private types.
        (Is_Fully_Initialized_Type): Special VM case for uTag component. This
        component still needs to be defined in this case, but is never
        initialized as VMs are using other dispatching mechanisms.
        (Abstract_Interface_List): For a protected type, use base type to get
        proper declaration.
        Improve warnings on redundant assignments
        (Is_Variable): Handle properly an implicit dereference of a prefixed
        function call.
        (Build_Actual_Subtype): If this is an actual subtype for an
        unconstrained formal parameter, use the sloc of the body for the new
        declaration, to prevent anomalises in the debugger.

2007-08-14  Robert Dewar  <dewar@adacore.com>

        * sem_elim.adb (Set_Eliminated): Ignore pragma Eliminate for
        dispatching operation

2007-08-14  Ed Schonberg  <schonberg@adacore.com>
            Gary Dismukes  <dismukes@adacore.com>

        * exp_aggr.ads, 
        exp_aggr.adb (Convert_Aggr_In_Allocator): Use Insert_Actions to place
        expanded aggregate code before allocator, and ahead of declaration for
        temporary, to prevent access before elaboration when the allocator is
        an actual for an access parameter.
        (Is_Static_Dispatch_Table_Aggregate): Handle aggregates initializing
        the TSD and the table of interfaces.
        (Convert_To_Assignments): Augment the test for delaying aggregate
        expansion for limited return statements to include the case of extended
        returns, to prevent creation of an unwanted transient scope.
        (Is_Static_Dispatch_Table_Aggregate): New subprogram.
        (Expand_Array_Aggregate): Handle aggregates associated with
        statically allocated dispatch tables.
        (Expand_Record_Aggregate): Handle aggregates associated with
        statically allocated dispatch tables.
        (Gen_Ctrl_Actions_For_Aggr): Generate a finalization list for allocators
        of anonymous access type.

2007-08-14  Ed Schonberg  <schonberg@adacore.com>

        * exp_ch5.adb (Expand_Assign_Array): If source or target of assignment
        is a variable that renames a slice, use the variable itself in the
        expannsion when the renamed expression itself may be modified between
        the declaration of the renaming and the array assignment.

2007-08-14  Jerome Guitton  <guitton@adacore.com>

        * s-taprop-lynxos.adb, s-taprop-tru64.adb, s-taprop-irix.adb, 
        s-taprop-hpux-dce.adb, s-taprop-dummy.adb, s-taprop-solaris.adb, 
        s-taprop-vms.adb, s-taprop-posix.adb (Continue_Task, Stop_All_Tasks):
        New functions; dummy implementations.

        * s-osinte-vxworks.ads (Task_Stop, Task_Cont, Int_Lock, Int_Unlock): New
        functions, used to implement the multi-tasks mode routines on VxWorks.

        * s-osinte-vxworks.adb, s-osinte-vxworks6.adb (Task_Cont, Task_Stop):
        New functions, thin
        binding to the VxWorks routines which have changed between VxWorks 5
        and 6.
        (Int_Lock, Int_Unlock): New function, thin binding to kernel routines
        which are not callable from a RTP.

        * s-taprop-vxworks.adb (Stop_All_Tasks, Continue_Task): New functions,
        implemented for the multi-tasks mode on VxWorks 5 and 6.

        * s-taprop.ads (Stop_All_Tasks, Continue_Task): New functions.

        * s-tasdeb.ads, s-tasdeb.adb (Continue_All_Tasks, Stop_All_Tasks): New
        functions.

2007-08-14  Vincent Celier  <celier@adacore.com>

        * clean.adb, fmap.adb, sinput-p.adb, sinput-p.ads, gnatcmd.adb, 
        gnatname.adb, makeutl.ads, makeutl.adb, makegpr.adb, mlib-tgt-vms.adb
        mlib-tgt-darwin.adb, mlib-tgt-lynxos.adb, mlib-prj.adb, mlib-tgt.adb, 
        mlib-tgt.ads, 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-mingw.adb, mlib-tgt-vxworks.adb, mlib-tgt-aix.adb,
        mlib-tgt-tru64.adb, mlib.ads, mlib.adb (Create_Sym_Links): New
        procedure.
        (Major_Id_Name): New function.
        mlib-tgt.ads/mlib.tgt.adb:
        (Library_Major_Minor_Id_Supported): New function, default returns True
        Most mlib-tgt-*.adb that support shared libraries and symbolic links:
        (Build_Dynamic_Library): Add support for major/minor ids for shared libs
        Other mlib-tgt-*.adb (aix, mingw, vms, vxworks, xi):
        Implementation of Library_Major_Minor_Id_Supported returns False
        clean.adb:
        (Clean_Library_Directory): If major/minor ids are supported, clean all
        library files.
        Major update of the Project Manager and of the project aware tools,
        including gprmake, so that the same sources in the GNAT repository
        can be used by gprbuild.

2007-08-14  Olivier Hainque  <hainque@adacore.com>

        * system-solaris-x86.ads (ZCX_By_Default): Switch to True.
        (GCC_ZCX_Support): Switch to True.
        
        * s-intman-solaris.adb (Notify_Exception): Call
        Adjust_Context_For_Raise before raising, as expected for signal
        handlers in general.
        
        * s-intman-posix.adb (Notify_Exception): Remove declaration of
        Adjust_Context_For_Raise, moved to the spec of this unit to be visible
        to other implementation bodies.
        
        * s-intman.ads (Adjust_Context_For_Raise): Declare and import here, to
        be visible by multiple implementation bodies.
        
        * init.c [VMS section] (__gnat_handle_vms_condition): Adjust context
        only for conditions coming from hardware.
        [alpha-tru64 section] (__gnat_adjust_context_for_raise): Implement,
        adjustments to signal context prior to exception raise from signal
        handler.
        (__gnat_map_signal for VxWorks): Map SIGSEGV to Storage_Error in RTP
        mode.
        Solaris section: (__gnat_adjust_context_for_raise): New function.
        Implementation of the machine context adjustments to perform prior to
        raise from a signal handler. Version for both sparc and x86.
        (HAVE_GNAT_ADJUST_CONTEXT_FOR_RAISE): Define.
        (__gnat_error_handler): Expect a third argument, ucontext_t *. Adjust it
        prior to raising as expected for any handler, before possible nested
        faults to make sure all the contexts in a chain have been adjusted by
        the time we propagate.

2007-08-14  Pascal Obry  <obry@adacore.com>

        * s-osinte-mingw.ads: Add support for Ada.Execution_Time on Windows.
        (SYSTEM_INFO): New record.
        (SetThreadIdealProcessor): New imported routine needed for supporting
        task_info pragma on Windows.

        * s-taprop-mingw.adb (Enter_Task): Check if CPU number given in task
        info can be applied to the current host.
        (Create_Task): Set the ideal processor if information is present.

        * s-tasinf-mingw.adb, s-tasinf-mingw.ads,
        a-exetim-mingw.adb, a-exetim-mingw.ads: New files.

2007-08-14  Olivier Hainque  <hainque@adacore.com>

        * s-taprop-linux.adb (Get_Stack_Attributes): New subprogram. Fetch the
        stack size and initial stack pointer value for a given task.
        (Enter_Task): Get the stack attributes of the task we are entering and
        let the stack checking engine know about them.

        * s-stchop.adb, s-stchop.ads (Notify_Stack_Attributes): New subprogram.
        Let the stack-checking engine know about the initial sp value and stack
        size associated with the current task.
        (Set_Stack_Info): If a stack base has been notified for the current
        task, honor it. Fallback to the previous less accurate method otherwise.

        * s-stchop-vxworks.adb (Notify_Stack_Attributes): Dummy body.

2007-08-14  Ed Schonberg  <schonberg@adacore.com>

        * sem_ch10.adb: Create a limited view of an incomplete type, to make
        treatment of limited views uniform for all visible declarations in a
        limited_withed package.
        Set flag indicating that a subprogram body for a child unit has a
        generated spec.
        (Analyze_Compilation_Unit): If unit is a subprogram body that has no
        separate declaration, remove the unit name from visibility after
        compilation, so that environment is clean for subsequent compilations.
        (Install_Limited_Context_Clauses): Do not install a
        limited_private_with_clause unless the current unit is a body or a
        private child unit.
        (Analyze_Subunit, Install_Parents): Treat generic and non-generic units
        in the same fashion.
        (Install_Limited_Withed_Unit): Do not install a limited with clause if
        it applies to the declaration of the current package body.
        (Remove_Private_With_Clauses): If there is a regular with_clause for
        the unit, delete Private_With_Clause from context, to prevent improper
        hiding when processing subsequent nested packages and instantiations.

2007-08-14  Jose Ruiz  <ruiz@adacore.com>

        * adaint.c (__gnat_is_absolute_path): For VxWorks systems we accept
        dir/file, device:/dir/file, and device:drive_letter:/dir/file as
        representing absolute path names.
        __gnat_set_file_time_name [VMS]: Fix some 64/32 bit issues.

        * cstreams.c (__gnat_full_name for VxWorks): Use
        __gnat_is_absolute_path to detect whether we need to add the current
        directory to normalize the path.

2007-08-14  Javier Miranda  <miranda@adacore.com>

        * a-tags.ads, 
        a-tags.adb (Displace): Associate a message with the raised CE
        exception.
        (To_Addr_Ptr, To_Address, To_Dispatch_Table_Ptr,
        To_Object_Specific_Data_Ptr To_Predef_Prims_Ptr,
        To_Tag_Ptr, To_Type_Specific_Data_Ptr): Moved here from the package
        spec.
        (Default_Prim_Op_Count): Removed.
        (IW_Membership, Get_Entry_Index, Get_Offset_Index, Get_Prim_Op_Kind,
        Register_Tag, Set_Entry_Index, Set_Offset_To_Top, Set_Prim_Op_Kind):
        Remove pragma Inline_Always.

        * rtsfind.ads (Default_Prim_Op_Count): Removed
        (Max_Predef_Prims): New entity
        (RE_Expanded_Name): Removed
        (RE_HT_Link): Removed
        (RE_Iface_Tag): Remmoved
        (RE_Ifaces_Table): Removed
        (RE_Interfaces_Array): Removed
        (RE_Interface_Data_Element): Removed
        (RE_Nb_Ifaces): Removed
        (RE_RC_Offset): Removed
        (RE_Static_Offset_To_Top): Removed

        * exp_atag.ads, exp_atag.adb (Build_Inherit_Prims): Addition of a new
        formal.
        (Build_Inherit_Predefined_Prims): Replace occurrences of Default_
        Prim_Op_Count by Max_Predef_Prims.

2007-08-14  Thomas Quinot  <quinot@adacore.com>
            Vincent Celier  <celier@adacore.com>

        * binde.adb (Elab_All_Links): Remove unnecessary call to
        Generic_Separately_Compiled (if a unit satisfies this predicate, there
        won't be an associated Afile).
        (Elab_All_Links): Fail if a referenced unit cannot be found

        * bindgen.adb: 
        Fix comments in bindgen regarding consistency checks done in Bcheck:
        the checks are made across units within a partition, not across several
        partitions.
        Fix generation of C binder file for VxWorks.

        * lib.ads, lib.adb (Generic_Separately_Compiled): Rename to
        Generic_May_Lack_ALI, more descriptive of the current use of the
        predicate, and update documentation.

        * lib-writ.ads, lib-writ.adb (Write_With_Lines): Minor code
        reorganization and documentation update for the case of predefined
        library generics (for which we do not reference an Afile).

2007-08-14  Robert Dewar  <dewar@adacore.com>

        * s-intman-irix.adb, s-osinte-irix.adb, s-osinte-irix.ads,
        s-proinf-irix-athread.ads, s-osinte-hpux-dce.adb, s-osinte-hpux-dce.ads,
        s-parame-hpux.ads, s-intman-dummy.adb, s-tasinf-solaris.adb,
        s-tasinf-solaris.ads, s-asthan-vms-alpha.adb, s-inmaop-vms.adb,
        s-intman-vms.adb, s-intman-vms.ads, s-osprim-mingw.adb,
        s-parame-vms-restrict.ads, s-parame-ae653.ads, s-intman-vxworks.ads,
        s-intman-vxworks.ads, s-intman-vxworks.adb, s-parame-vxworks.ads,
        s-tfsetr-vxworks.adb, s-interr.adb, s-interr.ads, a-tasatt.adb,
        exp_ch13.adb, s-htable.ads, s-imgboo.ads, s-imglli.ads, s-imgllu.ads,
        s-imguns.ads, g-eacodu.adb, par-ch12.adb, s-stache.ads, s-stausa.adb,
        s-poosiz.adb, s-parame.ads, s-mastop.ads, s-osinte-darwin.ads,
        a-chtgke.adb, s-asthan-vms-alpha.adb, s-parame-vms-alpha.ads,
        s-parame-vms-ia64.ads, s-parame-vxworks.adb, s-except.ads,
        g-altcon.adb: Minor reformatting

        ada-tree.h: Delete empty line.

        ali.ads: Minor reformatting
        Clarification of comments.
        Minor spelling correction

        * exp_dbug.adb: Add Warnings Off to suppress new warning

        * a-witeio.adb (Write): Add Warnings (Off) for unneeded IN OUT mode
        formal

        * a-strunb.adb (Set_Unbounded_String): Avoid memory leak by freeing old
        value

        * a-textio.adb (Write): Remove an unnecessary IN OUT mode from

        * a-textio.ads: Reorder the standard input/output/error declarations
        for consistency.

        * g-dirope.adb, g-dirope.ads: Change Dir to mode IN for Open call

        * par-ch2.adb: Recognize RM specially in errout
        Change 'R'M to RM in all error messages

        * scng.adb: Recognize RM specially in errout

        * sem.ads, sem.adb, exp_strm.adb, exp_ch5.ads, expander.adb: Rename
        N_Return node to be N_Simple_Return, to reflect Ada 2005 terminology.

        * s-direio.adb: Add missing routine header box.

        * sem_attr.ads: Add ??? comments

        * sem_eval.adb: Recognize RM specially in errout
        Change 'R'M to RM in all error messages

        * sem_maps.adb, sem_maps.ads: Remove some unnecessary IN OUT modes

        * s-tasinf.ads: Fix minor comment typo.

        * a-cihama.adb: Minor comment addition

        * a-ztexio.adb (Write): Add Warnings (Off) for unneeded IN OUT mode
        formal

        * s-tasinf-tru64.ads: Fix minor comment typo.

        * itypes.ads: Comment update.

        * ali-util.adb: Remove Generic_Separately_Compiled guard, not needed
        anymore.

        * argv.c: Added protection against null gnat_argv and gnat_envp.

        * bcheck.adb (Check_Consistency): Use correct markup character ({) in
        warning message when Tolerate_Consistency_Errors is True.

        * cstand.adb (Create_Standard): Do not call Init_Size_Alignment for
        Any_Id, as this subprogram is only applicable to *type* entities (it
        sets RM_Size). Instead initialize just Esize and Alignment.

2007-08-14  Bob Duff  <duff@adacore.com>

        * a-cihama.ads, a-cidlli.ads, a-chtgop.ads, a-chtgop.adb, a-cdlili.ads, 
        a-cihase.adb, a-cihase.ads, a-cohase.adb, a-cohase.ads, a-ciorma.ads, 
        a-coorma.ads, a-ciormu.ads, a-coormu.ads, a-ciorse.ads, a-cohama.ads, 
        a-cohata.ads, a-convec.adb, a-coinve.ads, a-coinve.adb, a-convec.ads,
        a-coorse.ads (Next): Applied pragma Inline.
        Make all Containers packages Remote_Types (unless they are already
        Pure).
        (Previous): applied pragma Inline
        (Elements_Type): is now a record instead of an array

2007-08-14  Thomas Quinot  <quinot@adacore.com>

        * table.adb, g-table.adb, g-dyntab.adb (Append): Reimplement in terms
        of Set_Item.
        (Set_Item): When the new item is an element of the currently allocated
        table passed by reference, save a copy on the stack if we're going
        to reallocate. Also, in Table.Set_Item, make sure we test the proper
        variable to determine whether to call Set_Last.

        * sinput-d.adb, sinput-l.adb, stringt.adb, switch-m.adb,
        symbols-vms.adb, symbols-processing-vms-alpha.adb,
        symbols-processing-vms-ia64.adb, sem_elab.adb, repinfo.adb: Replace
        some occurrences of the pattern
           T.Increment_Last;
           T.Table (T.Last) := Value;
        with a cleaner call to
           T.Append (Value);

2007-08-14  Ed Schonberg  <schonberg@adacore.com>
            Gary Dismukes  <dismukes@adacore.com>
            Thomas Quinot  <quinot@adacore.com>

        * sem_ch12.ads, sem_ch12.adb (Instantiate_Type): If the formal is a
        derived type with interface progenitors use the analyzed formal as the
        parent of the actual, to create renamings for all the inherited
        operations in Derive_Subprograms.
        (Collect_Previous_Instances): new procedure within of
        Load_Parent_Of_Generic, to instantiate all bodies in the compilation
        unit being loaded, to ensure that the generation of global symbols is
        consistent in different compilation modes.
        (Is_Tagged_Ancestor): New function testing the ancestor relation that
        takes progenitor types into account.
        (Validate_Derived_Type_Instance): Enforce the rule of 3.9.3(9) by
        traversing over the primitives of the formal and actual types to locate
        any abstract subprograms of the actual type that correspond to a
        nonabstract subprogram of the formal type's ancestor type(s), and issue
        an error if such is found.
        (Analyze_Package_Instantiation, Analyze_Subprogram_Instantiation,
        Instantiate_Package_Body, Instantiate_Subprogram_Body):
        Remove bogus guard around calls to Inherit_Context.
        (Reset_Entity): If the entity is the selector of a selected component
        that denotes a named number, propagate constant-folding to the generic
        template only if the named number is global to the generic unit.
        (Set_Instance_Env): Only reset the compilation switches when compiling
        a predefined or internal unit.

2007-08-14  Ed Schonberg  <schonberg@adacore.com>

        * sem_ch4.adb (Try_Class_Wide_Operation): use base type of first
        parameter to determine whether operation applies to the prefix.
        (Complete_Object_Operation): If actual has an access type and
        controlling formal is not an in_parameter, reject the actual if it is
        an access_to_constant type.
        (Try_Primitive_Operation): If the type of the prefix is a formal tagged
        type, the candidate operations are found in the scope of declaration of
        the type, because the type has no primitive subprograms.
        (Analyze_Selected_Component): If prefix is class-wide, and root type is
        a private extension, only examine visible components before trying to
        analyze as a prefixed call.
        Change Entity_List to Type_To_Use, for better readability.
        (Has_Fixed_Op): Use base type when checking whether the type of an
        operator has a user-defined multiplication/division
        (Check_Arithmetic_Pair): Use Ada 2005 rules to remove ambiguities when
        user-defined operators are available for fixed-point types.

2007-08-14  Thomas Quinot  <quinot@adacore.com>
            Ed Schonberg  <schonberg@adacore.com>

        * sem_cat.ads, sem_cat.adb (Has_Stream_Attribute_Definition): New
        formal At_Any_Place indicating, when True, that we want to test for
        availability of the stream attribute at any place (as opposed to the
        current visibility context only).
        (Missing_Read_Write_Attributes): A stream attribute is missing for the
        purpose of enforcing E.2.2(8) only if it is not available at any place.
        Take into account the Ada2005 pragma Has_Preelaborable_Initialization
        when checking the legality of an extension aggregate in a preelaborable
        package. Treat the literal null as a valid default expression in a
        component declaration for a type with preelaborable initialization.
        A limited interface is a legal progenitor for the designated type of a
        remote access to class-wide type.

2007-08-14  Thomas Quinot  <quinot@adacore.com>
            Ed Schonberg  <schonberg@adacore.com>

        * sem_ch8.ads, sem_ch8.adb (Find_Type, case of a 'Base attribute
        reference): Use correct entity as denoted entity for the selector of
        the rewritten node.
        (Find_Direct_Name): Add comment about Generate_Reference incorrectly
        setting the Referenced_As_LHS flag for entities that are implicitly
        dereferenced.
        (Find_Type): If the type is an internally generated incomplete type,
        mark the full view as referenced, to prevent spurious warnings.
        (Find_Selected_Component, Has_Components): Handle properly non-limited
        views that are themselves incomplete types.
        Handle interfaces visible through limited-with clauses.
        (Analyze_Subprogram_Renaming): Disambiguate and set the entity of a
        subprogram generic actual for which we have generated a renaming.
        Warn when the renaming introduces a homonym of
        the renamed entity, and the renamed entity is directly visible.

2007-08-14  Ed Schonberg  <schonberg@adacore.com>
            Hristian Kirtchev  <kirtchev@adacore.com>

        * sem_res.adb (Resolve_Allocator): Propagate any coextensions that
        appear in the subtree to the current allocator if it is not a static
        coextension.
        (Resolve_Allocator): Perform cleanup if resolution has determined that
        the allocator is not a coextension.
        (Resolve): Skip an interpretation hidden by an abstract operator only
        when the type of the interpretation matches that of the context.
        (Resolve): When looping through all possible interpretations of a node,
        do not consider those that are hidden by abstract operators.
        (Resolve_Actuals): When verifying that an access to class-wide object
        is an actual  for a controlling formal, ignore anonymous access to
        subprograms whose return type is an access to class_wide type.
        (Resolve_Slice): If the prefix of the slice is a selected component
        whose type depends on discriminants, build its actual subtype before
        applying range checks on the bounds of the slice.
        (Valid_Conversion): In an instance or inlined body, compare root types,
        to prevent anomalies between private and public views.
        (Resolve): Improve error message for ambiguous fixed multiplication
        expressions that involve universal_fixed multiplying operations.

2007-08-14  Javier Miranda  <miranda@adacore.com>
            Hristian Kirtchev  <kirtchev@adacore.com>

        * exp_ch9.adb (Build_Protected_Entry): Propagate the original source
        location to allow the correct generation of errors in case of
        restrictions applied to the expanded code.
        (Expand_Entry_Barrier): Remove all generated renamings for a barrier
        function if the condition does not reference them.
        (Expand_Entry_Body_Declarations): Mark the index constant as having a
        valid value.

2007-08-14  Thomas Quinot  <quinot@adacore.com>

        * exp_dist.adb (PolyORB_Support.Build_TypeCode_Function): When creating
        typecode parameters for a union (in a variant record), remove
        extraneous layer of Any wrapping for member label.
        (Expand_Receiving_Stubs_Bodies): For an RCI package body that has
        elabration statements, register the package with the name server
        at the beginning, not at the end, of the elaboration statements so
        that they can create remote access to subprogram values that designate
        remote subprograms from the package.

2007-08-14  Hristian Kirtchev  <kirtchev@adacore.com>

        * g-catiio.adb (Image): For the case of %s, use Ada.Calendar.Time
        values to compute the number of seconds since the Unix Epoc in order to
        account for Daylight Savings Time. Perform special processing for dates
        that are earlier than the Unix Epoc to obtain a negative number.

2007-08-14  Emmanuel Briot  <briot@adacore.com>

        * g-comlin.adb (Getopt): Fix handling of "*" switch when not collapsing
        switches.

2007-08-14  Eric Botcazou  <ebotcazou@adacore.com>

        * gnatlink.adb (Gnatlink): Pass switches to the linker even if the
        binder-generated file is not in Ada.
        Pass -mrtp to the linker if it is GCC and --RTS=rtp has been
        recorded in the ALI file.
        Pass -fsjlj to the linker if it is GCC and --RTS=sjlj has been recorded.

2007-08-14  Vincent Celier  <celier@adacore.com>

        * gnatls.adb: (Corresponding_Sdep_Entry): Always return a value
        (Output_Source): Do nothing if parameter is No_Sdep_Id

        * make.adb (Gnatmake): Do not rebuild an archive simply because a
        shared library it imports has a later time stamp.
        (Check): Resolve the symbolic links in the path name of the object
        directory.
        Check that the ALI file is in the correct object directory
        Check if a file name does not correspond to the mapping of units
        to file names.
        (Display_Version): New procedure
        (Initialize): Process switches --version and --help
        Use type Path_Name_Type for path name

2007-08-14  Paul Hilfinger  <hilfinger@adacore.com>

        * impunit.adb: Re-organize System.Random_Numbers and
        GNAT.Random_Numbers and add to builds.

        * Makefile.rtl: Add s-rannum.ad* and g-rannum.ad*, a-assert*

        * s-rannum.ads, s-rannum.adb, g-rannum.ads, g-rannum.adb: New files.

        * a-assert.ads, a-assert.adb: New files.

2007-08-14  Gary Dismukes  <dismukes@adacore.com>

        * layout.adb (Layout_Type): In the case of access-to-subprogram types,
        if AAMP_On_Target is True, then the size of the type encompasses two
        addresses (a static link and a subprogram address), except in the case
        of library-level access types.

2007-08-14  Vincent Celier  <celier@adacore.com>

        * output.ads, output.adb (Write_Eol): Remove trailing spaces before
        writing the line.
        (Write_Eol_Keep_Blanks): New procedure to write a line, including
        possible trailing spaces.
        (Output_Source_Line): Call Write_Eol_Keep_Blanks to output a source line

2007-08-14  Javier Miranda  <miranda@adacore.com>

        * par-ch6.adb (P_Formal_Part): Fix wrong error message associated with
        null-excluding access types.

2007-08-14  Javier Miranda  <miranda@adacore.com>

        * sem_ch9.adb (Check_Interfaces): New subprogram that factorizes code
        that is common to Analyze_Protected_Type and Analyze_Task_Type. In case
        of private types add missing check on matching interfaces in the
        partial and full declarations.
        (Analyze_Protected_Type): Code cleanup.
        (Analyze_Task_Type): Code cleanup.

2007-08-14  Javier Miranda  <miranda@adacore.com>

        * sem_disp.adb (Check_Dispatching_Operation): Do not emit warning on a
        generated interface thunk.

2007-08-14  Ed Schonberg  <schonberg@adacore.com>

        * s-ficobl.ads: Declare AFCB as a tagged incomplete type, to prevent
        obsolescent warning on application of 'Class to an incomplete type.

        * s-finroo.ads: Declare Root_Controlled as a tagged incomplete type, to
        prevent obsolescent warning on application of 'Class to an incomplete
        type.

2007-08-14  Pascal Obry  <obry@adacore.com>

        * s-fileio.adb (Is_Open): Add check for usability of the underlying
        file stream.

2007-08-14  Cyrille Comar  <comar@adacore.com>

        * s-finimp.adb (Detach_From_Final_List): make this procedure idempotent
        since it is potentially used in cases implying double finalization of
        the same object.

2007-08-14  Jose Ruiz  <ruiz@adacore.com>

        * s-tasini.adb (Get_Stack_Info): Move this function to
        System.Soft_Links.Tasking because it is common to the full and the
        restricted run times.
        (Init_RTS): Do not set the Get_Stack_Info soft link because it is done
        in SSL.Tasking.Init_Tasking_Soft_Links.

        * s-solita.adb (Get_Stack_Info): Function moved from
        System.Tasking.Initialization because it is common to the full and the
        restricted run times.
        (Init_Tasking_Soft_Links): Set the tasking soft link for Get_Stack_Info.

2007-08-14  Arnaud Charlet  <charlet@adacore.com>

        * s-tpobop.ads, s-tpobop.adb, s-tasren.ads, s-tasren.adb,
        s-taskin.ads (Requeue_With_Abort): Rename field With_Abort.
        (PO_Do_Or_Queue, Task_Do_Or_Queue, Requeue_Call): Remove With_Abort
        parameter.

        * s-tassta.adb (Task_Wrapper): Increased value of the small overflow
        guard to 12K.

2007-08-14  Gary Dismukes  <dismukes@adacore.com>

        * s-veboop.adb (SU): New named number initialized to
        System.Storage_Unit.
        (True_Val): The initialization expression is revised to use SU (=
        Storage_Unit) rather than assuming 8 for the component size of an
        unpacked Boolean array.

2007-08-14  Tristan Gingold  <gingold@adacore.com>

        * tracebak.c: Use tb-ivms.c on OpenVMS Itanium.

        * tb-ivms.c: New file.

        * g-trasym-vms-ia64.adb: Fixed for OpenVMS version 8.2

2007-08-14  Geert Bosch  <bosch@adacore.com>

        * i-forbla.ads, i-forbla.adb, a-ngcoar.adb, a-ngcoar.ads, i-forlap.ads,
        s-gearop.adb, s-gecobl.adb, s-gecobl.ads, s-gerela.adb, s-gerela.ads:
        Add required linker pragmas for automatically linking with the gnalasup
        linear algebra support library, and the systems math library.
        Rename cdot to cdotu and zdot to zdotu.
        Update header comment to describe purpose of package.

2007-08-14  Thomas Quinot  <quinot@adacore.com>

        * exp_ch7.adb (Find_Final_List): For an anonymous access type that has
        an explicitly specified Associated_Final_Chain, use that list.
        (Expand_N_Package_Body): Build dispatch tables of library level tagged
        types.
        (Expand_N_Package_Declaration): Build dispatch tables of library level
        tagged types. Minor code cleanup.

2007-08-14  Vincent Celier  <celier@adacore.com>

        * gnatchop.adb (Terminate_Program): Remove exception and use
        Types.Terminate_Program instead.

        * osint.ads, osint.adb (Current_Exit_Status): New global variable
        (Find_Program_Name): Added protection against empty name.
        (OS_Exit_Through_Exception): New procedure

        * s-os_lib.ads, s-os_lib.adb (OS_Exit): New procedure body
        (OS_Exit_Default): New procedure that contains the previous
        implementation of procedure OS_Exit.
        (Final_Value): Remove obsolete Interix stuff.

2007-08-14  Thomas Quinot  <quinot@adacore.com>

        * g-socket.ads: Reorganize example code so that it also works on
        Windows XP.

2007-08-14  Tristan Gingold  <gingold@adacore.com>

        * g-trasym.ads: AIX now supports symbolic backtraces.

2007-08-14  Ed Schonberg  <schonberg@adacore.com>

        * lib-load.adb (From_Limited_With_Chain): Always scan the stack of
        units being loaded to detect circularities. A circularity may be
        present even if the current chain of pending units to load starts from
        a limited_with_clause.

        * lib-load.ads: Change profile of Load_Unit to use a with_clause
        rather than a boolean flag, in order to detect circularities in
        with_clauses.

        * par-load.adb: Use current with_clause in calls to Load_Unit, rather
        than propagating the From_Limited_With flag, in order to handle
        properly circularities involving with_clauses.

2007-08-14  Nicolas Setton  <setton@adacore.com>

        * link.c (FreeBSD): Add "const" keyword where needed, to eliminate
        warnings.

2007-08-14  Arnaud Charlet  <charlet@adacore.com>

        * Makefile.in: GNATRTL_LINEARALGEBRA_OBJS: New variable holding objects
        to build for libgnala.
        libgnat: Add rules to build libgnala.a
        (LIBGNAT_TARGET_PAIRS for VxWorks): Remove s-osinte-vxworks.adb from
        target pairs of the VxWorks 6 kernel runtime, use it only for VxWorks 5.
        Add s-osinte-vxworks-kernel.adb to the target pairs of the
        kernel run-time lib for VxWorks 6, which would provide a different
        implementation for Task_Cont and Task_Stop than the VxWorks 5 version.
        x86-solaris section (EH_MECHANISM): Set to -gcc, as this port is now
        running ZCX by default.
        Add g-sttsne-locking to LynxOS version.
        Remove g-sttsne-vxworks.ads; use g-sttsne-locking.ads instead.
        On x86/darwin, use a-numaux-x86.ad? and system-darwin-x86.ads.

        * system-darwin-x86.ads: New file.

        * Make-lang.in: Delete files before copying onto them, so if they are
        read-only, the copy won't fail.
        Update dependencies

2007-08-14  Pascal Obry  <obry@adacore.com>

        * mdll-fil.adb, * mdll.adb: Implement a more consistent libraries
        naming scheme.

2007-08-14  Vincent Celier  <celier@adacore.com>

        * mlib-utl.adb (Gcc_Name): Change from constant String to String_Access
        (Gcc): Initialize Gcc_Name at the first call

2007-08-14  Ed Schonberg  <schonberg@adacore.com>

        * sem_ch7.adb (Analyze_Package_Specification): Do not install private
        with_clauses of the enclosing unit when analyzing the package
        specification of a nested instance.

2007-08-14  Hristian Kirtchev  <kirtchev@adacore.com>

        * sinfo.ads, sinfo.adb (Is_Coextension, Set_Is_Coextension): Removed.
        (Is_Dynamic_Coextension, Set_Is_Dynamic_Coextension): New routines.
        Remove flag Is_Coextension. Add flag Is_Dynamic_Coextension. Update the
        layout of N_Allocator.

2007-08-14  Thomas Quinot  <quinot@adacore.com>

        * rtsfind.adb (Check_RPC): Add PCS version check.

        * gnatvsn.ads, gnatvsn.adb: Add PCS version.
        (Gnat_Free_Software): New function.

        * sem_dist.ads, sem_dist.adb (Get_PCS_Version): New subprogram. Returns
        the PCS_Version value from s-parint, used to check that it is consistent
        with what exp_dist expects.

        * s-parint.ads (PCS_Version): New entity for checking consistency
        between exp_dist and PCS.

        * gen-soccon.c: (SO_REUSEPORT): New constant.

2007-08-14  Hristian Kirtchev  <kirtchev@adacore.com>

        * a-calfor.adb (Image (Duration; Boolean)): Change type of local
        variable Sub_Second to Duration in order to accomodate a larger range
        of arithmetic operations.

2007-08-14  Bob Duff  <duff@adacore.com>

        * g-sttsne-locking.ads: Move comments from spec to body.
        * g-sttsne-locking.adb: Move comments from spec to body.
        * g-sttsne-vxworks.ads: Removed.
        * g-sttsne-vxworks.adb: Removed.

2007-08-11  Ian Lance Taylor  <iant@google.com>

        * misc.c (gnat_get_alias_set): Change return type to
        alias_set_type.

2007-08-11  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>

        * decl.c, utils2.c: Fix whitespace in last change.

2007-08-11  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>

        * decl.c (compare_field_bitpos): Constify.
        * utils2.c (compare_elmt_bitpos): Likewise.

2007-07-27  Aurelien Jarno  <aurelien@aurel32.net>

        * s-osinte-kfreebsd-gnu.ads ((sigset_t_ptr): Removed, replaced by 
        anonymous access type.
        (pthread_sigmask): Now take an access sigset_t.

2007-07-05  Joel Sherrill <joel.sherrill@oarcorp.com>

        * s-osinte-rtems.ads: Correct prototype of pthread_sigmask.
        
2007-06-21  Eric Botcazou  <ebotcazou@adacore.com>

        PR tree-optimization/25737
        * misc.c (gnat_post_options): Do not force flag_tree_salias to 0.

2007-06-15  Andrew Pinski  <andrew_pinski@playstation.sony.com>

        * trans.c (Attribute_to_gnu): When subtracting an
        offset from a pointer, use POINTER_PLUS_EXPR with
        NEGATE_EXPR instead of MINUS_EXPR.
        (gnat_to_gnu): Likewise.
        * utils.c (convert): When converting between
        thin pointers, use POINTER_PLUS_EXPR and sizetype
        for the offset.
        * utils2.c (known_alignment): POINTER_PLUS_EXPR
        have the same semantics as PLUS_EXPR for alignment.
        (build_binary_op): Add support for the semantics of
        POINTER_PLUS_EXPR's operands.
        When adding an offset to a pointer, use POINTER_PLUS_EXPR.

2007-06-11  Rafael Avila de Espindola  <espindola@google.com>

        * trans.c (Attribute_to_gnu): Use signed_or_unsigned_type_for instead
        of get_signed_or_unsigned_type.
        * misc.c (LANG_HOOKS_SIGNED_TYPE): Remove.

2007-06-11  Bob Duff  <duff@adacore.com>
            Thomas Quinot  <quinot@adacore.com>

        * g-stsifd-sockets.adb (Create): Work around strange behavior of
        'bind' on windows that causes 'connect' to fail intermittently, by
        retrying the 'bind'.
        (GNAT.Sockets.Thin.Signalling_Fds): New procedure Close.

2007-06-10  Duncan Sands  <baldrick@free.fr>

        * decl.c (gnat_to_gnu_entity): Use pointers to dummy nodes, rather
        than to void, for the fields when making a new fat pointer type.
        (gnat_substitute_in_type): Now substitute_in_type.
        * gigi.h (gnat_substitute_in_type): Likewise.  Adjust recursive calls.
        * trans.c (gnat_gimplify_expr): Remove COMPONENT_REF kludge.
        * utils.c (update_pointer_to): Update fat pointers by updating the
        dummy node pointers used for the fields.

2007-06-06  Thomas Quinot  <quinot@adacore.com>
            Bob Duff  <duff@adacore.com>

        * g-soccon-freebsd.ads, g-soccon-vxworks.ads:,
        g-soccon-aix.ads, g-soccon-irix.ads, g-soccon-hpux.ads, 
        g-soccon-solaris.ads, g-soccon-vms.ads, g-soccon-tru64.ads:  Add new
        constant Thread_Blocking_IO, always True by default, set False
        on a per-runtime basis.
        (Need_Netdb_Buffer): New constant.

        * g-stheme.adb, g-sttsne.ads, g-sttsne-locking.ads,
        g-sttsne-locking.adb, g-sttsne-vxworks.ads, g-sttsne-vxworks.adb: New
        files.

        * g-socthi-vxworks.ads, g-socthi-vxworks.adb,
        g-socthi-vms.ads, g-socthi-vms.adb (Safe_Gethostbyname,
        Safe_Gethostbyaddr, Safe_Getservbyname, Safe_Getservbyport): Use new
        child package Task_Safe_NetDB
        (Host_Error_Messages): Add stub body.
        (GNAT.Sockets.Thin.Signalling_Fds): New procedure Close.

        * g-soccon-mingw.ads: Add Windows-specific constants.
        (Need_Netdb_Buffer): New constant.
        (GNAT.Sockets.Thin.C_Inet_Addr, Windows version): Remove useless Ada
        wrapper and import inet_addr(3) from the standard sockets library
        directly instead.
        (In_Addr): Add alignment clause.
        (GNAT.Sockets.Thin.Signalling_Fds): New procedure Close.

2007-06-06  Robert Dewar  <dewar@adacore.com>

        * a-taster.adb, s-osinte-hpux.ads, s-osinte-solaris-posix.ads,
        s-osinte-irix.ads, s-interr-sigaction.adb, s-mastop-irix.adb,
        s-osinte-hpux-dce.ads, s-osinte-interix.ads, s-osinte-solaris.ads,
        s-taspri-solaris.ads, s-inmaop-vms.adb, s-interr-vms.adb,
        s-mastop-vms.adb, s-osinte-vms.ads, s-tpopde-vms.adb,
        s-osinte-mingw.ads, s-interr-vxworks.adb, i-cstrea-vms.adb,
        a-diocst.adb, a-direio.adb, a-interr.adb, a-sequio.adb, a-siocst.adb,
        a-ssicst.adb, a-storio.adb, a-ststio.adb, a-stwima.adb, a-tasatt.adb,
        a-taside.adb, a-tiocst.adb, a-witeio.adb, a-wtcstr.adb, g-crc32.adb,
        g-dirope.adb, g-dyntab.adb, g-memdum.adb, g-regexp.adb, g-spipat.adb,
        g-spitbo.adb, g-string.adb, g-string.ads, g-table.adb, g-thread.adb,
        i-cobol.adb, i-cpoint.adb, i-cstrea.adb, i-cstrin.adb, i-pacdec.adb,
        s-addima.adb, s-arit64.adb, s-auxdec.adb, s-auxdec.ads,
        s-auxdec-vms_64.ads, s-carsi8.adb, s-carun8.adb, s-casi16.adb,
        s-casi32.adb, s-casi64.adb, s-caun16.adb, s-caun32.adb, s-caun64.adb,
        s-direio.adb, s-fileio.adb, s-finimp.ads, s-geveop.adb, s-imgenu.adb,
        s-pack03.adb, s-pack05.adb, s-pack06.adb, s-pack07.adb, s-pack09.adb,
        s-pack10.adb, s-pack11.adb, s-pack12.adb, s-pack13.adb, s-pack14.adb,
        s-pack15.adb, s-pack17.adb, s-pack18.adb, s-pack19.adb, s-pack20.adb,
        s-pack21.adb, s-pack22.adb, s-pack23.adb, s-pack24.adb, s-pack25.adb,
        s-pack26.adb, s-pack27.adb, s-pack28.adb, s-pack29.adb, s-pack30.adb,
        s-pack31.adb, s-pack33.adb, s-pack34.adb, s-pack35.adb, s-pack36.adb,
        s-pack37.adb, s-pack38.adb, s-pack39.adb, s-pack40.adb, s-pack41.adb,
        s-pack42.adb, s-pack43.adb, s-pack44.adb, s-pack45.adb, s-pack46.adb,
        s-pack47.adb, s-pack48.adb, s-pack49.adb, s-pack50.adb, s-pack51.adb,
        s-pack52.adb, s-pack53.adb, s-pack54.adb, s-pack55.adb, s-pack56.adb,
        s-pack57.adb, s-pack58.adb, s-pack59.adb, s-pack60.adb, s-pack61.adb,
        s-pack62.adb, s-pack63.adb, s-pooloc.adb, s-poosiz.adb, s-scaval.adb,
        s-sequio.adb, s-shasto.adb, s-stalib.ads, s-stratt.adb, s-strcom.adb,
        s-taasde.adb, s-tasdeb.adb, s-tasuti.ads, s-tataat.ads, s-tpoben.ads,
        s-valenu.adb, s-widenu.adb, s-wwdenu.adb, s-addope.adb, a-stzmap.adb,
        a-ztcstr.adb, a-ztexio.adb, s-osinte-linux-hppa.ads: Replace
        Unchecked_* by Ada.Unchecked_*

2007-06-06  Robert Dewar  <dewar@adacore.com>

        * g-string.adb, s-proinf-irix-athread.adb, s-gloloc-mingw.adb,
        s-tfsetr-default.adb, gnatfind.adb, gnatxref.adb, gprep.adb,
        g-regexp.adb, g-regexp.ads, g-regpat.ads, g-tasloc.adb, g-tasloc.ads,
        output.adb, switch-m.ads, tree_in.ads, tree_io.ads, indepsw.ads,
        g-utf_32.adb, g-utf_32.ads, a-wichun.adb, a-wichun.ads, a-zchuni.adb,
        a-zchuni.ads: Replace GNAT.xxx by System.xxx when appropriate.

        * s-utf_32.adb, s-utf_32.ads, s-os_lib.adb, s-os_lib.ads, s-regexp.adb,
        s-regexp.ads, s-regpat.adb, s-regpat.ads, s-string.adb, s-string.ads,
        s-tasloc.adb, s-tasloc.ads: New files.

2007-06-06  Bob Duff  <duff@adacore.com>

        * g-expect-vms.adb: 
        (Send_Signal, Close): Raise Invalid_Process if the process id is invalid.
        * g-expect.ads, g-expect.adb (Send): Avoid useless copy of the string.
        (Send_Signal, Close): Raise Invalid_Process if the process id is
        invalid.
        (Pattern_Matcher_Access): Is now a general access type to be able to
        use aliased string.

2007-06-06  Thomas Quinot  <quinot@adacore.com>
            Arnaud Charlet  <charlet@adacore.com>

        * a-intnam-aix.ads: Adjust comment to account for SIGADAABORT change
        (SIGEMT is now used instead of SIGTERM on AIX).

        * s-osinte-aix.ads (Linker_Options): Use -pthread instead of -lpthreads.
        (Time_Slice_Supported): Set to True.
        Use SIGEMT instead of SIGTERM as SIGADAABORT.

2007-06-06  Hristian Kirtchev  <kirtchev@adacore.com>

        * a-calend.ads, a-calend.adb, a-calend-vms.ads, a-calend-vms.adb ("-"
        (Time, Time)): Use To_Relative_Time rather than manual calculation to
        express the bounds of Duration as Time. Raise Time_Error when the
        result is greater or equal to the higher bound of Duration (on the
        margin case).
        ("+" (Time, Duration)): Reorder code. Remove the declaration of constant
        Ada_High_And_Leaps.
        ("-" (Time, Duration)): Reorder code. Remove the declaration of constant
        Ada_High_And_Leaps.
        ("-" (Time, Time)): Reorder code.
        (All_Leap_Seconds): Removed.
        (Arithmetic_Operations.Add): Remove sign related kludge.
        (Arithmetic_Operations.Difference): Control the leaps seconds processing
        with flag Leap_Support.
        (Arithmetic_Operations.Subtract): Remove sign related kludge.
        (Check_Within_Time_Bounds): New procedure.
        (Clock): Control the leap seconds processing with flag Leap_Support.
        (Cumulative_Leap_Seconds): Assert that the target supports leap seconds.
        (Formatting_Operations.Split): Control the leap seconds processing with
        flag Leap_Support.
        (Formatting_Operations.Time_Of): Control the leaps seconds processing
        with flag Leap_Support. Adjust the year, month and day (if applicable)
        when the value of day seconds designates a new day.
        (Split): Use parameter associations for better readability. Integrate
        flag Is_Ada_05.
        (Time_Of): Use parameter associations for better readability. Integrate
        flag Is_Ada_05.

        * a-calfor.adb (Split): Use parameter associations for better
        readability. Integrate flag Is_Ada_05.
        (Time_Of): Remove flag Leap_Checks. Use parameter associations for
        better readability. Integrate flag Is_Ada_05.

2007-06-06  Arnaud Charlet  <charlet@adacore.com>

        * s-taprop-vms.adb, s-taprop-hpux-dce.adb, s-taprop-vxworks.adb, 
        s-osprim-posix.adb, s-taprop-posix.adb, s-osprim-vxworks.adb, 
        s-taprop-solaris.adb, s-osprim-solaris.adb, s-taprop-dummy.adb, 
        s-osprim-unix.adb, s-osinte-freebsd.adb, s-osinte-freebsd.ads, 
        s-osinte-lynxos.adb, s-osinte-lynxos.ads, s-taprop-tru64.adb, 
        s-taprop-lynxos.adb, s-taprop-irix.adb, s-osinte-tru64.adb, 
        s-osinte-tru64.ads, s-taprop-linux.adb, s-parame.ads, 
        s-parame-vms-alpha.ads, s-parame-vms-ia64.ads, s-parame-hpux.ads, 
        s-parame-vms-restrict.ads, s-parame-ae653.ads, s-parame-vxworks.ads, 
        s-taprop-mingw.adb, s-osinte-lynxos-3.ads, s-osinte-lynxos-3.adb,
        s-osprim-mingw.adb (Timed_Delay, Timed_Sleep): Register the base
        time when entering this routine to detect a backward clock setting
        (manual setting or DST adjustment), to avoid waiting for a longer delay
        than needed.
        (Time_Duration, To_Timeval, struct_timeval): Removed when not relevant.
        Remove handling of deferred priority change, and replace by setting the
        task priority directly, as required by AI-188.
        Update comments.
        (Max_Task_Image_Length): New constant.
        Replace Warnings (Off) by Unreferenced pragma, cleaner.
        (Dynamic_Priority_Support): Removed, no longer needed.
        (Poll_Base_Priority_Change): Ditto.
        (Set_Ceiling): Add this procedure to change the ceiling priority
        associated to a lock. This is a dummy implementation because dynamic
        priority ceilings are not supported by the underlying system.

        * a-dynpri.adb (Set_Priority): Take into account case where Target is
        accepting a RV with its priority boosted.
        Remove handling of deferred priority change, and replace by setting the
        task priority directly, as required by AI-188.

        * s-taenca.adb (Try_To_Cancel_Entry_Call): Remove special case for
        Succeeded = True.
        Remove handling of deferred priority change, and replace by setting the
        task priority directly, as required by AI-188.
        (Wait_For_Completion, Wait_For_Call, Timed_Selective_Wait): Change state
        of Self_Id earlier.

        * s-tasini.ads, s-tasini.adb (Wakeup_Entry_Caller): Relax assertion.
        (Poll_Base_Priority_Change): Removed.
        Code clean up: use SSL.Current_Target_Exception.

        * s-tasren.adb (Task_Count): Call Yield to let a chance to other tasks
        to run as this is a potentially dispatching point.
        (Call_Synchronous): Use Local_Defer_Abort.
        (Callable): Relax assertion.
        (Selective_Wait): Relax assertion in case abort is not allowed.
        Remove handling of deferred priority change, and replace by setting the
        task priority directly, as required by AI-188.

        * s-tasuti.adb (Make_Passive): Adjust assertions.
        Remove handling of deferred priority change, and replace by setting the
        task priority directly, as required by AI-188.

2007-06-06  Arnaud Charlet  <charlet@adacore.com>

        * system-vxworks-sparcv9.ads, system-solaris-x86.ads, 
        system-irix-o32.ads, system-freebsd-x86.ads, system-lynxos-ppc.ads, 
        system-lynxos-x86.ads, system-vxworks-m68k.ads, system-linux-x86.ads, 
        system-vxworks-mips.ads, system-vxworks-alpha.ads, 
        system-vxworks-x86.ads, system-linux-ppc.ads, system-mingw.ads, 
        system-vms-zcx.ads, system-darwin-ppc.ads, system-vxworks-ppc.ads, 
        system-interix.ads, system-linux-hppa.ads, system-tru64.ads, 
        system-hpux.ads, system-irix-n32.ads, system-solaris-sparc.ads, 
        system-solaris-sparcv9.ads, system-vms.ads, system.ads,
        system-vms_64.ads, system-hpux-ia64.ads, system-linux-x86_64.ads,
        system-linux-ia64.ads: Document mapping between Ada and OS priorities.
        This patch changes the largest non-binary modulus from 2**31-1 to
        2**32-1.
        (Compiler_System_Version): Removed, no longer used.
        Clean up system files by removing flags only used on a single target.
        Also remove obsolete flags, only used during bootstrap from system.ads
        (Address): Add a pragma Preelaborable_Initialization.

        * system-aix.ads:  Ditto.
        (GCC_ZCX_Support): Set to true.
        Update priority range on AIX and map Ada priorities to target
        priorities appropriately for different scheduling policies.

        * ttypes.ads: set largest non-binary modulus from 2**31-1 to 2**32-1

2007-06-06  Vincent Celier  <celier@adacore.com>

        * mlib-tgt-specific.adb, mlib-tgt-specific.ads,
        mlib-tgt-vms.adb, mlib-tgt-vms.ads: New files.

        * mlib-tgt.adb, mlib-tgt.ads, mlib-tgt-darwin.adb, 
        mlib-tgt-vxworks.adb, mlib-tgt-mingw.adb, mlib-tgt-lynxos.adb, 
        mlib-tgt-linux.adb, mlib-tgt-solaris.adb, mlib-tgt-vms-alpha.adb, 
        mlib-tgt-vms-ia64.adb, mlib-tgt-aix.adb, mlib-tgt-irix.adb, 
        mlib-tgt-hpux.adb, mlib-tgt-tru64.adb: Make a common body for package
        MLib.Tgt, containing the default versions of the exported subprograms.
        For each platform, create a specific version of the body of new child
        package MLib.Tgt.Specific that contains only the body of subprograms
        that are different from the default.
        (Archive_Builder_Append_Options): New function.

2007-06-06  Matthew Gingell  <gingell@adacore.com>

        * s-osinte-aix.adb: Map Ada priorities to target priorities
        appropriately for different scheduling policies.

2007-06-06  Arnaud Charlet  <charlet@adacore.com>

        * s-osinte-linux.ads (sigset_t): Bump alignment to match more closely
        its C counterpart.
        Remove references to Unchecked_Conversion, and use Ada.xxx instead.
        Replace Unchecked_Conversion by Ada.Unchecked_Conversion. 

2007-06-06  Vasiliy Fofanov  <fofanov@adacore.com>

        * s-osprim-vms.ads, s-osprim-vms.adb (Initialize): New procedure.
        Noop on VMS, added for interface commonality.

2007-06-06  Eric Botcazou  <ebotcazou@adacore.com>
            Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>
            Olivier Hainque  <hainque@adacore.com>

        * decl.c (gnat_to_gnu_entity) <object>: Manually mark the top of the
        renamed expression of a full renaming at toplevel.
        (gnat_to_gnu_entity, case object): If not defining, do not look inside
        the values the constant is initialized to if it is an N_Allocator.
        (gnat_to_gnu_entity) <E_Array_Subtype>: Manually mark the top of the
        TYPE_SIZE_UNIT of inner types after the stride is elaborated.
        (make_aligning_type): Accept an extra ROOM argument for storage to be
        made available before the aligned field, and an extra BASE_ALIGN
        argument for callers to pass the alignment guaranteed to be honored for
        the whole aligning object. Avoid call to finish_record_type, which only
        interferes with the sizes we want to set.
        (gnat_to_gnu_entity) <E_Variable>: Pass the required extra arguments to
        make_aligning_type for super-aligned objects on stack.
        (components_to_record): Pass the adjusted size of the type when creating
        fields in the qualified union for the variant part.
        (gnat_substitute_in_type): Copy TYPE_USER_ALIGN.
        (gnat_to_gnu_entity, case E_Signed_Integer_Subtype): Likewise for
        packed array type.
        (maybe_pad_type): Set TYPE_USER_ALIGN.
        (make_aligning_type): Likewise.
        ALIGN argument is unsigned int.
        (gnat_to_gnu_entity, case E_Function): Back annotate return mechanism.
        (gnat_to_gnu_param): Likewise, for parameters.
        (gnat_to_gnu_entity) <object>: Always instantiate the renaming object
        if it is constant and stems from a function call.
        (gnat_to_gnu_entity) <E_Record_Type>: Set packed to -2 if the alignment
        of the record is specified.  Adjust accordingly.
        (adjust_packed): New static function.
        (gnat_to_gnu_field): Use it to adjust the packedness setting.
        (components_to_record): Likewise.
        (gnat_to_gnu_entity) <object>: Do not test the renamed expression for
        side-effects if the object is deemed constant.
        (gnat_to_gnu_entity) <E_Array_Type>: Create a name for the fat pointer
        type instead of merely finalizing it.  Tidy.
        <E_Access_Subprogram_Type>: Retrieve the type from the TYPE_DECL.
        <E_Access_Type>: Likewise.
        (defer_debug_incomplete_list): Rename to defer_finalize_list.
        (defer_debug_level): Delete.
        (gnat_to_gnu_entity) <debug_deferred>: Likewise
        <E_Array_Type>: Call rest_of_record_type_compilation on the fat pointer
        type.
        <E_Record_Type>: Do not explicitly defer finalizing the type.
        Adjust for write_record_type_debug_info renaming.
        <E_Subprogram_Type>: Likewise.
        Finalize deferred types right after deferred incomplete types are
        expanded.
        (rest_of_type_decl_compilation): New global function.
        (components_to_record): Rename defer_debug parameter to do_not_finalize.
        (components_to_record): Propagate the packedness to the fields of the
        qualified union type if there is a variant part.
        (gnat_to_gnu_entity) <E_Array_Type>: Use new function
        instead of inline code to adjust the XUT field offsets.
        (gnat_to_gnu_entity): Adjust for new prototype of finish_record_type.
        <E_Record_Subtype>: Do not let finish_record_type compute the sizes
        and write the debug info if the type derives from a discriminated one.
        (gnat_to_gnu_entity) <E_Array_Type>: Adjust call to create_index_type.
        <E_Array_Subtype>: Likewise.
        <E_String_Literal_Subtype>: Likewise.
        (gnat_to_gnu_entity): Set TYPE_USER_ALIGN on types only if they have
        an alignment clause.
        (maybe_pad_type): Update ORIG_SIZE to the minimum required to meet ALIGN
        before giving warning.
        (prepend_one_attribute_to): New function, helper to prepend an attribute
        to an attribute list.
        (gnat_to_gnu_entity) <E_Procedure>: Use it.
        (prepend_attributes): Likewise.
        (gnat_to_gnu_entity) <E_Variable>: Use constants of the proper type.
        <E_Array_Type>: Declare the padding type for the element type, if any.
        <E_Array_Subtype>: Likewise.
        (defer_limited_with): New variable.
        (Gigi_Equivalent_Type): New function.
        (gnat_to_gnu_entity): Use it at start and use result throughout.
        (gnat_to_gnu_entity, case E_Access_Type): Rework to use
        Gigi_Equivalent_Type, support Limited_With, allow two levels of
        indirection, precompute if unconstrained array to simplify logic, and
        use defer_limited_with to defer elaboration of some types from limited
        with.
        (finalize_from_with_types): New function.

2007-06-06  Gary Dismukes  <dismukes@adacore.com>
            Eric Botcazou  <ebotcazou@adacore.com>
            Tristan Gingold  <gingold@adacore.com>
            Olivier Hainque  <hainque@adacore.com>

        * trans.c (Identifier_to_gnu): Change test for deferred constant by
        adding guard that the entity is an E_Constant before testing presence
        of Full_view (and remove unnecessary test that entity is not a type).
        For a CONST_DECL used by reference, manually retrieve
        the DECL_INITIAL.  Do not invoke fold in the other DECL_P cases either.
        (struct language_function): Move from utils.c to here.
        (struct parm_attr): New structure.
        (parm_attr, parm_attr vector, parm_attr GC vector): New types.
        (f_parm_attr_cache): New macro.
        (Attribute_to_gnu) <Attr_Length>: When not optimizing, cache the
        expressions for the 'First, 'Last and 'Length attributes of the
        unconstrained array IN parameters.
        (Subprogram_Body_to_gnu): Use gnu_subprog_decl throughout.
        Allocate the information structure for the function earlier, as well
        as the language-specific part.
        If the parameter attributes cache has been populated, evaluate the
        cached expressions on entry.
        (takes_address): Add OPERAND_TYPE parameter.  Handle N_Function_Call,
        N_Procedure_Call_Statement and N_Indexed_Component.
        (Pragma_to_gnu): Translate inspection_point to an asm statement
        containaing a comment and a reference to the object (either its address
        for BLKmode or its value).
        (Identifier_to_gnu): Use TREE_CONSTANT instead of CONST_DECL to decide
        to go to DECL_INITIAL. Together with the size constraint relaxation
        in create_var_decl, enlarges the set of situations in which an
        identifier may be used as an initializer without implying elaboration
        code.
        (Subprogram_Body_to_gnu): Do not fiddle with the debug interface but set
        DECL_IGNORED_P on the function if Needs_Debug_Info is not set on the
        node.
        (maybe_stabilize_reference): Remove lvalues_only parameter.
        (gnat_stabilize_reference): Adjust for above change.
        (gnat_to_gnu): Do not set location information on the result
        if it is a reference.
        (add_cleanup): Add gnat_node parameter and set the location of the
        cleanup to it.
        (Handled_Sequence_Of_Statements_to_gnu): Adjust calls to add_cleanup.
        (Exception_Handler_to_gnu_zcx): Likewise.
        (gigi): Remove the cgraph node if the elaboration procedure is empty.
        (Subprogram_Body_to_gnu): If a stub is attached to the subprogram, emit
        the former right after the latter.
        (start_stmt_group): Make global.
        (end_stmt_group): Likewise.
        (gnu_constraint_error_label_stack, gnu_storage_error_label_stack): New
        vars.
        (gnu_program_error_label_stack): Likewise.
        (gigi): Initialize them.
        (call_to_gnu, gnat_to_gnu, emit_check): Add new arg to build_call_raise.
        (gnat_to_gnu, N_{Push,Pop}_{Constraint,Storage,Program}_Error_Label):
        New cases.
        (push_exception_label_stack): New function.
        (takes_address): New function.

        * utils.c (struct language_function): Move to trans.c from here.
        (unchecked_convert): Do not wrap up integer constants in
        VIEW_CONVERT_EXPRs.
        (create_var_decl_1): Decouple TREE_CONSTANT from CONST_DECL. Prevent
        the latter for aggregate types, unexpected by later passes, and relax an
        arbitrary size constraint on the former.
        (create_field_decl): Use tree_int_cst_equal instead of operand_equal_p
        to compare the sizes.
        (convert_vms_descriptor): When converting to a fat pointer type, be
        prepared for a S descriptor at runtime in spite of a SB specification.
        (shift_unc_components_for_thin_pointers): New function.
        (write_record_type_debug_info): For variable-sized fields, cap the
        alignment of the pointer to the computed alignment.
        (finish_record_type): Change HAS_REP parameter into REP_LEVEL.
        If REP_LEVEL is 2, do not compute the sizes.
        (build_vms_descriptor): Adjust for new prototype of finish_record_type.
        (build_unc_object_type): Likewise.
        (declare_debug_type): New function.

        * ada-tree.def: USE_STMT: removed (not emitted anymore).

        * misc.c (gnat_expand_expr): Call to gnat_expand_stmt removed because
        no statement is expandable anymore.
        (gnat_init_gcc_eh): Do not initialize the DWARF-2 CFI machinery twice.
        (gnat_handle_option): Only allow flag_eliminate_debug_types to be set
        when the user requested it explicitely.
        (gnat_post_options): By default, set flag_eliminate_unused_debug_types
        to 0 for Ada.
        (get_alias_set): Return alias set 0 for a type if
        TYPE_UNIVERSAL_ALIASING_P is set on its main variant.

        * ada-tree.h: (TYPE_UNIVERSAL_ALIASING_P): New macro.
        (DECL_FUNCTION_STUB): New accessor macro.
        (SET_DECL_FUNCTION_STUB): New setter macro.

        * lang.opt (feliminate-unused-debug-types): Intercept this flag for Ada.

        * fe.h (Get_Local_Raise_Call_Entity, Get_RT_Exception_Entity): New
        declarations.

2007-06-06  Jose Ruiz  <ruiz@adacore.com>

        * s-intman-vxworks.ads, s-intman-vxworks.adb (Abort_Task_Signal):
        Rename to Abort_Task_Interrupt to be able to keep the same interface
        as the rest of the targets.

        * s-osinte-vxworks.ads s-osinte-vxworks.adb
        (To_VxWorks_Priority): Remove explicit "in" mode indicator

        * s-osinte-vxworks6.ads, s-vxwork-arm.ads, system-vxworks-arm.ads:
        New files.

2007-06-06  Robert Dewar  <dewar@adacore.com>

        * a-chahan.ads: Remove obsolescent pragmas

        * a-chlat1.ads: Minor reformatting

2007-06-06  Robert Dewar  <dewar@adacore.com>

        * comperr.adb (Compiler_Abort): New Finalize/Output_Messages interface
        for Errout

        * errout.adb: New Finalize/Compilation_Errors/Output_Messages
        implementation

        * errout.ads (Finalize): Changed interface
        (Output_Messages): New procedure
        (Compilation_Errors): New Interface

        * prepcomp.ads, prepcomp.adb (Parse_Preprocessing_Data_File): New
        Finalize/Output_Messages interface for Errout
        (Prepare_To_Preprocess): New Finalize/Output_Messages interface for
        Errout.

2007-06-06  Thomas Quinot  <quinot@adacore.com>
            Olivier Hainque  <hainque@adacore.com>
            Robert Dewar  <dewar@adacore.com>

        * a-except.ads, a-except.adb: (Rmsg_28): Fix description for E.4(18)
        check.
        (Raise_Current_Excep): Call Debug_Raise_Exception just before
        propagation starts, to let debuggers know about the event in a reliable
        fashion.
        (Local_Raise): Moved to System.Exceptions
        More convenient to have this as a separate unit

        * s-except.adb, s-except.ads: New files.

        * a-exextr.adb (Unhandled_Exception): Delete - replaced by
        Debug_Unhandled_Exception in System.Exceptions where it belongs
        together with a couple of other debug helpers.
        (Notify_Unhandled_Exception): Use Debug_Unhandled_Exception instead of
        the former Unhandled_Exception.

        * exp_ch11.ads, exp_ch11.adb: (Possible_Local_Raise): New procedure
        (Warn_No_Exception_Propagation): New procedure
        (Warn_If_No_Propagation): Rewritten for new warning generation
        (Expand_Exception_Handlers): New warning generation
        (Expand_N_Raise_xxx_Error): Rewritten for new warnings
        (Add_Exception_Label): Use Special_Exception_Package_Used for test
        instead of Most_Recent_Exception_Used (accomodates Exception_Traces)
        (Expand_Local_Exception_Handlers): Unconditionally add extra block wrap
        even if restriction is set (makes life easier in Check_Returns)
        (Expand_Local_Exception_Handlers): Follow renamed entity chain when
        checking exception identities.
        (Expand_Local_Exception_Handlers): Do not optimize when all others case
        (Expand_Local_Exception_Handlers): Set Exception_Junk flag on generated
        block for handler (used by Check_Returns)
        (Expand_Local_Exception_Handlers): Local_Raise now takes an address
        (Expand_N_Handled_Sequence_Of_Statements): Properly handle -gnatd.x to
        remove all exception handlers when optimizing local raise statements.
        (Find_Local_Handler): Use Get_Renamed_Entity
        (Expand_N_Handled_Sequence_Of_Statements): If the handled sequence is
        marked analyzed after expanding exception handlers, do not generate
        redundant cleanup actions, because they have been constructed already.

2007-06-06  Thomas Quinot  <quinot@adacore.com>

        * a-finali.ads (Ada.Finalization): Add missing pragma Remote_Types. The
        presence of this categorization pragma is mandated by the language.
        (Limited_Controlled): Add missing pragma Preelaborable_Initialization
        for this type.

2007-06-06  Vincent Celier  <celier@adacore.com>
            Robert Dewar  <dewar@adacore.com>

        * bcheck.adb, binde.adb, binderr.adb, binderr.ads, butil.adb, 
        butil.ads, erroutc.adb, erroutc.ads, errutil.adb, errutil.ads, 
        err_vars.ads, exp_tss.adb, exp_tss.ads, fmap.adb, fmap.ads, 
        fname.adb, fname.ads, fname-sf.adb, fname-uf.adb, fname-uf.ads, 
        lib-sort.adb, lib-util.adb, lib-util.ads, lib-xref.adb, makeutl.ads, 
        makeutl.adb, nmake.adt, osint.adb, osint.ads, osint-b.adb, 
        par-load.adb, prj-attr.adb, prj-dect.adb, prj-err.adb, prj-makr.adb, 
        prj-part.adb, prj-pp.adb, prj-proc.adb, prj-tree.adb, prj-tree.ads, 
        prj-util.adb, prj-util.ads, scans.adb, scans.ads, sem_ch2.adb, 
        sinput-c.adb, styleg-c.adb, tempdir.adb, tempdir.ads, uname.adb, 
        uname.ads, atree.h, atree.ads, atree.adb, ali-util.ads, ali-util.adb,
        ali.ads, ali.adb: 
        Move Name_Id, File_Name_Type and Unit_Name_Type from package Types to
        package Namet. Make File_Name_Type and Unit_Name_Type types derived from
        Mame_Id. Add new type Path_Name_Type, also derived from Name_Id.
        Use variables of types File_Name_Type and Unit_Name_Type in error
        messages.
        (Get_Name): Add parameter Ignore_Special, and set it reading file name
        (New_Copy): When debugging the compiler, call New_Node_Debugging_Output
        here.
        Define flags Flag217-Flag230 with associated subprograms
        (Flag_Word5): New record type.
        (Flag_Word5_Ptr): New access type.
        (To_Flag_Word5): New unchecked conversion.
        (To_Flag_Word5_Ptr): Likewise.
        (Flag216): New function.
        (Set_Flag216): New procedure.

2007-06-06  Arnaud Charlet  <charlet@adacore.com>

        * a-stzunb.adb, a-stwiun.adb, a-strunb.adb: (Insert): Use 'Length
        instead of 'Size.

        * a-stwifi.ads, a-stzfix.ads: Minor reformatting

2007-06-06  Javier Miranda  <miranda@adacore.com>

        * a-tags.ads, a-tags.adb (Tag_Size): This constant is now internal to
        the package.
        (Object_Specific_Data_Array): This is now internal to the package.
        (Object_Specific_Data): This is now internal to the package.
        (Select_Specific_Data_Element): This is now internal to the package.
        (Select_Specific_Data_Array): This is now internal to the package.
        (Select_Specific_Data): This is now internal to the package.
        (Offset_To_Top_Function_Ptr): This is now public.
        (To_Offset_To_Top_Function_Ptr): Removed.
        (Storage_Offset_Ptr,To_Storage_Offset_Ptr): These declarations are now
         local to subprogram Offset_To_Top.
        (Predefined_DT): Removed.
        (Typeinfo_Ptr): Removed.
        (OSD): This function is now internal to this package.
        (SSD): This function is now internal to this package.
        (DT): New function that displaces the pointer to the table of primitives
         to get access to the enclosing wrapper record.
        (IW_Membership): Code cleanup.
        (Offset_To_Top): Code cleanup.
        (Predefined_DT): Removed.
        (Register_Interface_Tag): Removed.
        (Set_Interface_Table): Removed.
        (Set_Offset_Index): Removed.
        (Set_Offset_To_Top): Code cleanup.
        (Set_OSD): Removed.
        (Set_Signature): Removed.
        (Set_SSD): Removed.
        (Set_Tagged_Kind): Removed.
        (Typeinfo_Ptr): Removed.
        (TSD): Removed.
        (Displace): Add missing check on null actual.

        * exp_disp.ads, exp_disp.adb
        (Select_Expansion_Utilities): Removed.
        (Build_Common_Dispatching_Select_Statements): Moved to exp_atags.
        (Expand_Dispatching_Call): Update calls to Get_Prim_Op_Address because
        the interface requires a new parameter.
        (Make_Disp_Asynchronous_Select_Spec, Make_Disp_Conditional_Select_Spec,
        Make_Disp_Get_Prim_Op_Kind_Spec, Make_Disp_Timed_Select_Spec): Replace
        calls to subprograms Build_T, Build_S, etc. by the corresponding code.
        Done to remove package Select_Expansion_Utilities.
        (Make_DT): New implementation for statically allocated dispatch tables.
        (Make_Secondary_DT): Moved to the scope of Make_DT.
        (Register_Primitive): Code cleanup plus incoporate the use of the new
        function DT_Address_Attribute.
        (Expand_Interface_Thunk): The profile of this subprogram has been
        changed to return the Thunk_Id and the corresponding code.
        (Fill_DT_Entry): Removed. Its functionality is now provided by
        subprogram Register_Primitive.
        (Fill_Secondary_DT_Entry): Removed. Its functionality is now provided by
        subprogram Register_Primitive.
        (Register_Primitive): New subprogram that incorporates the previous
        functionalities of Fill_DT_Entry and Fill_Secondary_DT_Entry.
        (Build_Common_Dispatching_Select_Statements): Remove formal Typ. This
        was only required to call Make_DT_Access_Action, which is now removed.
        (Ada_Actions): Removed
        (Action_Is_Proc): Removed
        (Action_Nb_Arg): Removed
        Replace all the calls to Make_DT_Access_Action by direct calls to
        Make_Procedure_Call_Statement or Make_Function_Call.
        (Set_DTC_Entity_Value): New subprogram.
        (Set_All_DT_Position): Add call to new subprogram Set_DTC_Entity_Value.
        (Expand_Interface_Thunk): Add missing support for primitives that are
        functions with a controlling result (case in which there is no need
        to generate the thunk).

        * exp_atag.ads, exp_atag.adb
        (Build_DT): New subprogram that displaces the pointer to reference the
        base of the wrapper record.
        (Build_Typeinfo_Offset): Removed.
        (RTE_Tag_Node): Removed.
        (Build_Common_Dispatching_Select_Statements): Moved here from exp_disp
        (Build_Get_RC_Offset): Removed.
        (Build_Inherit_Predefined_Prims): Removed.
        (Build_Inherit_TSD: Removed.
        (Build_New_TSD): Removed.
        (Build_Set_External_Tag): Removed.
        (Build_Set_Predefined_Prim_Op_Address): Add documentation.
        (Build_Set_Prim_Op_Address): Add documentation.
        (Build_Set_TSD): Removed.

        * rtsfind.ads, rtsfind.adb
        (Load_Fail): If load fails and we are not in configurable run-time
        mode, then raise Unrecoverable_Error.
        (Text_IO_Kludge): Generate an error message if a run-time library is
        not available in a given run-time (ie. zfp run-time).
        (RTE_Record_Component): Add code to check that the component we search
        for is not found in two records in the given run-time package.
        (RE_DT_Offset_To_Top_Size, RE_DT_Predef_Prims_Size): Removed
        (RE_DT_Predef_Prims_Offset): New entity
        (RE_Static_Offset_To_Top): New entity
        (RE_HT_Link): New entity.
        (System_Address_Image): Addition of this run-time package.
        (RE_Address_Image): New entity.
        (RE_Abstract_Interface): Removed.
        (RE_Default_Prim_Op_Count): Removed.
        (RE_DT_Entry_Size): Removed.
        (RE_DT_Min_Prologue_Size): Removed.
        (RE_DT_Prologue_Size): Removed.
        (RE_Ifaces_Table_Ptr): Removed.
        (RE_Interface_Data_Ptr): Removed.
        (RE_Type_Specific_Data): Removed.
        (RE_Primary_DT): Removed.
        (RE_Register_Interface_Tag): Removed.
        (RE_Set_Offset_Index): Removed.
        (RE_Set_OSD): Removed.
        (RE_Set_SSD): Removed.
        (RE_Set_Signature): Removed.
        (RE_Set_Tagged_Kind): Removed.
        (RE_Address_Array): New entity.
        (RE_DT): New entity.
        (RE_Iface_Tag): New entity.
        (RE_Interfaces_Table): New entity.
        (RE_No_Dispatch_Table): New entity.
        (RE_NDT_Prims_Ptr): New entity.
        (RE_NDT_TSD): New entity.
        (RE_Num_Prims): New entity.
        (RE_Offset_To_Top_Function_Ptr): New entity.
        (RE_OSD_Table): New entity.
        (RE_OSD_Num_Prims): New entity.
        (RE_Predef_Prims): New entity
        (RE_Predef_Prims_Table_Ptr): New entity.
        (RE_Primary_DT): New entity.
        (RE_Signature): New entity.
        (RE_SSD): New entity.
        (RE_TSD): New entity.
        (RE_Type_Specific_Data): New entity.
        (RE_Tag_Kind): New entity.

2007-06-06  Thomas Quinot  <quinot@adacore.com>

        * a-textio.ads, a-textio.adb (Write): Add explicit size clause for the
        C imported variable.
        (Skip_Line): Do not reset Before_LM_PM immediately when Before_LM is set
        on entry.

2007-06-06  Robert Dewar  <dewar@adacore.com>

        * a-tienio.adb (Get): Adjust buffer size to accomodate one extra
        character

2007-06-06  Vincent Celier  <celier@adacore.com>

        * a-tifiio.adb (Put, internal): For negative numbers, check that there
        is room for at least one digit and the minus sign.
        (Put.Put_Character): Never put a character outside of the range of
        string To.

2007-06-06  Olivier Hainque  <hainque@adacore.com>
            Eric Botcazou  <ebotcazou@adacore.com>

        * utils2.c (build_allocator): Provide the extra arguments to
        make_aligning_type for super-aligned objects allocated from the default
        pool. Leave enough room for a pointer before the aligning field, and
        store the system's allocator return value there.
        (build_call_alloc_dealloc): When releasing a super-aligned object,
        retrieve the system's allocator return value from where build_allocator
        has stored it, just ahead of the adjusted address we are passed.
        (build_call_raise): Handle properly the gene