Subversion Repositories openrisc

2004-12-30  Sohail Somani  

        PR ada/19128

        * trans.c (gnat_to_gnu): Fix typo: Use correct return variable.

2004-12-23  Eric Botcazou  

        * trans.c (Attribute_to_gnu): Adjust call to get_inner_reference.

        * utils2.c (build_unary_op): Likewise.

2004-12-22  Richard Kenner  

        * trans.c (mark_visited): Set TYPE_SIZES_GIMPLIFIED.

2004-12-19  Richard Henderson  

        * trans.c (gigi): Update gimplify_body call.

2004-12-09  Nathan Sidwell  

        * decl.c (gnat_substitute_in_type): Remove SET_TYPE case.

2004-12-07  Ed Falis  

        * s-intman-vxworks.adb (Notify_Exception): removed useless check for

        current task being suspended.

        * init.c (__gnat_clear_exception): added to reset VxWorks exception

        count.

        (__gnat_map_signal): removed test for current task being suspended.

2004-12-07  Gary Dismukes  

        * a-exexpr.adb (Others_Value, All_Others_Value): Change initial values

        from 16#BEEF# to 16#7FFF# to avoid exceeding Integer'Last on 16-bit

        targets (such as AAMP).

2004-12-07  Ed Schonberg  

        * atree.adb (Visit_Itype): Create a new name for the generated itype,

        because the back-end may otherwise treat it as a redefinition of the

        old symbol.

2004-12-07  Eric Botcazou  

        * back_end.adb (Scan_Back_End_Switches): Accept --param.

        * lang-specs.h: Accept --param.

2004-12-07  Vincent Celier  

        * make.adb (Check_Mains, Switches_Of): Adapt to name changes in

        package Prj (Current_Spec_Suffix => Ada_Spec_Suffix,

        Current_Body_Suffix => Ada_Body_Suffix).

        Take into account Externally_Built attribute.

        * clean.adb (In_Extension_Chain): Always return False when one of the

        parameter is No_Project.

        (Clean_Project): Adapt to changes in package Prj (Lang_Ada =>

        Ada_Language_Index).

        (Gnatclean): Adapt to change in package Prj.Pars (no parameter

        Process_Languages for procedure Parse).

        * gnatcmd.adb (Carg_Switches): New table.

        (GNATCmd): Put all switches following -cargs in the Carg_Switches table.

        Adapt to name changes in package Prj (Current_Spec_Suffix =>

        Ada_Spec_Suffix, Current_Body_Suffix => Ada_Body_Suffix).

        * mlib-prj.adb: Adapt to changes in packages Prj and Prj.Com: type

        Header_Num and function Hash are now declared in package Prj,

        not Prj.Com.

        * prj.adb (Suffix_Of): New function.

        (Set (Suffix)): New procedure.

        (Hash): One function moved from Prj.Com

        (Is_Present, Language_Processing_Data_Of): New functions

        (Set): Two new procedures

        (Add_Language_Name, Display_Language_Name): New procedures

        * prj.ads: (Suffix_Of): New function

        (Set (Suffix)): New procedure

        Add several types and tables for multi-language support.

        (Header_Num): Type moved from Prj.Com

        (Hash): Two functions moved from Prj.Com

        (Is_Present, Language_Processing_Data_Of): New functions

        (Set): Two new procedures

        (Add_Language_Name, Display_Language_Name): New procedures

        (Naming): Component name changes:

        Current_Spec_Suffix => Ada_Spec_Suffix,

        Current_Body_Suffix => Ada_Body_Suffix. Add new components:

        Impl_Suffixes, Supp_Suffixes.

        (Project_Data): New components: Externally_Built, Supp_Languages,

        First_Language_Processing, Supp_Language_Processing, Default_Linker,

        Default_Linker_Path.

        * prj-attr.adb: Add new attributes Ada_Roots and Externally_Built and

        new package Language_Processing with its attributes (Compiler_Driver,

        Compiler_Kind, Dependency_Option, Compute_Dependency, Include_Option,

        Binder_Driver, Default_Linker).

        * prj-com.ads, prj-com.adb (Hash): Function moved to package Prj.

        (Header_Num): Type moved to package Prj

        * prj-env.adb: Adapt to name changes in package Prj

        (Current_Spec_Suffix => Ada_Spec_Suffix,

        Current_Body_Suffix => Ada_Body_Suffix).

        * prj-ext.adb: Add the default project dir (/log/gnat) by

        default to the project path, except the "-" is one of the directories

        in env var ADA_PROJECT_PATH.

        (Current_Project_Path): Global variable, replacing Project_Path

        that was in the body of Prj.Part.

        (Project_Path): New function

        (Set_Project_Path): New procedure

        Initialize Current_Project_Path during elaboration of the package

        Remove dependency on Prj.Com, no longer needed

        * prj-ext.ads (Project_Path): New function

        (Set_Project_Path): New procedure

        * prj-nmsc.adb (Body_Suffix_Of): New function. Returns . when no

        suffix is defined for language .

        (Find_Sources, Record_Other_Sources): Use Body_Suffix_Of, instead of

        accessing directly the components of Naming.

        (Look_For_Sources): Use Set (Suffix) to set the suffix of a language.

        Reorganise of this package.

        Break procedure Check in several procedures.

        * prj-nmsc.ads: Replace all procedures (Ada_Check,

        Other_Languages_Check and Language_Independent_Check) with a single

        procedure Check.

        * prj-pars.ads, prj-pars.adb (Parse): Remove parameter

        Process_Languages, no longer needed.

        * prj-part.adb (Project_Path): Move to the body of Prj.Ext as

        Current_Project_Path.

        Remove elaboration code, moved to the body of Prj.Ext

        Use new function Prj.Ext.Project_Path instead of old variable

        Project_Path.

        (Post_Parse_Context_Clause): Get Resolved_Path as a case-sensitive path.

        When comparing with project paths on the stack, first put the resolved

        path in canonical case.

        (Parse_Single_Project): Set the path name of the project file in the

        tree to the normalized path.

        * prj-proc.ads, prj-proc.adb (Check, Recursive_Check, Process): Remove

        parameter Process_Languages, no longer needed.

        (Recursive_Check): Call Prj.Nmsc.Check, instead of Ada_Check and

        Other_Languages_Check.

        * prj-tree.ads (Project_Name_And_Node): New component Canonical_Path

        to store the resolved canonical path of the project file.

        Remove dependency to Prj.Com, no longer needed

        * prj-util.adb: Adapt to name changes in package Prj

        (Current_Spec_Suffix => Ada_Spec_Suffix, Current_Body_Suffix =>

        Ada_Body_Suffix).

        * snames.ads, snames.adb: New standard names: Ada_Roots, Binder_Driver,

        Compiler_Driver, Compiler_Kind, Compute_Dependency, Default_Linker,

        Externally_Built, Include_Option, Language_Processing.

        * makegpr.adb: Numerous changes due to changes in packages

        Prj and Prj.Nmsc.

        * gnatls.adb: Add the default project dir (/log/gnat) by

        default to the project path, except whe "-" is one of the directories

        in env var ADA_PROJECT_PATH.

        (Gnatls): In verbose mode, add the new section "Project Search Path:"

2004-12-07  Robert Dewar  

        * debug.adb: Document that -gnatdA automatically sets -gnatR3m

        * gnat1drv.adb (Gnat1drv): If debug flag A set, then automatically

        set -gnatR3m mode.

        * repinfo.adb (List_Rep_Info): Remove special handling of -gnatdA

        flag. No longer needed now that we handle this in gnat1drv.adb.

        * repinfo.ads: Minor reformatting

2004-12-07  Richard Kenner  

            Olivier Hainque  

            Eric Botcazou  

        * decl.c (maybe_pad_type): Use TYPE_SIZE_UNIT of the input type for

        TYPE_SIZE_UNIT of result type if SIZE is not specified.

        (make_aligning_type): Pass -1 as ADDRESSABLE to prevent the creation

        of a bitfield, which we know is useless and causes trouble because of

        alignment implications.

        * utils.c (create_var_decl): Set DECL_COMMON again on targets without

        BSS sections.

        (process_attributes): Clear DECL_COMMON again when a section attribute

        is present.

        (finish_record_type): Independently track if RECORD_TYPE has SIZE and/or

        SIZE_UNIT already set and use to compute final SIZE and SIZE_UNIT.

        (create_field_decl): Special case ADDRESSABLE negative to mean

        "no bitfield creation", to be used by make_aligning_type. Don't

        restrict bitfield creation to !ADDRESSABLE any more, as some BLKmode

        fields claimed addressable still have to be bitfields. Use

        value_factor_p instead of a raw binop construction to check for the

        position's alignment.

2004-12-07  Geert Bosch  

        * eval_fat.adb: Revert previous change.

2004-12-07  Thomas Quinot  

            Ed Schonberg  

        * exp_ch4.adb (Expand_N_Indexed_Component): For an indexed component

        with an implicit dereference as its prefix, use

        Insert_Explicit_Dereference instead of merely rewriting the prefix into

        an explicit dereference. This ensures that a reference to the original

        prefix is generated, if appropriate.

        * sem_util.adb (Insert_Explicit_Dereference): When an implicit

        dereference is rewritten to an explicit one, generate a reference to

        the entity denoted by its prefix using the original prefix node, so

        the dereference can be properly recorded as a read of the denoted

        access value, if appropriate.

        * sem_warn.adb (Output_Unreferenced_Messages): Do not abstain from

        emitting 'assigned but never read' warning on a variable on the basis

        that it has an access type.

        (Check_References): Emit unreferenced warning when the scope is a

        subprogram body.

2004-12-07  Robert Dewar  

            Ed Schonberg  

        * exp_ch6.adb (Expand_Call): Add comment on handling of back end

        intrinsic

        * exp_intr.adb (Expand_Intrinsic_Call): Ignore unrecognized intrinsic,

        leaving call unchanged.

        This deals with the case where the pragma Import specified

        an external name, to be handled by the back end.

        * sem_prag.adb (Process_Import_Or_Interface): Do not check validity of

        subprogram which is Imported with convention Intrinsic if an

        External_Name argument is specified.

        (Process_Import_Or_Interface): Properly diagnose link name argument.

        (Inlining_Not_Possible): New name for Cannot_Inline, to avoid confusion

        with Sem_Ch6.Cannot_Inline.

        (Process_Inline): Provide separate warning for inapplicable inline

        pragma.

        (Cannot_Inline): Reject subprograms that have an at_end handler, so that

        treatment is uniform on different targets.

2004-12-07  Ed Schonberg  

        * exp_ch7.adb (Expand_Cleanup_Actions): If statement sequence of

        construct is rewritten, preserve end label to permit source navigation.

2004-12-07  Thomas Quinot  

        * exp_dist.adb (Specific_Build_General_Calling_Stubs,

        Specific_Build_Stub_Target): New subprograms.

        (Build_Subprogram_Calling_Stubs): Make this procedure independent from

        the PCS implementation used, using the above PCS-customized subprograms.

        Minor reformatting.

        (PolyORB_Support.Helpers): New subunit containing supporting subprograms

        for generation of DSA code targeted to the PolyORB PCS.

        (Add_Stub_Type): Rewrite to isolate the parts that are specific to one

        implementation of the partition communication subsystem in ancillary

        subprograms.

        (Specific_Build_Stub_Type, GARLIC_Support.Build_Stub_Type,

        PolyORB_Support.Build_Stub_Type): New subrograms containing the

        PCS-specific part of Add_Stub_Type.

        (Insert_Partition_Check): Use runtime library function to perform

        E.4(19) check.

        * rtsfind.ads: New entity System.PolyORB_Interface.Make_Ref

        (RE_Same_Partition): New entity, from s-parint.

        * s-parint.ads, s-parint.adb (Same_Partition): New subprogram.

2004-12-07  Gary Dismukes  

        * gnatmem.adb, gnatname.adb, gnatsym.adb, gprcmd.adb, vms_conv.adb:

        Output the copyright message on a separate line from the version

        message.

2004-12-07  Joel Brobecker  

        * g-os_lib.adb (Spawn): Explicitly initialize Saved_Error to avoid a

        compile-time warning.

2004-12-07  Robert Dewar  

        * g-regpat.adb: (Match): Change a misuse of or to or else

2004-12-07  Ed Schonberg  

        * lib-xref.adb:

        (Generate_Reference): Handle properly a reference to an entry formal,

         when an accept statement has a pragma Unreferenced for it.

        * sem_ch9.adb (Analyze_Accept_Statement): Reset the Is_Referenced flag

        and the Has_Pragma_Unreferenced flag for each formal before analyzing

        the body, to ensure that warnings are properly emitted for each accept

        statement of a given task entry.

2004-12-07  Vasiliy Fofanov  

        * Makefile.in: Add support for foreign threads on VMS.

2004-12-07  Richard Kenner  

        * misc.c (gnat_types_compatible_p, LANG_HOOKS_TYPES_COMPATIBLE_P):

        Remove.

        (LANG_HOOKS_REDUCE_BIT_FIELD_OPERATIONS): New.

        * adaint.h: (__gnat_dup, __gnat_dup2): Add missing decls.

        * trans.c (Exception_Handler_to_gnu_sjlj): Also handle renamed

        exception.

        (call_to_gnu): Convert to actual DECL_ARG_TYPE, not variant of it.

2004-12-07  Robert Dewar  

        * nlists.adb (Prepend_Debug): Remove parameters and nest within

        Prepend.

        (Remove_Next_Debug): Same fix

        * nlists.ads: Correct bad comments for Prev and Prev_Non_Pragma (we do

        maintain back pointers now, though we did not used to, and comments

        were out of date).

        (Prepend): Remove pragma Inline.

        (Remove_Next): Same cleanup

2004-12-07  Thomas Quinot  

        * sem_ch4.adb (Process_Implicit_Dereference_Prefix): New subprogram

        used to record an implicit dereference as a read operation on its

        prefix when operating under -gnatc. Necessary to avoid spurious

        'variable assigned but never read' warnings in that mode.

        (Process_Indexed_Component, Analyze_Selected_Component): When the prefix

        is a non-overloaded implicit dereference, call the above subprogram to

        ensure proper recording of references.

2004-12-07  Gary Dismukes  

        * sem_ch5.adb (One_Bound): Remove call to Resolve, as the bound needs

        to be resolved later as part of Analyze_Iteration_Scheme's call to

        Make_Index.

2004-12-07  Ed Schonberg  

        * sem_ch8.adb (Find_Type): If node is a reference to 'Base and the

        prefix is not a scalar type, place error message on prefix, not on

        type entity.

2004-12-07  Bernard Banner  

        * vxaddr2line.adb: Add support for x86 vxworks

2004-12-07  Thomas Quinot  

        * g-socket.ads (Get_Host_By_Address, Get_Host_By_Name): Clarify

        documentation of the behaviour of these functions when passed an IP

        address that has no record in the system hosts database and no reverse

        record in the DNS.

        * cstand.adb, a-tags.ads: Fix typos in comment.

2004-12-07  Robert Dewar  

        * exp_ch2.adb, exp_ch3.adb, exp_ch5.adb, exp_ch8.adb,

        exp_ch9.adb, exp_pakd.adb, interfac.ads, sem_ch6.adb,

        sem_ch7.adb, sem_ch10.adb, sem_ch13.adb, sem_ch3.adb,

        s-poosiz.ads: Minor reformatting

        * make.adb: Minor reformatting

        Add some ??? comments asking for more comments

        * s-poosiz.adb: Minor reformatting

        Add comments on alignment requirement

        * sinfo.ads: Remove obsolete comment and fix typo.

2004-12-07  Vincent Celier  

            Sergey Rybin  

        * gnat_ugn.texi: Update the section "The GNAT Driver and Project

        Files" with the new tool and package names.

        Reformatting to suppress most of the warnings for line too long

        Document the new section "Project Search Path:" in the output of

        gnatls -v.

        Add gnatmetric section

2004-12-07  Vincent Celier  

        * vms_data.ads: Correct GNAT METRIC qualifiers: -I-, -Idir and

        -gnatec= are not direct switches of gnatmetric. Changed -eis to -eps

        and -eit to -ept. Added qualifier

        /ELEMENT_METRICS=CONSTRUCT_NESTING_MAX for new switch -ec.

2004-11-27  Andreas Schwab  

        * Make-lang.in (ada/trans.o): Depend on $(EXPR_H).

2004-11-25  Arnaud Charlet  

        * g-socthi-mingw.ads, g-socthi-vms.ads: Remove C_Read and C_Write from

        internal implementation unit GNAT.Sockets.Thin,

        as their usage for sockets is non-portable (using the read and write

        functions from the system runtime library is fine on UNIX but won't

        work under Windows).

        * mingw32.h: Update copyright notice.

2004-11-25  Arnaud Charlet  

        * ada-tree.h: Minor reformatting of previous change to avoid lines

        longer than 79 characters.

2004-11-25  Olivier Hainque  

        * tb-gcc.c: GCC infrastructure based implementation of

        __gnat_backtrace.

2004-11-24  Steven Bosscher  

        * misc.c (gnat_post_options): Don't clear

        flag_inline_functions.

2004-11-22  Andrew Pinski  

        PR ada/17986

        * ada-tree.h (lang_tree_node): Set chain_next to be the chain of the

        tree.

2004-11-21  Andreas Jaeger  

        * stylesw.adb: Change Style_Check_Subprogram_Order to

        Style_Check_Order_Subprograms.

2004-11-18  Arnaud Charlet  

        * adaint.h, adaint.c

        (__gnat_portable_spawn): Fix cast of spawnvp third parameter

        to avoid warnings.

        Add also a cast to kill another warning.

        (win32_no_block_spawn): Initialize CreateProcess's dwCreationFlags

        parameter with the priority class of the parent process instead of

        always using the NORMAL_PRIORITY_CLASS.

        (__gnat_dup): New function.

        (__gnat_dup2): New function.

        (__gnat_is_symbolic_link): Enable the effective body of this

        function when __APPLE__ is defined.

        * g-os_lib.ads, g-os_lib.adb (Spawn): Two new procedures.

        Update comments.

2004-11-18  Olivier Hainque  

        * a-exexpr.adb (Others_Value, All_Others_Value): New variables, the

        address of which may be used to represent "others" and "all others"

        choices in exception tables, instead of the current harcoded

        (void *)0 and (void *)1.

        (Setup_Exception): Do nothing in the GNAT SJLJ case.

        * gigi.h (others_decl, all_others_decl): New decls representing the

        new Others_Value and All_Others_Value objects.

        (struct attrib): Rename "arg" component as "args", since GCC expects a

        list of arguments in there.

        * raise.c (GNAT_OTHERS, GNAT_ALL_OTHERS): Are now the address of the

        corresponding objects exported by a-exexpr, instead of hardcoded dummy

        addresses.

        * trans.c (Exception_Handler_to_gnu_zcx): Use the address of

        others_decl and all_others_decl instead of hardcoded dummy addresses

        to represent "others" and "all others" choices, which is cleaner and

        more flexible with respect to the possible eh pointer encoding policies.

        * utils.c (init_gigi_decls): Initialize others_decl and all_others_decl.

        (process_attributes): Account for the naming change of the "args"

        attribute list entry component.

        * decl.c (build_attr_list): Rename into prepend_attributes to allow

        cumulating attributes for different entities into a single list.

        (gnat_to_gnu_entity): Use prepend_attributes to build the list of

        attributes for the current entity and propagate first subtype

        attributes to other subtypes.

        : Attribute arguments are attr->args and not

        attr->arg any more.

        (build_attr_list): Ditto. Make attr->args a TREE_LIST when there is an

        argument provided, as this is what GCC expects. Use NULL_TREE instead

        of 0 for trees.

2004-11-18  Robert Dewar  

        * a-stmaco.ads, exp_util.ads, exp_util.adb, i-cpp.ads, i-cpp.adb:

        Minor reformatting througout (including new function specs)

        Add ??? comments asking for clarification.

2004-11-18  Thomas Quinot  

        * butil.ads, butil.adb, bindgen.adb (Get_Unit_Name_String): Remove

        incomplete duplicate implementation of this subprogram from butil.

2004-11-18  Thomas Quinot  

        * exp_dist.adb (Build_RPC_Receiver_Body): New subprogram. This

        procedures factors the common processing for building an RPC receiver

        for an RCI package or an RACW type.

        Stylistic cleanup: change '/= Empty' to 'Present ()'; move body of

        Build_Remote_Subprogram_Proxy_Type into proper alphabetical order.

        (Get_PCS_Name): New subprogram. Returns the name of the PCS currently

        in use.

        (Specific_Add_RACW_Features): New subprogram. PCS-specific part of

        Add_RACW_Features.

        (Specific_Add_RAST_Features): New subprogram. PCS-specific part of

        Add_RAST_Features.

        (Assign_Subprogram_Identifier): New subprogram. Provision for assigning

        distribution subprogram identifiers that are either subprogram numbers

        or strings.

        (Get_Subprogram_Ids): New subprogram. Retrieve both the numeric and

        string distribution identifiers assigned to a given subprogram.

        (Get_Subprogram_Id): Reimplement in terms of Get_Subprogram_Ids.

        (Add_RAS_Dereference_TSS): Add comments.

        (Build_General_Calling_Stubs): Note that the RACW_Type formal parameter

        is not referenced yet because it will be used by the PolyORB DSA

        implementation.

        (Insert_Partition_Check): Remove fossile code.

        (First_RCI_Subprogram_Id): Document this constant.

        (Add_RAS_Access_TSS): Correct the setting of the Etype of the

        RAS_Access TSS.

        (Get_Pkg_Name_String): Remove subprogram. Usage occurrences are

        replaced with calls to Get_Library_Unit_Name_String. Previously there

        were several instances of the same code in different locations in the

        compiler; this checkin completes the replacement of all of these

        instances with calls to a common subprogram.

        Minor reformatting.

        * sem_dist.adb: Remove comment noting that RPC receiver generation

        should be disabled for RACWs that implement RASs.

        (Process_Partition_Id): Use new subprogram Get_Library_Unit_Name_String.

        * sem_util.ads, sem_util.adb (Has_Stream): New function

        (Get_Library_Unit_Name_String): New subprogram to retrieve the fully

        qualified name of a library unit into the name buffer.

        (Note_Possible_Modification): Generate a reference only

        if the context comes from source.

        * snames.ads (PCS_Names): New subtype corresponding to names of

        supported implementations of the Partition Communication Subsystem

        (PCS) (i.e. the runtime library support modules for the distributed

        systems annex).

2004-11-18  Robert Dewar  

            Ed Schonberg  

        * einfo.ads, einfo.adb: Remove Is_Psected flag, no longer used

        (Has_Rep_Pragma): New function

        (Has_Attribute_Definition_Clause): New function

        (Record_Rep_Pragma): Moved here from sem_ch13.adb

        (Get_Rep_Pragma): Remove junk kludge for Stream_Convert pragma

        * sem_ch13.ads, sem_ch13.adb (Record_Rep_Pragma): Moved to einfo.adb

        * exp_prag.adb: (Expand_Pragma_Common_Object): New procedure

        (Expand_Pragma_Psect_Object): New procedure

        These procedures contain the revised and cleaned up processing for

        these two pragmas. This processing was formerly in Sem_Prag, but

        is more appropriately moved here. The cleanup involves making sure

        that the pragmas are properly attached to the tree, and that no

        nodes are improperly shared.

        * sem_prag.adb: Move expansion of Common_Object and Psect_Object

        pragmas to Exp_Prag, which is more appropriate.

        Attach these two pragmas to the Rep_Item chain Use Rep_Item chain to

        check for duplicates Remove use of Is_Psected flag, no longer needed.

        Use new Make_String_Literal function with string.

        * exp_attr.adb (Expand_Fpt_Attribute): The floating-point attributes

        that are functions return universal values, that have to be converted

        to the context type.

        Use new Make_String_Literal function with string.

        (Get_Stream_Convert_Pragma): New function, replaces the use of

        Get_Rep_Pragma, which had to be kludged to work in this case.

        * freeze.adb: Use new Has_Rep_Pragma function

        * exp_intr.adb, exp_ch3.adb, sem_attr.adb: Use new Make_String_Literal

        function with string.

        Use new Has_Rep_Pragma function.

        * tbuild.ads, tbuild.adb (Make_String_Literal): New function, takes

        string argument.

2004-11-18  Robert Dewar  

        * errout.ads, errout.adb: (First_Sloc): New function

        * par-ch5.adb (P_Condition): Check for redundant parens is now a style

        check (-gnatyx) instead of being included as a redundant construct

        warning.

        * sem_ch6.adb: Change name Style_Check_Subprogram_Order to

        Style_Check_Order_Subprograms.

        * style.ads, styleg.ads, styleg.adb, styleg-c.adb, stylesw.ads,

        stylesw.adb: Add Style_Check_Xtra_Parens

        * usage.adb: Add line for -gnatyx (check extra parens)

        * vms_data.ads: Add entry for STYLE_CHECKS=XTRA_PARENS => -gnatyx

2004-11-18  Ed Schonberg  

            Robert Dewar  

        * exp_ch4.adb (Expand_N_Selected_Component): If the component is the

        discriminant of a constrained subtype, analyze the copy of the

        corresponding constraint, because in some cases it may be only

        partially analyzed.

        Removes long-lived ??? comments.

        * exp_ch7.adb (Establish_Transient_Scope): Remove complex code that

        handled controlled or secondary-stack expressions within the

        iteration_scheme of a loop.

        * sem_ch5.adb (Analyze_Iteration_Scheme): Build a block to evaluate

        bounds that may contain functions calls, to prevent memory leaks when

        the bound contains a call to a function that uses the secondary stack.

        (Check_Complex_Bounds): Subsidiary of Analyze_Iteration_Scheme, to

        generate temporaries for loop bounds that might contain function calls

        that require secondary stack and/or finalization actions.

        * sem_ch4.adb (Analyze_Indexed_Component_Form): If the prefix is a

        selected component and the selector is overloadable (not just a

        function) treat as function call, Analyze_Call will disambiguate if

        necessary.

        (Analyze_Selected_Component): Do not generate an actual subtype for the

        selected component if expansion is disabled. The actual subtype is only

        needed for constraint checks.

        (Analyze_Allocator): If restriction No_Streams is set, then do

        not permit objects to be declared of a stream type, or of a

        composite type containing a stream.

        * restrict.ads: Remove the a-stream entry from Unit_Array, since

        No_Streams no longer prohibits with'ing this package.

        * sem_ch3.adb (Build_Derived_Record_Type): If the parent type has

        discriminants, but the parent base has unknown discriminants, there is

        no discriminant constraint to inherit. Such a discrepancy can arise

        when the actual for a formal type with unknown discriminants is a

        similar private type whose full view has discriminants.

        (Analyze_Object_Declaration): If restriction No_Streams is set, then

        do not permit objects to be declared of a stream type, or of a

        composite type containing a stream.

2004-11-18  Ed Schonberg  

        * exp_dbug.ads: Update documentation to reflect simpler encoding for

        protected operations.

        * exp_ch9.adb (Build_Selected_Name): Do not include "PT" suffix in

        generated name, it complicates decoding in gdb and hinders debugging

        of protected operations.

        (Build_Barrier_Function_Specification): Set the Needs_Debug_Info

        flag for the protected entry barrier function.

        (Build_Protected_Entry_Specification): Set the Needs_Debug_Info

        flag for the protected entry function.

2004-11-18  Nicolas Setton  

        * expect.c: Define __unix__ when __APPLE__ is defined.

        * Makefile.in: Inform the value of the variable GMEM_LIB in the

        Darwin-specific section.

        * lang-specs.h: Change the placement of the %1 marker.

        Works around the fact that gcc adds -fPIC by default under Darwin.

2004-11-18  Ed Schonberg  

        * exp_pakd.adb (Convert_To_PAT_Type): After replacing the original

        type of the object with the packed array type, set the Analyzed flag

        on the object if it is an entity or simple indexed component, to avoid

        spurious type errors.

2004-11-18  Gary Dismukes  

        * gnat1drv.adb, gnatbind.adb, gnatchop.adb, gnatfind.adb, gnatlink.adb,

        gnatls.adb, gnatxref.adb, gprep.adb: Output the copyright message on a

        separate line from the version message.

2004-11-18  Ed Falis  

        * init.c (__gnat_map_signal): map SIGSEGV to Storage_Error for AE653

        vthreads.

        (init_float): Eliminate initialization of floating point status for

        AE653. The instructions have no effect for vThreads.

2004-11-18  Vincent Celier  

        * make.adb (Gnatmake): Invoke gnatlink with -shared-libgcc when

        gnatbind is invoked with -shared.

2004-11-18  Jose Ruiz  

        * s-tposen.adb (Lock_Entry): Remove the code for raising Program_Error

        for Detect_Blocking which is redundant with the check done within the

        procedure Protected_Single_Entry_Call.

        (Lock_Read_Only_Entry): Remove the code for raising Program_Error for

        Detect_Blocking which is redundant with the check done within the

        procedure Protected_Single_Entry_Call.

2004-11-18  Vincent Celier  

        * makegpr.adb (Compile): Put the compiling switches (in package

        Compiler and on the command line) immediately after "-c", instead of

        at the end of the command line invocation of the compiler, when

        compiling a non-Ada file.

        (Build_Global_Archive): When there is no need to rebuild the archive,

        set Global_Archive_Exists, so that the archive is passed to the linker

        if one is needed.

2004-11-18  Robert Dewar  

            Sergey Rybin  

        * gnat_ugn.texi:

        Remove extra paren check from list of checks for redundant constructs

        Add documentation of new -gnatyx style check (check extra parens)

        Remove paragraph about gnatelim debug options.

        * gnat_rm.texi: Document that Ada.Streams now forbids creating stream

        objects rather than forbidding dependencies on the package Ada.Streams.

        * sinfo.ads: Add ??? note that we should document pragmas passed to

        back end.

        * g-expect.ads: Fix a few typos in the comments.

2004-11-09  Joseph S. Myers  

        * misc.c (gnat_handle_option): Use %< and %> for quoting in

        warning message.

2004-11-08  Rainer Orth  

        * a-numaux-x86.adb (Tan): Fix fdivp syntax.

2004-11-07  Andreas Schwab  

        * Makefile.in (install-gnatlib): Remove spurious hyphen.

2004-11-02  Andrew Pinski  

        PR ada/18228

        * Makefile.in (darwin): Set soext to .dylib.

2004-10-26  Vincent Celier  

            Thomas Quinot   

        * g-socthi-vms.adb, g-socthi-mingw.adb, g-socthi-vxworks.ads:

        (C_Writev): Change MSG_Forced_Flags to Constants.MSG_Forced_Flags as

        there is no use of GNAT.Sockets.Constants.

        Remove remaining pragma Import for C_Write

        Remove C_Read and C_Write from internal implementation unit

        GNAT.Sockets.Thin, as their usage for sockets is non-portable (using

        the read and write functions from the system runtime library is fine

        on UNIX but won't work under Windows).

        * g-socket.adb: (Abort_Selector): Use C_Send instead of C_Write.

        (Check_Selector): Use C_Recv instead of C_Read.

        Selectors are the GNAT.Sockets abstraction to perform a select()

        call on a set of descriptors. To allow abortion of an ongoing

        select operation, some data is written to a dedicated socket that

        is always monitored.

        Under Windows, the write and read library functions cannot operate

        on sockets, so we need to use send and recv instead, which is portable

        across all supported platforms.

        * g-socthi.ads: Remove C_Read and C_Write from internal implementation

        unit GNAT.Sockets.Thin, as their usage for sockets is non-portable

        (using the read and write functions from the system runtime library is

        fine on UNIX but won't work under Windows).

2004-10-26  Nicolas Setton  

        * mlib-tgt-darwin.adb: New file.

        * 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 (Archive_Indexer_Options): New

        subprogram body.

        * Makefile.in: Add support for building shared libraries under Darwin.

        (EXTRA_GNATRTL_NONTASKING_OBJS, ppc-vxworks): Add s-vxwexc.o, containing

        the low level EH init subprogram to be called from __gnat_initialize.

        * mlib-tgt.ads, mlib-tgt.adb (Archive_Indexer_Options): New subprogram,

        indicates which options to pass to the archive indexer.

        * mlib-utl.adb: Add support for calling ranlib with additional

        options. This is needed for instance under Mac OS X.

        (Ranlib_Options): New global variable, used to store the potential

        options to pass to ranlib.

        (Ar): Use Ranlib_Options when spawning ranlib.

        (Initialize): Set the value of ranlib option.

2004-10-26  Olivier Hainque  

        * s-parame-linux.adb (Minimum_Stack_Size): Adjust to return 12K

        instead of 8K, to reflect the real potential needs for stack-checking

        in the ZCX case.

2004-10-26  Pascal Obry  

        * s-parame-mingw.adb (Default_Stack_Size): Add some comments.

        * s-taprop-mingw.adb (Create_Task): Set initial stack size to 1024. On

        Windows only the initial thread stack size can be set so it is good to

        start we a low stack size.

        The OS will adjust the size as needed.

2004-10-26  Olivier Hainque  

            Nicolas Setton  

        * expect.c, adaint.c, link.c, sysdep.c (unix sections): Guard with

        "__unix__" instead of "unix".

        The latter is implicitly defined by gcc3.2 but not by gcc >= 3.4, so the

        sections were just mistakenly ignored. The former is

        implicitely defined by gcc2.8, gcc3.2 and gcc3.4.

        Update #ifdef preprocessor macro to detect the symbol __hpux__ instead

        of hpux. This prevents an unwanted definition of the symbol

        convert_addresses in adaint.o.

2004-10-26  Gary Dismukes  

        * a-exexpr.adb (Setup_Key): Change initial value to 16#DEAD#, for

        compatibility with type Unwind_Word on 16-bit targets such as AAMP.

2004-10-26  Cyrille Comar  

        * a-filico.ads, a-filico.adb: fix incorrect header.

2004-10-26  Javier Miranda  

        * a-ststio.ads: Fix typo in identifier

2004-10-26  Thomas Quinot  

        * sem_ch4.adb: Minor reformatting.

2004-10-26  Ed Schonberg  

        * checks.adb (Expr_Known_Valid): If floating-point validity checks are

        enabled, check the result of unary and binary operations when the

        expression is the right-hand side of an assignment.

2004-10-26  Vincent Celier  

        * clean.adb (Delete): Do not output warnings when in quiet output and

        not in verbose mode.

        (Force_Deletions): New Boolean flag, defaulted to False

        (Delete): Only delete a file if it is writable, and when

        Force_Deletions is True.

        (Parse_Cmd_Line): New switch -f: set Force_Deletions to True

        (Usage): Line for new switch -f

        (Clean_Directory): Use GNAT.OS_Lib.Set_Writable instead of rolling our

        own.

2004-10-26  Eric Botcazou  

        * decl.c (gnat_to_gnu_field): Use the type of the inner object for a

        JM type only if its size matches that of the wrapper.  When a size is

        prescribed and the field is not aliased, remove the wrapper of a JM

        type only if the size is not greater than that of the packed array.

        (gnat_to_gnu_entity): Change the extension of packed array wrappers

        from LJM to JM.

2004-10-26  Geert Bosch  

        * eval_fat.adb (Eps_Model,Eps_Denorm): Remove, no longer used.

        (Succ): Re-implement using Scaling, Exponent and Ceiling attributes.

        (Pred): Implement in terms of Succ.

2004-10-26  Ed Schonberg  

        * exp_aggr.adb (Safe_Component): An aggregate component that is an

        unchecked conversion is safe for in-place use if the expression of the

        conversion is safe.

        (Expand_Array_Aggregate): An aggregate that initializes an allocator may

        be expandable in place even if the aggregate does not come from source.

        (Convert_Array_Aggr_In_Allocator): New procedure to initialize the

        designated object of an allocator in place, rather than building it

        first on the stack. The previous scheme forces a full copy of the array,

        and may be altogether unsusable if the size of the array is too large

        for stack allocation.

2004-10-26  Robert Dewar  

        * exp_ch4.adb (Expand_N_Op_Eq): Make sure we expand a loop for array

        compares if the component is atomic.

        * exp_ch5.adb (Expand_Assign_Array): Make sure we expand a loop for

        array assignment if the component type is atomic.

2004-10-26  Ed Schonberg  

            Eric Botcazou  

        * exp_ch6.adb (Expand_Actuals): If the actual for an in-out parameter

        is aliased and is a by_reference type, do not pass by copy.

        (Expand_N_Function_Call) : New function to

        detect whether the call is in the right side of an assignment or

        the expression of an object declaration.  Recurse on component

        association within aggregates.

        Call it in the condition that determines whether the temporary is

        necessary for correct stack-checking.

2004-10-26  Thomas Quinot  

        * exp_dist.adb (Build_General_Calling_Stubs): New formal parameter

        RACW_Type, used in the PolyORB version.

        Rename RCI_Info to RCI_Locator, for consistency between the PolyORB