From 0b6eb8e13c5aa7d890209323cdcbf511d1b4a8dc Mon Sep 17 00:00:00 2001 From: Robert Dewar Date: Tue, 15 Mar 2005 16:45:59 +0100 Subject: [PATCH] system-unixware.ads, [...]: Add line defining Compiler_System_Version to be False. 2005-03-08 Robert Dewar * system-unixware.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-vxworks-xscale.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-os2.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-vms_64.ads, system-darwin-ppc.ads, system-vxworks-x86.ads, system-linux-ppc.ads, system-linux-alpha.ads, system-linux-sparc.ads, system-linux-s390.ads, system-linux-s390x.ads: Add line defining Compiler_System_Version to be False. * opt.ads: Add new flag Opt.Address_Is_Private * targparm.ads, targparm.adb: Set new flag Opt.Address_Is_Private Add new parameter Compiler_System_Version to avoid checking for completeness of parameters when compiler is compiling itself. Allows old versions of GNAT to be compiled with new compiler. From-SVN: r96478 --- gcc/ada/opt.ads | 4 + gcc/ada/system-aix.ads | 3 +- gcc/ada/system-darwin-ppc.ads | 3 +- gcc/ada/system-freebsd-x86.ads | 3 +- gcc/ada/system-hpux.ads | 3 +- gcc/ada/system-interix.ads | 3 +- gcc/ada/system-irix-n32.ads | 3 +- gcc/ada/system-irix-o32.ads | 3 +- gcc/ada/system-linux-alpha.ads | 3 +- gcc/ada/system-linux-ia64.ads | 3 +- gcc/ada/system-linux-ppc.ads | 3 +- gcc/ada/system-linux-s390.ads | 3 +- gcc/ada/system-linux-s390x.ads | 3 +- gcc/ada/system-linux-sparc.ads | 1 + gcc/ada/system-linux-x86.ads | 3 +- gcc/ada/system-linux-x86_64.ads | 3 +- gcc/ada/system-lynxos-ppc.ads | 3 +- gcc/ada/system-lynxos-x86.ads | 3 +- gcc/ada/system-mingw.ads | 3 +- gcc/ada/system-os2.ads | 3 +- gcc/ada/system-solaris-sparc.ads | 3 +- gcc/ada/system-solaris-sparcv9.ads | 3 +- gcc/ada/system-solaris-x86.ads | 3 +- gcc/ada/system-tru64.ads | 3 +- gcc/ada/system-unixware.ads | 3 +- gcc/ada/system-vms-zcx.ads | 3 +- gcc/ada/system-vms.ads | 3 +- gcc/ada/system-vms_64.ads | 3 +- gcc/ada/system-vxworks-alpha.ads | 3 +- gcc/ada/system-vxworks-m68k.ads | 3 +- gcc/ada/system-vxworks-mips.ads | 3 +- gcc/ada/system-vxworks-ppc.ads | 3 +- gcc/ada/system-vxworks-sparcv9.ads | 3 +- gcc/ada/system-vxworks-x86.ads | 3 +- gcc/ada/system-vxworks-xscale.ads | 3 +- gcc/ada/targparm.adb | 82 ++++++++++---------- gcc/ada/targparm.ads | 116 ++++++++++++++++++----------- 37 files changed, 186 insertions(+), 116 deletions(-) diff --git a/gcc/ada/opt.ads b/gcc/ada/opt.ads index 1627831ab17..52f152203f3 100644 --- a/gcc/ada/opt.ads +++ b/gcc/ada/opt.ads @@ -104,6 +104,10 @@ package Opt is -- GNAT -- Set False to disable address clause warnings + Address_Is_Private : Boolean := False; + -- GNAT, GNATBIND + -- Set True if package System has the line "type Address is private;" + All_Errors_Mode : Boolean := False; -- GNAT -- Flag set to force display of multiple errors on a single line and diff --git a/gcc/ada/system-aix.ads b/gcc/ada/system-aix.ads index c80241b3311..9129cbd4e61 100644 --- a/gcc/ada/system-aix.ads +++ b/gcc/ada/system-aix.ads @@ -7,7 +7,7 @@ -- S p e c -- -- (AIX/PPC Version) -- -- -- --- Copyright (C) 1992-2004 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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 -- @@ -118,6 +118,7 @@ private Backend_Divide_Checks : constant Boolean := False; Backend_Overflow_Checks : constant Boolean := False; Command_Line_Args : constant Boolean := True; + Compiler_System_Version : constant Boolean := False; Configurable_Run_Time : constant Boolean := False; Denorm : constant Boolean := True; Duration_32_Bits : constant Boolean := False; diff --git a/gcc/ada/system-darwin-ppc.ads b/gcc/ada/system-darwin-ppc.ads index e36d8052190..cc25af0565e 100644 --- a/gcc/ada/system-darwin-ppc.ads +++ b/gcc/ada/system-darwin-ppc.ads @@ -7,7 +7,7 @@ -- S p e c -- -- (Darwin/PPC Version) -- -- -- --- Copyright (C) 1992-2004 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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 -- @@ -144,6 +144,7 @@ private Backend_Divide_Checks : constant Boolean := False; Backend_Overflow_Checks : constant Boolean := False; Command_Line_Args : constant Boolean := True; + Compiler_System_Version : constant Boolean := False; Configurable_Run_Time : constant Boolean := False; Denorm : constant Boolean := True; Duration_32_Bits : constant Boolean := False; diff --git a/gcc/ada/system-freebsd-x86.ads b/gcc/ada/system-freebsd-x86.ads index 25b72ca1d59..3e9d1093f91 100644 --- a/gcc/ada/system-freebsd-x86.ads +++ b/gcc/ada/system-freebsd-x86.ads @@ -7,7 +7,7 @@ -- S p e c -- -- (FreeBSD/x86 Version) -- -- -- --- Copyright (C) 1992-2004 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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 -- @@ -118,6 +118,7 @@ private Backend_Divide_Checks : constant Boolean := False; Backend_Overflow_Checks : constant Boolean := False; Command_Line_Args : constant Boolean := True; + Compiler_System_Version : constant Boolean := False; Configurable_Run_Time : constant Boolean := False; Denorm : constant Boolean := True; Duration_32_Bits : constant Boolean := False; diff --git a/gcc/ada/system-hpux.ads b/gcc/ada/system-hpux.ads index e9664f09a45..5252fc5c393 100644 --- a/gcc/ada/system-hpux.ads +++ b/gcc/ada/system-hpux.ads @@ -7,7 +7,7 @@ -- S p e c -- -- (HP-UX Version) -- -- -- --- Copyright (C) 1992-2004 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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 -- @@ -118,6 +118,7 @@ private Backend_Divide_Checks : constant Boolean := False; Backend_Overflow_Checks : constant Boolean := False; Command_Line_Args : constant Boolean := True; + Compiler_System_Version : constant Boolean := False; Configurable_Run_Time : constant Boolean := False; Denorm : constant Boolean := True; Duration_32_Bits : constant Boolean := False; diff --git a/gcc/ada/system-interix.ads b/gcc/ada/system-interix.ads index d8d73a1e507..2879138bdb2 100644 --- a/gcc/ada/system-interix.ads +++ b/gcc/ada/system-interix.ads @@ -7,7 +7,7 @@ -- S p e c -- -- (OpenNT/Interix Version) -- -- -- --- Copyright (C) 1992-2004 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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 -- @@ -118,6 +118,7 @@ private Backend_Divide_Checks : constant Boolean := False; Backend_Overflow_Checks : constant Boolean := False; Command_Line_Args : constant Boolean := True; + Compiler_System_Version : constant Boolean := False; Configurable_Run_Time : constant Boolean := False; Denorm : constant Boolean := True; Duration_32_Bits : constant Boolean := False; diff --git a/gcc/ada/system-irix-n32.ads b/gcc/ada/system-irix-n32.ads index 2403db75db6..fcfd0baebf4 100644 --- a/gcc/ada/system-irix-n32.ads +++ b/gcc/ada/system-irix-n32.ads @@ -7,7 +7,7 @@ -- S p e c -- -- (SGI Irix, n32 ABI) -- -- -- --- Copyright (C) 1992-2004 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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 -- @@ -130,6 +130,7 @@ private Backend_Divide_Checks : constant Boolean := False; Backend_Overflow_Checks : constant Boolean := False; Command_Line_Args : constant Boolean := True; + Compiler_System_Version : constant Boolean := False; Configurable_Run_Time : constant Boolean := False; Denorm : constant Boolean := False; Duration_32_Bits : constant Boolean := False; diff --git a/gcc/ada/system-irix-o32.ads b/gcc/ada/system-irix-o32.ads index b053e01e0ca..5a69f123114 100644 --- a/gcc/ada/system-irix-o32.ads +++ b/gcc/ada/system-irix-o32.ads @@ -7,7 +7,7 @@ -- S p e c -- -- (SGI Irix, o32 ABI) -- -- -- --- Copyright (C) 1992-2004 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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 -- @@ -118,6 +118,7 @@ private Backend_Divide_Checks : constant Boolean := False; Backend_Overflow_Checks : constant Boolean := False; Command_Line_Args : constant Boolean := True; + Compiler_System_Version : constant Boolean := False; Configurable_Run_Time : constant Boolean := False; Denorm : constant Boolean := False; Duration_32_Bits : constant Boolean := False; diff --git a/gcc/ada/system-linux-alpha.ads b/gcc/ada/system-linux-alpha.ads index 83c486ee45b..67372429dd8 100644 --- a/gcc/ada/system-linux-alpha.ads +++ b/gcc/ada/system-linux-alpha.ads @@ -7,7 +7,7 @@ -- S p e c -- -- (GNU-Linux/ia64 Version) -- -- -- --- Copyright (C) 1992-2004 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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 -- @@ -118,6 +118,7 @@ private Backend_Divide_Checks : constant Boolean := False; Backend_Overflow_Checks : constant Boolean := False; Command_Line_Args : constant Boolean := True; + Compiler_System_Version : constant Boolean := False; Configurable_Run_Time : constant Boolean := False; Denorm : constant Boolean := True; Duration_32_Bits : constant Boolean := False; diff --git a/gcc/ada/system-linux-ia64.ads b/gcc/ada/system-linux-ia64.ads index 510673e9d3f..bf8dcb16898 100644 --- a/gcc/ada/system-linux-ia64.ads +++ b/gcc/ada/system-linux-ia64.ads @@ -7,7 +7,7 @@ -- S p e c -- -- (GNU-Linux/ia64 Version) -- -- -- --- Copyright (C) 1992-2004 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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 -- @@ -118,6 +118,7 @@ private Backend_Divide_Checks : constant Boolean := False; Backend_Overflow_Checks : constant Boolean := False; Command_Line_Args : constant Boolean := True; + Compiler_System_Version : constant Boolean := False; Configurable_Run_Time : constant Boolean := False; Denorm : constant Boolean := True; Duration_32_Bits : constant Boolean := False; diff --git a/gcc/ada/system-linux-ppc.ads b/gcc/ada/system-linux-ppc.ads index f1b7bfa9cb6..8fe222bb56b 100644 --- a/gcc/ada/system-linux-ppc.ads +++ b/gcc/ada/system-linux-ppc.ads @@ -7,7 +7,7 @@ -- S p e c -- -- (GNU-Linux/PPC Version) -- -- -- --- Copyright (C) 1992-2004 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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 -- @@ -118,6 +118,7 @@ private Backend_Divide_Checks : constant Boolean := False; Backend_Overflow_Checks : constant Boolean := False; Command_Line_Args : constant Boolean := True; + Compiler_System_Version : constant Boolean := False; Configurable_Run_Time : constant Boolean := False; Denorm : constant Boolean := True; Duration_32_Bits : constant Boolean := False; diff --git a/gcc/ada/system-linux-s390.ads b/gcc/ada/system-linux-s390.ads index 2e2fc678c48..c5ba2bb7f31 100644 --- a/gcc/ada/system-linux-s390.ads +++ b/gcc/ada/system-linux-s390.ads @@ -7,7 +7,7 @@ -- S p e c -- -- (GNU-Linux/s390 Version) -- -- -- --- Copyright (C) 1992-2003 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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 -- @@ -118,6 +118,7 @@ private Backend_Divide_Checks : constant Boolean := False; Backend_Overflow_Checks : constant Boolean := False; Command_Line_Args : constant Boolean := True; + Compiler_System_Version : constant Boolean := False; Configurable_Run_Time : constant Boolean := False; Denorm : constant Boolean := True; Duration_32_Bits : constant Boolean := False; diff --git a/gcc/ada/system-linux-s390x.ads b/gcc/ada/system-linux-s390x.ads index 8e81e121d37..2c16170bf46 100644 --- a/gcc/ada/system-linux-s390x.ads +++ b/gcc/ada/system-linux-s390x.ads @@ -7,7 +7,7 @@ -- S p e c -- -- (GNU-Linux/s390x Version) -- -- -- --- Copyright (C) 1992-2003 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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 -- @@ -118,6 +118,7 @@ private Backend_Divide_Checks : constant Boolean := False; Backend_Overflow_Checks : constant Boolean := False; Command_Line_Args : constant Boolean := True; + Compiler_System_Version : constant Boolean := False; Configurable_Run_Time : constant Boolean := False; Denorm : constant Boolean := True; Duration_32_Bits : constant Boolean := False; diff --git a/gcc/ada/system-linux-sparc.ads b/gcc/ada/system-linux-sparc.ads index 048ce9055cd..382bc0944f7 100644 --- a/gcc/ada/system-linux-sparc.ads +++ b/gcc/ada/system-linux-sparc.ads @@ -118,6 +118,7 @@ private Backend_Divide_Checks : constant Boolean := False; Backend_Overflow_Checks : constant Boolean := False; Command_Line_Args : constant Boolean := True; + Compiler_System_Version : constant Boolean := False; Configurable_Run_Time : constant Boolean := False; Denorm : constant Boolean := True; Duration_32_Bits : constant Boolean := False; diff --git a/gcc/ada/system-linux-x86.ads b/gcc/ada/system-linux-x86.ads index 28edbfecf67..12a239c4621 100644 --- a/gcc/ada/system-linux-x86.ads +++ b/gcc/ada/system-linux-x86.ads @@ -7,7 +7,7 @@ -- S p e c -- -- (GNU-Linux/x86 Version) -- -- -- --- Copyright (C) 1992-2004 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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 -- @@ -118,6 +118,7 @@ private Backend_Divide_Checks : constant Boolean := False; Backend_Overflow_Checks : constant Boolean := False; Command_Line_Args : constant Boolean := True; + Compiler_System_Version : constant Boolean := False; Configurable_Run_Time : constant Boolean := False; Denorm : constant Boolean := True; Duration_32_Bits : constant Boolean := False; diff --git a/gcc/ada/system-linux-x86_64.ads b/gcc/ada/system-linux-x86_64.ads index 99c33dbdb73..01a98aa915f 100644 --- a/gcc/ada/system-linux-x86_64.ads +++ b/gcc/ada/system-linux-x86_64.ads @@ -7,7 +7,7 @@ -- S p e c -- -- (GNU-Linux/x86-64 Version) -- -- -- --- Copyright (C) 1992-2004 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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 -- @@ -118,6 +118,7 @@ private Backend_Divide_Checks : constant Boolean := False; Backend_Overflow_Checks : constant Boolean := False; Command_Line_Args : constant Boolean := True; + Compiler_System_Version : constant Boolean := False; Configurable_Run_Time : constant Boolean := False; Denorm : constant Boolean := True; Duration_32_Bits : constant Boolean := False; diff --git a/gcc/ada/system-lynxos-ppc.ads b/gcc/ada/system-lynxos-ppc.ads index 9a0bf681ed8..ee2bca8ebf8 100644 --- a/gcc/ada/system-lynxos-ppc.ads +++ b/gcc/ada/system-lynxos-ppc.ads @@ -7,7 +7,7 @@ -- S p e c -- -- (LynxOS PPC Version) -- -- -- --- Copyright (C) 1992-2004 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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 -- @@ -118,6 +118,7 @@ private Backend_Divide_Checks : constant Boolean := False; Backend_Overflow_Checks : constant Boolean := False; Command_Line_Args : constant Boolean := True; + Compiler_System_Version : constant Boolean := False; Configurable_Run_Time : constant Boolean := False; Denorm : constant Boolean := True; Duration_32_Bits : constant Boolean := False; diff --git a/gcc/ada/system-lynxos-x86.ads b/gcc/ada/system-lynxos-x86.ads index 0187b381ebf..4ce8b5d91c8 100644 --- a/gcc/ada/system-lynxos-x86.ads +++ b/gcc/ada/system-lynxos-x86.ads @@ -7,7 +7,7 @@ -- S p e c -- -- (LynxOS x86 Version) -- -- -- --- Copyright (C) 1992-2004 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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 -- @@ -118,6 +118,7 @@ private Backend_Divide_Checks : constant Boolean := False; Backend_Overflow_Checks : constant Boolean := False; Command_Line_Args : constant Boolean := True; + Compiler_System_Version : constant Boolean := False; Configurable_Run_Time : constant Boolean := False; Denorm : constant Boolean := True; Duration_32_Bits : constant Boolean := False; diff --git a/gcc/ada/system-mingw.ads b/gcc/ada/system-mingw.ads index 4aafd025770..9c07cf4648d 100644 --- a/gcc/ada/system-mingw.ads +++ b/gcc/ada/system-mingw.ads @@ -7,7 +7,7 @@ -- S p e c -- -- (NT Version) -- -- -- --- Copyright (C) 1992-2004 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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 -- @@ -118,6 +118,7 @@ private Backend_Divide_Checks : constant Boolean := False; Backend_Overflow_Checks : constant Boolean := False; Command_Line_Args : constant Boolean := True; + Compiler_System_Version : constant Boolean := False; Configurable_Run_Time : constant Boolean := False; Denorm : constant Boolean := True; Duration_32_Bits : constant Boolean := False; diff --git a/gcc/ada/system-os2.ads b/gcc/ada/system-os2.ads index 53d8b8c1306..396ec1ff931 100644 --- a/gcc/ada/system-os2.ads +++ b/gcc/ada/system-os2.ads @@ -7,7 +7,7 @@ -- S p e c -- -- (OS/2 Version) -- -- -- --- Copyright (C) 1992-2004 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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 -- @@ -118,6 +118,7 @@ private Backend_Divide_Checks : constant Boolean := False; Backend_Overflow_Checks : constant Boolean := False; Command_Line_Args : constant Boolean := True; + Compiler_System_Version : constant Boolean := False; Configurable_Run_Time : constant Boolean := False; Denorm : constant Boolean := True; Duration_32_Bits : constant Boolean := False; diff --git a/gcc/ada/system-solaris-sparc.ads b/gcc/ada/system-solaris-sparc.ads index 397e38f7fa9..2a34307c181 100644 --- a/gcc/ada/system-solaris-sparc.ads +++ b/gcc/ada/system-solaris-sparc.ads @@ -7,7 +7,7 @@ -- S p e c -- -- (SUN Solaris Version) -- -- -- --- Copyright (C) 1992-2004 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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 -- @@ -118,6 +118,7 @@ private Backend_Divide_Checks : constant Boolean := False; Backend_Overflow_Checks : constant Boolean := False; Command_Line_Args : constant Boolean := True; + Compiler_System_Version : constant Boolean := False; Configurable_Run_Time : constant Boolean := False; Denorm : constant Boolean := True; Duration_32_Bits : constant Boolean := False; diff --git a/gcc/ada/system-solaris-sparcv9.ads b/gcc/ada/system-solaris-sparcv9.ads index 6f774513f16..0ae3797e12e 100644 --- a/gcc/ada/system-solaris-sparcv9.ads +++ b/gcc/ada/system-solaris-sparcv9.ads @@ -7,7 +7,7 @@ -- S p e c -- -- (Solaris Sparcv9 Version) -- -- -- --- Copyright (C) 1992-2004 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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 -- @@ -118,6 +118,7 @@ private Backend_Divide_Checks : constant Boolean := False; Backend_Overflow_Checks : constant Boolean := False; Command_Line_Args : constant Boolean := True; + Compiler_System_Version : constant Boolean := False; Configurable_Run_Time : constant Boolean := False; Denorm : constant Boolean := True; Duration_32_Bits : constant Boolean := False; diff --git a/gcc/ada/system-solaris-x86.ads b/gcc/ada/system-solaris-x86.ads index c661ac03270..8f099cd75b1 100644 --- a/gcc/ada/system-solaris-x86.ads +++ b/gcc/ada/system-solaris-x86.ads @@ -7,7 +7,7 @@ -- S p e c -- -- (x86 Solaris Version) -- -- -- --- Copyright (C) 1992-2004 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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 -- @@ -118,6 +118,7 @@ private Backend_Divide_Checks : constant Boolean := False; Backend_Overflow_Checks : constant Boolean := False; Command_Line_Args : constant Boolean := True; + Compiler_System_Version : constant Boolean := False; Configurable_Run_Time : constant Boolean := False; Denorm : constant Boolean := True; Duration_32_Bits : constant Boolean := False; diff --git a/gcc/ada/system-tru64.ads b/gcc/ada/system-tru64.ads index 3134ffe0630..695aef9010c 100644 --- a/gcc/ada/system-tru64.ads +++ b/gcc/ada/system-tru64.ads @@ -7,7 +7,7 @@ -- S p e c -- -- (DEC Unix Version) -- -- -- --- Copyright (C) 1992-2004 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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 -- @@ -118,6 +118,7 @@ private Backend_Divide_Checks : constant Boolean := False; Backend_Overflow_Checks : constant Boolean := False; Command_Line_Args : constant Boolean := True; + Compiler_System_Version : constant Boolean := False; Configurable_Run_Time : constant Boolean := False; Denorm : constant Boolean := False; Duration_32_Bits : constant Boolean := False; diff --git a/gcc/ada/system-unixware.ads b/gcc/ada/system-unixware.ads index 5cfd21bb674..e30b42a3a51 100644 --- a/gcc/ada/system-unixware.ads +++ b/gcc/ada/system-unixware.ads @@ -7,7 +7,7 @@ -- S p e c -- -- (SCO UnixWare Version) -- -- -- --- Copyright (C) 1992-2004 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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 -- @@ -118,6 +118,7 @@ private Backend_Divide_Checks : constant Boolean := False; Backend_Overflow_Checks : constant Boolean := False; Command_Line_Args : constant Boolean := True; + Compiler_System_Version : constant Boolean := False; Configurable_Run_Time : constant Boolean := False; Denorm : constant Boolean := True; Duration_32_Bits : constant Boolean := False; diff --git a/gcc/ada/system-vms-zcx.ads b/gcc/ada/system-vms-zcx.ads index 1b4b7c275a9..62d969f1b05 100644 --- a/gcc/ada/system-vms-zcx.ads +++ b/gcc/ada/system-vms-zcx.ads @@ -7,7 +7,7 @@ -- S p e c -- -- (OpenVMS GCC_ZCX DEC Threads Version) -- -- -- --- Copyright (C) 2002-2004 Free Software Foundation, Inc. -- +-- Copyright (C) 2002-2005 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 -- @@ -118,6 +118,7 @@ private Backend_Divide_Checks : constant Boolean := False; Backend_Overflow_Checks : constant Boolean := False; Command_Line_Args : constant Boolean := True; + Compiler_System_Version : constant Boolean := False; Configurable_Run_Time : constant Boolean := False; Denorm : constant Boolean := False; Duration_32_Bits : constant Boolean := False; diff --git a/gcc/ada/system-vms.ads b/gcc/ada/system-vms.ads index 82faeb39c0b..5463eea2664 100644 --- a/gcc/ada/system-vms.ads +++ b/gcc/ada/system-vms.ads @@ -7,7 +7,7 @@ -- S p e c -- -- (OpenVMS DEC Threads Version) -- -- -- --- Copyright (C) 1992-2004 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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 -- @@ -118,6 +118,7 @@ private Backend_Divide_Checks : constant Boolean := False; Backend_Overflow_Checks : constant Boolean := False; Command_Line_Args : constant Boolean := True; + Compiler_System_Version : constant Boolean := False; Configurable_Run_Time : constant Boolean := False; Denorm : constant Boolean := False; Duration_32_Bits : constant Boolean := False; diff --git a/gcc/ada/system-vms_64.ads b/gcc/ada/system-vms_64.ads index aefdb05abba..24a2beadd6b 100644 --- a/gcc/ada/system-vms_64.ads +++ b/gcc/ada/system-vms_64.ads @@ -7,7 +7,7 @@ -- S p e c -- -- (OpenVMS 64bit GCC_ZCX DEC Threads Version) -- -- -- --- Copyright (C) 2004 Free Software Foundation, Inc. -- +-- Copyright (C) 2005 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 -- @@ -137,6 +137,7 @@ private Backend_Divide_Checks : constant Boolean := False; Backend_Overflow_Checks : constant Boolean := False; Command_Line_Args : constant Boolean := True; + Compiler_System_Version : constant Boolean := False; Configurable_Run_Time : constant Boolean := False; Denorm : constant Boolean := False; Duration_32_Bits : constant Boolean := False; diff --git a/gcc/ada/system-vxworks-alpha.ads b/gcc/ada/system-vxworks-alpha.ads index 9e0d847132c..aa703e90c2b 100644 --- a/gcc/ada/system-vxworks-alpha.ads +++ b/gcc/ada/system-vxworks-alpha.ads @@ -7,7 +7,7 @@ -- S p e c -- -- (VxWorks Version Alpha) -- -- -- --- Copyright (C) 1992-2004 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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 -- @@ -126,6 +126,7 @@ private Backend_Divide_Checks : constant Boolean := False; Backend_Overflow_Checks : constant Boolean := False; Command_Line_Args : constant Boolean := False; + Compiler_System_Version : constant Boolean := False; Configurable_Run_Time : constant Boolean := False; Denorm : constant Boolean := False; Duration_32_Bits : constant Boolean := False; diff --git a/gcc/ada/system-vxworks-m68k.ads b/gcc/ada/system-vxworks-m68k.ads index cdf4fcee8b9..056ea790a21 100644 --- a/gcc/ada/system-vxworks-m68k.ads +++ b/gcc/ada/system-vxworks-m68k.ads @@ -7,7 +7,7 @@ -- S p e c -- -- (VxWorks version M68K) -- -- -- --- Copyright (C) 1992-2004 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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 -- @@ -126,6 +126,7 @@ private Backend_Divide_Checks : constant Boolean := False; Backend_Overflow_Checks : constant Boolean := False; Command_Line_Args : constant Boolean := False; + Compiler_System_Version : constant Boolean := False; Configurable_Run_Time : constant Boolean := False; Denorm : constant Boolean := True; Duration_32_Bits : constant Boolean := False; diff --git a/gcc/ada/system-vxworks-mips.ads b/gcc/ada/system-vxworks-mips.ads index 3cc13d7c994..48f8a1816a2 100644 --- a/gcc/ada/system-vxworks-mips.ads +++ b/gcc/ada/system-vxworks-mips.ads @@ -7,7 +7,7 @@ -- S p e c -- -- (VxWorks Version Mips) -- -- -- --- Copyright (C) 1992-2004 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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 -- @@ -126,6 +126,7 @@ private Backend_Divide_Checks : constant Boolean := False; Backend_Overflow_Checks : constant Boolean := False; Command_Line_Args : constant Boolean := False; + Compiler_System_Version : constant Boolean := False; Configurable_Run_Time : constant Boolean := False; Denorm : constant Boolean := False; Duration_32_Bits : constant Boolean := False; diff --git a/gcc/ada/system-vxworks-ppc.ads b/gcc/ada/system-vxworks-ppc.ads index b73f808a54b..1ff83f9ef4b 100644 --- a/gcc/ada/system-vxworks-ppc.ads +++ b/gcc/ada/system-vxworks-ppc.ads @@ -7,7 +7,7 @@ -- S p e c -- -- (VxWorks Version PPC) -- -- -- --- Copyright (C) 1992-2004 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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 -- @@ -126,6 +126,7 @@ private Backend_Divide_Checks : constant Boolean := False; Backend_Overflow_Checks : constant Boolean := False; Command_Line_Args : constant Boolean := False; + Compiler_System_Version : constant Boolean := False; Configurable_Run_Time : constant Boolean := False; Denorm : constant Boolean := True; Duration_32_Bits : constant Boolean := False; diff --git a/gcc/ada/system-vxworks-sparcv9.ads b/gcc/ada/system-vxworks-sparcv9.ads index c6a934018c1..e5804ba407c 100644 --- a/gcc/ada/system-vxworks-sparcv9.ads +++ b/gcc/ada/system-vxworks-sparcv9.ads @@ -7,7 +7,7 @@ -- S p e c -- -- (VxWorks Version Sparc/64) -- -- -- --- Copyright (C) 1992-2004 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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 -- @@ -128,6 +128,7 @@ private Backend_Divide_Checks : constant Boolean := False; Backend_Overflow_Checks : constant Boolean := False; Command_Line_Args : constant Boolean := False; + Compiler_System_Version : constant Boolean := False; Configurable_Run_Time : constant Boolean := False; Denorm : constant Boolean := True; Duration_32_Bits : constant Boolean := False; diff --git a/gcc/ada/system-vxworks-x86.ads b/gcc/ada/system-vxworks-x86.ads index bd1a4d36d70..202e326b56e 100644 --- a/gcc/ada/system-vxworks-x86.ads +++ b/gcc/ada/system-vxworks-x86.ads @@ -7,7 +7,7 @@ -- S p e c -- -- (VxWorks Version x86) -- -- -- --- Copyright (C) 1992-2004 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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 -- @@ -126,6 +126,7 @@ private Backend_Divide_Checks : constant Boolean := False; Backend_Overflow_Checks : constant Boolean := False; Command_Line_Args : constant Boolean := False; + Compiler_System_Version : constant Boolean := False; Configurable_Run_Time : constant Boolean := False; Denorm : constant Boolean := True; Duration_32_Bits : constant Boolean := False; diff --git a/gcc/ada/system-vxworks-xscale.ads b/gcc/ada/system-vxworks-xscale.ads index d762fcad363..0f88a4e92d7 100644 --- a/gcc/ada/system-vxworks-xscale.ads +++ b/gcc/ada/system-vxworks-xscale.ads @@ -7,7 +7,7 @@ -- S p e c -- -- (VxWorks Version Xscale) -- -- -- --- Copyright (C) 1992-2004 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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 -- @@ -126,6 +126,7 @@ private Backend_Divide_Checks : constant Boolean := False; Backend_Overflow_Checks : constant Boolean := False; Command_Line_Args : constant Boolean := False; + Compiler_System_Version : constant Boolean := False; Configurable_Run_Time : constant Boolean := False; Denorm : constant Boolean := True; Duration_32_Bits : constant Boolean := False; diff --git a/gcc/ada/targparm.adb b/gcc/ada/targparm.adb index 9447471007c..afbb50a5a39 100644 --- a/gcc/ada/targparm.adb +++ b/gcc/ada/targparm.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 1999-2004 Free Software Foundation, Inc. -- +-- Copyright (C) 1999-2005 Free Software Foundation, Inc. -- -- -- -- 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- -- @@ -44,7 +44,8 @@ package body Targparm is BDC, -- Backend_Divide_Checks BOC, -- Backend_Overflow_Checks CLA, -- Command_Line_Args - CRT, -- Configurable_Run_Time + CRT, -- Configurable_Run_Times + CSV, -- Compiler_System_Version D32, -- Duration_32_Bits DEN, -- Denorm DSP, -- Functions_Return_By_DSP @@ -67,12 +68,7 @@ package body Targparm is VMS, -- OpenVMS ZCD, -- ZCX_By_Default ZCG, -- GCC_ZCX_Support - ZCF, -- Front_End_ZCX_Support - - -- The following entries are obsolete and can eventually be removed - - HIM, -- High_Integrity_Mode - LSI); -- Long_Shifts_Inlined + ZCF); -- Front_End_ZCX_Support subtype Targparm_Tags_OK is Targparm_Tags range AAM .. ZCF; -- Range excluding obsolete entries @@ -87,6 +83,7 @@ package body Targparm is BOC_Str : aliased constant Source_Buffer := "Backend_Overflow_Checks"; CLA_Str : aliased constant Source_Buffer := "Command_Line_Args"; CRT_Str : aliased constant Source_Buffer := "Configurable_Run_Time"; + CSV_Str : aliased constant Source_Buffer := "Compiler_System_Version"; D32_Str : aliased constant Source_Buffer := "Duration_32_Bits"; DEN_Str : aliased constant Source_Buffer := "Denorm"; DSP_Str : aliased constant Source_Buffer := "Functions_Return_By_DSP"; @@ -111,11 +108,6 @@ package body Targparm is ZCG_Str : aliased constant Source_Buffer := "GCC_ZCX_Support"; ZCF_Str : aliased constant Source_Buffer := "Front_End_ZCX_Support"; - -- Obsolete entries - - HIM_Str : aliased constant Source_Buffer := "High_Integrity_Mode"; - LSI_Str : aliased constant Source_Buffer := "Long_Shifts_Inlined"; - -- The following defines a set of pointers to the above strings, -- indexed by the tag values. @@ -126,6 +118,7 @@ package body Targparm is BOC_Str'Access, CLA_Str'Access, CRT_Str'Access, + CSV_Str'Access, D32_Str'Access, DEN_Str'Access, DSP_Str'Access, @@ -148,12 +141,7 @@ package body Targparm is VMS_Str'Access, ZCD_Str'Access, ZCG_Str'Access, - ZCF_Str'Access, - - -- Obsolete entries - - HIM_Str'Access, - LSI_Str'Access); + ZCF_Str'Access); ----------------------- -- Local Subprograms -- @@ -237,6 +225,8 @@ package body Targparm is Parameters_Obtained := True; end if; + Opt.Address_Is_Private := False; + P := Source_First; Line_Loop : while System_Text (P .. P + 10) /= "end System;" loop @@ -245,6 +235,13 @@ package body Targparm is if System_Text (P) = '-' then goto Line_Loop_Continue; + -- Test for type Address is private + + elsif System_Text (P .. P + 26) = " type Address is private;" then + Opt.Address_Is_Private := True; + P := P + 26; + goto Line_Loop_Continue; + -- Test for pragma Profile (Ravenscar); elsif System_Text (P .. P + 26) = @@ -252,7 +249,7 @@ package body Targparm is then Set_Profile_Restrictions (Ravenscar); Opt.Task_Dispatching_Policy := 'F'; - Opt.Locking_Policy := 'C'; + Opt.Locking_Policy := 'C'; P := P + 27; goto Line_Loop_Continue; @@ -513,7 +510,6 @@ package body Targparm is then P := P + 3 + Targparm_Str (K)'Length; - if Targparm_Flags (K) then Set_Standard_Error; Write_Line @@ -552,6 +548,7 @@ package body Targparm is when BOC => Backend_Overflow_Checks_On_Target := Result; when CLA => Command_Line_Args_On_Target := Result; when CRT => Configurable_Run_Time_On_Target := Result; + when CSV => Compiler_System_Version := Result; when D32 => Duration_32_Bits_On_Target := Result; when DEN => Denorm_On_Target := Result; when DSP => Functions_Return_By_DSP_On_Target := Result; @@ -576,13 +573,13 @@ package body Targparm is when ZCG => GCC_ZCX_Support_On_Target := Result; when ZCF => Front_End_ZCX_Support_On_Target := Result; - -- Obsolete entries - - when HIM => null; - when LSI => null; - goto Line_Loop_Continue; end case; + + -- Here we are seeing a parameter we do not understand. We + -- simply ignore this (will happen when an old compiler is + -- used to compile a newer version of GNAT which does not + -- support the end if; end loop Config_Param_Loop; end if; @@ -610,24 +607,27 @@ package body Targparm is end if; end loop Line_Loop; - -- Check no missing target parameter settings + -- Check no missing target parameter settings (skip for compiler vsn) - for K in Targparm_Tags_OK loop - if not Targparm_Flags (K) then - Set_Standard_Error; - Write_Line - ("fatal error: system.ads is incorrectly formatted"); - Write_Str ("missing line for parameter: "); + if not Compiler_System_Version then + for K in Targparm_Tags_OK loop + if not Targparm_Flags (K) then + Set_Standard_Error; + Write_Line + ("fatal error: system.ads is incorrectly formatted"); + Write_Str ("missing line for parameter: "); - for J in Targparm_Str (K)'Range loop - Write_Char (Targparm_Str (K).all (J)); - end loop; + for J in Targparm_Str (K)'Range loop + Write_Char (Targparm_Str (K).all (J)); + end loop; + + Write_Eol; + Set_Standard_Output; + Fatal := True; + end if; + end loop; + end if; - Write_Eol; - Set_Standard_Output; - Fatal := True; - end if; - end loop; if Fatal then raise Unrecoverable_Error; diff --git a/gcc/ada/targparm.ads b/gcc/ada/targparm.ads index 48f8c328559..48b05ab5353 100644 --- a/gcc/ada/targparm.ads +++ b/gcc/ada/targparm.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1999-2004 Free Software Foundation, Inc. -- +-- Copyright (C) 1999-2005 Free Software Foundation, Inc. -- -- -- -- 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- -- @@ -48,7 +48,7 @@ -- computed and set in the ali file. This partially negates points 1 and 2 -- above although just parsing is quick and does not impact debugging much. --- The parameters acquired by this routine from system.ads fall into three +-- The parameters acquired by this routine from system.ads fall into four -- categories: -- 1. Configuration pragmas, that must appear at the start of the file. @@ -66,6 +66,9 @@ -- line may be ommitted for a version of system.ads to be used with -- the full Ada 95 run time. +-- 4. Other characterisitics of package System. At the current time the +-- only item in this category is whether type Address is private. + with Rident; use Rident; with Types; use Types; @@ -115,6 +118,10 @@ package Targparm is -- that in this context, only one restriction can be specified in a single -- pragma, and the pragma must appear on its own on a single source line. + -- If package System contains exactly the line "type Address is private;" + -- then the flag Opt.Address_Is_Private is set True, otherwise this flag + -- is set False. + Restrictions_On_Target : Restrictions_Info; -- Records restrictions specified by system.ads. Only the Set and Value -- members are modified. The Violated and Count fields are never modified. @@ -161,15 +168,39 @@ package Targparm is -- Get_Target_Parameters routine which reads the values from a provided -- text buffer containing the source of the system package. + -- The default values here are used if no value is found in system.ads. + -- This should normally happen only if the special version of system.ads + -- used by the compiler itself is in use. The default values are suitable + -- for use by the compiler itself in normal environments. This approach + -- allows the possibility of new versions of the compiler (possibly with + -- new system parameters added) being used to compile older versions of + -- the compiler sources. This is not guaranteed to work, but often will + -- and by setting appropriate default values, we make it more likely that + -- this can succeed. + + Compiler_System_Version : Boolean := True; + -- This is set False in all target dependent versions of System. In the + -- compiler default version, it is omitted entirely, meaning that the + -- above default value of True will be set. If the flag is False, then + -- the scanning circuits in the body of this package do an error check to + -- ensure that all parameters other than this one are specified and not + -- defaulted. If the parameter is set True, then this check is omitted, + -- and any parameters not present in system.ads are left set to their + -- default value as described above. + ---------------------------- -- Special Target Control -- ---------------------------- -- The great majority of GNAT ports are based on GCC. The switches in - -- This section indicate the use of some non-standard target back end. + -- This section indicate the use of some non-standard target back end + -- or other special targetting requirements. - AAMP_On_Target : Boolean; - -- Set to True if target is AAMP. + AAMP_On_Target : Boolean := False; + -- Set to True if target is AAMP + + OpenVMS_On_Target : Boolean := False; + -- Set to True if target is OpenVMS ------------------------------- -- Backend Arithmetic Checks -- @@ -181,12 +212,12 @@ package Targparm is -- end will generate the required checks (or that the checks are -- automatically performed by the hardware in an appropriate form). - Backend_Divide_Checks_On_Target : Boolean; + Backend_Divide_Checks_On_Target : Boolean := False; -- Set True if the back end generates divide checks, or if the hardware -- checks automatically. Set False if the front end must generate the -- required tests using explicit expanded code. - Backend_Overflow_Checks_On_Target : Boolean; + Backend_Overflow_Checks_On_Target : Boolean := False; -- Set True if the back end generates arithmetic overflow checks, or if -- the hardware checks automatically. Set False if the front end must -- generate the required tests using explicit expanded code. @@ -275,26 +306,26 @@ package Targparm is -- (if any) is available in an implementation, and which method -- is the default method. - ZCX_By_Default_On_Target : Boolean; + ZCX_By_Default_On_Target : Boolean := False; -- Indicates if zero cost exceptions are active by default. If this -- variable is False, then the only possible exception method is the -- front-end setjmp/longjmp approach, and this is the default. If -- this variable is True, then one of the following two flags must -- be True, and represents the method to be used by default. - GCC_ZCX_Support_On_Target : Boolean; + GCC_ZCX_Support_On_Target : Boolean := False; -- Indicates that when ZCX is active, the mechanism to be used is the -- back-end ZCX exception approach. If this variable is set to True, -- then Front_End_ZCX_Support_On_Target must be False. - Front_End_ZCX_Support_On_Target : Boolean; + Front_End_ZCX_Support_On_Target : Boolean := False; -- Indicates that when ZCX is active, the mechanism to be used is the -- front-end ZCX exception approach. If this variable is set to True, -- then GCC_ZCX_Support_On_Target must be False. - -------------------------------- - -- Configurable Run-Time Mode -- - -------------------------------- + ------------------------------------ + -- Run-Time Library Configuration -- + ------------------------------------ -- In configurable run-time mode, the system run-time may not support -- the full Ada language. The effect of setting this switch is to let @@ -302,7 +333,7 @@ package Targparm is -- misconfigured) if run-time library units or entities within units are -- not present in the run-time. - Configurable_Run_Time_On_Target : Boolean; + Configurable_Run_Time_On_Target : Boolean := False; -- Indicates that the system.ads file is for a configurable run-time -- -- This has some specific effects as follows @@ -323,7 +354,7 @@ package Targparm is -- The variable __gnat_exit_status is generated within the binder file -- instead of being imported from the run-time library. - Suppress_Standard_Library_On_Target : Boolean; + Suppress_Standard_Library_On_Target : Boolean := False; -- If this flag is True, then the standard library is not included by -- default in the executable (see unit System.Standard_Library in file -- s-stalib.ads for details of what this includes). This is for example @@ -345,7 +376,7 @@ package Targparm is -- -- The routine __gnat_handler_installed is not imported - Preallocated_Stacks_On_Target : Boolean; + Preallocated_Stacks_On_Target : Boolean := False; -- If this flag is True, then the expander preallocates all task stacks -- at compile time. If the flag is False, then task stacks are not pre- -- allocated, and task stack allocation is the responsibility of the @@ -360,7 +391,7 @@ package Targparm is -- and small of 10**(-9) (i.e. it is a count in nanoseconds. This flag -- allows that standard format to be modified. - Duration_32_Bits_On_Target : Boolean; + Duration_32_Bits_On_Target : Boolean := False; -- If True, then Duration is represented in 32 bits and the delta and -- small values are set to 20.0*(10**(-3)) (i.e. it is a count in units -- of 20 milliseconds. @@ -375,7 +406,7 @@ package Targparm is -- used at the source level, and the corresponding flag is false, then an -- error message will be issued saying the feature is not supported. - Support_64_Bit_Divides_On_Target : Boolean; + Support_64_Bit_Divides_On_Target : Boolean := True; -- If True, the back end supports 64-bit divide operations. If False, then -- the source program may not contain 64-bit divide operations. This is -- specifically useful in the zero foot-print case, where the issue is @@ -383,14 +414,14 @@ package Targparm is -- no run-time support is required. It should always be set True if the -- necessary run-time support is present. - Support_Aggregates_On_Target : Boolean; + Support_Aggregates_On_Target : Boolean := True; -- In the general case, the use of aggregates may generate calls -- to run-time routines in the C library, including memset, memcpy, -- memmove, and bcopy. This flag is set to True if these routines -- are available. If any of these routines is not available, then -- this flag is False, and the use of aggregates is not permitted. - Support_Composite_Assign_On_Target : Boolean; + Support_Composite_Assign_On_Target : Boolean := True; -- The assignment of composite objects other than small records and -- arrays whose size is 64-bits or less and is set by an explicit -- size clause may generate calls to memcpy, memmove, and bcopy. @@ -398,14 +429,14 @@ package Targparm is -- is set to True. If any of these routines is not available, then -- the flag is set False, and composite assignments are not allowed. - Support_Composite_Compare_On_Target : Boolean; + Support_Composite_Compare_On_Target : Boolean := True; -- If this flag is True, then the back end supports bit-wise comparison -- of composite objects for equality, either generating inline code or -- calling appropriate (and available) run-time routines. If this flag -- is False, then the back end does not provide this support, and the -- front end uses component by component comparison for composites. - Support_Long_Shifts_On_Target : Boolean; + Support_Long_Shifts_On_Target : Boolean := True; -- If True, the back end supports 64-bit shift operations. If False, then -- the source program may not contain explicit 64-bit shifts. In addition, -- the code generated for packed arrays will avoid the use of long shifts. @@ -441,11 +472,11 @@ package Targparm is -- default on systems that lack complete support for -- probing. - Stack_Check_Probes_On_Target : Boolean; + Stack_Check_Probes_On_Target : Boolean := False; -- Indicates if stack check probes are used, as opposed to the standard -- target independent comparison method. - Stack_Check_Default_On_Target : Boolean; + Stack_Check_Default_On_Target : Boolean := False; -- Indicates if stack checking is on by default ---------------------------- @@ -457,7 +488,7 @@ package Targparm is -- command line arguments (VxWorks and AAMP). Note that support of -- command line arguments is not required on such targets (RM A.15(13)). - Command_Line_Args_On_Target : Boolean; + Command_Line_Args_On_Target : Boolean := True; -- Set False if no command line arguments on target. Note that if this -- is False in with Configurable_Run_Time_On_Target set to True, then -- this causes suppression of generation of the argv/argc variables @@ -466,11 +497,11 @@ package Targparm is -- Similarly, most ports support the use of an exit status, but AAMP -- is an exception (as allowed by RM A.15(18-20)) - Exit_Status_Supported_On_Target : Boolean; + Exit_Status_Supported_On_Target : Boolean := True; -- Set False if returning of an exit status is not supported on target. -- Note that if this False in with Configurable_Run_Time_On_Target -- set to True, then this causes suppression of the gnat_exit_status - -- variable used to recod the exit status. + -- variable used to record the exit status. ----------------------- -- Main Program Name -- @@ -483,7 +514,7 @@ package Targparm is -- name (just the name of the child if the main program is a child unit). -- In either case, this value can be overridden using -M name. - Use_Ada_Main_Program_Name_On_Target : Boolean; + Use_Ada_Main_Program_Name_On_Target : Boolean := False; -- Set True to use the Ada main program name as the main name ---------------------------------------------- @@ -504,29 +535,30 @@ package Targparm is -- the partition. We probably should add such consistency checks in future, -- but for now we don't do this. - Denorm_On_Target : Boolean; - -- Set to False on targets that do not reliably support denormals. - -- Reliably here means for all settings of the relevant -m flag, so - -- for example, this is False on the Alpha where denormals are not - -- supported unless -mieee is used. + -- Note: the compiler itself does not use floating-point, so the + -- settings of the defaults here are not really relevant. - Machine_Rounds_On_Target : Boolean; + -- Note: in some cases, proper support of some of these floating point + -- features may require a specific switch (e.g. -mieee on the Alpha) + -- to be used to obtain full RM compliant support. + + Denorm_On_Target : Boolean := False; + -- Set to False on targets that do not reliably support denormals + + Machine_Rounds_On_Target : Boolean := True; -- Set to False for targets where S'Machine_Rounds is False - Machine_Overflows_On_Target : Boolean; + Machine_Overflows_On_Target : Boolean := False; -- Set to True for targets where S'Machine_Overflows is True - Signed_Zeros_On_Target : Boolean; + Signed_Zeros_On_Target : Boolean := True; -- Set to False on targets that do not reliably support signed zeros. - OpenVMS_On_Target : Boolean; - -- Set to True if target is OpenVMS. - ------------------------------------------- -- Boolean-Valued Fixed-Point Attributes -- ------------------------------------------- - Fractional_Fixed_Ops_On_Target : Boolean; + Fractional_Fixed_Ops_On_Target : Boolean := False; -- Set to True for targets that support fixed-by-fixed multiplication -- and division for fixed-point types with a small value equal to -- 2 ** (-(T'Object_Size - 1)) and whose values have an absolute @@ -568,7 +600,7 @@ package Targparm is -- the returned value. The caller must then pop the main stack when -- this value is consumed. - Functions_Return_By_DSP_On_Target : Boolean; + Functions_Return_By_DSP_On_Target : Boolean := False; -- Set to True if target permits functions to return with using the -- DSP (depressed stack pointer) approach. @@ -581,7 +613,7 @@ package Targparm is -- parameter Backend_Layout is set to False, then the front end must -- perform all data layout. For further details see the package Layout. - Frontend_Layout_On_Target : Boolean; + Frontend_Layout_On_Target : Boolean := False; -- Set True if front end does layout -----------------