diff options
| author | Andreas Schwab <schwab@gcc.gnu.org> | 2008-10-01 08:33:54 +0000 |
|---|---|---|
| committer | Andreas Schwab <schwab@gcc.gnu.org> | 2008-10-01 08:33:54 +0000 |
| commit | 9e81dbc753bb36f496b3566ad5d80ccced070fc5 (patch) | |
| tree | 32b4ff2ba1479c3c192f032378df444dd34ec15c | |
| parent | 7ec594452610102891d3a8e01c6b4b2440adffd6 (diff) | |
| download | gcc-9e81dbc753bb36f496b3566ad5d80ccced070fc5.zip gcc-9e81dbc753bb36f496b3566ad5d80ccced070fc5.tar.gz gcc-9e81dbc753bb36f496b3566ad5d80ccced070fc5.tar.bz2 | |
system-linux-ppc64.ads: New file.
* system-linux-ppc64.ads: New file.
* gcc-interface/Makefile.in: Add multilib handling for
powerpc-linux.
From-SVN: r140808
| -rw-r--r-- | gcc/ada/ChangeLog | 856 | ||||
| -rw-r--r-- | gcc/ada/gcc-interface/Makefile.in | 17 | ||||
| -rw-r--r-- | gcc/ada/system-linux-ppc64.ads | 155 |
3 files changed, 601 insertions, 427 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 3aa6f4d..7d06122 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,9 @@ +2008-10-01 Andreas Schwab <schwab@suse.de> + + * system-linux-ppc64.ads: New file. + * gcc-interface/Makefile.in: Add multilib handling for + powerpc-linux. + 2008-09-26 Eric Botcazou <ebotcazou@adacore.com> * decl.c (gnat_to_gnu_entity) <object>: Cap the alignment promotion @@ -22,11 +28,11 @@ 2008-09-21 Laurent Guerby <laurent@guerby.net> - PR ada/5911 + PR ada/5911 * gcc-interface/Makefile.in: Add multilib handling for x86_64 and sparc. * system-linux-sparcv9.ads: New file. - + 2008-09-20 Eric Botcazou <ebotcazou@adacore.com> * exp_dbug.ads: Document new convention for the XVZ variable. @@ -601,7 +607,7 @@ 2008-08-20 Robert Dewar <dewar@adacore.com> * freeze.adb (Freeze_Record_Type): Improve msg for non-contiguous field - + * sem_ch13.adb: (Adjust_Record_For_Reverse_Bit_Order): Messages about layout are now labeled as info msgs, not warnings. @@ -657,7 +663,7 @@ and full views are available for the context type. 2008-08-18 Samuel Tardieu <sam@rfc1149.net> - Robert Dewar <dewar@adacore.com> + Robert Dewar <dewar@adacore.com> PR ada/30827 * bindgen.adb (Gen_Output_File_Ada): Zero-terminate the @@ -726,7 +732,7 @@ * gcc-interface/Make-lang.in: Include CFLAGS_FOR_TARGET when cross. 2008-08-10 Samuel Tardieu <sam@rfc1149.net> - Robert Dewar <dewar@adacore.com> + Robert Dewar <dewar@adacore.com> * exp_ch4.adb (Expand_N_Op_Expon): Force evaluation of left argument even when right argument is 0. @@ -738,7 +744,7 @@ * gcc-interface/misc.c (gnat_handle_option): Replace set_Wunused by warn_unused. - + 2008-08-08 Ed Schonberg <schonberg@adacore.com> * freeze.adb (Generate_Prim_Op_References): New procedure, abstracted @@ -788,7 +794,7 @@ begining of the command line. (Append, Add): Renaming of Append to Add as this now allows addition at the begining of the list. - + * g-comlin.ads (Add_Switch): Handle addition of switches at the begining of the command line. @@ -1012,7 +1018,7 @@ * freeze.adb: (Freeze_Entity): A deferred constant does not violate the restriction - No_Default_Initialization, + No_Default_Initialization, * sem_ch3.adb (Process_Subtype): An allocator is a valid construct that can carry a null exclusion indicator, and on which an error may be @@ -1070,7 +1076,7 @@ * a-wtdeio.adb (Put (Current_Output)): Use Fore in the call to Put (File). - + * a-ztdeio.adb: Ditto. 2008-08-05 Pascal Obry <obry@adacore.com> @@ -1084,7 +1090,7 @@ (Wide_String_To_String): Returns a String with the same 'First as its parameter S. (Wide_Wide_String_To_String): Ditto - + * s-wchwts.ads: (Wide_String_To_String): Document that the lowest index of the returned String is equal to S'First. @@ -1099,16 +1105,16 @@ 2008-08-05 Robert Dewar <dewar@adacore.com> * opt.ads (Warn_On_Biased_Representation): New flag - + * sem_ch13.adb: (Analyze_Attribute_Definition_Clause): Issue warning when biased representation is required. (Minimum_Size): Don't allow biasing if enum rep clause case - + * sem_warn.adb: (Set_Dot_Warning_Switch): Add handling of -gnatw.b/B switches (Set_Warning_Switch): Include -gnatw.b in -gnatwa, -gnatw.B in gnatws - + * usage.adb: Add lines for -gnatw.b/B switches 2008-08-05 Pascal Obry <obry@adacore.com> @@ -1200,7 +1206,7 @@ * prj-attr.ads: (Others_Allowed_For): New Boolean function (Attribute_Record): New Boolean component Others_Allowed - + * prj-dect.adb: (Parse_Attribute_Declaration): For associative array attribute where others is allowed as the index, allow others as an index. @@ -1273,7 +1279,7 @@ string. (Start): Sort the switches by sections before iterating the command line elements. - + * g-comlin.ads (Define_Section, Add_Switch, Remove_Switch, Is_New_Section, Current_Section): New methods or methods modified to handle building command lines with sections. @@ -1515,28 +1521,28 @@ * gprep.adb (Process_One_File): Call Prep.Preprocess with a Boolean variable, but don't check the resulting value as it has no impact on the processing. - + * opt.ads: (Generate_Processed_File): New Boolean flag, set to True in the compiler when switch -gnateG is used. - + * prep.adb: (Preprocess): new Boolean out parameter Source_Modified. Set it to True when the source is modified by the preprocessor and there is no preprocessing errors. - + * prep.ads (Preprocess): new Boolean out parameter Source_Modified - + * sinput-l.adb: (Load_File): Output the result of preprocessing if the source text was modified. - + * switch-c.adb (Scan_Front_End_Switches): Recognize switch -gnateG - + * switch-m.adb (Normalize_Compiler_Switches): Normalize switch -gnateG - + * ug_words: Add VMS equivalent for -gnateG - + * vms_data.ads: Add VMS option /GENERATE_PROCESSED_SOURCE, equivalent to switch -gnateG @@ -1561,9 +1567,9 @@ 2008-08-04 Vincent Celier <celier@adacore.com> * prj-attr.adb: New Builder attribute Global_Compilation_Switches - + * snames.adb: New standard name Global_Compilation_Switches - + * snames.ads: New standard name Global_Compilation_Switches * make.adb: Correct spelling error in comment @@ -1639,13 +1645,13 @@ 2008-08-01 Hristian Kirtchev <kirtchev@adacore.com> * rtsfind.ads: Add block IO versions of stream routines for Strings. - + * bindgen.adb, gnat_rm.texi, gnat_ugn.texi, opt.ads, sem_prag.adb, snames.adb, snames.ads, snames.h, par-prag.adb: Undo previous stream related changes. - + * s-rident.ads: Add new restriction No_Stream_Optimizations. - + * s-ststop.ads, s-ststop.adb: Comment reformatting. Define enumeration type to designate different IO mechanisms. Enchance generic package Stream_Ops_Internal to include an @@ -1657,7 +1663,7 @@ Otherwise use the corresponding block IO version. 2008-08-01 Olivier Hainque <hainque@adacore.com> - + * gcc-interface/decl.c (gnat_to_gnu_entity) <case E_Function>: Do not turn Ada Pure into GCC const, now implicitely implying nothrow as well. @@ -1726,9 +1732,9 @@ 2008-08-01 Vincent Celier <celier@adacore.com> * prj-attr.adb: New attribute Compiler'Name_Syntax (<lang>) - + * prj-nmsc.adb (Process_Compiler): Recognize attribute Name_Syntax - + * prj.adb (Object_Exist_For): Use Object_Generated, not Objects_Generated that is removed and was never modified anyway. @@ -1739,7 +1745,7 @@ used. * snames.adb: New standard name Path_Syntax - + * snames.ads: New standard name Path_Syntax 2008-08-01 Vincent Celier <celier@adacore.com> @@ -1749,7 +1755,7 @@ when procedure Specify_Adalib_Dir is called. (Lib_Directory): If Adalib_Path is not null, return its value (Specify_Adalib_Dir): New procedure - + * mlib-utl.ads (Specify_Adalib_Dir): New procedure 2008-08-01 Ed Schonberg <schonberg@adacore.com> @@ -1815,7 +1821,7 @@ 2008-08-01 Doug Rupp <rupp@adacore.com> * gnat_rm.texi: Document new mechanism Short_Descriptor. - + * types.ads (Mechanism_Type): Modify range for new Short_Descriptor mechanism values. @@ -1850,7 +1856,7 @@ * gcc-interface/utils.c (build_vms_descriptor32): Renamed from build_vms_descriptor and enhanced to hande Short_Descriptor mechanism. - (build_vms_descriptor): Renamed from build_vms_descriptor64. + (build_vms_descriptor): Renamed from build_vms_descriptor64. (convert_vms_descriptor32): New function. (convert_vms_descriptor64): New function. (convert_vms_descriptor): Rewrite to handle both 32bit and 64bit @@ -1906,7 +1912,7 @@ * mlib-tgt-specific-vms-alpha.adb (Build_Dynamic_Library): Output a dummy transfer address for debugging. - + * mlib-tgt-specific-vms-ia64.adb (Build_Dynamic_Library): Likewise. * vms_data.ads: vms_data.ads: New qualfier /MACHINE_CODE_LISTING @@ -1924,7 +1930,7 @@ * system-rtx-rtss.ads Change the default stack size. It is important to set the commit part. - + * s-taprop-rtx.adb (Initialize): Get the clock resolution. (RT_Resolution): Return the clock resolution that is indicated by the @@ -1987,32 +1993,32 @@ configuration flag Canonical_Streams. (Gen_Adainit_C): Add the declaration and initial value of external symbol __gl_canonical_streams. - + * init.c: Update the list of global values computed by the binder. - + * opt.ads: Add flag Canonical_Streams. - + * par-prag.adb (Prag): Include Pragma_Canonical_Streams to the list of semantically handled pragmas. - + * sem_prag.adb: Add an entry into enumeration type Sig_Flags. (Analyze_Pragma): Add case for pragma Canonical_Streams. - + * snames.adb: Add character value for name Canonical_Streams. - + * snames.ads: Add Name_Canonical_Streams to the list of configuration pragmas. Add Pragma_Canonical_Streams to enumeration type Pragma_Id. - + * snames.h: Add a definition for Pragma_Canonical_Streams. - + * s-ststop.adb: Add a flag and import to seize the value of external symbol __gl_canonical_streams. Update comment and initial value of constant Use_Block_IO. - + * gnat_rm.texi: Add section of pragma Canonical_Streams. - + * gnat_ugn.texi: Add pragma Canonical_Streams to the list of configuration pragmas. @@ -2030,17 +2036,17 @@ 2008-07-31 Gary Dismukes <dismukes@adacore.com> * checks.ads (Apply_Accessibility_Check): Add parameter Insert_Node. - + * checks.adb (Apply_Accessibility_Check): Insert the check on Insert_Node. - + * exp_attr.adb: (Expand_N_Attribute_Refernce, Attribute_Access): Pass attribute node to new parameter Insert_Node on call to Apply_Accessibility_Check. Necessary to distinguish the insertion node because the dereferenced formal may come from a rename, but the check must be inserted in front of the attribute. - + * exp_ch4.adb: (Expand_N_Allocator): Pass actual for new Insert_Node parameter on call to Apply_Accessibility_Check. @@ -2052,15 +2058,15 @@ * sem_type.adb (Has_Compatible_Type): Complete support for synchronized types when the candidate type is a synchronized type. - + * sem_res.adb (Resolve_Actuals): Reorganize code handling synchronized types, and complete management of synchronized types adding missing code to handle formal that is a synchronized type. - + * sem_ch4.adb (Try_Primitive_Operation): Avoid testing attributes that are not available and cause the compiler to blowup. Found compiling test with switch -gnatc - + * sem_ch6.adb (Check_Synchronized_Overriding): Remove local subprogram Has_Correct_Formal_Mode plus code cleanup. @@ -2128,7 +2134,7 @@ * exp_attr.adb (Find_Stream_Subprogram): Check the base type instead of the type when looking for stream subprograms for type String, Wide_String and Wide_Wide_String. - + * s-ststop.adb: Change the initialization expression of constant Use_Block_IO. @@ -2173,9 +2179,9 @@ 2008-07-31 Robert Dewar <dewar@adacore.com> * einfo.adb (Spec_PPC): Now defined for generic subprograms - + * einfo.ads (Spec_PPC): Now defined for generic subprograms - + * sem_prag.adb (Check_Precondition_Postcondition): Handle generic subprogram case @@ -2190,7 +2196,7 @@ they will appear in each instance. (Process_PPCs): Do not transform postconditions into a procedure in a generic context, to prevent double expansion of check pragmas. - + * sem_attr.adb: In an instance, the prefix of the 'result attribute can be the renaming of the current instance, so check validity of the name accordingly. @@ -2205,7 +2211,7 @@ from context. This attribute must be usable in Ada95 mode. The attribute can appear in the body of a function marked Inline_Always, but in this case the postocondition is not enforced. - + sem_prag.adb (Check_Precondition_Postcondition): within the expansion of an inlined call pre- and postconditions are legal @@ -2231,7 +2237,7 @@ 2008-07-30 Aaron W. LaFramboise <aaronavay62@aaronwl.com> - * gcc-interface/Makefile.in (EXTRA_GNATRTL_NONTASKING_OBJS) + * gcc-interface/Makefile.in (EXTRA_GNATRTL_NONTASKING_OBJS) [WINDOWS]: Add s-winext.o. 2008-07-30 Eric Botcazou <ebotcazou@adacore.com> @@ -2290,7 +2296,7 @@ * sem_ch8.adb (Analyze_Subprogram_Renaming): When renaming an attribute as a actual in an instance, check for a missing attribute to prevent program_error on an illegal program. - + * exp_util.adb (Find_Prim_Op): Rather than Assert (False), raise program error if primitive is not found, so that exception can be handled elsewhere on illegal programs. @@ -2341,7 +2347,7 @@ (Process_Full_View): Build wrapper specs for all primitives that belong to a private view completed by a concurrent type implementing an interface. - + * sem_ch6.adb (Analyze_Subprogram_Body): When the current subprogram is a primitive of a concurrent type with a private view that implements an interface, try to @@ -2395,18 +2401,18 @@ * cio.c (put_int, put_int_stderr, put_char, put_char_stderr): For RTX we call the function RtPrintf for console output. - + * argv.c Do not use the environ variable for RTX. - + * gnatlink.adb (gnatlink): The part that handles the --RTS option has been moved before the call to Osint.Add_Default_Search_Dirs in order to take into account the flags in system.ads (RTX_RTSS_Kernel_Module) from the appropriate run time. - + * targparm.ads (RTX_RTSS_Kernel_Module_On_Target): Add this flag that is set to True if target is a RTSS module for RTX. - + * targparm.adb (Targparm_Tags, RTX_Str, Targparm_Str): Add tag RTX for RTX_RTSS_Kernel_Module (Get_Target_Parameters): Add processing of RTX_RTSS_Kernel_Module flag. @@ -2433,13 +2439,13 @@ 2008-07-30 Laurent Guerby <laurent@guerby.net> - PR ada/5911 - * gcc-interface/Makefile.in (MULTISUBDIR, RTSDIR): New variables. - Pass MULTISUBDIR to recursive make. Use $(RTSDIR) instead of rts. - Replace stamp-gnatlib* by stamp-gnatlib*-rts. - * gcc-interface/Make-lang.in: Replace stamp-gnatlib2 - by stamp-gnatlib2-rts. - + PR ada/5911 + * gcc-interface/Makefile.in (MULTISUBDIR, RTSDIR): New variables. + Pass MULTISUBDIR to recursive make. Use $(RTSDIR) instead of rts. + Replace stamp-gnatlib* by stamp-gnatlib*-rts. + * gcc-interface/Make-lang.in: Replace stamp-gnatlib2 + by stamp-gnatlib2-rts. + 2008-07-30 Ralf Wildenhues <Ralf.Wildenhues@gmx.de> PR documentation/15479 @@ -2531,7 +2537,7 @@ * adaint.c (__MINGW32__ section): Include ctype.h and define a fallback ISALPHA if IN_RTS. - (__gnat_is_absolute_path): Use ISALPHA instead of isalpha. + (__gnat_is_absolute_path): Use ISALPHA instead of isalpha. 2008-07-17 Olivier Hainque <hainque@adacore.com> @@ -2604,7 +2610,7 @@ (gnat_to_gnu_entity) <case E_Function/Procedure>: Request stack realignment with force_align_arg_pointer attribute on foreign convention subprograms if FORCE_PREFERRED_STACK_BOUNDARY_IN_MAIN. - + 2008-06-13 Olivier Hainque <hainque@adacore.com> * utils.c (rest_of_record_type_compilation): When computing @@ -2667,7 +2673,7 @@ (gnat_handle_option) <OPT_gdwarf_>: Increment gnat_dwarf_extensions. (gnat_post_options): Map gnat_dwarf_extensions to the commonuse_gnu_debug_info_extensions for later processing. - + 2008-06-04 Samuel Tardieu <sam@rfc1149.net> * einfo.ads, einfo.adb: Remove unused flag Function_Returns_With_DSP. @@ -2701,9 +2707,9 @@ PR ada/864 * osint.ads, osint.adb (Program_Name): New parameter "Prog" to allow recognition of program suffix in addition to prefix. - + * gnatchop.adb (Locate_Executable): Add support for prefix. - + * make.adb, gnatcmd.adb, gnatlink.adb, prj-makr.adb, mlib-utl.adb: Adjust calls to Program_Name. @@ -2750,7 +2756,7 @@ * sinput-p.adb (Source_File_Is_Subunit): Allow special character used for preprocessing - + * sinput-p.ads: Minor comment update and reformatting 2008-05-28 Ed Schonberg <schonberg@adacore.com> @@ -2780,18 +2786,18 @@ * restrict.ads: Add missing restrictions, and properly label all GNAT defined ones - + * rtsfind.ads: Add entry for Ada_Real_Time.Timing_Events.Timing_Event Add entry for Ada.Task_Termination.Set_Specific_Handler Add entry for Ada.Task_Termination.Specific_Handler - + * s-rident.ads: Add missing restrictions and properly mark all gnat defined ones - + * sem_ch3.adb: (Analyze_Object_Declaration): Check No_Local_Timing_Events restriction - + * sem_res.adb: (Resolve_Call): Check violation of No_Specific_Termination_Handlers @@ -2841,7 +2847,7 @@ * sem_ch3.adb (Derive_Progenitor_Primitives): Add missing support for user-defined predefined primitives. - + * sem_util.adb (Matches_Prefixed_View_Profile): Ditto. (Find_Overridden_Synchronized_Primitive): Ditto. @@ -2930,7 +2936,7 @@ 2008-05-27 Arnaud Charlet <charlet@adacore.com> * bindgen.adb: Update comments. - + * s-tasinf-mingw.adb: Add "with" of System.OS_Interface 2008-05-27 Vincent Celier <celier@adacore.com> @@ -2974,14 +2980,14 @@ Measure and Overflow_Guard. (Report_Result): Fixed computation of the result using new fields of Stack_Analyzer. - + * s-stausa.ads (Initialize_Analyzer): Replaced Size / Overflow_Guard params by more explicit Stack_Size / Max_Pattern_Size params. (Stack_Analyzer): Added distinct Stack_Size & Pattern_Size fields. Added Stack_Used_When_Filling field. (Task_Result): Replaced Measure / Overflow_Guard by more explicit Min_Measure and Max_Measure fields. - + * s-tassta.adb (Task_Wrapper): Updated call to Initialize_Analyzer. 2008-05-27 Vincent Celier <celier@adacore.com> @@ -3001,7 +3007,7 @@ (System.File_IO.{Close, Delete, Reset}): Change File parameter from "in out AFCB_Ptr" to "access AFCB_Ptr". - + (Ada.*_IO.{Close, Delete, Reset, Set_Mode}): Pass File parameter by reference. @@ -3053,7 +3059,7 @@ * system-solaris-sparc.ads (Always_Compatible_Rep): Likewise. * system-solaris-sparcv9.ads (Always_Compatible_Rep): Likewise. * system-solaris-x86.ads (Always_Compatible_Rep): Likewise. - + 2008-05-27 Ed Schonberg <schonberg@adacore.com> * sem_attr.adb: add guard to previous patch. @@ -3080,14 +3086,14 @@ 2008-05-27 Vincent Celier <celier@adacore.com> * prj-attr.adb: Add new project level attribute Map_File_Option - + * prj-nmsc.adb (Process_Linker): Process new attribute Map_File_Option - + * prj.ads: Minor reformatting and comment update (Project_Configuration): New component Map_File_Option - + * snames.adb: New standard name Map_File_Option - + * snames.ads: New standard name Map_File_Option 2008-05-27 Vincent Celier <celier@adacore.com> @@ -3111,7 +3117,7 @@ * exp_ch3.adb (Expand_N_Object_Declaration): Remove checks for No_Default_Initialization, which is now delayed until the freeze point of the object. Add a comment about deferral of the check. - + * freeze.adb (Freeze_Entity): The check for No_Default_Initialization on objects is moved here. @@ -3129,7 +3135,7 @@ (Compare_Array_U32): Likewise. * s-caun64.adb (Uword): Likewise. (Compare_Array_U64): Likewise. - + 2008-05-26 Robert Dewar <dewar@adacore.com> * exp_ch6.adb: Add ??? comment for previous change @@ -3198,7 +3204,7 @@ * rtsfind.ads, rtsfind.adb: (RE_Get_RACW): New runtime library entity provided by PolyORB s-parint. (Check_RPC): Support per-PCS-kind API versioning. - + exp_dist.ads, exp_dist.adb: (Build_Stub_Tag, Get_Stub_Elements): New utility subprograms. (PolyORB_Support.Add_RACW_From_Any): Offload common code to new runtime @@ -3209,7 +3215,7 @@ through an intermediate Any. (PolyORB_Support.Add_RACW_Write_Attribute): Use Get_Reference instead of going through an intermediate Any. - + * sem_dist.adb: Minor reformatting. 2008-05-26 Javier Miranda <miranda@adacore.com> @@ -3480,7 +3486,7 @@ respectively. Hence, the priority must be set in this case to the one selected by the user. - + 2008-05-26 Ed Schonberg <schonberg@adacore.com> * sem_ch12.adb: @@ -3488,7 +3494,7 @@ parent is declared within some parent scope of the just completed instance, make full views of the entities in that parent visible, when applicable. - + 2008-05-26 Kai Tietz <kai.tietz@onevision.com> * mingw32.h (STD_MINGW): Set to true for target w64. @@ -3580,12 +3586,12 @@ * g-sttsne-vxworks.adb: Add missing dependency on Sockets.Constants. Add missing "with" of Ada.Unchecked_Conversion - * g-soccon-linux-ppc.ads, g-soccon-linux-64.ads, g-soccon-lynxos.ads, - g-soccon-linux-x86.ads, g-soccon-hpux-ia64.ads, - g-soccon-solaris-64.ads, g-soccon-tru64.ads, g-soccon-aix.ads, - g-soccon-irix.ads, g-soccon-hpux.ads, g-soccon-solaris.ads, - g-soccon-vms.ads, g-soccon-mingw.ads, g-soccon-vxworks.ads, - g-socthi-vxworks.adb, g-soccon-freebsd.ads, g-soccon.ads: + * g-soccon-linux-ppc.ads, g-soccon-linux-64.ads, g-soccon-lynxos.ads, + g-soccon-linux-x86.ads, g-soccon-hpux-ia64.ads, + g-soccon-solaris-64.ads, g-soccon-tru64.ads, g-soccon-aix.ads, + g-soccon-irix.ads, g-soccon-hpux.ads, g-soccon-solaris.ads, + g-soccon-vms.ads, g-soccon-mingw.ads, g-soccon-vxworks.ads, + g-socthi-vxworks.adb, g-soccon-freebsd.ads, g-soccon.ads: Move common code out of GNAT.Sockets.Thin implementations and into Thin_Common. New constant SIZEOF_fd_set @@ -3596,13 +3602,13 @@ (Create): Remove call to Set_Length; use Set_Family to set the family and (on appropriate platforms) length fields in struct sockaddr. - * g-socthi.adb, g-socthi.ads, g-socthi-vms.ads, g-socthi-vms.adb, - g-socthi-mingw.adb, g-socthi-mingw.ads, g-socthi-vxworks.adb, + * g-socthi.adb, g-socthi.ads, g-socthi-vms.ads, g-socthi-vms.adb, + g-socthi-mingw.adb, g-socthi-mingw.ads, g-socthi-vxworks.adb, g-soccon-darwin.ads, g-soccon-darwin.ads: New constant SIZEOF_fd_set Move common code out of GNAT.Sockets.Thin implementations and into Thin_Common. - * g-socket.ads, g-socket.adb: + * g-socket.ads, g-socket.adb: Move common code out of GNAT.Sockets.Thin implementations and into Thin_Common. (Connect_Socket, Accept_Socket): Provide new versions of these two @@ -3611,7 +3617,7 @@ this is now handled automatically by Set_Family on platforms that require it. - * gen-soccon.c: + * gen-soccon.c: Move common code out of GNAT.Sockets.Thin implementations and into Thin_Common. (SIZEOF_sockaddr_in6): On platforms where IPv6 is not supported, define @@ -3722,7 +3728,7 @@ Declared_In_Interfaces. (Project_Data): New Boolean component Interfaces_Defined - * prj-attr.adb: + * prj-attr.adb: New project level attribute Object_Generated and Objects_Linked Add new project level attribute Interfaces @@ -3731,13 +3737,13 @@ name and is not found in the current project, look for it also in the ancestors of the project. - * prj-makr.adb: + * prj-makr.adb: Replace procedure Make with procedures Initialize, Process and Finalize to implement H414-023: process different directories with different patterns. Use functions Present and No throughout - * prj-makr.ads: + * prj-makr.ads: Replace procedure Make with procedures Initialize, Process and Finalize * prj-nmsc.adb @@ -3795,7 +3801,7 @@ (Parent_Project_Of): New function (Set_Parent_Project_Of): New procedure - * snames.ads, snames.adb: + * snames.ads, snames.adb: Add new standard names Object_Generated and Objects_Linked 2008-05-20 Hristian Kirtchev <kirtchev@adacore.com> @@ -3839,7 +3845,7 @@ Calls to access and assign routines have been replaced by calls to Read/Write routines of System.Shared_Storage.Shared_Var_Procs instantiated package. - + * rtsfind.ads: RE_Shared_Var_Procs entry has been added in RE_Unit_Table It identifies the new generic package added in s-shasto. @@ -4070,7 +4076,7 @@ * s-osinte-irix.ads: (Alternate_Stack_Size): Add dummy declaration. - * adaint.c: + * adaint.c: Don't define dummy implementation of convert_addresses on ppc-linux. 2008-05-20 Ed Schonberg <schonberg@adacore.com> @@ -4112,7 +4118,7 @@ (gnat_to_gnu) <N_Validate_Unchecked_Conversion>: Fix formatting. 2008-05-14 Samuel Tardieu <sam@rfc1149.net> - Robert Dewar <dewar@adacore.com> + Robert Dewar <dewar@adacore.com> * sem_attr.adb (Analyze_Attribute, Attribute_Old case): Add restrictions to the prefix of 'Old. @@ -4129,7 +4135,7 @@ directly in a couple of special cases. 2008-05-12 Samuel Tardieu <sam@rfc1149.net> - Ed Schonberg <schonberg@adacore.com> + Ed Schonberg <schonberg@adacore.com> * sem_ch3.adb (Build_Derived_Record_Type): Accept statically matching constraint expressions. @@ -4189,7 +4195,7 @@ tagged type by an untagged protected or task type. 2008-04-28 Eric Botcazou <ebotcazou@adacore.com> - Tristan Gingold <gingold@adacore.com> + Tristan Gingold <gingold@adacore.com> PR ada/36007 * decl.c (gnat_to_gnu_entity) <object>: Do not promote alignment @@ -4316,7 +4322,7 @@ the parent using the corresponding discriminant. 2008-04-15 Samuel Tardieu <sam@rfc1149.net> - Gary Dismukes <dismukes@adacore.com> + Gary Dismukes <dismukes@adacore.com> PR ada/28733 * sem_ch8.adb (Analyze_Use_Package): Do not allow "use" of something @@ -4413,7 +4419,7 @@ * xref_lib.adb (Parse_Identifier_Info): Correctly parse and ignore the renaming information. -2008-04-13 Samuel Tardieu <sam@rfc1149.net> +2008-04-13 Samuel Tardieu <sam@rfc1149.net> PR ada/17985 * sem_aggr.adb (Valid_Ancestor_Type): A type is not an ancestor of @@ -4581,7 +4587,7 @@ * utils.c (gnat_genericize): Likewise. 2008-04-08 Eric Botcazou <ebotcazou@adacore.com> - Richard Kenner <kenner@adacore.com> + Richard Kenner <kenner@adacore.com> * ada-tree.h (TYPE_PACKED_ARRAY_TYPE_P): Only set it when bit-packed. * decl.c (gnat_to_gnu_entity): Adjust for above change. @@ -4640,7 +4646,7 @@ * g-sercom-linux.adb: Implement the stop bits and parity support for GNU/Linux. Fix handling of timeout, it must be given in tenth of seconds. - + * g-sercom-mingw.adb: Implement the stop bits and parity support for Windows. Use new s-win32.ads unit instead of declaring Win32 services @@ -4696,7 +4702,7 @@ * system-linux-x86.ads: (Stack_Check_Probes): Set to True. - * s-intman-posix.adb: + * s-intman-posix.adb: (Initialize): Set SA_ONSTACK for SIGSEGV if the platform makes use of an alternate signal stack for stack overflows. @@ -4738,7 +4744,7 @@ (s-vxwext.ads, s-vxwext-kernel.ads, s-vxwext-rtp.ads, s-vxwext-rtp.adb): New files. - * s-taprop-vxworks.adb, s-osinte-vxworks.ads, s-osinte-vxworks.adb: + * s-taprop-vxworks.adb, s-osinte-vxworks.ads, s-osinte-vxworks.adb: Minor updates to accomodate changes above. 2008-04-08 Pascal Obry <obry@adacore.com> @@ -4747,10 +4753,10 @@ s-tasinf-mingw.ad{s,b}, s-taspri-mingw.ads: Use new s-win32.ads unit instead of declaration from s-osinte-mingw.ads. - + * s-osinte-mingw.ads: Move all non tasking based interface to s-win32.ads. - + * s-osprim-mingw.adb: Remove duplicated declarations and use s-win32.ads unit instead. @@ -4773,7 +4779,7 @@ mlib-tgt-specific-vxworks.adb, mlib-tgt-specific-xi.adb, mlib-tgt-specific-mingw.adb: New names. - * Makefile.in: + * Makefile.in: On VxWorks platforms use s-stchop-limit.ads for s-stchop.ads Get rid of gnatbl. (EXTRA_GNATRTL_NONTASKING_OBJS): Add s-win32.o @@ -4797,7 +4803,7 @@ * a-cgcaso.adb, a-convec.adb: (Swap, Sift): Avoid use of complex renaming. - * a-cgaaso.ads, a-secain.ads, a-slcain.ads, a-shcain.ads, + * a-cgaaso.ads, a-secain.ads, a-slcain.ads, a-shcain.ads, a-crdlli.ads, a-coormu.ads, a-ciormu.ads: modified header to conform to convention for non-RM specs. Add descriptive header, and documented each operation @@ -5315,7 +5321,7 @@ PR ada/10768 * fname-sf.adb: Remove Big_String declarations (now in Types) * s-strcom.adb, g-dyntab.ads, g-table.ads, s-carsi8.adb, - s-stalib.ads, s-carun8.adb: Add zero size Storage_Size clauses for + s-stalib.ads, s-carun8.adb: Add zero size Storage_Size clauses for big pointer types * table.ads: Add for Table_Ptr'Storage_Size use 0 @@ -5342,7 +5348,7 @@ PR ada/10768 * makeusg.adb: Add line for switch --subdirs= - * prj.ads: + * prj.ads: (Source_Data): New Boolean component Compiled, defaulted to True (Empty_File_Name: New global variable in private part, initialized in procedure Initialize. @@ -5415,7 +5421,7 @@ PR ada/10768 * prj-proc.adb (Process_Declarative_Items): Link new elements of copied full associative array together. (Recursive_Process): Put the project qualifier in the project data - + * prj-tree.ads, prj-tree.adb: (Project_Qualifier_Of): New function (Set_Project_Qualifier_Of): New procedure @@ -5583,7 +5589,7 @@ PR ada/10768 * s-rident.ads: Add No_Default_Initialization restriction - * exp_tss.adb: + * exp_tss.adb: (Has_Non_Null_Base_Init_Proc): Handle No_Default_Initialization case (Set_TSS): Handle No_Default_Initialization case @@ -6083,15 +6089,15 @@ PR ada/10768 ilasm. 2008-04-07 Aurelien Jarno <aurelien@aurel32.net> - Xavier Grave <grave@ipno.in2p3.fr> + Xavier Grave <grave@ipno.in2p3.fr> * Makefile.in: Add make ifeq define for mips/mipsel support. - * g-soccon-linux-mips.ads, system-linux-mipsel.ads, + * g-soccon-linux-mips.ads, system-linux-mipsel.ads, system-linux-mips.ads: New files. 2008-04-07 Aurelien Jarno <aurelien@aurel32.net> - * sysdep.c: add __GLIBC__ to the #ifdef preprocessor macros to + * sysdep.c: add __GLIBC__ to the #ifdef preprocessor macros to detect systems using GNU libc. * gsocket.h: ditto. * socket.c: ditto. @@ -6100,7 +6106,7 @@ PR ada/10768 2008-04-07 Aurelien Jarno <aurelien@aurel32.net> - * s-osinte-linux-kfreebsd.ads (SC_NPROCESSORS_ONLN): New + * s-osinte-linux-kfreebsd.ads (SC_NPROCESSORS_ONLN): New constant constant for sysconf call. (bit_field): New packed boolean type used by cpu_set_t. (cpu_set_t): New type corresponding to the C type with @@ -6196,7 +6202,7 @@ PR ada/10768 size if it has overflowed. 2008-03-31 Olivier Hainque <hainque@adacore.com> - Eric Botcazou <ebotcazou@adacore.com> + Eric Botcazou <ebotcazou@adacore.com> * utils2.c (find_common_type): Document assumption on t1/t2 vs lhs/rhs. Force use of lhs type if smaller, whatever the modes. @@ -6334,8 +6340,8 @@ PR ada/10768 2008-03-26 Arnaud Charlet <charlet@adacore.com> - * s-taprop-irix.adb, s-taprop-tru64.adb, s-taprop-lynxos.adb, - s-taprop-linux.adb, s-taprop-mingw.adb, s-taprop-vxworks.adb, + * s-taprop-irix.adb, s-taprop-tru64.adb, s-taprop-lynxos.adb, + s-taprop-linux.adb, s-taprop-mingw.adb, s-taprop-vxworks.adb, s-taprop-posix.adb (Create_Task): Do not attempt to set task priority or task info if the thread could not be created. @@ -6648,15 +6654,15 @@ PR ada/10768 * Makefile.in: Add proper GNAT.Serial_Communications implementation on supported platforms. - + * Makefile.rtl: Add g-sercom.o. - + * impunit.adb: Add g-sercom.adb. - + * s-crtl.ads (open): New routine. (close): Likewise. (write): Likewise. - + * s-osinte-mingw.ads (BYTE): New type. (CHAR): Likewise. (OVERLAPPED): Likewise. @@ -6674,7 +6680,7 @@ PR ada/10768 * g-sercom.adb: Default implementation, calls to this unit will raise a program error exception. - + * g-sercom-mingw.adb, g-sercom-linux.adb: Windows and GNU/Linux implementations. @@ -6764,7 +6770,7 @@ PR ada/10768 declarations of a parent unit are made visible when compiling a child instance, the parent is not a hidden open scope, even though it may contain other pending instance. - + * sem_ch8.adb (Restore_Scope_Stack): If an entry on the stack is a hidden open scope for some child instance, it does affect the visibility status of other stach entries. @@ -6794,7 +6800,7 @@ PR ada/10768 2008-03-26 Matthew Heaney <heaney@adacore.com> - * a-ciorse.ads, a-cidlli.ads, a-cdlili.ads, a-cihase.ads, a-cohase.ads, + * a-ciorse.ads, a-cidlli.ads, a-cdlili.ads, a-cihase.ads, a-cohase.ads, a-ciorma.ads, a-coorma.ads, a-ciormu.ads, a-coormu.ads, a-coorse.ads: Marked with clauses as private, and controlled operations as overriding @@ -6951,7 +6957,7 @@ PR ada/10768 * trans.c (addressable_p): Add notes on addressability issues. 2008-03-21 Olivier Hainque <hainque@adacore.com> - Ed Schonberg <schonberg@adacore.com> + Ed Schonberg <schonberg@adacore.com> * trans.c (addressable_p): Accept COND_EXPR when both arms are addressable. @@ -7272,7 +7278,7 @@ PR ada/10768 2007-12-19 Robert Dewar <dewar@adacore.com> - * g-expect-vms.adb, g-expect.adb, s-poosiz.adb: + * g-expect-vms.adb, g-expect.adb, s-poosiz.adb: Add pragma Warnings (Off) for unassigned IN OUT arguments * sem_warn.adb (Output_Reference): Suppress messages for internal names @@ -7341,7 +7347,7 @@ PR ada/10768 * errout.adb (First_Node): Use Traverse_Proc instead of Traverse_Func, because the former already takes care of discarding the result. (Remove_Warning_Messages): Use appropriate subtype for Status and - Discard + Discard 2007-12-19 Ed Schonberg <schonberg@adacore.com> @@ -7501,7 +7507,7 @@ PR ada/10768 * adaint.c (__gnat_pthread_setaffinity_np): New routine. A dummy version is provided for older GNU/Linux distribution not supporting thread affinity sets. - + * s-osinte-linux.ads (SC_NPROCESSORS_ONLN): New constant for sysconf call. (bit_field): New packed boolean type used by cpu_set_t. @@ -7510,23 +7516,23 @@ PR ada/10768 field array for the affinity mask. There is not need for the C macro for setting individual bit. (pthread_setaffinity_np): New imported routine. - + * s-taprop-linux.adb (Enter_Task): Check that the CPU affinity mask is no null. (Create_Task): Set the processor affinity mask if information is present. - + * s-tasinf-linux.ads, s-tasinf-linux.adb: New files. - + 2007-12-13 Robert Dewar <dewar@adacore.com> - * s-osinte-lynxos-3.ads, s-osinte-hpux.ads, s-osinte-solaris-posix.ads, - s-osinte-freebsd.ads, s-osinte-lynxos.ads, s-osinte-tru64.ads, - s-osinte-mingw.ads, s-osinte-aix.ads, s-osinte-hpux-dce.ads, + * s-osinte-lynxos-3.ads, s-osinte-hpux.ads, s-osinte-solaris-posix.ads, + s-osinte-freebsd.ads, s-osinte-lynxos.ads, s-osinte-tru64.ads, + s-osinte-mingw.ads, s-osinte-aix.ads, s-osinte-hpux-dce.ads, s-osinte-irix.ads, s-osinte-solaris.ads, s-intman-vms.adb, s-osinte-vms.ads, s-osinte-vxworks6.ads, s-osinte-vxworks.ads, - s-auxdec.ads, s-auxdec-vms_64.ads, s-osinte-darwin.ads, - s-taprop-vms.adb, s-interr-sigaction.adb, s-osinte-linux-hppa.ads, + s-auxdec.ads, s-auxdec-vms_64.ads, s-osinte-darwin.ads, + s-taprop-vms.adb, s-interr-sigaction.adb, s-osinte-linux-hppa.ads, i-vxwork-x86.ads, s-tpopde-vms.ads: Add missing pragma Convention C for subprogram pointers. @@ -7550,15 +7556,15 @@ PR ada/10768 Bob Duff <duff@adacore.com> Tristan Gingold <gingold@adacore.com> - * system-linux-ia64.ads, system-freebsd-x86.ads, system-lynxos-ppc.ads, - system-lynxos-x86.ads, system-linux-x86_64.ads, system-tru64.ads, - system-aix.ads, system-vxworks-sparcv9.ads, system-solaris-x86.ads, - system-irix-o32.ads, system-irix-n32.ads, system-hpux.ads, - system-vxworks-m68k.ads, system-linux-x86.ads, system-vxworks-mips.ads, - system-solaris-sparc.ads, system-solaris-sparcv9.ads, system-vms.ads, - system-mingw.ads, system-vms-zcx.ads, system-vxworks-ppc.ads, + * system-linux-ia64.ads, system-freebsd-x86.ads, system-lynxos-ppc.ads, + system-lynxos-x86.ads, system-linux-x86_64.ads, system-tru64.ads, + system-aix.ads, system-vxworks-sparcv9.ads, system-solaris-x86.ads, + system-irix-o32.ads, system-irix-n32.ads, system-hpux.ads, + system-vxworks-m68k.ads, system-linux-x86.ads, system-vxworks-mips.ads, + system-solaris-sparc.ads, system-solaris-sparcv9.ads, system-vms.ads, + system-mingw.ads, system-vms-zcx.ads, system-vxworks-ppc.ads, system-vxworks-arm.ads, system-darwin-x86.ads, system.ads, - system-vms_64.ads, system-darwin-ppc.ads, system-vxworks-x86.ads, + system-vms_64.ads, system-darwin-ppc.ads, system-vxworks-x86.ads, system-linux-ppc.ads, system-linux-hppa.ads, system-hpux-ia64.ads, system-vms-ia64.ads (Stack_Check_Limits): New target parameter. (Always_Compatible_Rep): New flag to control trampolines globally. @@ -7569,7 +7575,7 @@ PR ada/10768 * s-taprop-vxworks.adb: Use stack limit method of stack checking. Simply indirectly call s-stchop when a task is created. - * ali.ads: + * ali.ads: New flag added: Stack_Check_Switch_Set which is set when '-fstack-check' appears as an argument (entries A) in an ALI file. @@ -7594,8 +7600,8 @@ PR ada/10768 2007-12-13 Robert Dewar <dewar@adacore.com> - * sem_ch5.adb, s-taskin.adb, a-ciorma.adb, a-coorma.adb, a-cohama.adb, - a-cihama.adb, g-awk.adb, + * sem_ch5.adb, s-taskin.adb, a-ciorma.adb, a-coorma.adb, a-cohama.adb, + a-cihama.adb, g-awk.adb, s-inmaop-posix.adb: Update handling of assigned value/unreferenced warnings @@ -7607,7 +7613,7 @@ PR ada/10768 * lib-xref.ads: Improve documentation for k xref type - * lib-xref.adb: + * lib-xref.adb: Update handling of assigned value/unreferenced warnings (Generate_Reference): Warning for reference to entity for which a pragma Unreferenced has been given should be unconditional. @@ -7637,7 +7643,7 @@ PR ada/10768 EXTRA_GNATRTL_NONTASKING_OBJS, EXTRA_GNATRTL_TASKING_OBJS, GNATLIB_SHARED for RTX run time): Use the versions required by RTX. - * mingw32.h: + * mingw32.h: Do not define GNAT_UNICODE_SUPPORT for RTX since it is not supported. * sysdep.c (winflush_function for RTX): Procedure that does nothing @@ -7648,7 +7654,7 @@ PR ada/10768 2007-12-13 Robert Dewar <dewar@adacore.com> - * a-textio.adb, a-textio.ads: + * a-textio.adb, a-textio.ads: Extensive changes to private part for wide character encoding * a-witeio.adb, a-witeio.ads, a-ztexio.ads, a-ztexio.adb @@ -7691,7 +7697,7 @@ PR ada/10768 * opt.adb: New pragma Fast_Math - * par-prag.adb: + * par-prag.adb: Add Implemented_By_Entry to the list of pragmas which do not require any special processing. (Favor_Top_Level): New pragma. @@ -7732,7 +7738,7 @@ PR ada/10768 New pragma Fast_Math (Analyze_Pragma, case No_Return): Handle generic instance - * snames.h, snames.ads, snames.adb: + * snames.h, snames.ads, snames.adb: Add new predefined name for interface primitive _Disp_Requeue. New pragma Fast_Math @@ -7772,7 +7778,7 @@ PR ada/10768 2007-12-13 Geert Bosch <bosch@adacore.com> - * a-tifiio.adb: + * a-tifiio.adb: (Put_Int64): Use Put_Digit to advance Pos. This fixes a case where the second or later Scaled_Divide would omit leading zeroes, resulting in too few digits produced and a Layout_Error as result. @@ -7800,7 +7806,7 @@ PR ada/10768 (Find_Interface_ADT): Modified to fulfill the new specification. Remove Atree.Delete_Tree/Delete_Node and Nlist.Delete_List - * par-ch4.adb, nlists.ads, nlists.adb: + * par-ch4.adb, nlists.ads, nlists.adb: Remove Atree.Delete_Tree/Delete_Node and Nlist.Delete_List * sinfo.ads, sinfo.adb: (Nkind_In): New functions @@ -7810,7 +7816,7 @@ PR ada/10768 2007-12-13 Vincent Celier <celier@adacore.com> - * opt.ads: + * opt.ads: Indicate what flags are used by the Project Manager, gprbuild and gprclean. (Opt.Follow_Links_For_Dirs): New flag @@ -7842,7 +7848,7 @@ PR ada/10768 passing a pointer to a procedure. This is to eliminate trampolines (since the Callback procedure is usually nested). - * gnatfind.adb, switch.adb, switch.ads, gnatlink.adb, gnatls.adb, + * gnatfind.adb, switch.adb, switch.ads, gnatlink.adb, gnatls.adb, gnatname.adb, gnatxref.adb, gnatchop.adb, gprep.adb, gnatbind.adb (Check_Version_And_Help): Change Check_Version_And_Help to be generic. @@ -8090,7 +8096,7 @@ PR ada/10768 * g-speche.adb: Use generic routine in g-spchge - * s-wchcnv.ads, s-wchcnv.adb: + * s-wchcnv.ads, s-wchcnv.adb: Minor code cleanup (make formal type consistent with spec) * namet.adb: Update comments. @@ -8221,7 +8227,7 @@ PR ada/10768 * prj-pars.adb: new parameter Current_Dir - * prj-part.ads, prj-part.adb: + * prj-part.ads, prj-part.adb: Change Opt.Follow_Links to Opt.Follow_Links_For_Files. (Opt.Follow_Links_For_Dirs): New flag (Project_Path_Name_Of): Cache information returned by this routine as @@ -8294,10 +8300,10 @@ PR ada/10768 * s-imenne.adb, s-imenne.ads: New files. - * s-imgboo.adb, s-imgboo.ads, s-imgcha.adb, s-imgcha.ads, s-imgdec.adb, - s-imgdec.ads, s-imgenu.ads, s-imgint.adb, s-imgint.ads, s-imglld.adb, - s-imglld.ads, s-imglli.adb, s-imglli.ads, s-imgllu.adb, s-imgllu.ads, - s-imgrea.adb, s-imgrea.ads, s-imguns.adb, s-imguns.ads, s-imgwch.adb, + * s-imgboo.adb, s-imgboo.ads, s-imgcha.adb, s-imgcha.ads, s-imgdec.adb, + s-imgdec.ads, s-imgenu.ads, s-imgint.adb, s-imgint.ads, s-imglld.adb, + s-imglld.ads, s-imglli.adb, s-imglli.ads, s-imgllu.adb, s-imgllu.ads, + s-imgrea.adb, s-imgrea.ads, s-imguns.adb, s-imguns.ads, s-imgwch.adb, s-imgwch.ads: New calling sequence for Image routines to avoid sec stack usage. @@ -8462,7 +8468,7 @@ PR ada/10768 2007-12-13 Arnaud Charlet <charlet@adacore.com> - * s-tassta.adb: + * s-tassta.adb: (Create_Task): Take into account tasks created by foreign threads. Code clean up: use constants instead of hard coded values. @@ -8488,7 +8494,7 @@ PR ada/10768 2007-12-13 Robert Dewar <dewar@adacore.com> - * tbuild.ads, tbuild.adb: + * tbuild.ads, tbuild.adb: Fix location of flag for unrecognized pragma message 2007-12-13 Robert Dewar <dewar@adacore.com> @@ -8531,7 +8537,7 @@ PR ada/10768 * sem_case.adb: Minor reformatting * s-fileio.adb: Minor reformattinng * s-vmexta.ads: Minor typo - * vxaddr2line.adb: + * vxaddr2line.adb: Take into account 'Success' value as per new GNAT warning. 2007-12-13 Vincent Celier <celier@adacore.com> @@ -8620,7 +8626,7 @@ PR ada/10768 2007-12-13 Geert Bosch <bosch@adacore.com> - * s-parame-vxworks.adb: + * s-parame-vxworks.adb: Update comments to reflect usage of this package by Nucleus. 2007-12-13 Arnaud Charlet <charlet@adacore.com> @@ -8658,7 +8664,7 @@ PR ada/10768 * decl.c (gnat_to_gnu_entity) <case E_Access_Type>: When computing the designated full view, only follow a second level Full_View link for Non_Limited_Views of from_limited_with references. - + 2007-12-07 Samuel Tardieu <sam@rfc1149.net> PR ada/15805 @@ -8705,12 +8711,12 @@ PR ada/10768 parameters of an entry call. 2007-12-03 Robert Dewar <dewar@adacore.com> - Samuel Tardieu <sam@rfc1149.net> + Samuel Tardieu <sam@rfc1149.net> PR ada/34287 * sem_util.adb (Safe_To_Capture_Value): Do not capture values of variables declared in a library-level package. - + 2007-12-02 Samuel Tardieu <sam@rfc1149.net> * clean.adb (Clean_Library_Directory): Use Empty_String'Access intead @@ -8764,10 +8770,10 @@ PR ada/10768 2007-11-26 Andreas Krebbel <krebbel1@de.ibm.com> - PR 34081/C++ - * trans.c (Subprogram_Body_to_gnu, Compilation_Unit_to_gnu): - Pass 'false' for the new allocate_struct_function parameter. - * utils.c (build_function_stub): Likewise. + PR 34081/C++ + * trans.c (Subprogram_Body_to_gnu, Compilation_Unit_to_gnu): + Pass 'false' for the new allocate_struct_function parameter. + * utils.c (build_function_stub): Likewise. 2007-11-25 Richard Guenther <rguenther@suse.de> @@ -8830,7 +8836,7 @@ PR ada/10768 here to ... * trans.c (gnat_to_gnu) <case N_Free_Statement>: ... here, and don't expect a super-aligned address for a fat or thin pointer. - + 2007-11-14 Eric Botcazou <ebotcazou@adacore.com> * trans.c (call_to_gnu): Always set the source location on the call @@ -8932,21 +8938,21 @@ PR ada/10768 2007-10-15 Robert Dewar <dewar@adacore.com> - * s-taprop-solaris.adb, s-taprop-vms.adb, s-taprop-mingw.adb, + * 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, + 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, + 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 @@ -8954,7 +8960,7 @@ PR ada/10768 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, + * 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 @@ -9189,7 +9195,7 @@ PR ada/10768 * g-soccon-vms.ads: Fix value of MSG_WAITALL. - * gen-soccon.c: + * gen-soccon.c: Update documentation to note that OpenVMS 8.3 or later must be used to generate g-soccon-vms.ads. @@ -9280,13 +9286,13 @@ PR ada/10768 2007-09-26 Hristian Kirtchev <kirtchev@adacore.com> - * a-calend-vms.adb, a-calend.adb: + * a-calend-vms.adb, a-calend.adb: Add a section on leap seconds control along with two entities used to enable and disable leap seconds support. The array Leap_Second_Times is now constant and contains hard time values pre-generated. Remove all elaboration code used to populate the table of leap seconds. - * bindgen.adb: + * bindgen.adb: Add entity Leap_Seconds_Support to the list of global run-time variables along with a comment on its usage and values. (Gen_Adainit_Ada): Add code to generate the declaration and import of @@ -9347,12 +9353,12 @@ PR ada/10768 2007-09-26 Javier Miranda <miranda@adacore.com> Eric Botcazou <ebotcazou@adacore.com> - * a-tags.adb: + * a-tags.adb: (Get_HT_Link/Set_HT_Link): Updated to handle the additional level of indirection added to the HT_Link component of the TSD. This is required to statically allocate the TSD. - * a-tags.ads: + * a-tags.ads: Minor reordering of the declarations in the private part. Required to add a level of indirection to the contents of the TSD component HT_Link. This is required to statically allocate the TSD. @@ -9425,7 +9431,7 @@ PR ada/10768 of each extra formal of a protected operation to reference the corresponding extra formal of the subprogram denoted by the operation's Protected_Body_Subprogram. - + * sinfo.ads, sinfo.adb (Is_Expanded_Build_In_Place_Call): New flag on N_Function_Call nodes. @@ -9689,14 +9695,14 @@ PR ada/10768 s-stoele.adb, s-strcom.adb, s-strops.adb, s-traceb.adb, s-traent.adb, s-wchcnv.adb, s-wchcon.adb, s-wchjis.adb, s-addope.adb, s-except.adb, s-os_lib.adb, s-string.adb, s-utf_32.adb, a-elchha.adb, - a-chlat1.ads, a-elchha.ads, a-except.ads, g-hesora.ads, g-htable.ads, - g-speche.ads, par-prag.adb, restrict.adb, restrict.ads, s-assert.ads, - s-carun8.ads, s-casuti.ads, s-crc32.ads, sem_ch11.adb, sem_prag.adb, - s-exctab.ads, s-htable.ads, s-imgenu.ads, s-mastop.ads, snames.adb, - snames.ads, snames.h, s-purexc.ads, s-secsta.ads, s-soflin.ads, - s-sopco3.ads, s-sopco4.ads, s-sopco5.ads, s-stache.ads, s-stalib.ads, - s-stoele.ads, s-strcom.ads, s-strops.ads, s-traceb.ads, s-traent.ads, - s-unstyp.ads, s-wchcnv.ads, s-wchcon.ads, s-wchjis.ads, s-addope.ads, + a-chlat1.ads, a-elchha.ads, a-except.ads, g-hesora.ads, g-htable.ads, + g-speche.ads, par-prag.adb, restrict.adb, restrict.ads, s-assert.ads, + s-carun8.ads, s-casuti.ads, s-crc32.ads, sem_ch11.adb, sem_prag.adb, + s-exctab.ads, s-htable.ads, s-imgenu.ads, s-mastop.ads, snames.adb, + snames.ads, snames.h, s-purexc.ads, s-secsta.ads, s-soflin.ads, + s-sopco3.ads, s-sopco4.ads, s-sopco5.ads, s-stache.ads, s-stalib.ads, + s-stoele.ads, s-strcom.ads, s-strops.ads, s-traceb.ads, s-traent.ads, + s-unstyp.ads, s-wchcnv.ads, s-wchcon.ads, s-wchjis.ads, s-addope.ads, s-except.ads, s-os_lib.ads, s-string.ads, s-utf_32.ads: Implement pragma Compiler_Unit and adds it to relevant library units. @@ -9743,7 +9749,7 @@ PR ada/10768 2007-09-12 Thomas Quinot <quinot@adacore.com> - * g-soccon-solaris-64.ads, g-soccon-hpux-ia64.ads: + * g-soccon-solaris-64.ads, g-soccon-hpux-ia64.ads: Add new constant Thread_Blocking_IO, always True by default, set False on a per-runtime basis. (Need_Netdb_Buffer): New constant. @@ -9994,7 +10000,7 @@ PR ada/10768 2007-02-07 Andreas Krebbel <krebbel1@de.ibm.com> * raise-gcc.c (get_region_description_for, get_call_site_action_for, - get_action_description_for): Replace _Unwind_Word with _uleb128_t + get_action_description_for): Replace _Unwind_Word with _uleb128_t and _Unwind_SWord with _sleb128_t. 2007-09-06 Eric Botcazou <ebotcazou@adacore.com> @@ -10021,7 +10027,7 @@ PR ada/10768 PR ada/4720 - * gnatchop.adb, gnatfind.adb, gnatlink.adb, gnatls.adb, + * gnatchop.adb, gnatfind.adb, gnatlink.adb, gnatls.adb, gnatname.adb, gnatxref.adb, gprep.adb, clean.adb gnatbind.adb (Check_Version_And_Help): New procedure in package Switch to process switches --version and --help. @@ -10104,7 +10110,7 @@ PR ada/10768 2007-08-31 Hristian Kirtchev <kirtchev@adacore.com> - * restrict.adb, namet.adb, par-util.adb: Remove redundant type + * restrict.adb, namet.adb, par-util.adb: Remove redundant type conversion. * sem_res.adb (Resolve_Qualified_Expression): Add machinery to detect @@ -10423,7 +10429,7 @@ PR ada/10768 2007-08-14 Thomas Quinot <quinot@adacore.com> - * g-soccon-interix.ads, a-excpol-interix.adb, a-intnam-interix.ads, + * g-soccon-interix.ads, a-excpol-interix.adb, a-intnam-interix.ads, s-osinte-interix.ads, system-interix.ads: Removed. 2007-08-14 Hristian Kirtchev <kirtchev@adacore.com> @@ -10446,7 +10452,7 @@ PR ada/10768 2007-08-14 Robert Dewar <dewar@adacore.com> Ed Schonberg <schonberg@adacore.com> - * inline.adb, types.ads, inline.ads, frontend.adb, alloc.ads: + * inline.adb, types.ads, inline.ads, frontend.adb, alloc.ads: Suppress unmodified in-out parameter warning in some cases This patch is a also fairly significant change to the way suppressible checks are handled. @@ -10467,7 +10473,7 @@ PR ada/10768 Ed Schonberg <schonberg@adacore.com> Thomas Quinot <quinot@adacore.com> - * a-stzsup.adb, nlists.adb, lib-util.adb, treepr.adb, + * a-stzsup.adb, nlists.adb, lib-util.adb, treepr.adb, a-stwisu.adb, a-strsup.adb: Fix warnings for range tests optimized out. @@ -10542,7 +10548,7 @@ PR ada/10768 * comperr.adb: Fix problem with suppressing warning messages from gigi - * erroutc.ads, erroutc.adb, errout.ads, + * erroutc.ads, erroutc.adb, errout.ads, errout.adb (Write_Eol): Remove trailing spaces before writing the line (Write_Eol_Keep_Blanks): New procedure to write a line, including possible trailing spaces. @@ -10550,11 +10556,11 @@ PR ada/10768 Fix problem with suppressing warning messages from back end Improve handling of deleted warnings - * gnat1drv.adb: + * gnat1drv.adb: Fix problem with suppressing warning messages from back end Handle setting of Static_Dispatch_Tables flag. - * prepcomp.adb: + * prepcomp.adb: Fix problem with suppressing warning messages from back end * exp_intr.adb: Improve handling of deleted warnings @@ -10754,7 +10760,7 @@ PR ada/10768 Ed Schonberg <schonberg@adacore.com> Javier Miranda <miranda@adacore.com> - * exp_util.ads, exp_util.adb: + * exp_util.ads, exp_util.adb: This patch replaces a number of occurrences of explicit tests for N_Null with calls to Known_Null. This improves tracking of null values, since Known_Null also catches null constants, and variables currently known to @@ -10805,7 +10811,7 @@ PR ada/10768 including gprmake, so that the same sources in the GNAT repository can be used by gprbuild. - * prj-com.ads: + * prj-com.ads: Major update of the Project Manager and of the project aware tools, including gprmake, so that the same sources in the GNAT repository can be used by gprbuild. @@ -10820,7 +10826,7 @@ PR ada/10768 including gprmake, so that the same sources in the GNAT repository can be used by gprbuild. - * prj-env.ads, prj-env.adb: + * prj-env.ads, prj-env.adb: Major update of the Project Manager and of the project aware tools, including gprmake, so that the same sources in the GNAT repository can be used by gprbuild. @@ -10836,7 +10842,7 @@ PR ada/10768 including gprmake, so that the same sources in the GNAT repository can be used by gprbuild. - * prj-nmsc.ads, prj-nmsc.adb: + * prj-nmsc.ads, prj-nmsc.adb: Update Project Manager to new attribute names for ghprbuild Allow all valid declarations in configuration project files (Search_Directories): Detect subunits that are specified with an @@ -10855,7 +10861,7 @@ PR ada/10768 (Locate_Directory): Make sure that on Windows '/' is converted to '\', otherwise creating missing directories will fail. - * prj-attr-pm.adb, prj-tree.ads, prj-proc.ads, prj-proc.adb, + * prj-attr-pm.adb, prj-tree.ads, prj-proc.ads, prj-proc.adb, prj-part.ads, prj-part.adb: Major update of the Project Manager and of the project aware tools, including gprmake, so that the same sources in the GNAT repository @@ -10873,7 +10879,7 @@ PR ada/10768 defaulted to False. When True, always check against indexes in lower case. - * snames.ads, snames.h, snames.adb: + * snames.ads, snames.h, snames.adb: Update Project Manager to new attribute names for gprbuild Allow all valid declarations in configuration project files @@ -10885,7 +10891,7 @@ PR ada/10768 New switch -gnatI to disable representation clauses Implement new pragma Implicit_Packing - * usage.adb: + * usage.adb: Warning for non-local exception propagation now off by default Add warning for unchecked conversion of pointers wi different conventions. @@ -10902,7 +10908,7 @@ PR ada/10768 Add documentation for new -gnatyS style check Update documentation about SAL and auto-init on Windows. - * gnat_rm.texi: + * gnat_rm.texi: Add documentation for pragma Check_Name and 'Enabled attribute Document that Eliminate on dispatching operation is ignored Document IDE attributes VCS_Repository_Root and VCS_Patch_Root. @@ -11002,7 +11008,7 @@ PR ada/10768 * misc.c (gnat_init_gcc_eh): Use __gnat_eh_personality_sj for the name of the personality function with SJLJ exceptions. - * raise-gcc.c (PERSONALITY_FUNCTION): Use __gnat_eh_personality_sj for + * raise-gcc.c (PERSONALITY_FUNCTION): Use __gnat_eh_personality_sj for the name of the personality function with SJLJ exceptions. 2007-08-14 Robert Dewar <dewar@adacore.com> @@ -11097,7 +11103,7 @@ PR ada/10768 2007-08-14 Ed Schonberg <schonberg@adacore.com> Gary Dismukes <dismukes@adacore.com> - * exp_aggr.ads, + * exp_aggr.ads, exp_aggr.adb (Convert_Aggr_In_Allocator): Use Insert_Actions to place expanded aggregate code before allocator, and ahead of declaration for temporary, to prevent access before elaboration when the allocator is @@ -11124,8 +11130,8 @@ PR ada/10768 2007-08-14 Jerome Guitton <guitton@adacore.com> - * s-taprop-lynxos.adb, s-taprop-tru64.adb, s-taprop-irix.adb, - s-taprop-hpux-dce.adb, s-taprop-dummy.adb, s-taprop-solaris.adb, + * s-taprop-lynxos.adb, s-taprop-tru64.adb, s-taprop-irix.adb, + s-taprop-hpux-dce.adb, s-taprop-dummy.adb, s-taprop-solaris.adb, s-taprop-vms.adb, s-taprop-posix.adb (Continue_Task, Stop_All_Tasks): New functions; dummy implementations. @@ -11149,11 +11155,11 @@ PR ada/10768 2007-08-14 Vincent Celier <celier@adacore.com> - * clean.adb, fmap.adb, sinput-p.adb, sinput-p.ads, gnatcmd.adb, + * clean.adb, fmap.adb, sinput-p.adb, sinput-p.ads, gnatcmd.adb, gnatname.adb, makeutl.ads, makeutl.adb, makegpr.adb, mlib-tgt-vms.adb - mlib-tgt-darwin.adb, mlib-tgt-lynxos.adb, mlib-prj.adb, mlib-tgt.adb, - mlib-tgt.ads, mlib-tgt-irix.adb mlib-tgt-hpux.adb, mlib-tgt-linux.adb, - mlib-tgt-solaris.adb, mlib-tgt-vms-alpha.adb, mlib-tgt-vms-ia64.adb, + mlib-tgt-darwin.adb, mlib-tgt-lynxos.adb, mlib-prj.adb, mlib-tgt.adb, + mlib-tgt.ads, mlib-tgt-irix.adb mlib-tgt-hpux.adb, mlib-tgt-linux.adb, + mlib-tgt-solaris.adb, mlib-tgt-vms-alpha.adb, mlib-tgt-vms-ia64.adb, mlib-tgt-mingw.adb, mlib-tgt-vxworks.adb, mlib-tgt-aix.adb, mlib-tgt-tru64.adb, mlib.ads, mlib.adb (Create_Sym_Links): New procedure. @@ -11175,18 +11181,18 @@ PR ada/10768 * system-solaris-x86.ads (ZCX_By_Default): Switch to True. (GCC_ZCX_Support): Switch to True. - + * s-intman-solaris.adb (Notify_Exception): Call Adjust_Context_For_Raise before raising, as expected for signal handlers in general. - + * s-intman-posix.adb (Notify_Exception): Remove declaration of Adjust_Context_For_Raise, moved to the spec of this unit to be visible to other implementation bodies. - + * s-intman.ads (Adjust_Context_For_Raise): Declare and import here, to be visible by multiple implementation bodies. - + * init.c [VMS section] (__gnat_handle_vms_condition): Adjust context only for conditions coming from hardware. [alpha-tru64 section] (__gnat_adjust_context_for_raise): Implement, @@ -11266,7 +11272,7 @@ PR ada/10768 2007-08-14 Javier Miranda <miranda@adacore.com> - * a-tags.ads, + * a-tags.ads, a-tags.adb (Displace): Associate a message with the raised CE exception. (To_Addr_Ptr, To_Address, To_Dispatch_Table_Ptr, @@ -11303,7 +11309,7 @@ PR ada/10768 won't be an associated Afile). (Elab_All_Links): Fail if a referenced unit cannot be found - * bindgen.adb: + * bindgen.adb: Fix comments in bindgen regarding consistency checks done in Bcheck: the checks are made across units within a partition, not across several partitions. @@ -11397,9 +11403,9 @@ PR ada/10768 2007-08-14 Bob Duff <duff@adacore.com> - * a-cihama.ads, a-cidlli.ads, a-chtgop.ads, a-chtgop.adb, a-cdlili.ads, - a-cihase.adb, a-cihase.ads, a-cohase.adb, a-cohase.ads, a-ciorma.ads, - a-coorma.ads, a-ciormu.ads, a-coormu.ads, a-ciorse.ads, a-cohama.ads, + * a-cihama.ads, a-cidlli.ads, a-chtgop.ads, a-chtgop.adb, a-cdlili.ads, + a-cihase.adb, a-cihase.ads, a-cohase.adb, a-cohase.ads, a-ciorma.ads, + a-coorma.ads, a-ciormu.ads, a-coormu.ads, a-ciorse.ads, a-cohama.ads, a-cohata.ads, a-convec.adb, a-coinve.ads, a-coinve.adb, a-convec.ads, a-coorse.ads (Next): Applied pragma Inline. Make all Containers packages Remote_Types (unless they are already @@ -11844,14 +11850,14 @@ PR ada/10768 2007-07-27 Aurelien Jarno <aurelien@aurel32.net> - * s-osinte-kfreebsd-gnu.ads ((sigset_t_ptr): Removed, replaced by + * s-osinte-kfreebsd-gnu.ads ((sigset_t_ptr): Removed, replaced by anonymous access type. (pthread_sigmask): Now take an access sigset_t. 2007-07-05 Joel Sherrill <joel.sherrill@oarcorp.com> - * s-osinte-rtems.ads: Correct prototype of pthread_sigmask. - + * s-osinte-rtems.ads: Correct prototype of pthread_sigmask. + 2007-06-21 Eric Botcazou <ebotcazou@adacore.com> PR tree-optimization/25737 @@ -11879,7 +11885,7 @@ PR ada/10768 * misc.c (LANG_HOOKS_SIGNED_TYPE): Remove. 2007-06-11 Bob Duff <duff@adacore.com> - Thomas Quinot <quinot@adacore.com> + Thomas Quinot <quinot@adacore.com> * g-stsifd-sockets.adb (Create): Work around strange behavior of 'bind' on windows that causes 'connect' to fail intermittently, by @@ -11899,8 +11905,8 @@ PR ada/10768 2007-06-06 Thomas Quinot <quinot@adacore.com> Bob Duff <duff@adacore.com> - * g-soccon-freebsd.ads, g-soccon-vxworks.ads:, - g-soccon-aix.ads, g-soccon-irix.ads, g-soccon-hpux.ads, + * g-soccon-freebsd.ads, g-soccon-vxworks.ads:, + g-soccon-aix.ads, g-soccon-irix.ads, g-soccon-hpux.ads, g-soccon-solaris.ads, g-soccon-vms.ads, g-soccon-tru64.ads: Add new constant Thread_Blocking_IO, always True by default, set False on a per-runtime basis. @@ -11976,7 +11982,7 @@ PR ada/10768 2007-06-06 Bob Duff <duff@adacore.com> - * g-expect-vms.adb: + * g-expect-vms.adb: (Send_Signal, Close): Raise Invalid_Process if the process id is invalid. * g-expect.ads, g-expect.adb (Send): Avoid useless copy of the string. (Send_Signal, Close): Raise Invalid_Process if the process id is @@ -12031,17 +12037,17 @@ PR ada/10768 2007-06-06 Arnaud Charlet <charlet@adacore.com> - * s-taprop-vms.adb, s-taprop-hpux-dce.adb, s-taprop-vxworks.adb, - s-osprim-posix.adb, s-taprop-posix.adb, s-osprim-vxworks.adb, - s-taprop-solaris.adb, s-osprim-solaris.adb, s-taprop-dummy.adb, - s-osprim-unix.adb, s-osinte-freebsd.adb, s-osinte-freebsd.ads, - s-osinte-lynxos.adb, s-osinte-lynxos.ads, s-taprop-tru64.adb, - s-taprop-lynxos.adb, s-taprop-irix.adb, s-osinte-tru64.adb, - s-osinte-tru64.ads, s-taprop-linux.adb, s-parame.ads, - s-parame-vms-alpha.ads, s-parame-vms-ia64.ads, s-parame-hpux.ads, - s-parame-vms-restrict.ads, s-parame-ae653.ads, s-parame-vxworks.ads, + * s-taprop-vms.adb, s-taprop-hpux-dce.adb, s-taprop-vxworks.adb, + s-osprim-posix.adb, s-taprop-posix.adb, s-osprim-vxworks.adb, + s-taprop-solaris.adb, s-osprim-solaris.adb, s-taprop-dummy.adb, + s-osprim-unix.adb, s-osinte-freebsd.adb, s-osinte-freebsd.ads, + s-osinte-lynxos.adb, s-osinte-lynxos.ads, s-taprop-tru64.adb, + s-taprop-lynxos.adb, s-taprop-irix.adb, s-osinte-tru64.adb, + s-osinte-tru64.ads, s-taprop-linux.adb, s-parame.ads, + s-parame-vms-alpha.ads, s-parame-vms-ia64.ads, s-parame-hpux.ads, + s-parame-vms-restrict.ads, s-parame-ae653.ads, s-parame-vxworks.ads, s-taprop-mingw.adb, s-osinte-lynxos-3.ads, s-osinte-lynxos-3.adb, - s-osprim-mingw.adb (Timed_Delay, Timed_Sleep): Register the base + s-osprim-mingw.adb (Timed_Delay, Timed_Sleep): Register the base time when entering this routine to detect a backward clock setting (manual setting or DST adjustment), to avoid waiting for a longer delay than needed. @@ -12087,14 +12093,14 @@ PR ada/10768 2007-06-06 Arnaud Charlet <charlet@adacore.com> - * system-vxworks-sparcv9.ads, system-solaris-x86.ads, - system-irix-o32.ads, system-freebsd-x86.ads, system-lynxos-ppc.ads, - system-lynxos-x86.ads, system-vxworks-m68k.ads, system-linux-x86.ads, - system-vxworks-mips.ads, system-vxworks-alpha.ads, - system-vxworks-x86.ads, system-linux-ppc.ads, system-mingw.ads, - system-vms-zcx.ads, system-darwin-ppc.ads, system-vxworks-ppc.ads, - system-interix.ads, system-linux-hppa.ads, system-tru64.ads, - system-hpux.ads, system-irix-n32.ads, system-solaris-sparc.ads, + * system-vxworks-sparcv9.ads, system-solaris-x86.ads, + system-irix-o32.ads, system-freebsd-x86.ads, system-lynxos-ppc.ads, + system-lynxos-x86.ads, system-vxworks-m68k.ads, system-linux-x86.ads, + system-vxworks-mips.ads, system-vxworks-alpha.ads, + system-vxworks-x86.ads, system-linux-ppc.ads, system-mingw.ads, + system-vms-zcx.ads, system-darwin-ppc.ads, system-vxworks-ppc.ads, + system-interix.ads, system-linux-hppa.ads, system-tru64.ads, + system-hpux.ads, system-irix-n32.ads, system-solaris-sparc.ads, system-solaris-sparcv9.ads, system-vms.ads, system.ads, system-vms_64.ads, system-hpux-ia64.ads, system-linux-x86_64.ads, system-linux-ia64.ads: Document mapping between Ada and OS priorities. @@ -12117,10 +12123,10 @@ PR ada/10768 * mlib-tgt-specific.adb, mlib-tgt-specific.ads, mlib-tgt-vms.adb, mlib-tgt-vms.ads: New files. - * mlib-tgt.adb, mlib-tgt.ads, mlib-tgt-darwin.adb, - mlib-tgt-vxworks.adb, mlib-tgt-mingw.adb, mlib-tgt-lynxos.adb, - mlib-tgt-linux.adb, mlib-tgt-solaris.adb, mlib-tgt-vms-alpha.adb, - mlib-tgt-vms-ia64.adb, mlib-tgt-aix.adb, mlib-tgt-irix.adb, + * mlib-tgt.adb, mlib-tgt.ads, mlib-tgt-darwin.adb, + mlib-tgt-vxworks.adb, mlib-tgt-mingw.adb, mlib-tgt-lynxos.adb, + mlib-tgt-linux.adb, mlib-tgt-solaris.adb, mlib-tgt-vms-alpha.adb, + mlib-tgt-vms-ia64.adb, mlib-tgt-aix.adb, mlib-tgt-irix.adb, mlib-tgt-hpux.adb, mlib-tgt-tru64.adb: Make a common body for package MLib.Tgt, containing the default versions of the exported subprograms. For each platform, create a specific version of the body of new child @@ -12138,7 +12144,7 @@ PR ada/10768 * s-osinte-linux.ads (sigset_t): Bump alignment to match more closely its C counterpart. Remove references to Unchecked_Conversion, and use Ada.xxx instead. - Replace Unchecked_Conversion by Ada.Unchecked_Conversion. + Replace Unchecked_Conversion by Ada.Unchecked_Conversion. 2007-06-06 Vasiliy Fofanov <fofanov@adacore.com> @@ -12305,23 +12311,23 @@ PR ada/10768 (build_unc_object_type): Likewise. (declare_debug_type): New function. - * ada-tree.def: USE_STMT: removed (not emitted anymore). + * ada-tree.def: USE_STMT: removed (not emitted anymore). - * misc.c (gnat_expand_expr): Call to gnat_expand_stmt removed because - no statement is expandable anymore. - (gnat_init_gcc_eh): Do not initialize the DWARF-2 CFI machinery twice. - (gnat_handle_option): Only allow flag_eliminate_debug_types to be set - when the user requested it explicitely. - (gnat_post_options): By default, set flag_eliminate_unused_debug_types - to 0 for Ada. - (get_alias_set): Return alias set 0 for a type if - TYPE_UNIVERSAL_ALIASING_P is set on its main variant. + * misc.c (gnat_expand_expr): Call to gnat_expand_stmt removed because + no statement is expandable anymore. + (gnat_init_gcc_eh): Do not initialize the DWARF-2 CFI machinery twice. + (gnat_handle_option): Only allow flag_eliminate_debug_types to be set + when the user requested it explicitely. + (gnat_post_options): By default, set flag_eliminate_unused_debug_types + to 0 for Ada. + (get_alias_set): Return alias set 0 for a type if + TYPE_UNIVERSAL_ALIASING_P is set on its main variant. - * ada-tree.h: (TYPE_UNIVERSAL_ALIASING_P): New macro. - (DECL_FUNCTION_STUB): New accessor macro. - (SET_DECL_FUNCTION_STUB): New setter macro. + * ada-tree.h: (TYPE_UNIVERSAL_ALIASING_P): New macro. + (DECL_FUNCTION_STUB): New accessor macro. + (SET_DECL_FUNCTION_STUB): New setter macro. - * lang.opt (feliminate-unused-debug-types): Intercept this flag for Ada. + * lang.opt (feliminate-unused-debug-types): Intercept this flag for Ada. * fe.h (Get_Local_Raise_Call_Entity, Get_RT_Exception_Entity): New declarations. @@ -12413,18 +12419,18 @@ PR ada/10768 2007-06-06 Vincent Celier <celier@adacore.com> Robert Dewar <dewar@adacore.com> - * bcheck.adb, binde.adb, binderr.adb, binderr.ads, butil.adb, - butil.ads, erroutc.adb, erroutc.ads, errutil.adb, errutil.ads, - err_vars.ads, exp_tss.adb, exp_tss.ads, fmap.adb, fmap.ads, - fname.adb, fname.ads, fname-sf.adb, fname-uf.adb, fname-uf.ads, - lib-sort.adb, lib-util.adb, lib-util.ads, lib-xref.adb, makeutl.ads, - makeutl.adb, nmake.adt, osint.adb, osint.ads, osint-b.adb, - par-load.adb, prj-attr.adb, prj-dect.adb, prj-err.adb, prj-makr.adb, - prj-part.adb, prj-pp.adb, prj-proc.adb, prj-tree.adb, prj-tree.ads, - prj-util.adb, prj-util.ads, scans.adb, scans.ads, sem_ch2.adb, - sinput-c.adb, styleg-c.adb, tempdir.adb, tempdir.ads, uname.adb, + * bcheck.adb, binde.adb, binderr.adb, binderr.ads, butil.adb, + butil.ads, erroutc.adb, erroutc.ads, errutil.adb, errutil.ads, + err_vars.ads, exp_tss.adb, exp_tss.ads, fmap.adb, fmap.ads, + fname.adb, fname.ads, fname-sf.adb, fname-uf.adb, fname-uf.ads, + lib-sort.adb, lib-util.adb, lib-util.ads, lib-xref.adb, makeutl.ads, + makeutl.adb, nmake.adt, osint.adb, osint.ads, osint-b.adb, + par-load.adb, prj-attr.adb, prj-dect.adb, prj-err.adb, prj-makr.adb, + prj-part.adb, prj-pp.adb, prj-proc.adb, prj-tree.adb, prj-tree.ads, + prj-util.adb, prj-util.ads, scans.adb, scans.ads, sem_ch2.adb, + sinput-c.adb, styleg-c.adb, tempdir.adb, tempdir.ads, uname.adb, uname.ads, atree.h, atree.ads, atree.adb, ali-util.ads, ali-util.adb, - ali.ads, ali.adb: + ali.ads, ali.adb: Move Name_Id, File_Name_Type and Unit_Name_Type from package Types to package Namet. Make File_Name_Type and Unit_Name_Type types derived from Mame_Id. Add new type Path_Name_Type, also derived from Name_Id. @@ -12647,7 +12653,7 @@ PR ada/10768 some use of System.Restrictions in the partition. (Check_System_Restrictions_Used): New procedure - * s-stalib.adb: Remove with of System.Restrictions. No longer needed + * s-stalib.adb: Remove with of System.Restrictions. No longer needed since we only with this unit in the binder file if it is used elsewhere in the partition. @@ -12838,7 +12844,7 @@ PR ada/10768 Bob Duff <duff@adacore.com> Hristian Kirtchev <kirtchev@adacore.com> - * exp_aggr.ads, exp_aggr.adb: + * exp_aggr.ads, exp_aggr.adb: (Build_Record_Aggr_Code): Add missing initialization of secondary tags in extension aggregates. (Flatten): Other conditions being met, an aggregate is static if the @@ -13377,7 +13383,7 @@ PR ada/10768 objects. Remove all handling of with_type clauses. - * par-ch10.adb: Remove all handling of with_type clauses. + * par-ch10.adb: Remove all handling of with_type clauses. * lib-load.ads, lib-load.adb (Load_Main_Source): Do not get the checksum if the main source could not be parsed. @@ -13420,7 +13426,7 @@ PR ada/10768 2007-06-06 Robert Dewar <dewar@adacore.com> Ed Schonberg <schonberg@adacore.com> - * g-comlin.ads, g-comlin.adb: + * g-comlin.ads, g-comlin.adb: Add new warning for renaming of function return objects * opt.adb (Tree_Write, Tree_Read): Use proper expressions for size @@ -13513,7 +13519,7 @@ PR ada/10768 2007-06-06 Vincent Celier <celier@adacore.com> - * gnatls.adb: + * gnatls.adb: Add 3 spaces before the default project directory when displaying the project search path. Add new command line switch '-l' to display license information. @@ -13793,7 +13799,7 @@ PR ada/10768 (Copy_ALI_Files): Make sure that an already existing ALI file in the ALI copy dir is writable, before doing the copy. - * mlib-utl.ads, mlib-utl.adb: + * mlib-utl.ads, mlib-utl.adb: (Gcc): If length of command line is too long, put the list of object files in a response file, if this is supported by the platform. (Ar): If invocation of the archive builder is allowed to be done in @@ -14494,7 +14500,7 @@ PR ada/10768 2007-06-06 Javier Miranda <miranda@adacore.com> - * a-cidlli.ads, a-cdlili.ads, a-cohama.ads, a-coinve.ads, + * a-cidlli.ads, a-cdlili.ads, a-cohama.ads, a-coinve.ads, a-convec.ads (Empty_Vector, Empty_Map, Empty_List): Move this object declaration after freezing point of all its associated tagged types; otherwise such types are frozen too early. @@ -14612,22 +14618,22 @@ PR ada/10768 s-taprop-hpux-dce.adb, s-traceb-hpux.adb, s-taprop-linux.adb, s-taprop-dummy.adb, s-osprim-unix.adb, s-osprim-solaris.adb, s-taprop-solaris.adb, s-taprop-vms.adb, - s-osprim-mingw.adb, s-taprop-mingw.adb, s-osprim-posix.adb, - s-taprop-posix.adb, a-exexpr-gcc.adb, a-ststio.adb, a-ststio.ads, - a-textio.adb, a-textio.ads, a-tideau.adb, a-tideau.ads, a-witeio.adb, - a-witeio.ads, a-wtdeau.adb, a-wtdeau.ads, g-calend.adb, g-calend.ads, - g-dirope.adb, g-expect.ads, gnatchop.adb, g-spipat.adb, g-spipat.ads, - s-direio.adb, s-direio.ads, s-fatgen.adb, s-fatgen.ads, s-parint.adb, - s-sequio.adb, s-sequio.ads, s-taprop.ads, s-valdec.adb, s-valdec.ads, - s-valint.adb, s-valint.ads, s-vallld.adb, s-vallld.ads, s-vallli.adb, - s-vallli.ads, s-valllu.adb, s-valllu.ads, s-valrea.adb, s-valrea.ads, - s-valuns.adb, s-valuns.ads, s-valuti.adb, s-valuti.ads, xref_lib.adb, - s-stchop.adb, i-vxwork-x86.ads, a-crbtgo.ads, a-crbtgo.adb, - a-coorse.ads, a-coorse.adb, a-cohama.ads, a-cohama.adb, a-ciorse.ads, - a-ciorse.adb, a-cihama.ads, a-cihama.adb, a-chtgop.ads, a-chtgop.ads, - a-coormu.adb, a-ciormu.adb, a-cihase.adb, a-cihase.ads, a-cohase.adb, + s-osprim-mingw.adb, s-taprop-mingw.adb, s-osprim-posix.adb, + s-taprop-posix.adb, a-exexpr-gcc.adb, a-ststio.adb, a-ststio.ads, + a-textio.adb, a-textio.ads, a-tideau.adb, a-tideau.ads, a-witeio.adb, + a-witeio.ads, a-wtdeau.adb, a-wtdeau.ads, g-calend.adb, g-calend.ads, + g-dirope.adb, g-expect.ads, gnatchop.adb, g-spipat.adb, g-spipat.ads, + s-direio.adb, s-direio.ads, s-fatgen.adb, s-fatgen.ads, s-parint.adb, + s-sequio.adb, s-sequio.ads, s-taprop.ads, s-valdec.adb, s-valdec.ads, + s-valint.adb, s-valint.ads, s-vallld.adb, s-vallld.ads, s-vallli.adb, + s-vallli.ads, s-valllu.adb, s-valllu.ads, s-valrea.adb, s-valrea.ads, + s-valuns.adb, s-valuns.ads, s-valuti.adb, s-valuti.ads, xref_lib.adb, + s-stchop.adb, i-vxwork-x86.ads, a-crbtgo.ads, a-crbtgo.adb, + a-coorse.ads, a-coorse.adb, a-cohama.ads, a-cohama.adb, a-ciorse.ads, + a-ciorse.adb, a-cihama.ads, a-cihama.adb, a-chtgop.ads, a-chtgop.ads, + a-coormu.adb, a-ciormu.adb, a-cihase.adb, a-cihase.ads, a-cohase.adb, a-cohase.ads, a-swuwha.ads, a-ciormu.ads, a-coormu.ads, a-rbtgso.ads, - a-stunha.ads, a-ciorma.adb, a-coorma.adb, a-ztdeau.adb, a-ztdeau.ads, + a-stunha.ads, a-ciorma.adb, a-coorma.adb, a-ztdeau.adb, a-ztdeau.ads, a-ztexio.adb, a-ztexio.ads: Addition of null-exclusion to anonymous access types. Update documentation. @@ -14644,7 +14650,7 @@ PR ada/10768 system-mingw.ads, system-vms-zcx.ads, system-vxworks-ppc.ads, system-vxworks-alpha.ads, system-vms_64.ads, system-darwin-ppc.ads, system-vxworks-x86.ads, system-linux-ppc.ads, system-linux-hppa.ads, - system-hpux-ia64.ads, targparm.adb, + system-hpux-ia64.ads, targparm.adb, targparm.ads (Functions_Return_By_DSP_On_Target): Removed * system.ads: Move Functions_Return_By_DSP to obsolete section, @@ -14801,7 +14807,7 @@ PR ada/10768 * a-calari.ads, a-calari.adb ("+", "-", Difference): Add calls to target independent routines in Ada.Calendar. - * a-calfor.ads, a-calfor.adb: + * a-calfor.ads, a-calfor.adb: Code cleanup and addition of validity checks in various routines. (Day_Of_Week, Split, Time_Of): Add call to target independent routine in Ada.Calendar. @@ -14811,7 +14817,7 @@ PR ada/10768 2007-04-06 Olivier Hainque <hainque@adacore.com> - * adaint.c: + * adaint.c: (convert_addresses): Adjust prototype and dummy definition to expect an extra file_name argument. @@ -15830,7 +15836,7 @@ PR ada/10768 2007-04-06 Ed Schonberg <schonberg@adacore.com> Javier Miranda <miranda@adacore.com> - * lib-xref.ads, lib-xref.adb: + * lib-xref.ads, lib-xref.adb: Modify the loop that collects type references, to include interface types that the type implements. List each of these interfaces when building the entry for the type. @@ -16156,15 +16162,15 @@ PR ada/10768 (Preserve_Full_Attributes): The full entity list is not an attribute that must be preserved from full to partial view. - * sem_dist.adb (Add_RAS_Dereference_TSS): - Change primitive name to _Call so it cannot clash with any legal - identifier, and be special-cased in Check_Completion. - Mark the full view of the designated type for the RACW associated with - a RAS as Comes_From_Source to get proper view switching when installing - private declarations. - Provite a placeholder nested package body along with the nested spec - to have a place for Append_RACW_Bodies to generate the calling stubs - and stream attributes. + * sem_dist.adb (Add_RAS_Dereference_TSS): + Change primitive name to _Call so it cannot clash with any legal + identifier, and be special-cased in Check_Completion. + Mark the full view of the designated type for the RACW associated with + a RAS as Comes_From_Source to get proper view switching when installing + private declarations. + Provite a placeholder nested package body along with the nested spec + to have a place for Append_RACW_Bodies to generate the calling stubs + and stream attributes. 2007-04-06 Ed Schonberg <schonberg@adacore.com> Robert Dewar <dewar@adacore.com> @@ -16321,7 +16327,7 @@ PR ada/10768 2007-04-06 Eric Botcazou <botcazou@adacore.com> - * s-stchop-vxworks.adb: + * s-stchop-vxworks.adb: (Stack_Check): Raise Storage_Error if the argument has wrapped around. 2007-04-06 Robert Dewar <dewar@adacore.com> @@ -16435,7 +16441,7 @@ PR ada/10768 2007-02-07 Andreas Krebbel <krebbel1@de.ibm.com> * raise-gcc.c (get_region_description_for, get_call_site_action_for, - get_action_description_for): Replace _Unwind_Word with _uleb128_t + get_action_description_for): Replace _Unwind_Word with _uleb128_t and _Unwind_SWord with _sleb128_t. 2007-02-06 Paolo Bonzini <bonzini@gnu.org> @@ -16589,7 +16595,7 @@ PR ada/10768 part of Ada.Calendar: all subprogram raise Unimplemented. (Split_W_Offset): Temp function body, raising Unimplemented - * a-calend.ads, a-calend-vms.ads: + * a-calend.ads, a-calend-vms.ads: Add imported variable Invalid_TZ_Offset used to designate targets unable to support time zones. (Unimplemented): Temporary function raised by the body of new @@ -16627,13 +16633,13 @@ PR ada/10768 2006-10-31 Arnaud Charlet <charlet@adacore.com> Jose Ruiz <ruiz@adacore.com> - * s-osinte-posix.adb, s-osinte-linux.ads, s-osinte-freebsd.adb, - s-osinte-freebsd.ads, s-osinte-solaris-posix.ads, s-osinte-hpux.ads, + * s-osinte-posix.adb, s-osinte-linux.ads, s-osinte-freebsd.adb, + s-osinte-freebsd.ads, s-osinte-solaris-posix.ads, s-osinte-hpux.ads, s-osinte-darwin.adb, s-osinte-darwin.ads, s-osinte-lynxos-3.ads, s-osinte-lynxos-3.adb (To_Target_Priority): New function maps from System.Any_Priority to a POSIX priority on the target. - * system-linux-ia64.ads: + * system-linux-ia64.ads: Extend range of Priority types on Linux to use the whole range made available by the system. @@ -16654,12 +16660,12 @@ PR ada/10768 Priority_Specific_Dispatching pragmas when determining if Round Robin must be used for scheduling the task. - * system-linux-x86_64.ads, system-linux-x86.ads, + * system-linux-x86_64.ads, system-linux-x86.ads, system-linux-ppc.ads: Extend range of Priority types on Linux to use the whole range made available by the system. - * s-taprop-vms.adb, s-taprop-mingw.adb, s-taprop-irix.adb, - s-taprop-tru64.adb, s-taprop-linux.adb, s-taprop-hpux-dce.adb, + * s-taprop-vms.adb, s-taprop-mingw.adb, s-taprop-irix.adb, + s-taprop-tru64.adb, s-taprop-linux.adb, s-taprop-hpux-dce.adb, s-taprop-lynxos.adb (Finalize_TCB): invalidate the stack-check cache when deallocating the TCB in order to avoid potential references to deallocated data. @@ -16678,14 +16684,14 @@ PR ada/10768 2006-10-31 Robert Dewar <dewar@adacore.com> - * system-vms_64.ads, system-darwin-ppc.ads, system-vxworks-x86.ads, - system-linux-hppa.ads, system-hpux-ia64.ads, - system-lynxos-ppc.ads, system-lynxos-x86.ads, system-tru64.ads, - system-vxworks-sparcv9.ads, system-solaris-x86.ads, - system-irix-o32.ads, system-irix-n32.ads, system-hpux.ads, - system-vxworks-m68k.ads, system-vxworks-mips.ads, system-interix.ads, - system-solaris-sparc.ads, system-solaris-sparcv9.ads, system-vms.ads, - system-mingw.ads, system-vms-zcx.ads, system-vxworks-ppc.ads, + * system-vms_64.ads, system-darwin-ppc.ads, system-vxworks-x86.ads, + system-linux-hppa.ads, system-hpux-ia64.ads, + system-lynxos-ppc.ads, system-lynxos-x86.ads, system-tru64.ads, + system-vxworks-sparcv9.ads, system-solaris-x86.ads, + system-irix-o32.ads, system-irix-n32.ads, system-hpux.ads, + system-vxworks-m68k.ads, system-vxworks-mips.ads, system-interix.ads, + system-solaris-sparc.ads, system-solaris-sparcv9.ads, system-vms.ads, + system-mingw.ads, system-vms-zcx.ads, system-vxworks-ppc.ads, system-vxworks-alpha.ads, system.ads: Add pragma Warnings(Off, Default_Bit_Order) to kill constant condition warnings for references to this switch. @@ -16703,7 +16709,7 @@ PR ada/10768 * mlib-fil.ads, mlib-fil.adb: (Append_To): New function - * mlib-tgt-darwin.adb: + * mlib-tgt-darwin.adb: Use Append_To, instead of Ext_To, when building the library file name (Flat_Namespace): New global variable. (No_Shared_Libgcc_Switch): Rename to No_Shared_Libgcc_Options. @@ -16720,7 +16726,7 @@ PR ada/10768 2006-10-31 Jose Ruiz <ruiz@adacore.com> - * s-osinte-vxworks.ads, s-osinte-vxworks.adb: + * s-osinte-vxworks.ads, s-osinte-vxworks.adb: (getpid): New body for this function that uses the underlying taskIdSelf function for VxWorks 5 and VxWorks 6 in kernel mode. (unsigned_int): New type, modular to allow logical bit operations. @@ -16953,11 +16959,11 @@ PR ada/10768 * lib.adb, lib.ads: (In_Predefined_Unit): New functions - * a-finali.ads, a-ngcoty.ads, a-strbou.ads, a-stream.ads, a-strmap.ads, - a-strunb.ads, a-stwibo.ads, a-stwima.ads, a-stwiun.ads, a-taside.ads, - a-coorse.ads, a-convec.ads, a-coinve.ads, a-cohama.ads, a-ciorse.ads, - a-cihama.ads, a-cihase.ads, a-cohase.ads, a-ciorma.ads, a-coorma.ads, - a-ciormu.ads, a-coormu.ads, a-stzbou.ads, a-stzmap.ads, a-stzunb.ads, + * a-finali.ads, a-ngcoty.ads, a-strbou.ads, a-stream.ads, a-strmap.ads, + a-strunb.ads, a-stwibo.ads, a-stwima.ads, a-stwiun.ads, a-taside.ads, + a-coorse.ads, a-convec.ads, a-coinve.ads, a-cohama.ads, a-ciorse.ads, + a-cihama.ads, a-cihase.ads, a-cohase.ads, a-ciorma.ads, a-coorma.ads, + a-ciormu.ads, a-coormu.ads, a-stzbou.ads, a-stzmap.ads, a-stzunb.ads, a-except-2005.ads: Add pragma Preelaborable_Warning 2006-10-31 Robert Dewar <dewar@adacore.com> @@ -17057,7 +17063,7 @@ PR ada/10768 2006-10-31 Javier Miranda <miranda@adacore.com> - * a-tags.ads, a-tags.adb: + * a-tags.ads, a-tags.adb: (Predefined_DT): New function that improves readability of the code. (Get_Predefined_Prim_Op_Address, Set_Predefined_Prim_Op_Address, Inherit_DT): Use the new function Predefined_DT to improve code @@ -17215,10 +17221,10 @@ PR ada/10768 Implement insertion character ~ (insert string) (First_Node): Minor adjustments to get better placement. - * frontend.adb: + * frontend.adb: Implement new -gnatl=xxx switch to output listing to file - * gnat1drv.adb: + * gnat1drv.adb: Implement new -gnatl=xxx switch to output listing to file * opt.ads: (Warn_On_Questionable_Missing_Paren): New switch @@ -17239,12 +17245,12 @@ PR ada/10768 invoked with a relative path. (Executable_Name): New function taking string parameters. - * osint-c.ads, osint-c.adb: + * osint-c.ads, osint-c.adb: Implement new -gnatl=xxx switch to output listing to file * sinput-d.adb: Change name Creat_Debug_File to Create_Debug_File - * switch-c.adb: + * switch-c.adb: Implement new -gnatl=xxx switch to output listing to file Recognize new -gnatL switch (no longer keep in old warning about old style usage) @@ -17295,7 +17301,7 @@ PR ada/10768 Javier Miranda <miranda@adacore.com> Robert Dewar <dewar@adacore.com> - * exp_attr.adb: + * exp_attr.adb: (Expand_Access_To_Protected_Op): If the context indicates that an access to a local operation may be transfered outside of the object, create an access to the wrapper operation that must be used in an external call. @@ -18141,7 +18147,7 @@ PR ada/10768 * rtsfind.adb: Remove s-polint from comment as it exists no more. - * rtsfind.ads: + * rtsfind.ads: Move entity RE_Get_Active_Partition_Id to package System.DSA_Services. Move all the entities in obsolete package System.PolyORB_Interface to System.Partition_Interface. @@ -18593,7 +18599,7 @@ PR ada/10768 2006-10-31 Robert Dewar <dewar@adacore.com> - * s-osinte-tru64.adb: + * s-osinte-tru64.adb: Mark Asm statements Volatile to prevent warnings (seems a reasonable change anyway) Fixes new warnings @@ -18681,7 +18687,7 @@ PR ada/10768 (No_Restrictions): New constant used to clean up code and follow preelaborate constraints. - * s-stalib.adb: + * s-stalib.adb: Add System.Restrictions dependence, referenced directly from the binder generated file. @@ -18812,7 +18818,7 @@ PR ada/10768 2006-10-31 Pat Rogers <rogers@adacore.com> - * a-rttiev.ads, a-rttiev.adb: + * a-rttiev.ads, a-rttiev.adb: This is a significant redesign primarily for the sake of automatic timer task termination but also to fix a design flaw. Therefore we are now using an RTS lock, instead of a protected @@ -18845,7 +18851,7 @@ PR ada/10768 Clarify that inlining is not always possible Update documentation on pragma Unchecked_Union. - * gnat_rm.texi: + * gnat_rm.texi: Add documentation for new extended version of pragma Obsolescent Add documentation for implementation defined attribute 'Stub_Type. Add note on use of Volatile in asm statements @@ -18859,7 +18865,7 @@ PR ada/10768 Clarify difference between No_Dispatching_Calls & No_Dispatch. Add documentation for pragma Restrictions (No_Elaboration_Code) - * gnat-style.texi: + * gnat-style.texi: Add comments on layout of subprogram local variables in the presence of nested subprograms. @@ -18876,7 +18882,7 @@ PR ada/10768 * usage.adb: Update documentation. - * validsw.ads, validsw.adb: + * validsw.ads, validsw.adb: Add definition of Validity_Check_Components and implement -gnatVe/E * vms_data.ads: Add missing VMS qualifiers. @@ -18917,10 +18923,10 @@ PR ada/10768 * s-soflin.adb: Minor reformatting - * s-stoele.ads: + * s-stoele.ads: Add comment about odd qualification in Storage_Offset declaration - * s-strxdr.adb: + * s-strxdr.adb: Remove unnecessary 'in' keywords for formal parameters. * treeprs.adt: Minor reformatting @@ -18948,7 +18954,7 @@ PR ada/10768 * lang.opt: Woverlength-strings: New option. - * nmake.adt: + * nmake.adt: Update copyright, since nmake.ads and nmake.adb have changed. * osint-b.ads, osint-b.adb (Time_From_Last_Bind): removed function . @@ -19232,9 +19238,9 @@ PR ada/10768 2006-02-17 Jose Ruiz <ruiz@adacore.com> - * s-taprop-irix.adb, s-taprop-hpux-dce.adb, s-taprop-linux.adb, - s-taprop-solaris.adb, s-taprop-vms.adb, s-taprop-mingw.adb, - s-taprop-posix.adb, s-taprop-vxworks.adb, s-taprop-lynxos.adb, + * s-taprop-irix.adb, s-taprop-hpux-dce.adb, s-taprop-linux.adb, + s-taprop-solaris.adb, s-taprop-vms.adb, s-taprop-mingw.adb, + s-taprop-posix.adb, s-taprop-vxworks.adb, s-taprop-lynxos.adb, s-taprop-tru64.adb (Set_False, Set_True, Suspend_Until_True): Add Abort_Defer/Undefer pairs to avoid the possibility of a task being aborted while owning a lock. @@ -19344,7 +19350,7 @@ PR ada/10768 2006-02-17 Matthew Heaney <heaney@adacore.com> - * a-convec.ads, a-convec.adb: + * a-convec.ads, a-convec.adb: (operator "&"): handle potential overflow for large index types (Insert): removed Contraint_Error when using large index types (Insert_Space): removed Constraint_Error for large index types @@ -19363,7 +19369,7 @@ PR ada/10768 * s-wchcnv.adb: Document handling of [ on output (we do not change this to ["5B"] and the new comments say why not. - * gnat_ugn.texi: + * gnat_ugn.texi: Add note for -gnatVo that this now includes the cases of type conversions and qualified expressions. Add comments on handling of brackets encoding for Text_IO @@ -19483,11 +19489,11 @@ PR ada/10768 2006-02-13 Arnaud Charlet <charlet@adacore.com> - * s-osinte-darwin.adb, s-osinte-darwin.ads, s-osinte-vxworks.ads, - s-osinte-solaris.ads, s-osinte-linux.ads, s-osinte-freebsd.ads, - s-osinte-solaris-posix.ads, s-osinte-lynxos-3.ads, s-osinte-lynxos.ads, - s-osinte-tru64.ads, s-osinte-aix.ads, s-osinte-irix.ads, - s-osinte-hpux-dce.ads, s-osinte-linux-hppa.ads, + * s-osinte-darwin.adb, s-osinte-darwin.ads, s-osinte-vxworks.ads, + s-osinte-solaris.ads, s-osinte-linux.ads, s-osinte-freebsd.ads, + s-osinte-solaris-posix.ads, s-osinte-lynxos-3.ads, s-osinte-lynxos.ads, + s-osinte-tru64.ads, s-osinte-aix.ads, s-osinte-irix.ads, + s-osinte-hpux-dce.ads, s-osinte-linux-hppa.ads, s-osinte-linux-alpha.ads, s-inmaop-posix.adb (sigset_t_ptr): Removed, replaced by anonymous access type. (pthread_sigmask): Now take an access sigset_t @@ -19498,8 +19504,8 @@ PR ada/10768 2006-02-13 Pascal Obry <obry@adacore.com> - * s-taprop-posix.adb, s-taprop-vxworks.adb, s-taprop-tru64.adb, - s-taprop-lynxos.adb, s-taprop-irix.adb, s-taprop-hpux-dce.adb, + * s-taprop-posix.adb, s-taprop-vxworks.adb, s-taprop-tru64.adb, + s-taprop-lynxos.adb, s-taprop-irix.adb, s-taprop-hpux-dce.adb, s-taprop-linux.adb, s-taprop-solaris.adb, s-taprop-vms.adb (Create_Task): Remove task adjustment code. This adjustement is already done when calling this routine. @@ -19588,7 +19594,7 @@ PR ada/10768 Eric Botcazou <ebotcazou@adacore.com> * ada-tree.h: (TYPE_UNCHECKED_UNION_P): Deleted. - + * gigi.h (value_factor_p): Add prototype and description, now public. * decl.c (gnat_to_gnu_field): Don't attempt BLKmode to integral type @@ -19814,8 +19820,8 @@ PR ada/10768 2006-02-13 Matthew Heaney <heaney@adacore.com> - * a-rbtgso.adb, a-crbtgo.adb, a-crbtgk.adb, a-coorse.adb, - a-cohama.adb, a-ciorse.adb, a-cihama.adb, a-cihase.adb, + * a-rbtgso.adb, a-crbtgo.adb, a-crbtgk.adb, a-coorse.adb, + a-cohama.adb, a-ciorse.adb, a-cihama.adb, a-cihase.adb, a-cohase.adb: All explicit raise statements now include an exception message. @@ -19872,7 +19878,7 @@ PR ada/10768 2006-02-13 Robert Dewar <dewar@adacore.com> - * rtsfind.adb, exp_prag.adb, lib-writ.adb, par-labl.adb, + * rtsfind.adb, exp_prag.adb, lib-writ.adb, par-labl.adb, sem_case.adb: Minor code reorganization (not Present should be No) 2006-02-13 Geert Bosch <bosch@adacore.com> @@ -20011,7 +20017,7 @@ PR ada/10768 Define Tree_Version_String as a dynamic string. (Default_Stack_Size): new variable, used to handle switch -d. - * par-prag.adb: + * par-prag.adb: For pragma Ada_2005, remove stuff about setting Ada_Version_Explicit only for main unit. Add pragma Ada_2005 (synonym for Ada_05) @@ -21023,7 +21029,7 @@ PR ada/10768 Multi_Unit_Index_Character after OpenVMS_On_Target gets its definitive value. (Get_Target_Parameters): Set OpenVMS_On_Target if openvms. - + * targparm.ads: Add special exception to license. * g-os_lib.ads, g-os_lib.adb (Get_Target_Debuggable_Suffix): New @@ -21144,11 +21150,11 @@ PR ada/10768 (Set_Output): new subprogram (Put): now uses the value of Current_Out to know if the output has to be send to stderr or stdout. - + * s-stausa.ads: Complete implementation. * switch-b.adb: Added handling of -u switch for dynamic stack analysis. - + * impunit.adb (Non_Imp_File_Names_05): Add Ada.Task_Termination to the list of Ada 05 files. (GNAT Library Units): Add AltiVec files. @@ -21320,7 +21326,7 @@ PR ada/10768 * namet.ads (Name_Buffer): Adjust size to reflect increase on max line length. - * scn.adb, scng.adb: + * scn.adb, scng.adb: Always check line length against the absolute supported maximum, Hostparm.Max_Line_Length. @@ -21432,7 +21438,7 @@ PR ada/10768 * par-ch12.adb (P_Formal_Derived_Type_Definition): In Ada 2005, handle use of "limited" in declaration. - * sinfo.ads, sinfo.adb: + * sinfo.ads, sinfo.adb: Formal derived types can carry an explicit "limited" indication. * sem_ch3.adb: Add with and use of Targparm. @@ -21657,7 +21663,7 @@ PR ada/10768 2005-12-09 Robert Dewar <dewar@adacore.com> - * g-soccon.ads: + * g-soccon.ads: Further comment fixes to make the status of the default file clear * s-bitops.adb: Clarify comment for Bits_Array @@ -21732,7 +21738,7 @@ PR ada/10768 PR ada/24855 * raise-gcc.c: Add missing stdarg.h include. - + 2005-11-16 Richard Guenther <rguenther@suse.de> * Make-lang.in (ada/decl.o): Add $(EXPR_H) dependency. @@ -21760,7 +21766,7 @@ PR ada/10768 g-soccon-solaris-64.ads, g-soccon-linux-64.ads, g-soccon-linux-x86.ads: New files. - * g-socthi-mingw.adb: + * g-socthi-mingw.adb: (Socket_Error_Message): Remove redundant use of GNAT.Sockets.Constants * g-socthi-vxworks.ads, g-socthi-vms.ads, g-socthi-mingw.ads @@ -21849,10 +21855,10 @@ PR ada/10768 * s-mastop-tru64.adb (Pop_Frame): Remove redundant parentheses in if statement. - * s-taprop-solaris.adb: + * s-taprop-solaris.adb: Change some <= to =, to avoid new warning - * a-exexda.adb, prj-proc.adb: + * a-exexda.adb, prj-proc.adb: Fix obvious typo (Num_Tracebacks compared <= 0 instead of < 0) Fix obvious typo (Total_Errors_Detected <= 0 should be = 0) @@ -21866,7 +21872,7 @@ PR ada/10768 2005-11-14 Matthew Gingell <gingell@adacore.com> - * system-lynxos-ppc.ads, system-lynxos-x86.ads: + * system-lynxos-ppc.ads, system-lynxos-x86.ads: Increase default priority on Lynx from 15 to 17, and meet the Ada requirement that Default_Priority be ((Priority'First + Priority'Last) / 2) by increasing the range of Interrupt_Priority. @@ -22075,12 +22081,12 @@ PR ada/10768 2005-11-14 Matthew Heaney <heaney@adacore.com> - * a-crbtgo.ads, a-crbtgo.adb, a-coorse.ads, a-coorse.adb, a-convec.ads, - a-convec.adb, a-coinve.ads, a-coinve.adb, a-cohama.ads, a-cohama.adb, - a-ciorse.ads, a-ciorse.adb, a-cihama.ads, a-cihama.adb, a-cidlli.ads, - a-cidlli.adb, a-cdlili.ads, a-cdlili.adb, a-coormu.adb, a-ciormu.adb, - a-cihase.adb, a-cihase.ads, a-cohase.adb, a-cohase.ads, a-ciorma.ads, - a-coorma.ads, a-ciormu.ads, a-coormu.ads, a-ciorma.adb, a-coorma.adb: + * a-crbtgo.ads, a-crbtgo.adb, a-coorse.ads, a-coorse.adb, a-convec.ads, + a-convec.adb, a-coinve.ads, a-coinve.adb, a-cohama.ads, a-cohama.adb, + a-ciorse.ads, a-ciorse.adb, a-cihama.ads, a-cihama.adb, a-cidlli.ads, + a-cidlli.adb, a-cdlili.ads, a-cdlili.adb, a-coormu.adb, a-ciormu.adb, + a-cihase.adb, a-cihase.ads, a-cohase.adb, a-cohase.ads, a-ciorma.ads, + a-coorma.ads, a-ciormu.ads, a-coormu.ads, a-ciorma.adb, a-coorma.adb: Compiles against the spec for ordered maps described in sections A.18.6 of the most recent (August 2005) AI-302 draft. @@ -22186,7 +22192,7 @@ PR ada/10768 * binde.adb: Implement new AD/ED for Elaborate_All/Elaborate desirable (Elab_Error_Msg): Use -da to include internal unit links, not -de. - * lib-writ.ads, lib-writ.adb: + * lib-writ.ads, lib-writ.adb: Implement new AD/ED for Elaborate_All/Elaborate desirable Use new Elaborate_All_Desirable flag in N_With_Clause node @@ -22264,7 +22270,7 @@ PR ada/10768 * Makefile.rtl: Add new instantiations of system.fat_gen - * s-fatflt.ads, s-fatlfl.ads, s-fatllf.ads, s-fatsfl.ads: + * s-fatflt.ads, s-fatlfl.ads, s-fatllf.ads, s-fatsfl.ads: Change name of instantiated package for better consistency with newly added system.fat_gen instantiations. @@ -22855,7 +22861,7 @@ PR ada/10768 Jose Ruiz <ruiz@adacore.com> Pascal Obry <obry@adacore.com> - * gnat_ugn.texi: + * gnat_ugn.texi: Document that -fstack-check is needed for strict compliance with the Ada 95 Reference Manual. Correct reference to VAX systems to meet HP guidelines diff --git a/gcc/ada/gcc-interface/Makefile.in b/gcc/ada/gcc-interface/Makefile.in index dc43f48..f0211dc 100644 --- a/gcc/ada/gcc-interface/Makefile.in +++ b/gcc/ada/gcc-interface/Makefile.in @@ -1457,7 +1457,7 @@ ifeq ($(strip $(filter-out mipsel linux%,$(arch) $(osys))),) endif ifeq ($(strip $(filter-out powerpc% linux%,$(arch) $(osys))),) - LIBGNAT_TARGET_PAIRS = \ + LIBGNAT_TARGET_PAIRS_COMMON = \ a-intnam.ads<a-intnam-linux.ads \ s-inmaop.adb<s-inmaop-posix.adb \ s-intman.adb<s-intman-posix.adb \ @@ -1470,9 +1470,22 @@ ifeq ($(strip $(filter-out powerpc% linux%,$(arch) $(osys))),) s-tasinf.adb<s-tasinf-linux.adb \ s-taspri.ads<s-taspri-posix-noaltstack.ads \ s-tpopsp.adb<s-tpopsp-posix-foreign.adb \ - g-sercom.adb<g-sercom-linux.adb \ + g-sercom.adb<g-sercom-linux.adb + + LIBGNAT_TARGET_PAIRS_32 = \ system.ads<system-linux-ppc.ads + LIBGNAT_TARGET_PAIRS_64 = \ + system.ads<system-linux-ppc64.ads + + ifeq ($(strip $(MULTISUBDIR)),/64) + LIBGNAT_TARGET_PAIRS = \ + $(LIBGNAT_TARGET_PAIRS_COMMON) $(LIBGNAT_TARGET_PAIRS_64) + else + LIBGNAT_TARGET_PAIRS = \ + $(LIBGNAT_TARGET_PAIRS_COMMON) $(LIBGNAT_TARGET_PAIRS_32) + endif + TOOLS_TARGET_PAIRS = \ mlib-tgt-specific.adb<mlib-tgt-specific-linux.adb \ indepsw.adb<indepsw-gnu.adb diff --git a/gcc/ada/system-linux-ppc64.ads b/gcc/ada/system-linux-ppc64.ads new file mode 100644 index 0000000..5f591bb --- /dev/null +++ b/gcc/ada/system-linux-ppc64.ads @@ -0,0 +1,155 @@ +------------------------------------------------------------------------------ +-- -- +-- GNAT RUN-TIME COMPONENTS -- +-- -- +-- S Y S T E M -- +-- -- +-- S p e c -- +-- (GNU-Linux/PPC64 Version) -- +-- -- +-- Copyright (C) 1992-2008, Free Software Foundation, Inc. -- +-- -- +-- This specification is derived from the Ada Reference Manual for use with -- +-- GNAT. The copyright notice above, and the license provisions that follow -- +-- apply solely to the contents of the part following the private keyword. -- +-- -- +-- GNAT is free software; you can redistribute it and/or modify it under -- +-- terms of the GNU General Public License as published by the Free Soft- -- +-- ware Foundation; either version 2, or (at your option) any later ver- -- +-- sion. GNAT is distributed in the hope that it will be useful, but WITH- -- +-- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY -- +-- or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License -- +-- for more details. You should have received a copy of the GNU General -- +-- Public License distributed with GNAT; see file COPYING. If not, write -- +-- to the Free Software Foundation, 51 Franklin Street, Fifth Floor, -- +-- Boston, MA 02110-1301, USA. -- +-- -- +-- As a special exception, if other files instantiate generics from this -- +-- unit, or you link this unit with other files to produce an executable, -- +-- this unit does not by itself cause the resulting executable to be -- +-- covered by the GNU General Public License. This exception does not -- +-- however invalidate any other reasons why the executable file might be -- +-- covered by the GNU Public License. -- +-- -- +-- GNAT was originally developed by the GNAT team at New York University. -- +-- Extensive contributions were provided by Ada Core Technologies Inc. -- +-- -- +------------------------------------------------------------------------------ + +package System is + pragma Pure; + -- Note that we take advantage of the implementation permission to make + -- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada + -- 2005, this is Pure in any case (AI-362). + + type Name is (SYSTEM_NAME_GNAT); + System_Name : constant Name := SYSTEM_NAME_GNAT; + + -- System-Dependent Named Numbers + + Min_Int : constant := Long_Long_Integer'First; + Max_Int : constant := Long_Long_Integer'Last; + + Max_Binary_Modulus : constant := 2 ** Long_Long_Integer'Size; + Max_Nonbinary_Modulus : constant := 2 ** Integer'Size - 1; + + Max_Base_Digits : constant := Long_Long_Float'Digits; + Max_Digits : constant := Long_Long_Float'Digits; + + Max_Mantissa : constant := 63; + Fine_Delta : constant := 2.0 ** (-Max_Mantissa); + + Tick : constant := 0.000_001; + + -- Storage-related Declarations + + type Address is private; + pragma Preelaborable_Initialization (Address); + Null_Address : constant Address; + + Storage_Unit : constant := 8; + Word_Size : constant := 64; + Memory_Size : constant := 2 ** 64; + + -- Address comparison + + function "<" (Left, Right : Address) return Boolean; + function "<=" (Left, Right : Address) return Boolean; + function ">" (Left, Right : Address) return Boolean; + function ">=" (Left, Right : Address) return Boolean; + function "=" (Left, Right : Address) return Boolean; + + pragma Import (Intrinsic, "<"); + pragma Import (Intrinsic, "<="); + pragma Import (Intrinsic, ">"); + pragma Import (Intrinsic, ">="); + pragma Import (Intrinsic, "="); + + -- Other System-Dependent Declarations + + type Bit_Order is (High_Order_First, Low_Order_First); + Default_Bit_Order : constant Bit_Order := High_Order_First; + pragma Warnings (Off, Default_Bit_Order); -- kill constant condition warning + + -- Priority-related Declarations (RM D.1) + + -- 0 .. 98 corresponds to the system priority range 1 .. 99. + -- + -- If the scheduling policy is SCHED_FIFO or SCHED_RR the runtime makes use + -- of the entire range provided by the system. + -- + -- If the scheduling policy is SCHED_OTHER the only valid system priority + -- is 1 and other values are simply ignored. + + Max_Priority : constant Positive := 97; + Max_Interrupt_Priority : constant Positive := 98; + + subtype Any_Priority is Integer range 0 .. 98; + subtype Priority is Any_Priority range 0 .. 97; + subtype Interrupt_Priority is Any_Priority range 98 .. 98; + + Default_Priority : constant Priority := 48; + +private + + type Address is mod Memory_Size; + Null_Address : constant Address := 0; + + -------------------------------------- + -- System Implementation Parameters -- + -------------------------------------- + + -- These parameters provide information about the target that is used + -- by the compiler. They are in the private part of System, where they + -- can be accessed using the special circuitry in the Targparm unit + -- whose source should be consulted for more detailed descriptions + -- of the individual switch values. + + Backend_Divide_Checks : constant Boolean := False; + Backend_Overflow_Checks : constant Boolean := False; + Command_Line_Args : constant Boolean := True; + Configurable_Run_Time : constant Boolean := False; + Denorm : constant Boolean := True; + Duration_32_Bits : constant Boolean := False; + Exit_Status_Supported : constant Boolean := True; + Fractional_Fixed_Ops : constant Boolean := False; + Frontend_Layout : constant Boolean := False; + Machine_Overflows : constant Boolean := False; + Machine_Rounds : constant Boolean := True; + Preallocated_Stacks : constant Boolean := False; + Signed_Zeros : constant Boolean := True; + Stack_Check_Default : constant Boolean := False; + Stack_Check_Probes : constant Boolean := True; + Stack_Check_Limits : constant Boolean := False; + Support_64_Bit_Divides : constant Boolean := True; + Support_Aggregates : constant Boolean := True; + Support_Composite_Assign : constant Boolean := True; + Support_Composite_Compare : constant Boolean := True; + Support_Long_Shifts : constant Boolean := True; + Always_Compatible_Rep : constant Boolean := False; + Suppress_Standard_Library : constant Boolean := False; + Use_Ada_Main_Program_Name : constant Boolean := False; + ZCX_By_Default : constant Boolean := True; + GCC_ZCX_Support : constant Boolean := True; + +end System; |