From f0e1e807272d15076f168ff4c9f837d9632a1cc3 Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Mon, 15 Oct 2007 16:00:38 +0200 Subject: [PATCH] Resync. From-SVN: r129345 --- gcc/ada/ChangeLog | 300 ++++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 300 insertions(+) diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index aee18d0..153f1d9 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,303 @@ +2007-10-15 Eric Botcazou + + * 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 + + * 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 + + * 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 + + * 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 + + * debug.adb: Document use of -gnatd.a and -gnatd.I + + * layout.adb: On OpenVMS -gnatd.a disables alignment optimization. + +2007-10-15 Javier Miranda + + * 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 + + * 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 + + * 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 + + * exp_dist.adb (Add_RACW_Primitive_Declarations_And_Bodies): Do not + attempt to generate stubs for hidden primitive operations. + +2007-10-15 Vincent Celier + + * 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 + + * 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 + Jose Ruiz + + * 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 + + * 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 + + * rtsfind.adb: (Load_RTU): Turn off style checks for Load call + +2007-10-15 Gary Dismukes + + * 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 + + * 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 + + * 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 + + * 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 + + * system-vms-ia64.ads: New file. + + * system-vms_64.ads: Minor comment fix. + +2007-10-15 Ed Schonberg + + * 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 + + * 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 + + * 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 + + * trans.c (gnat_to_gnu): Remove the padding structure more often. + This optimize assignment to over-aligned record. + +2007-10-15 Emmanuel Briot + + * 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 + Robert Dewar + + * 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 + + * 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 + + * 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 * misc.c (LANG_HOOKS_PUSHDECL): Replaced lhd_return_tree with -- 2.7.4