diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 1bff31dd0684..7a9474ff4172 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -95,7 +95,7 @@ not been able to get a constant upper bound from TYPE_SIZE_UNIT. 2006-06-20 James A. Morrison - Eric Botcazou + Eric Botcazou PR ada/18692 * Make-lang.in: Add check-gnat to lang_checks. Rename existing @@ -103,7 +103,7 @@ 2006-06-17 Karl Berry - * gnat-style.texi (@dircategory): Use "Software development" + * gnat-style.texi (@dircategory): Use "Software development" instead of "Programming", following the Free Software Directory. 2006-06-12 John David Anglin @@ -113,9 +113,9 @@ 2006-06-06 Laurent GUERBY - PR ada/27769 - mlib-utl.adb: Use Program_Name. - + PR ada/27769 + * mlib-utl.adb: Use Program_Name. + 2006-05-28 Kazu Hirata * decl.c, env.c, gigi.h, init.c, initialize.c, raise-gcc.c, @@ -160,7 +160,7 @@ * utils.c (create_var_decl): Use have_global_bss_p when deciding whether to make the decl common. -2006-02-20 Rafael Ávila de Espíndola +2006-02-20 Rafael Ávila de Espíndola * Make-lang.in (Ada): Remove (.PHONY): Remove Ada @@ -177,7 +177,6 @@ 2006-02-17 Eric Botcazou PR ada/26315 - * utils2.c (find_common_type): If both input types are BLKmode and have the same constant size, keep using the first one. @@ -663,9 +662,9 @@ Add exception reason code PE_Implicit_Return Add new exception reason code (Null Exception_Id) - * clean.adb (Initialize): Get the target parameters before checking - if target is OpenVMS. Move the OpenVMS specific code here from package - body elaboration code. + * clean.adb (Initialize): Get the target parameters before checking + if target is OpenVMS. Move the OpenVMS specific code here from package + body elaboration code. 2006-02-13 Thomas Quinot Vincent Celier @@ -841,7 +840,6 @@ 0, since the lower bound of the actual string may be greater than one. PR ada/20753 - (Put): Fix condition to raise Layout_Error when invalid layout is requested. @@ -1235,7 +1233,6 @@ convertible anonymous access types. PR ada/25885 - (Set_Literal_String_Subtype): If the lower bound is not static, wrap the literal in an unchecked conversion, because GCC 4.x needs a static value for a string bound. @@ -1436,7 +1433,6 @@ 2006-02-13 Javier Miranda PR ada/23973 - * par-ch3.adb (P_Derived_Type_Def_Or_Private_Ext_Decl): Reorganize the code to improve the error message reported when the program has declarations of abstract interface types and it is not compiled with @@ -1563,17 +1559,17 @@ the rules of 3.10.2(32/2). Diagnose use of current instance with an illegal attribute. - * sem_util.ads, sem_util.adb (Enclosing_Generic_Body): Change formal - to a Node_Id. - (Enclosing_Generic_Unit): New function to return a node's innermost - enclosing generic declaration node. - (Compile_Time_Constraint_Error): Remove '!' in warning messages. - (Type_Access_Level): The accessibility level of anonymous acccess types - associated with discriminants is that of the current instance of the - type, and that's deeper than the type itself (AARM 3.10.2 (12.3.21)). - (Compile_Time_Constraint_Error): Handle case of conditional expression. - (Kill_Current_Values_For_Entity): New function - (Enter_Name): Change formal type to Entity_Id + * sem_util.ads, sem_util.adb (Enclosing_Generic_Body): Change formal + to a Node_Id. + (Enclosing_Generic_Unit): New function to return a node's innermost + enclosing generic declaration node. + (Compile_Time_Constraint_Error): Remove '!' in warning messages. + (Type_Access_Level): The accessibility level of anonymous acccess types + associated with discriminants is that of the current instance of the + type, and that's deeper than the type itself (AARM 3.10.2 (12.3.21)). + (Compile_Time_Constraint_Error): Handle case of conditional expression. + (Kill_Current_Values_For_Entity): New function + (Enter_Name): Change formal type to Entity_Id 2006-02-13 Hristian Kirtchev Ed Schonberg @@ -2003,7 +1999,7 @@ Quentin Ochem Florian Villoing - * a-taster.ads, a-taster.adb: New files. + * a-taster.ads, a-taster.adb: New files. * a-elchha.adb (Last_Chance_Handler): Change the task termination soft link to the version that does nothing. This way the task termination @@ -2211,7 +2207,7 @@ dealing with dispatching selects and abort, 'Callable, 'Terminated only for concurrent types. - * exp_sel.ads, exp_sel.adb: New files. + * exp_sel.ads, exp_sel.adb: New files. * exp_ch9.adb (Build_Protected_Entry, Expand_N_Protected_Body, Expand_N_Protected_Type_Declaration, Make_Initialize_Protection): Handle @@ -2578,7 +2574,7 @@ 2005-12-09 Robert Dewar * i-c.adb, i-cexten.ads, i-cobol.adb, i-cobol.ads, i-cpoint.ads, - i-cpp.adb, i-cpp.ads, i-cstrea.ads, i-cstrin.adb, i-cstrin.ads, + i-cpp.adb, i-cpp.ads, i-cstrea.ads, i-cstrin.adb, i-cstrin.ads, inline.adb, interfac.ads, i-os2err.ads, i-os2lib.ads, i-os2syn.ads, i-os2thr.ads, itypes.adb, itypes.adb, itypes.ads, krunch.ads, krunch.adb, lib.adb, lib.ads, lib-list.adb, lib-load.adb, @@ -2638,7 +2634,7 @@ 2005-12-05 Paolo Bonzini - * Makefile.in (gnatlib): Fix regex, using \. instead of . when + * Makefile.in (gnatlib): Fix regex, using \. instead of . when a period is meant. 2005-12-02 Richard Guenther @@ -2652,7 +2648,7 @@ 2005-11-23 Laurent GUERBY - * mlib-prj.adb (Build_Library): Initialize Delete. + * mlib-prj.adb (Build_Library): Initialize Delete. 2005-11-21 Joel Sherrill @@ -2670,8 +2666,8 @@ 2005-11-18 Laurent GUERBY - PR ada/24857 - * Makefile.in: Use s-auxdec-empty for RTEMS. + PR ada/24857 + * Makefile.in: Use s-auxdec-empty for RTEMS. 2005-11-17 Richard Kenner @@ -2685,15 +2681,15 @@ PR ada/24857 * s-auxdec-empty.ads, s-auxdec-empty.adb: New files. - + 2005-11-16 Richard Guenther * Makefile.in: Add EH_MECHANISM=-gcc to s390(x) linux. 2005-11-16 Joel Sherrill - PR ada/24855 - * raise-gcc.c: Add missing stdarg.h include. + PR ada/24855 + * raise-gcc.c: Add missing stdarg.h include. 2005-11-16 Richard Guenther @@ -2761,7 +2757,6 @@ Ed Schonberg PR ada/18434 - * types.ads: Include All_Checks in Suppress_Array * checks.adb (Check_Needed): Remove kludge for a/=b rewritten as @@ -2884,7 +2879,7 @@ (Save_Occurrence_And_Private): Move GCC EH related code to a-exexpr-gcc.adb (Raise_Current_Excep): Add new variable Id with pragma - volatile, to ensure that the variable lives on stack. + volatile, to ensure that the variable lives on stack. * a-exexpr-gcc.adb, raise-gcc.c: New file. @@ -3689,7 +3684,6 @@ Javier Miranda PR ada/15604 - * sem_type.adb (Covers): In an inlined body, a composite type matches a private type whose full view is a composite type. (Interface_Present_In_Ancestor): Protect the frontend against @@ -4996,9 +4990,9 @@ subprogram Complete_Subprograms_Derivation already does the job associated with the second call. - * exp_strm.adb (Build_Elementary_Input_Call): Add an explicit - conversion to the full view when generating an operation for a - discriminant whose type may currently be private. + * exp_strm.adb (Build_Elementary_Input_Call): Add an explicit + conversion to the full view when generating an operation for a + discriminant whose type may currently be private. 2005-09-01 Ed Schonberg Javier Miranda @@ -5383,7 +5377,6 @@ 2005-07-07 Olivier Hainque PR ada/22301 - * raise.c: Only include unwind.h if IN_RTS, and provide dummy type definitions for the Unwind wrappers in the compiler case. @@ -5495,10 +5488,10 @@ N_Object_Declaration, only perform the checks if the Object_Definition is not an Access_Definition. - * sem_ch3.adb (Access_Subprogram_Declaration): Add test for the case - where the parent of an the access definition is an N_Object_Declaration - when determining the Associated_Node_For_Itype and scope of an - anonymous access-to-subprogram type. + * sem_ch3.adb (Access_Subprogram_Declaration): Add test for the case + where the parent of an the access definition is an N_Object_Declaration + when determining the Associated_Node_For_Itype and scope of an + anonymous access-to-subprogram type. * exp_ch6.adb (Expand_N_Subprogram_Declaration): Set the Corresponding_Spec on the body created for a null procedure. Add ??? @@ -5681,7 +5674,6 @@ 2005-07-04 Robert Dewar PR ada/22039 - * s-sopco3.ads, s-sopco4.ads, s-sopco5.ads: Minor documentation fix 2005-07-04 Matthew Gingell @@ -5733,19 +5725,19 @@ 2005-07-04 Sergey Rybin - * gnat_ugn.texi: Add description of --eol gnatpp option + * gnat_ugn.texi: Add description of --eol gnatpp option 2005-07-04 Eric Botcazou Thomas Quinot - * gnat_rm.texi: Add a note that pragma Unreferenced is not appropriate + * gnat_rm.texi: Add a note that pragma Unreferenced is not appropriate if the user wants all calls of a subprogram to be flagged, independently of whether they are made from within the same unit or another unit. - Mention restriction for pragma Linker_Alias on some platforms. - Document pragma Linker_Constructor and Linker_Destructor. - Rewrite documentation of Weak_External, Linker_Section and - Linker_Alias pragmas. + Mention restriction for pragma Linker_Alias on some platforms. + Document pragma Linker_Constructor and Linker_Destructor. + Rewrite documentation of Weak_External, Linker_Section and + Linker_Alias pragmas. 2005-07-04 Arnaud Charlet @@ -6712,8 +6704,8 @@ s-valwch.ads, s-widwch.adb, s-widwch.ads, s-wwdcha.adb, s-wwdwch.adb: Rewrite to correspond to new wide character names in AI-395 - * par-ch12.adb (P_Formal_Subprogram_Declaration): Recognize null - default procedures. + * par-ch12.adb (P_Formal_Subprogram_Declaration): Recognize null + default procedures. 2005-06-14 Ed Schonberg Robert Dewar @@ -6802,7 +6794,6 @@ 2005-06-14 Thomas Quinot PR ada/6717 - * g-socket.ads, g-socket.adb (Inet_Addr): Special case the all-ones broadcast address. (Create_Selector): Bind listening socket used to create the signalling @@ -6874,15 +6865,15 @@ For objects and parameters of a generic private type, retain the '*' indicator to distinguish such an entity from its type. - * ali.ads (Xref_Entity_Record): New fields Iref_File_Num and Iref_Line, - to store information about instantiated entities. + * ali.ads (Xref_Entity_Record): New fields Iref_File_Num and Iref_Line, + to store information about instantiated entities. - * ali.adb (Scan_ALI): Add support for parsing the reference to the - generic parent + * ali.adb (Scan_ALI): Add support for parsing the reference to the + generic parent - * xref_lib.adb (Skip_To_Matching_Closing_Bracket): New subprogram - (Parse_Identifier_Info, Parse_Token): Add support for the generic parent - information. + * xref_lib.adb (Skip_To_Matching_Closing_Bracket): New subprogram + (Parse_Identifier_Info, Parse_Token): Add support for the generic parent + information. 2005-06-10 Doug Rupp Arnaud Charlet @@ -6945,7 +6936,6 @@ 2005-06-14 Robert Dewar PR ada/15613 - * par-ch2.adb (Scan_Pragma_Argument): New procedure (P_Pragma): Implement RM 2.8(4) check for no pos args after named args @@ -6991,11 +6981,11 @@ characters are now considered graphic characters and hence yield false in this call. - * nmake.adt: Modify header so that xnmake does not generate output - files with multiple blank lines. + * nmake.adt: Modify header so that xnmake does not generate output + files with multiple blank lines. - * treeprs.adt: Remove a blank line so that output from xtreeprs does - not have an extra blank line + * treeprs.adt: Remove a blank line so that output from xtreeprs does + not have an extra blank line 2005-06-14 Gary Dismukes @@ -7027,7 +7017,6 @@ Ed Schonberg PR ada/10671 - * sem_prag.adb: Implement pragma Persistent_BSS Remove obsolete pragma Persistent_Data, Persistent_Object Set Ada_Version_Explicit, for implementation of AI-362 @@ -7092,8 +7081,8 @@ * nmake.adt: Modify header so that xnmake does not generate output files with multiple blank lines. - * treeprs.adt: Remove a blank line so that output from xtreeprs does - not have an extra blank line + * treeprs.adt: Remove a blank line so that output from xtreeprs does + not have an extra blank line 2005-06-14 Sergey Rybin @@ -7117,7 +7106,7 @@ Add UNNECESSARY_BLANK_LINES for -gnatyu Add qualifiers /ALL_PROJECTS (-U) for GNAT PRETTY and GNAT METRIC - * ug_words: Add entry for -gnaty/Y [NO]ADA_2005_COMPATIBILITY + * ug_words: Add entry for -gnaty/Y [NO]ADA_2005_COMPATIBILITY 2005-06-14 Vincent Celier @@ -7218,7 +7207,7 @@ object directories of project files before directories in ADA_*_PATH environment variables. - * g-trasym.ads: Document that IRIX is supported + * g-trasym.ads: Document that IRIX is supported 2005-06-10 Arnaud Charlet @@ -7313,9 +7302,9 @@ 2005-04-16 Laurent GUERBY - PR ada/18847 - * a-nudira.adb (Value): Check for valid string. - * a-nuflra.adb (Value): Likewise. + PR ada/18847 + * a-nudira.adb (Value): Check for valid string. + * a-nuflra.adb (Value): Likewise. 2005-04-11 Richard Sandiford @@ -7488,7 +7477,6 @@ Generic_Dispatching_Constructor. PR ada/20300 - * sem_ch8.adb (Find_Direct_Name): Go to root type for check of character type cases. (Analyze_Subprogram_Renaming): Add special handling for @@ -7788,13 +7776,12 @@ * Makefile.in: (ia64-hp-*vms*): Use s-crtl-vms64.ads. - * 5xcrtl.ads: Renamed to... - * s-crtl-vms64.ads: ...this new file + * 5xcrtl.ads: Renamed to... + * s-crtl-vms64.ads: ...this new file 2005-03-17 Robert Dewar PR ada/19519 - * namet.adb (Copy_One_Character): Set proper wide character encoding for upper half character if we have upper half encoding. @@ -8170,7 +8157,6 @@ 2005-03-15 Robert Dewar PR ada/13470 - * a-stunau.ads, a-stunau.adb: Change interface to allow efficient (and correct) implementation The previous changes to allow extra space in unbounded strings had @@ -8333,7 +8319,6 @@ PR ada/19408 PR ada/19140 PR ada/20255 - * decl.c (gnat_to_gnu_field): Reject aliased components with a representation clause that prescribes a size not equal to the rounded size of their types. @@ -8492,7 +8477,6 @@ PR ada/20226 PR ada/20344 - * init.c (__gnat_initialize): Do not call __gnat_install_SEH_handler() when IN_RTS. This is to work around a bootstrap path problem. @@ -9203,8 +9187,7 @@ 2005-02-09 Eric Botcazou Richard Kenner - Fix for c330001 - PR ada/19386 - + PR ada/19386 * decl.c: (gnat_to_gnu_field): Do not necessarily invoke make_packable_type on the field if Pragma Component_Alignment (Storage_Unit). @@ -9304,7 +9287,6 @@ 2005-02-09 Arnaud Charlet PR ada/16592 - * Makefile.in: Link all gnat tools with -static-libgcc, since -shared-libgcc is now used by default on some systems (e.g. linux with recent binutils). @@ -11094,7 +11076,6 @@ 2004-10-04 Bernard Banner PR ada/13897 - * Makefile.in: Add section for powerpc linux Add variant i-vxwork-x86.ads @@ -11370,7 +11351,6 @@ 2004-09-23 Robert Dewar PR ada/17540 - * sem_prag.adb (Process_Import_Or_Interface): Don't set Is_Public here, instead do this at freeze time (we won't do it if there is an address clause). @@ -11415,7 +11395,6 @@ 2004-09-20 Robert Dewar PR ada/17540 - * freeze.adb (Check_Address_Clause): Reset Is_Imported and Is_Public if an address clause is present, since that means that the Import should be ignored. @@ -12094,7 +12073,6 @@ 2004-08-09 Ed Schonberg PR ada/15408 - * sem_ch7.adb (Install_Private_Declarations): In the body of the package or of a child, private entities are both immediately_visible and not hidden. @@ -13632,7 +13610,6 @@ 2004-06-11 Hristian Kirtchev PR ada/15587 - * einfo.ads: Minor comment updates for Has_Completion and E_Constant list of flags. @@ -13715,7 +13692,6 @@ 2004-06-11 Ed Schonberg PR ada/15403 - * sem_ch12.adb (Save_References): If operator node has been folded to enumeration literal, associated_node must be discarded. @@ -13727,7 +13703,6 @@ 2004-06-08 Arnaud Charlet PR ada/15568 - * Makefile.in: Remove target specific SO_OPT on IRIX 2004-06-07 Richard Kenner @@ -14942,7 +14917,6 @@ 2004-05-03 Olivier Hainque PR ada/15152 - * exp_ch2.adb (Expand_Current_Value): Leave Machine_Code Asm arguments alone. Replacing object references by literals is inappropriate in a so low level context. @@ -17273,7 +17247,8 @@ 2004-02-10 Arnaud Charlet , Nathanael Nerode - PR ada/6637, PR ada/5911 + PR ada/6637 + PR ada/5911 Merge with libada-branch: * config-lang.in: Build libada only when ada is built. @@ -18405,7 +18380,6 @@ Fixes ACATS regressions. PR ada/13353 - * sem_prag.adb (Back_End_Cannot_Inline): A renaming_as_body can always be inlined. @@ -18642,7 +18616,6 @@ 2003-12-03 Thomas Quinot PR ada/11724 - * adaint.h, adaint.c, g-os_lib.ads: Do not assume that the offset argument to lseek(2) is a 32 bit integer, on some platforms (including FreeBSD), it is a 64 bit value. @@ -19666,7 +19639,6 @@ 2003-11-04 Richard Kenner Part of PR ada/12806 - * ada-tree.h (TYPE_DIGITS_VALUE, SET_TYPE_DIGITS_VALUE): Save count as tree, not integer. @@ -19980,7 +19952,7 @@ * Makefile.generic: Add missing substitution on object_deps handling. - PR ada/5909: + PR ada/5909 * Make-lang.in (check-ada): Enable ACATS test suite. 2003-10-27 Robert Dewar @@ -20049,13 +20021,13 @@ 2003-10-24 Pascal Obry + PR ada/12014 * adadecode.c (ostrcpy): New function. (__gnat_decode): Use ostrcpy of strcpy. (has_prefix): Set first parameter a const. (has_suffix): Set first parameter a const. Update copyright notice. Fix source name in header. Removes a trailing space. - PR ada/12014. 2003-10-24 Jose Ruiz @@ -20130,13 +20102,13 @@ 2003-10-23 Thomas Quinot - PR ada/11978: + PR ada/11978 * exp_ch13.adb (Expand_N_Freeze_Entity): Do not consider inherited External_Tag attribute definition clauses. 2003-10-23 Ed Schonberg - PR ada/7613: + PR ada/7613 * exp_dbug.adb (Debug_Renaming_Declaration): For the renaming of a child unit, generate a fully qualified name to avoid spurious errors when the context contains renamings of different child units with @@ -20199,7 +20171,8 @@ 2003-10-22 Arnaud Charlet - * Makefile.in: Disable build of gnatpsta. PR ada/10110. + PR ada/10110 + * Makefile.in: Disable build of gnatpsta. * cstreams.c (__gnat_full_name): Minor improvements and clean up of previous change. @@ -20734,7 +20707,7 @@ 2003-06-04 Olivier Hainque - PR ada/9953: + PR ada/9953 * 5hsystem.ads: Remove pragma Linker_Option for pthreads library, and turn ZCX_By_Default back to False since the underlying support is not quite there yet. @@ -21187,7 +21160,7 @@ 2003-02-18 Ben Elliston - Part of fix for PR ada/9406 + Part of PR ada/9406 * gnat_ug.texi (Binder output file): Grammar fix. 2003-02-18 Ben Elliston @@ -21296,9 +21269,10 @@ 2002-12-14 Geert Bosch + PR ada/5690 * sem_ch6.adb (Analyze_Subprogram_Body): Recognize additional case of a body created for a Renaming_As_Body, on which - conformance checks are not performed. Fixes PR ada/5690. + conformance checks are not performed. 2002-11-30 Zack Weinberg @@ -21312,7 +21286,9 @@ solution to buffer overflow bug on GNU/Linux. 2002-11-14 Nathanael Nerode - Closes PR ada/5856 and PR ada/6919 ! + + PR ada/5856 + PR ada/6919 * bindgen.adb: Remove all references to Public_Version. * comperr.adb: Remove all references to Public_Version and GNATPRO_Version; correct bug reporting instructions. @@ -21321,6 +21297,7 @@ GNATPRO version. 2002-11-13 Nathanael Nerode + PR ada/6919 * adaint.c (__gnat_tmp_name): Remove buffer overflow bug on GNU/Linux. @@ -21329,21 +21306,25 @@ * config-lang.in: Remove diff_excludes. 2002-11-05 Graham Stott + PR ada/8358 * trans.c (gnu_pending_elaboration_lists): New GC root. (build_unit_elab): Use.. 2002-10-30 Geert Bosch + PR ada/6558 * misc.c : Include optabs.h * Make-lang.in (misc.o): Add dependency on optabs.h 2002-10-29 Geert Bosch + PR ada/6558 * Make-lang.in (gnatbind): Depend on CONFIG_H 2002-10-29 Geert bosch + PR ada/6558 * misc.c: Unrevert misc.c (1.13) @@ -21353,6 +21334,7 @@ maintainership comments. 2002-09-25 Nathanael Nerode + PR ada/5904 * 5ataprop.adb 5atpopsp.adb 5bosinte.adb 5ftaprop.adb 5gtaprop.adb 5htaprop.adb 5rosinte.ads 5staprop.adb