diff options
Diffstat (limited to 'gcc/ada/ChangeLog')
| -rw-r--r-- | gcc/ada/ChangeLog | 386 |
1 files changed, 250 insertions, 136 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 2c9d3fd77ec..3791b448461 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,117 @@ +2002-03-07 Geert Bosch <bosch@gnat.com> + + * 41intnam.ads, 42intnam.ads, 4aintnam.ads, 4cintnam.ads, + 4dintnam.ads, 4gintnam.ads, 4hintnam.ads, 4lintnam.ads, + 4mintnam.ads, 4pintnam.ads, 4rintnam.ads, 4sintnam.ads, + 4uintnam.ads, 4vcalend.adb, 4zintnam.ads, 52system.ads, + 5amastop.adb, 5asystem.ads, 5ataprop.adb, 5atpopsp.adb, + 5avxwork.ads, 5bosinte.adb, 5bsystem.ads, 5esystem.ads, + 5fsystem.ads, 5ftaprop.adb, 5ginterr.adb, 5gmastop.adb, + 5gsystem.ads, 5gtaprop.adb, 5gtasinf.adb, 5gtasinf.ads, + 5hparame.ads, 5hsystem.ads, 5htaprop.adb, 5htraceb.adb, + 5itaprop.adb, 5ksystem.ads, 5kvxwork.ads, 5lintman.adb, + 5lsystem.ads, 5mvxwork.ads, 5ninmaop.adb, 5nosinte.ads, + 5ntaprop.adb, 5ointerr.adb, 5omastop.adb, 5oosinte.adb, + 5osystem.ads, 5otaprop.adb, 5otaspri.ads, 5pvxwork.ads, + 5qtaprop.adb, 5sintman.adb, 5ssystem.ads, 5staprop.adb, + 5stpopse.adb, 5svxwork.ads, 5tosinte.ads, 5uintman.adb, + 5vasthan.adb, 5vinmaop.adb, 5vinterr.adb, 5vintman.adb, + 5vmastop.adb, 5vparame.ads, 5vsystem.ads, 5vtaprop.adb, + 5vtpopde.adb, 5wmemory.adb, 5wsystem.ads, 5wtaprop.adb, + 5ysystem.ads, 5zinterr.adb, 5zintman.adb, 5zosinte.adb, + 5zosinte.ads, 5zsystem.ads, 5ztaprop.adb, 6vcpp.adb, 6vcstrea.adb, + 7sintman.adb, 7staprop.adb, 7stpopsp.adb, 9drpc.adb, + Make-lang.in, Makefile.in, a-caldel.adb, a-comlin.ads, + a-dynpri.adb, a-except.adb, a-except.ads, a-finali.adb, + a-ncelfu.ads, a-reatim.adb, a-retide.adb, a-stream.ads, + a-ststio.adb, a-ststio.ads, a-stwifi.adb, a-tags.adb, a-tasatt.adb, + a-textio.adb, a-tideau.adb, a-tiflau.adb, a-tigeau.adb, + a-tigeau.ads, a-tiinau.adb, a-timoau.adb, a-witeio.adb, + a-wtdeau.adb, a-wtenau.adb, a-wtflau.adb, a-wtgeau.adb, + a-wtgeau.ads, a-wtinau.adb, a-wtmoau.adb, ada-tree.def, ada-tree.h, + adaint.c, adaint.h, ali-util.adb, ali.adb, ali.ads, atree.adb, + atree.ads, atree.h, back_end.adb, bcheck.adb, bindgen.adb, + bindusg.adb, checks.adb, comperr.adb, config-lang.in, csets.adb, + csets.ads, cstand.adb, cstreams.c, debug.adb, debug.ads, decl.c, + einfo.adb, einfo.ads, einfo.h, elists.h, errout.adb, errout.ads, + eval_fat.adb, exp_aggr.adb, exp_attr.adb, exp_ch11.adb, + exp_ch12.adb, exp_ch13.adb, exp_ch2.adb, exp_ch3.adb, exp_ch3.ads, + exp_ch4.adb, exp_ch5.adb, exp_ch6.adb, exp_ch7.adb, exp_ch7.ads, + exp_ch9.adb, exp_ch9.ads, exp_dbug.adb, exp_dbug.ads, exp_disp.ads, + exp_dist.adb, exp_fixd.adb, exp_intr.adb, exp_pakd.adb, + exp_prag.adb, exp_strm.adb, exp_util.adb, exp_util.ads, + expander.adb, expect.c, fe.h, fmap.adb, fmap.ads, fname-uf.adb, + freeze.adb, frontend.adb, g-awk.adb, g-cgideb.adb, g-comlin.adb, + g-comlin.ads, g-debpoo.adb, g-dirope.adb, g-dirope.ads, + g-dyntab.adb, g-expect.adb, g-expect.ads, g-io.ads, g-io_aux.adb, + g-io_aux.ads, g-locfil.adb, g-locfil.ads, g-os_lib.adb, + g-os_lib.ads, g-regexp.adb, g-regpat.adb, g-socket.adb, + g-socket.ads, g-spipat.adb, g-table.adb, g-trasym.adb, + g-trasym.ads, gigi.h, gmem.c, gnat1drv.adb, gnatbind.adb, gnatbl.c, + gnatchop.adb, gnatcmd.adb, gnatdll.adb, gnatfind.adb, gnatlbr.adb, + gnatlink.adb, gnatls.adb, gnatmem.adb, gnatprep.adb, gnatvsn.ads, + gnatxref.adb, hlo.adb, hostparm.ads, i-cobol.adb, i-cpp.adb, + i-cstrea.ads, i-cstrin.adb, i-pacdec.adb, i-vxwork.ads, + impunit.adb, init.c, inline.adb, io-aux.c, layout.adb, lib-load.adb, + lib-util.adb, lib-writ.adb, lib-writ.ads, lib-xref.adb, + lib-xref.ads, lib.adb, lib.ads, make.adb, makeusg.adb, mdll.adb, + memroot.adb, misc.c, mlib-tgt.adb, mlib-utl.adb, mlib-utl.ads, + mlib.adb, namet.adb, namet.ads, namet.h, nlists.h, nmake.adb, + nmake.ads, nmake.adt, opt.adb, opt.ads, osint.adb, osint.ads, + output.adb, output.ads, par-ch2.adb, par-ch3.adb, par-ch5.adb, + par-prag.adb, par-tchk.adb, par-util.adb, par.adb, prj-attr.adb, + prj-dect.adb, prj-env.adb, prj-env.ads, prj-nmsc.adb, prj-part.adb, + prj-proc.adb, prj-strt.adb, prj-tree.adb, prj-tree.ads, prj.adb, + prj.ads, raise.c, raise.h, repinfo.adb, restrict.adb, restrict.ads, + rident.ads, rtsfind.adb, rtsfind.ads, s-arit64.adb, s-asthan.adb, + s-atacco.adb, s-atacco.ads, s-auxdec.adb, s-crc32.adb, s-crc32.ads, + s-direio.adb, s-fatgen.adb, s-fileio.adb, s-finimp.adb, + s-gloloc.adb, s-gloloc.ads, s-interr.adb, s-mastop.adb, + s-mastop.ads, s-memory.adb, s-parame.ads, s-parint.adb, + s-pooglo.adb, s-pooloc.adb, s-rpc.adb, s-secsta.adb, s-sequio.adb, + s-shasto.adb, s-soflin.adb, s-soflin.ads, s-stache.adb, + s-taasde.adb, s-taasde.ads, s-tadeca.adb, s-tadeca.ads, + s-tadert.adb, s-tadert.ads, s-taenca.adb, s-taenca.ads, + s-taprob.adb, s-taprop.ads, s-tarest.adb, s-tasdeb.adb, + s-tasini.adb, s-tasini.ads, s-taskin.adb, s-taskin.ads, + s-tasque.adb, s-tasque.ads, s-tasren.adb, s-tasren.ads, + s-tassta.adb, s-tasuti.adb, s-tasuti.ads, s-tataat.adb, + s-tataat.ads, s-tpoben.adb, s-tpoben.ads, s-tpobop.adb, + s-tposen.adb, s-tposen.ads, s-traceb.adb, s-traceb.ads, + s-unstyp.ads, s-widenu.adb, scn-nlit.adb, scn.adb, sem.adb, + sem_aggr.adb, sem_attr.adb, sem_attr.ads, sem_case.adb, + sem_ch10.adb, sem_ch11.adb, sem_ch11.ads, sem_ch12.adb, + sem_ch13.adb, sem_ch13.ads, sem_ch2.adb, sem_ch3.adb, sem_ch3.ads, + sem_ch4.adb, sem_ch5.adb, sem_ch6.adb, sem_ch6.ads, sem_ch7.adb, + sem_ch8.adb, sem_ch8.ads, sem_ch9.adb, sem_disp.adb, sem_dist.adb, + sem_elab.adb, sem_elim.adb, sem_elim.ads, sem_eval.adb, + sem_intr.adb, sem_mech.adb, sem_prag.adb, sem_res.adb, + sem_type.adb, sem_util.adb, sem_util.ads, sem_vfpt.adb, + sem_warn.adb, sinfo.adb, sinfo.ads, sinfo.h, sinput-l.adb, + sinput-l.ads, sinput.adb, sinput.ads, snames.adb, snames.ads, + snames.h, sprint.adb, sprint.ads, stringt.adb, stringt.ads, + stringt.h, style.adb, switch.adb, switch.ads, sysdep.c, system.ads, + table.adb, targparm.adb, targparm.ads, targtyps.c, tbuild.adb, + tbuild.ads, tracebak.c, trans.c, tree_gen.adb, tree_io.adb, + treepr.adb, treepr.ads, treeprs.ads, treeprs.adt, ttypes.ads, + types.adb, types.ads, types.h, uintp.ads, urealp.ads, usage.adb, + utils.c, utils2.c, validsw.adb, xnmake.adb, xr_tabls.adb, + xr_tabls.ads, xref_lib.adb, xref_lib.ads : Merge in ACT changes. + + * 1ssecsta.adb, 1ssecsta.ads, a-chlat9.ads, a-cwila9.ads, + g-enblsp.adb, g-md5.adb, g-md5.ads, gnatname.adb, gnatname.ads, + mkdir.c, osint-b.adb, osint-b.ads, osint-c.adb, osint-c.ads, + osint-l.adb, osint-l.ads, osint-m.adb, osint-m.ads : New files + + * 3lsoccon.ads, 5qparame.ads, 5qvxwork.ads, 5smastop.adb, + 5zparame.ads, gnatmain.adb, gnatmain.ads, gnatpsys.adb : Removed + + * mdllfile.adb, mdllfile.ads, mdlltool.adb, mdlltool.ads : Renamed + to mdll-fil.ad[bs] and mdll-util.ad[bs] + + * mdll-fil.adb, mdll-fil.ads, mdll-utl.adb, mdll-utl.ads : Renamed + from mdllfile.ad[bs] and mdlltool.ad[bs] + 2002-03-03 Kaveh R. Ghazi <ghazi@caip.rutgers.edu> * utils.c (init_gnat_to_gnu, init_gigi_decls): Use ARRAY_SIZE in @@ -92,19 +206,19 @@ * prj-env.ads: Minor reformatting - * switch.adb: Minor reformatting. Do proper raise of Bad_Switch if - error found (there were odd exceptions to this general rule in + * switch.adb: Minor reformatting. Do proper raise of Bad_Switch if + error found (there were odd exceptions to this general rule in -gnatec/-gnatem processing) 2001-12-19 Olivier Hainque <hainque@gnat.com> - * raise.c (__gnat_eh_personality): Exception handling personality - routine for Ada. Still in rough state, inspired from the C++ version + * raise.c (__gnat_eh_personality): Exception handling personality + routine for Ada. Still in rough state, inspired from the C++ version and still containing a bunch of debugging artifacts. - (parse_lsda_header, get_ttype_entry): Local (static) helpers, also + (parse_lsda_header, get_ttype_entry): Local (static) helpers, also inspired from the C++ library. - * raise.c (eh_personality): Add comments. Part of work for the GCC 3 + * raise.c (eh_personality): Add comments. Part of work for the GCC 3 exception handling integration. 2001-12-19 Arnaud Charlet <charlet@gnat.com> @@ -112,7 +226,7 @@ * Makefile.in: Remove use of 5smastop.adb which is obsolete. (HIE_SOURCES): Add s-secsta.ad{s,b}. (HIE_OBJS): Add s-fat*.o - (RAVEN_SOURCES): Remove files that are no longer required. Add + (RAVEN_SOURCES): Remove files that are no longer required. Add interrupt handling files. (RAVEN_MOD): Removed, no longer needed. @@ -121,12 +235,12 @@ * a-ngelfu.adb: Remove ??? comment for inappropriate Inline_Always Add 2001 to copyright date - * g-regpat.adb: Change pragma Inline_Always to Inline. There is no + * g-regpat.adb: Change pragma Inline_Always to Inline. There is no need to force universal inlining for these cases. 2001-12-19 Arnaud Charlet <charlet@gnat.com> - * s-taprob.adb: Minor clean ups so that this unit can be used in + * s-taprob.adb: Minor clean ups so that this unit can be used in Ravenscar HI. * exp_ch7.adb: Allow use of secondary stack in HI mode. @@ -134,7 +248,7 @@ 2001-12-19 Vincent Celier <celier@gnat.com> - * prj-tree.ads (Project_Node_Record): Add comments for components + * prj-tree.ads (Project_Node_Record): Add comments for components Pkg_Id and Case_Insensitive. 2001-12-19 Pascal Obry <obry@gnat.com> @@ -151,20 +265,20 @@ 2001-12-17 Ed Schonberg <schonber@gnat.com> - * sem_res.adb (Resolve_Selected_Component): do not generate a - discriminant check if the selected component is a component of + * sem_res.adb (Resolve_Selected_Component): do not generate a + discriminant check if the selected component is a component of the argument of an initialization procedure. - * trans.c (tree_transform, case of arithmetic operators): If result - type is private, the gnu_type is the base type of the full view, + * trans.c (tree_transform, case of arithmetic operators): If result + type is private, the gnu_type is the base type of the full view, given that the full view itself may be a subtype. 2001-12-17 Robert Dewar <dewar@gnat.com> * sem_res.adb: Minor reformatting - * trans.c (tree_transform, case N_Real_Literal): Add missing third - parameter in call to Machine (unknown horrible effects from this + * trans.c (tree_transform, case N_Real_Literal): Add missing third + parameter in call to Machine (unknown horrible effects from this omission). * urealp.h: Add definition of Round_Even for call to Machine @@ -172,7 +286,7 @@ 2001-12-17 Ed Schonberg <schonber@gnat.com> - * sem_warn.adb (Check_One_Unit): Suppress warnings completely on + * sem_warn.adb (Check_One_Unit): Suppress warnings completely on predefined units in No_Run_Time mode. 2001-12-17 Richard Kenner <kenner@gnat.com> @@ -181,7 +295,7 @@ 2001-12-17 Olivier Hainque <hainque@gnat.com> - * a-except.adb: Preparation work for future integration of the GCC 3 + * a-except.adb: Preparation work for future integration of the GCC 3 exception handling mechanism (Notify_Handled_Exception, Notify_Unhandled_Exception): New routines to factorize previous code sequences and make them externally callable, @@ -195,10 +309,10 @@ 2001-12-17 Arnaud Charlet <charlet@gnat.com> - * bindgen.adb (Gen_Ada_Init_*): Set priority of environment task in + * bindgen.adb (Gen_Ada_Init_*): Set priority of environment task in HI-E mode, in order to support Ravenscar profile properly. - * cstand.adb (Create_Standard): Duration is a 32 bit type in HI-E + * cstand.adb (Create_Standard): Duration is a 32 bit type in HI-E mode on 32 bits targets. 2001-12-17 Vincent Celier <celier@gnat.com> @@ -225,7 +339,7 @@ * prj-env.ads (Create_Mapping_File): New procedure. - * switch.adb (Scan_Front_End_Switches): Add processing for -gnatem + * switch.adb (Scan_Front_End_Switches): Add processing for -gnatem (Mapping_File) * usage.adb: Add entry for new switch -gnatem. @@ -234,7 +348,7 @@ 2001-12-17 Ed Schonberg <schonber@gnat.com> - * sem_ch10.adb (Analyze_With_Clause): Retrieve proper entity when unit + * sem_ch10.adb (Analyze_With_Clause): Retrieve proper entity when unit is a package instantiation rewritten as a package body. (Install_Withed_Unit): Undo previous change, now redundant. @@ -247,7 +361,7 @@ (Layout_Array_Type): Convert Len expression to Unsigned after calls to Compute_Length and Determine_Range. Above changes fix problem with length computation for supernull arrays - where Max (Len, 0) wasn't getting applied due to the Unsigned + where Max (Len, 0) wasn't getting applied due to the Unsigned conversion used by Compute_Length. 2001-12-17 Arnaud Charlet <charlet@gnat.com> @@ -265,14 +379,14 @@ 2001-12-17 Joel Brobecker <brobecke@gnat.com> - * gnat_rm.texi: Fix minor typos. Found while reading the section + * gnat_rm.texi: Fix minor typos. Found while reading the section regarding "Bit_Order Clauses" that was sent to a customer. Very interesting documentation! 2001-12-17 Robert Dewar <dewar@gnat.com> - * sem_case.adb (Choice_Image): Avoid creating improper character - literal names by using the routine Set_Character_Literal_Name. This + * sem_case.adb (Choice_Image): Avoid creating improper character + literal names by using the routine Set_Character_Literal_Name. This fixes bombs in certain error message cases. 2001-12-17 Arnaud Charlet <charlet@gnat.com> @@ -281,20 +395,20 @@ 2001-12-17 Ed Schonberg <schonber@gnat.com> - * sem_ch12.adb (Validate_Derived_Type_Instance): Handle properly the - case where the formal is an extension of another formal in the current + * sem_ch12.adb (Validate_Derived_Type_Instance): Handle properly the + case where the formal is an extension of another formal in the current unit or in a parent generic unit. 2001-12-17 Arnaud Charlet <charlet@gnat.com> - * s-tposen.adb: Update comments. Minor reformatting. + * s-tposen.adb: Update comments. Minor reformatting. Minor code clean up. * s-tarest.adb: Update comments. Minor code reorganization. 2001-12-17 Gary Dismukes <dismukes@gnat.com> - * exp_attr.adb (Attribute_Tag): Suppress expansion of <type_name>'Tag + * exp_attr.adb (Attribute_Tag): Suppress expansion of <type_name>'Tag when Java_VM. 2001-12-17 Robert Dewar <dewar@gnat.com> @@ -303,7 +417,7 @@ 2001-12-17 Ed Schonberg <schonber@gnat.com> - * sem_ch3.adb (Build_Derived_Private_Type): Refine check to handle + * sem_ch3.adb (Build_Derived_Private_Type): Refine check to handle derivations nested within a child unit: verify that the parent type is declared in an outer scope. @@ -313,8 +427,8 @@ 2001-12-17 Ed Schonberg <schonber@gnat.com> - * sem_warn.adb (Check_One_Unit): In No_Run_Time mode, do not post - warning if current unit is a predefined one, from which bodies may + * sem_warn.adb (Check_One_Unit): In No_Run_Time mode, do not post + warning if current unit is a predefined one, from which bodies may have been deleted. 2001-12-17 Robert Dewar <dewar@gnat.com> @@ -322,7 +436,7 @@ * eval_fat.ads: Add comment that Round_Even is referenced in Ada code Fix header format. Add 2001 to copyright date. - * exp_dbug.adb (Get_Encoded_Name): Fix out of bounds reference, + * exp_dbug.adb (Get_Encoded_Name): Fix out of bounds reference, which caused CE during compilation if checks were enabled. 2001-12-17 Vincent Celier <celier@gnat.com> @@ -334,13 +448,13 @@ (Collect_Arguments_And_Compile): Use new function Switches_Of. When using a project file, test if there are any relative search path. Fail if there are any. - (Gnatmake): Only add switches for the primary directory when not using - a project file. When using a project file, change directory to the - object directory of the main project file. When using a project file, - test if there are any relative search path. Fail if there are any. - When using a project file, fail if specified executable is relative - path with directory information, and prepend executable, if not - specified as an absolute path, with the exec directory. Make sure + (Gnatmake): Only add switches for the primary directory when not using + a project file. When using a project file, change directory to the + object directory of the main project file. When using a project file, + test if there are any relative search path. Fail if there are any. + When using a project file, fail if specified executable is relative + path with directory information, and prepend executable, if not + specified as an absolute path, with the exec directory. Make sure that only one -o switch is transmitted to the linker. * prj-attr.adb (Initialization_Data): Add project attribute Exec_Dir @@ -375,23 +489,23 @@ 2001-12-17 Ed Schonberg <schonber@gnat.com> - * trans.c (process_freeze_entity): Do nothing if the entity is a + * trans.c (process_freeze_entity): Do nothing if the entity is a subprogram that was already elaborated. 2001-12-17 Richard Kenner <kenner@gnat.com> - * decl.c (gnat_to_gnu_entity, object): Do not back-annotate Alignment + * decl.c (gnat_to_gnu_entity, object): Do not back-annotate Alignment and Esize if object is referenced via pointer. 2001-12-17 Ed Schonberg <schonber@gnat.com> - * sem_ch3.adb (Analyze_Variant_Part): check that type of discriminant + * sem_ch3.adb (Analyze_Variant_Part): check that type of discriminant is discrete before analyzing choices. 2001-12-17 Joel Brobecker <brobecke@gnat.com> - * bindgen.adb (Gen_Output_File_Ada): Generate a new C-like string - containing the name of the Ada Main Program. This string is mainly + * bindgen.adb (Gen_Output_File_Ada): Generate a new C-like string + containing the name of the Ada Main Program. This string is mainly intended for the debugger. (Gen_Output_File_C): Do the equivalent change when generating a C file. @@ -439,10 +553,10 @@ 2001-12-17 Robert Dewar <dewar@gnat.com> - * frontend.adb: Move call to Check_Unused_Withs from Frontend, so + * frontend.adb: Move call to Check_Unused_Withs from Frontend, so that it happens before modification of Sloc values for -gnatD. - * gnat1drv.adb: Move call to Check_Unused_Withs to Frontend, + * gnat1drv.adb: Move call to Check_Unused_Withs to Frontend, so that it happens before modification of Sloc values for -gnatD. * switch.adb: Minor reformatting @@ -481,19 +595,19 @@ 2001-12-14 Vincent Celier <celier@gnat.com> - * osint.adb(Create_Debug_File): When an object file is specified, + * osint.adb(Create_Debug_File): When an object file is specified, put the .dg file in the same directory as the object file. 2001-12-14 Robert Dewar <dewar@gnat.com> * osint.adb: Minor reformatting - * lib-xref.adb (Output_Instantiation): New procedure to generate + * lib-xref.adb (Output_Instantiation): New procedure to generate instantiation references. * lib-xref.ads: Add documentation of handling of generic references. - * ali.adb (Read_Instantiation_Ref): New procedure to read + * ali.adb (Read_Instantiation_Ref): New procedure to read instantiation references * ali.ads: Add spec for storing instantiation references @@ -515,23 +629,23 @@ 2001-12-14 Matt Gingell <gingell@gnat.com> - * adaint.c: mktemp is a macro on Lynx and can not be used as an + * adaint.c: mktemp is a macro on Lynx and can not be used as an expression. 2001-12-14 Richard Kenner <kenner@gnat.com> - * misc.c (gnat_expand_constant): Do not strip UNCHECKED_CONVERT_EXPR + * misc.c (gnat_expand_constant): Do not strip UNCHECKED_CONVERT_EXPR if operand is CONSTRUCTOR. 2001-12-14 Ed Schonberg <schonber@gnat.com> - * trans.c (tree_transform, case N_Assignment_Statement): Set lineno - before emiting check on right-hand side, so that exception information + * trans.c (tree_transform, case N_Assignment_Statement): Set lineno + before emiting check on right-hand side, so that exception information is correct. 2001-12-14 Richard Kenner <kenner@gnat.com> - * utils.c (create_var_decl): Throw away initializing expression + * utils.c (create_var_decl): Throw away initializing expression if just annotating types and non-constant. 2001-12-14 Vincent Celier <celier@gnat.com> @@ -539,11 +653,11 @@ * prj-nmsc.adb: (Ada_Check): Migrate drom Ada_Default_... to Default_Ada_... - * prj.adb: (Ada_Default_Spec_Suffix, Ada_Default_Impl_Suffix): + * prj.adb: (Ada_Default_Spec_Suffix, Ada_Default_Impl_Suffix): Remove functions. (Default_Ada_Spec_Suffix, Default_Ada_Impl_Suffix): Move to spec. - * prj.ads: (Ada_Default_Spec_Suffix, Ada_Default_Impl_Suffix): + * prj.ads: (Ada_Default_Spec_Suffix, Ada_Default_Impl_Suffix): Remove functions. (Default_Ada_Spec_Suffix, Default_Ada_Impl_Suffix): Move from body. @@ -577,7 +691,7 @@ 2001-12-12 Ed Schonberg <schonber@gnat.com> - * sem_ch12.adb (Save_Entity_Descendant): Use syntactic field names + * sem_ch12.adb (Save_Entity_Descendant): Use syntactic field names on known node types, rather than untyped fields. Further cleanups. 2001-12-12 Robert Dewar <dewar@gnat.com> @@ -585,9 +699,9 @@ * sem_ch12.adb: (Save_Entity_Descendant): Minor comment update. (Copy_Generic_Node): Deal with incorrect reference to Associated_Node - of an N_Attribute_Reference node. As per note below, this does not + of an N_Attribute_Reference node. As per note below, this does not eliminate need for Associated_Node in attribute ref nodes. - (Associated_Node): Documentation explicitly mentions attribute + (Associated_Node): Documentation explicitly mentions attribute reference nodes, since this field is used in such nodes. * sem_ch12.adb (Associated_Node): Minor documentation cleanup. @@ -600,26 +714,26 @@ * prj-dect.ads: Fix copyright header - * s-arit64.adb (Multiply_With_Ovflo_Check): Fix case where both + * s-arit64.adb (Multiply_With_Ovflo_Check): Fix case where both inputs fit in 32 bits, but the result still overflows. * s-fatgen.ads: Minor comment improvement 2001-12-12 Ed Schonberg <schonber@gnat.com> - * sem_ch4.adb (Analyze_Selected_Component): If the prefix is of a - formal derived type, look for an inherited component from the full + * sem_ch4.adb (Analyze_Selected_Component): If the prefix is of a + formal derived type, look for an inherited component from the full view of the parent, if any. 2001-12-12 Robert Dewar <dewar@gnat.com> * checks.ads (Apply_Alignment_Check): New procedure. - * exp_ch13.adb (Expand_N_Freeze_Entity): Generate dynamic check to - ensure that the alignment of objects with address clauses is + * exp_ch13.adb (Expand_N_Freeze_Entity): Generate dynamic check to + ensure that the alignment of objects with address clauses is appropriate, and raise PE if not. - * exp_util.ads (Must_Be_Aligned): Removed, replaced by + * exp_util.ads (Must_Be_Aligned): Removed, replaced by Exp_Pakd.Known_Aligned_Enough * mdllfile.ads: Minor reformatting @@ -628,18 +742,18 @@ 2001-12-12 Ed Schonberg <schonber@gnat.com> - * exp_ch8.adb (Expand_N_Object_Renaming_Declaration): Extend previous - fix to any component reference if enclosing record has non-standard + * exp_ch8.adb (Expand_N_Object_Renaming_Declaration): Extend previous + fix to any component reference if enclosing record has non-standard representation. 2001-12-12 Vincent Celier <celier@gnat.com> - * g-dirope.ads (Find, Wildcard_Iterator): Moved to child package + * g-dirope.ads (Find, Wildcard_Iterator): Moved to child package Iteration 2001-12-12 Ed Schonberg <schonber@gnat.com> - * freeze.ads: Make Freeze_Fixed_Point_Type visible, for use in + * freeze.ads: Make Freeze_Fixed_Point_Type visible, for use in sem_attr. 2001-12-12 Robert Dewar <dewar@gnat.com> @@ -653,14 +767,14 @@ 2001-12-12 Pascal Obry <obry@gnat.com> - * g-dirope.adb (Expand_Path.Var): Correctly detect end of + * g-dirope.adb (Expand_Path.Var): Correctly detect end of variable name. 2001-12-11 Ed Schonberg <schonber@gnat.com> * sem_ch10.adb (Install_Withed_Unit): If the unit is a generic instance - that is the parent of other generics, the instance body replaces the - instance node. Retrieve the instance of the spec, which is the one + that is the parent of other generics, the instance body replaces the + instance node. Retrieve the instance of the spec, which is the one that is visible in clients and within the body. 2001-12-11 Vincent Celier <celier@gnat.com> @@ -677,7 +791,7 @@ 2001-12-11 Vincent Celier <celier@gnat.com> - * prj-attr.adb (Initialization_Data): Change name from + * prj-attr.adb (Initialization_Data): Change name from Initialisation_Data. 2001-12-11 Emmanuel Briot <briot@gnat.com> @@ -687,7 +801,7 @@ 2001-12-11 Vasiliy Fofanov <fofanov@gnat.com> - * g-os_lib.ads: String_List type added, Argument_List type is now + * g-os_lib.ads: String_List type added, Argument_List type is now subtype of String_List. 2001-12-11 Robert Dewar <dewar@gnat.com> @@ -697,7 +811,7 @@ 2001-12-11 Vincent Celier <celier@gnat.com> - * g-dirope.adb (Expand_Path): Fix bug. (wrong length when adding a + * g-dirope.adb (Expand_Path): Fix bug. (wrong length when adding a string to the buffer). 2001-12-11 Ed Schonberg <schonber@gnat.com> @@ -706,18 +820,18 @@ sem_attr. * sem_attr.adb: Simplify previous fix for Address. - (Set_Bounds): If prefix is a non-frozen fixed-point type, freeze now, - to avoid anomalies where the bound of the type appears to raise + (Set_Bounds): If prefix is a non-frozen fixed-point type, freeze now, + to avoid anomalies where the bound of the type appears to raise constraint error. 2001-12-11 Robert Dewar <dewar@gnat.com> - * lib-xref.adb (Output_Refs): Make sure pointers are always properly + * lib-xref.adb (Output_Refs): Make sure pointers are always properly handled. 2001-12-11 Ed Schonberg <schonber@gnat.com> - * sem_ch12.adb (Analyze_Subprogram_Instantiation): Check for a + * sem_ch12.adb (Analyze_Subprogram_Instantiation): Check for a renamed unit before checking for recursive instantiations. 2001-12-11 Emmanuel Briot <briot@gnat.com> @@ -726,15 +840,15 @@ 2001-12-11 Robert Dewar <dewar@gnat.com> - * lib-xref.adb (Output_Refs): Don't output type references outside + * lib-xref.adb (Output_Refs): Don't output type references outside the main unit if they are not otherwise referenced. 2001-12-11 Ed Schonberg <schonber@gnat.com> - * sem_attr.adb (Analyze_attribute, case Address and Size): Simplify + * sem_attr.adb (Analyze_attribute, case Address and Size): Simplify code and diagnose additional illegal uses - * sem_util.adb (Is_Object_Reference): An indexed component is an + * sem_util.adb (Is_Object_Reference): An indexed component is an object only if the prefix is. 2001-12-11 Vincent Celier <celier@gnat.com> @@ -759,10 +873,10 @@ 2001-12-11 Robert Dewar <dewar@gnat.com> - * exp_util.adb (Must_Be_Aligned): Removed, replaced by + * exp_util.adb (Must_Be_Aligned): Removed, replaced by Exp_Pakd.Known_Aligned_Enough - * sem_ch13.adb (Check_Address_Alignment): Removed, extended + * sem_ch13.adb (Check_Address_Alignment): Removed, extended version is moved to Exp_Ch13. 2001-12-11 Robert Dewar <dewar@gnat.com> @@ -781,18 +895,18 @@ * exp_pakd.adb (Known_Aligned_Enough): Replaces Known_Aligned_Enough. - * lib-xref.adb: Extend generation of <..> notation to cover - subtype/object types. Note that this is a complete rewrite, - getting rid of the very nasty quadratic algorithm previously + * lib-xref.adb: Extend generation of <..> notation to cover + subtype/object types. Note that this is a complete rewrite, + getting rid of the very nasty quadratic algorithm previously used for derived type output. - * lib-xref.ads: Extend description of <..> notation to cover - subtype/object types. Uses {..} for these other cases. + * lib-xref.ads: Extend description of <..> notation to cover + subtype/object types. Uses {..} for these other cases. Also use (..) for pointer types. * sem_util.adb (Check_Potentially_Blocking_Operation): Slight cleanup. - * exp_pakd.adb: Minor reformatting. Note that prevous RH should say: + * exp_pakd.adb: Minor reformatting. Note that prevous RH should say: (Known_Aligned_Enough): Replaces Must_Be_Aligned. 2001-12-11 Vincent Celier <celier@gnat.com> @@ -816,26 +930,26 @@ 2001-12-11 Robert Dewar <dewar@gnat.com> - * checks.adb (Insert_Valid_Check): Apply validity check to expression + * checks.adb (Insert_Valid_Check): Apply validity check to expression of conversion, not to result of conversion. 2001-12-11 Ed Schonberg <schonber@gnat.com> - * sem_ch3.adb (Build_Derived_Record_Type): set Controlled flag - before freezing parent. If the declarations are mutually recursive, - an access to the current record type may be frozen before the + * sem_ch3.adb (Build_Derived_Record_Type): set Controlled flag + before freezing parent. If the declarations are mutually recursive, + an access to the current record type may be frozen before the derivation is complete. 2001-12-05 Vincent Celier <celier@gnat.com> - * gnatcmd.adb: (MAKE): Add new translations: -b /BIND_ONLY, + * gnatcmd.adb: (MAKE): Add new translations: -b /BIND_ONLY, -c /COMPILE_ONLY, -l /LINK_ONLY * opt.ads: (Bind_Only): New Flag (Link_Only): New flag - * switch.adb (Scan_Make_Switches): Add processing for -b (Bind_Only) + * switch.adb (Scan_Make_Switches): Add processing for -b (Bind_Only) and -l (Link_Only) * makeusg.adb: Add new switches -b and -l. Update Copyright notice. @@ -849,28 +963,28 @@ 2001-12-05 Ed Schonberg <schonber@gnat.com> - * sem_eval.adb (Eval_Concatenation): If left operand is a null string, + * sem_eval.adb (Eval_Concatenation): If left operand is a null string, get bounds from right operand. * sem_eval.adb: Minor reformatting - * exp_util.adb (Make_Literal_Range): use bound of literal rather + * exp_util.adb (Make_Literal_Range): use bound of literal rather than Index'First, its lower bound may be different from 1. - * exp_util.adb: Undo earlier change, fixes ACVC regressions C48009B + * exp_util.adb: Undo earlier change, fixes ACVC regressions C48009B and C48009J 2001-12-05 Vincent Celier <celier@gnat.com> * prj-nmsc.adb Minor reformatting - * prj-nmsc.adb (Language_Independent_Check): Reset Library flag if + * prj-nmsc.adb (Language_Independent_Check): Reset Library flag if set and libraries are not supported. 2001-12-05 Ed Schonberg <schonber@gnat.com> - * sem_ch3.adb (Build_Derived_Private_Type): set Public status of - private view explicitly, so the back-end can treat as a global + * sem_ch3.adb (Build_Derived_Private_Type): set Public status of + private view explicitly, so the back-end can treat as a global when appropriate. 2001-12-05 Ed Schonberg <schonber@gnat.com> @@ -880,11 +994,11 @@ 2001-12-05 Vincent Celier <celier@gnat.com> - * prj-nmsc.adb (Language_Independent_Check): Issue a warning if - libraries are not supported and both attributes Library_Name and + * prj-nmsc.adb (Language_Independent_Check): Issue a warning if + libraries are not supported and both attributes Library_Name and Library_Dir are specified. - * prj-proc.adb (Expression): Set location of Result to location of + * prj-proc.adb (Expression): Set location of Result to location of first term. * Makefile.in: Add mlib.o, mlib-fil.o, mlib-tgt and mlib-utl to GNATLS. @@ -905,7 +1019,7 @@ 2001-12-05 Robert Dewar <dewar@gnat.com> - * checks.adb (Determine_Range): Increase cache size for checks. + * checks.adb (Determine_Range): Increase cache size for checks. Minor reformatting * exp_ch6.adb: Minor reformatting @@ -914,20 +1028,20 @@ subprograms as pure in the code generator is almost surely a mistake that will lead to unexpected results. - * exp_util.adb (Remove_Side_Effects): Clean up old ??? comment and + * exp_util.adb (Remove_Side_Effects): Clean up old ??? comment and change handling of conversions. * g-regexp.adb: Use System.IO instead of Ada.Text_IO. 2001-12-05 Ed Schonberg <schonber@gnat.com> - * sem_ch3.adb (Analyze_Object_Declaration): If expression is an - aggregate with static wrong size, attach generated Raise node to + * sem_ch3.adb (Analyze_Object_Declaration): If expression is an + aggregate with static wrong size, attach generated Raise node to declaration. 2001-12-05 Robert Dewar <dewar@gnat.com> - * sem_attr.adb (Analyze_Attribute): Defend against bad Val attribute. + * sem_attr.adb (Analyze_Attribute): Defend against bad Val attribute. Fixes compilation abandoned bomb in B24009B. 2001-12-05 Ed Schonberg <schonber@gnat.com> @@ -962,7 +1076,7 @@ * prj-nmsc.adb: Minor comment changes (modifying -> extends). - * prj-part.adb (Parse_Single_Project): Change Tok_Modifying to + * prj-part.adb (Parse_Single_Project): Change Tok_Modifying to Tok_Extends. * prj.adb (Initialize): Change Modifying to Extends. @@ -975,10 +1089,10 @@ 2001-12-05 Robert Dewar <dewar@gnat.com> - * sem_warn.adb: Remove stuff for conditionals, we are not going to + * sem_warn.adb: Remove stuff for conditionals, we are not going to do this after all. - * sem_warn.ads: Remove stuff for conditionals, we are not going to + * sem_warn.ads: Remove stuff for conditionals, we are not going to do this after all. Add 2001 to copyright notice 2001-12-04 Geert Bosch <bosch@gnat.com> @@ -987,8 +1101,8 @@ 2001-12-04 Robert Dewar <dewar@gnat.com> - * errout.adb (Error_Msg): Ignore attempt to put error msg at junk - location if we already have errors. Stops some cases of cascaded + * errout.adb (Error_Msg): Ignore attempt to put error msg at junk + location if we already have errors. Stops some cases of cascaded errors. * errout.adb: Improve comment. @@ -999,7 +1113,7 @@ (Analyze_Formal_Type_Definition): Defend against Error. (Analyze_Formal_Subprogram): Defend against Error. - * par-ch12.adb (F_Formal_Type_Declaration): In case of error, + * par-ch12.adb (F_Formal_Type_Declaration): In case of error, remove following semicolon if present. Removes cascaded error. 2001-12-04 Douglas B. Rupp <rupp@gnat.com> @@ -1016,14 +1130,14 @@ 2001-12-04 Ed Schonberg <schonber@gnat.com> - * einfo.ads: Block_Node points to the identifier of the block, not to - the block node itself, to preserve the link when the block is - rewritten, e.g. within an if-statement with a static condition. + * einfo.ads: Block_Node points to the identifier of the block, not to + the block node itself, to preserve the link when the block is + rewritten, e.g. within an if-statement with a static condition. - * inline.adb (Cleanup_Scopes): recover block statement from block + * inline.adb (Cleanup_Scopes): recover block statement from block entity using new meaning of Block_Node. - * sem_ch5.adb (Analyze_Block_Statement): set Block_Node to point to + * sem_ch5.adb (Analyze_Block_Statement): set Block_Node to point to identifier of block node, rather than to node itself. 2001-12-04 Gary Dismukes <dismukes@gnat.com> @@ -1031,7 +1145,7 @@ * layout.adb: (Get_Max_Size): Fix "start of processing" comment to say Get_Max_Size. (Discrimify): Go back to setting the Etypes of the selected component - because the Vname component does not exist at this point and will + because the Vname component does not exist at this point and will fail name resolution. Also set Analyzed. Remove with and use of Sem_Res. @@ -1048,28 +1162,28 @@ 2001-12-04 Ed Schonberg <schonber@gnat.com> - * sem_ch7.adb (New_Private_Type): Set Is_Tagged_Type flag before + * sem_ch7.adb (New_Private_Type): Set Is_Tagged_Type flag before processing discriminants to diagnose illegal default values. 2001-12-04 Ed Schonberg <schonber@gnat.com> - * sem_attr.adb (Resolve_Attribute): Handle properly an non-classwide - access discriminant within a type extension that constrains its + * sem_attr.adb (Resolve_Attribute): Handle properly an non-classwide + access discriminant within a type extension that constrains its parent discriminants. 2001-12-04 Ed Schonberg <schonber@gnat.com> - * sem_ch3.adb (Find_Type_Of_Subtype_Indic): If subtype indication + * sem_ch3.adb (Find_Type_Of_Subtype_Indic): If subtype indication is malformed, use instance of Any_Id to allow analysis to proceed. - * par-ch12.adb (P_Formal_Type_Declaration): Propagate Error if + * par-ch12.adb (P_Formal_Type_Declaration): Propagate Error if type definition is illegal. (P_Formal_Derived_Type_Definition): Better recovery when TAGGED is misplaced. 2001-12-04 Ed Schonberg <schonber@gnat.com> - * sem_warn.adb (Output_Unreferenced_Messages): Extend previous fix to + * sem_warn.adb (Output_Unreferenced_Messages): Extend previous fix to constants. 2001-12-04 Robert Dewar <dewar@gnat.com> @@ -1080,13 +1194,13 @@ * exp_util.adb: Minor reformatting from last change - * errout.adb (Check_For_Warning): For a Raised_Constraint_Error node - which is a rewriting of an expression, traverse the original + * errout.adb (Check_For_Warning): For a Raised_Constraint_Error node + which is a rewriting of an expression, traverse the original expression to remove warnings that may have been posted on it. 2001-12-04 Ed Schonberg <schonber@gnat.com> - * exp_util.adb (Must_Be_Aligned): Return false for a component of a + * exp_util.adb (Must_Be_Aligned): Return false for a component of a record that has other packed components. 2001-12-04 Douglass B. Rupp <rupp@gnat.com> @@ -1099,7 +1213,7 @@ 2001-12-04 Arnaud Charlet <charlet@gnat.com> - * Makefile.adalib: Clarify step 3 (use of gnat.adc) as it causes + * Makefile.adalib: Clarify step 3 (use of gnat.adc) as it causes more confusion than it solves. 2001-12-04 Geert bosch <bosch@gnat.com> @@ -1108,12 +1222,12 @@ 2001-12-04 Geert Bosch <bosch@gnat.com> - * Makefile.in (update-sources): New target. + * Makefile.in (update-sources): New target. For use by gcc_release script. 2001-12-04 Ed Schonberg <schonber@gnat.com> - * sem_prag.adb (Analyze_Pragma, case Validity_Checks): do not treat as + * sem_prag.adb (Analyze_Pragma, case Validity_Checks): do not treat as a configuration pragma, it is now legal wherever a pragma can appear. 2001-12-04 Zack Weinberg <zack@codesourcery.com> |