Skip to content

R
riscv-gcc-1
Commit 368348ab by Eric Botcazou Committed by Eric Botcazou
Options

re PR ada/60703 (System.Address not preelaborable on MIPS) 

	PR ada/60703
	* system-linux-alpha.ads: Adjust for Ada 2005.
	* system-linux-mips.ads: Likewise.
	* system-linux-mips64el.ads: Likewise.
	* system-linux-mipsel.ads: Likewise.
	* system-linux-s390.ads: Likewise.
	* system-linux-s390x.ads: Likewise.
	* system-linux-sparc.ads: Likewise.
	* system-linux-sparcv9.ads: Likewise.
	* system-rtems.ads: Likewise.
	* system-vxworks-arm.ads: Likewise.

From-SVN: r208945
parent 1e3cdc9d
Showing with 59 additions and 32 deletions
gcc/ada/ChangeLog
2014-03-30 Eric Botcazou <ebotcazou@adacore.com>
PR ada/60703
* system-linux-alpha.ads: Adjust for Ada 2005.
* system-linux-mips.ads: Likewise.
* system-linux-mips64el.ads: Likewise.
* system-linux-mipsel.ads: Likewise.
* system-linux-s390.ads: Likewise.
* system-linux-s390x.ads: Likewise.
* system-linux-sparc.ads: Likewise.
* system-linux-sparcv9.ads: Likewise.
* system-rtems.ads: Likewise.
* system-vxworks-arm.ads: Likewise.
2014-03-16 Andreas Schwab <schwab@linux-m68k.org> 2014-03-16 Andreas Schwab <schwab@linux-m68k.org>
PR ada/39172 PR ada/39172
......
gcc/ada/system-linux-alpha.ads
...@@ -7,7 +7,7 @@ ...@@ -7,7 +7,7 @@
-- S p e c -- -- S p e c --
-- (GNU-Linux/alpha Version) -- -- (GNU-Linux/alpha Version) --
-- -- -- --
-- Copyright (C) 1992-2012, Free Software Foundation, Inc. -- -- Copyright (C) 1992-2014, Free Software Foundation, Inc. --
-- -- -- --
-- This specification is derived from the Ada Reference Manual for use with -- -- This specification is derived from the Ada Reference Manual for use with --
-- GNAT. The copyright notice above, and the license provisions that follow -- -- GNAT. The copyright notice above, and the license provisions that follow --
...@@ -35,9 +35,10 @@ ...@@ -35,9 +35,10 @@
------------------------------------------------------------------------------ ------------------------------------------------------------------------------
package System is package System is
pragma Pure (System); pragma Pure;
-- Note that we take advantage of the implementation permission to -- Note that we take advantage of the implementation permission to make
-- make this unit Pure instead of Preelaborable, see RM 13.7(36) -- 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); type Name is (SYSTEM_NAME_GNAT);
System_Name : constant Name := SYSTEM_NAME_GNAT; System_Name : constant Name := SYSTEM_NAME_GNAT;
...@@ -61,6 +62,7 @@ pragma Pure (System); ...@@ -61,6 +62,7 @@ pragma Pure (System);
-- Storage-related Declarations -- Storage-related Declarations
type Address is private; type Address is private;
pragma Preelaborable_Initialization (Address);
Null_Address : constant Address; Null_Address : constant Address;
Storage_Unit : constant := 8; Storage_Unit : constant := 8;
......
gcc/ada/system-linux-mips.ads
...@@ -7,7 +7,7 @@ ...@@ -7,7 +7,7 @@
-- S p e c -- -- S p e c --
-- (GNU-Linux/MIPS Version) -- -- (GNU-Linux/MIPS Version) --
-- -- -- --
-- Copyright (C) 1992-2012, Free Software Foundation, Inc. -- -- Copyright (C) 1992-2014, Free Software Foundation, Inc. --
-- -- -- --
-- This specification is derived from the Ada Reference Manual for use with -- -- This specification is derived from the Ada Reference Manual for use with --
-- GNAT. The copyright notice above, and the license provisions that follow -- -- GNAT. The copyright notice above, and the license provisions that follow --
...@@ -62,6 +62,7 @@ package System is ...@@ -62,6 +62,7 @@ package System is
-- Storage-related Declarations -- Storage-related Declarations
type Address is private; type Address is private;
pragma Preelaborable_Initialization (Address);
Null_Address : constant Address; Null_Address : constant Address;
Storage_Unit : constant := 8; Storage_Unit : constant := 8;
......
gcc/ada/system-linux-mips64el.ads
...@@ -7,7 +7,7 @@ ...@@ -7,7 +7,7 @@
-- S p e c -- -- S p e c --
-- (GNU-Linux/MIPS64EL Version) -- -- (GNU-Linux/MIPS64EL Version) --
-- -- -- --
-- Copyright (C) 1992-2012, Free Software Foundation, Inc. -- -- Copyright (C) 1992-2014, Free Software Foundation, Inc. --
-- -- -- --
-- This specification is derived from the Ada Reference Manual for use with -- -- This specification is derived from the Ada Reference Manual for use with --
-- GNAT. The copyright notice above, and the license provisions that follow -- -- GNAT. The copyright notice above, and the license provisions that follow --
...@@ -62,6 +62,7 @@ package System is ...@@ -62,6 +62,7 @@ package System is
-- Storage-related Declarations -- Storage-related Declarations
type Address is private; type Address is private;
pragma Preelaborable_Initialization (Address);
Null_Address : constant Address; Null_Address : constant Address;
Storage_Unit : constant := 8; Storage_Unit : constant := 8;
......
gcc/ada/system-linux-mipsel.ads
...@@ -7,7 +7,7 @@ ...@@ -7,7 +7,7 @@
-- S p e c -- -- S p e c --
-- (GNU-Linux/MIPSEL Version) -- -- (GNU-Linux/MIPSEL Version) --
-- -- -- --
-- Copyright (C) 1992-2012, Free Software Foundation, Inc. -- -- Copyright (C) 1992-2014, Free Software Foundation, Inc. --
-- -- -- --
-- This specification is derived from the Ada Reference Manual for use with -- -- This specification is derived from the Ada Reference Manual for use with --
-- GNAT. The copyright notice above, and the license provisions that follow -- -- GNAT. The copyright notice above, and the license provisions that follow --
...@@ -62,6 +62,7 @@ package System is ...@@ -62,6 +62,7 @@ package System is
-- Storage-related Declarations -- Storage-related Declarations
type Address is private; type Address is private;
pragma Preelaborable_Initialization (Address);
Null_Address : constant Address; Null_Address : constant Address;
Storage_Unit : constant := 8; Storage_Unit : constant := 8;
......
gcc/ada/system-linux-s390.ads
...@@ -7,7 +7,7 @@ ...@@ -7,7 +7,7 @@
-- S p e c -- -- S p e c --
-- (GNU-Linux/s390 Version) -- -- (GNU-Linux/s390 Version) --
-- -- -- --
-- Copyright (C) 1992-2012, Free Software Foundation, Inc. -- -- Copyright (C) 1992-2014, Free Software Foundation, Inc. --
-- -- -- --
-- This specification is derived from the Ada Reference Manual for use with -- -- This specification is derived from the Ada Reference Manual for use with --
-- GNAT. The copyright notice above, and the license provisions that follow -- -- GNAT. The copyright notice above, and the license provisions that follow --
...@@ -35,9 +35,10 @@ ...@@ -35,9 +35,10 @@
------------------------------------------------------------------------------ ------------------------------------------------------------------------------
package System is package System is
pragma Pure (System); pragma Pure;
-- Note that we take advantage of the implementation permission to -- Note that we take advantage of the implementation permission to make
-- make this unit Pure instead of Preelaborable, see RM 13.7(36) -- 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); type Name is (SYSTEM_NAME_GNAT);
System_Name : constant Name := SYSTEM_NAME_GNAT; System_Name : constant Name := SYSTEM_NAME_GNAT;
...@@ -61,6 +62,7 @@ pragma Pure (System); ...@@ -61,6 +62,7 @@ pragma Pure (System);
-- Storage-related Declarations -- Storage-related Declarations
type Address is private; type Address is private;
pragma Preelaborable_Initialization (Address);
Null_Address : constant Address; Null_Address : constant Address;
Storage_Unit : constant := 8; Storage_Unit : constant := 8;
......
gcc/ada/system-linux-s390x.ads
...@@ -7,7 +7,7 @@ ...@@ -7,7 +7,7 @@
-- S p e c -- -- S p e c --
-- (GNU-Linux/s390x Version) -- -- (GNU-Linux/s390x Version) --
-- -- -- --
-- Copyright (C) 1992-2012, Free Software Foundation, Inc. -- -- Copyright (C) 1992-2014, Free Software Foundation, Inc. --
-- -- -- --
-- This specification is derived from the Ada Reference Manual for use with -- -- This specification is derived from the Ada Reference Manual for use with --
-- GNAT. The copyright notice above, and the license provisions that follow -- -- GNAT. The copyright notice above, and the license provisions that follow --
...@@ -35,9 +35,10 @@ ...@@ -35,9 +35,10 @@
------------------------------------------------------------------------------ ------------------------------------------------------------------------------
package System is package System is
pragma Pure (System); pragma Pure;
-- Note that we take advantage of the implementation permission to -- Note that we take advantage of the implementation permission to make
-- make this unit Pure instead of Preelaborable, see RM 13.7(36) -- 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); type Name is (SYSTEM_NAME_GNAT);
System_Name : constant Name := SYSTEM_NAME_GNAT; System_Name : constant Name := SYSTEM_NAME_GNAT;
...@@ -61,6 +62,7 @@ pragma Pure (System); ...@@ -61,6 +62,7 @@ pragma Pure (System);
-- Storage-related Declarations -- Storage-related Declarations
type Address is private; type Address is private;
pragma Preelaborable_Initialization (Address);
Null_Address : constant Address; Null_Address : constant Address;
Storage_Unit : constant := 8; Storage_Unit : constant := 8;
......
gcc/ada/system-linux-sparc.ads
...@@ -7,7 +7,7 @@ ...@@ -7,7 +7,7 @@
-- S p e c -- -- S p e c --
-- (GNU/Linux-SPARC Version) -- -- (GNU/Linux-SPARC Version) --
-- -- -- --
-- Copyright (C) 1992-2012, Free Software Foundation, Inc. -- -- Copyright (C) 1992-2014, Free Software Foundation, Inc. --
-- -- -- --
-- This specification is derived from the Ada Reference Manual for use with -- -- This specification is derived from the Ada Reference Manual for use with --
-- GNAT. The copyright notice above, and the license provisions that follow -- -- GNAT. The copyright notice above, and the license provisions that follow --
...@@ -35,9 +35,10 @@ ...@@ -35,9 +35,10 @@
------------------------------------------------------------------------------ ------------------------------------------------------------------------------
package System is package System is
pragma Pure (System); pragma Pure;
-- Note that we take advantage of the implementation permission to -- Note that we take advantage of the implementation permission to make
-- make this unit Pure instead of Preelaborable, see RM 13.7(36) -- 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); type Name is (SYSTEM_NAME_GNAT);
System_Name : constant Name := SYSTEM_NAME_GNAT; System_Name : constant Name := SYSTEM_NAME_GNAT;
...@@ -61,6 +62,7 @@ pragma Pure (System); ...@@ -61,6 +62,7 @@ pragma Pure (System);
-- Storage-related Declarations -- Storage-related Declarations
type Address is private; type Address is private;
pragma Preelaborable_Initialization (Address);
Null_Address : constant Address; Null_Address : constant Address;
Storage_Unit : constant := 8; Storage_Unit : constant := 8;
......
gcc/ada/system-linux-sparcv9.ads
...@@ -7,7 +7,7 @@ ...@@ -7,7 +7,7 @@
-- S p e c -- -- S p e c --
-- (GNU/Linux-SPARCV9 Version) -- -- (GNU/Linux-SPARCV9 Version) --
-- -- -- --
-- Copyright (C) 1992-2011, Free Software Foundation, Inc. -- -- Copyright (C) 1992-2014, Free Software Foundation, Inc. --
-- -- -- --
-- This specification is derived from the Ada Reference Manual for use with -- -- This specification is derived from the Ada Reference Manual for use with --
-- GNAT. The copyright notice above, and the license provisions that follow -- -- GNAT. The copyright notice above, and the license provisions that follow --
...@@ -35,9 +35,10 @@ ...@@ -35,9 +35,10 @@
------------------------------------------------------------------------------ ------------------------------------------------------------------------------
package System is package System is
pragma Pure (System); pragma Pure;
-- Note that we take advantage of the implementation permission to -- Note that we take advantage of the implementation permission to make
-- make this unit Pure instead of Preelaborable, see RM 13.7(36) -- 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); type Name is (SYSTEM_NAME_GNAT);
System_Name : constant Name := SYSTEM_NAME_GNAT; System_Name : constant Name := SYSTEM_NAME_GNAT;
...@@ -61,6 +62,7 @@ pragma Pure (System); ...@@ -61,6 +62,7 @@ pragma Pure (System);
-- Storage-related Declarations -- Storage-related Declarations
type Address is private; type Address is private;
pragma Preelaborable_Initialization (Address);
Null_Address : constant Address; Null_Address : constant Address;
Storage_Unit : constant := 8; Storage_Unit : constant := 8;
......
gcc/ada/system-rtems.ads
...@@ -7,7 +7,7 @@ ...@@ -7,7 +7,7 @@
-- S p e c -- -- S p e c --
-- (Compiler Version) -- -- (Compiler Version) --
-- -- -- --
-- Copyright (C) 1992-2011 Free Software Foundation, Inc. -- -- Copyright (C) 1992-2014 Free Software Foundation, Inc. --
-- -- -- --
-- This specification is derived from the Ada Reference Manual for use with -- -- This specification is derived from the Ada Reference Manual for use with --
-- GNAT. The copyright notice above, and the license provisions that follow -- -- GNAT. The copyright notice above, and the license provisions that follow --
...@@ -34,9 +34,8 @@ ...@@ -34,9 +34,8 @@
-- -- -- --
------------------------------------------------------------------------------ ------------------------------------------------------------------------------
-- This version of System is a RTEMS version that is used in building -- This version is for RTEMS. It is based as closely as possible on the
-- the compiler. This is based as closely as possible on the generic -- generic version with the following exceptions:
-- version with the following exceptions:
-- + priority definitions -- + priority definitions
package System is package System is
...@@ -67,6 +66,7 @@ package System is ...@@ -67,6 +66,7 @@ package System is
-- Storage-related Declarations -- Storage-related Declarations
type Address is private; type Address is private;
pragma Preelaborable_Initialization (Address);
Null_Address : constant Address; Null_Address : constant Address;
Storage_Unit : constant := Standard'Storage_Unit; Storage_Unit : constant := Standard'Storage_Unit;
......
gcc/ada/system-vxworks-arm.ads
...@@ -7,7 +7,7 @@ ...@@ -7,7 +7,7 @@
-- S p e c -- -- S p e c --
-- (VxWorks Version ARM) -- -- (VxWorks Version ARM) --
-- -- -- --
-- Copyright (C) 1992-2013, Free Software Foundation, Inc. -- -- Copyright (C) 1992-2014, Free Software Foundation, Inc. --
-- -- -- --
-- This specification is derived from the Ada Reference Manual for use with -- -- This specification is derived from the Ada Reference Manual for use with --
-- GNAT. The copyright notice above, and the license provisions that follow -- -- GNAT. The copyright notice above, and the license provisions that follow --
...@@ -35,10 +35,10 @@ ...@@ -35,10 +35,10 @@
------------------------------------------------------------------------------ ------------------------------------------------------------------------------
package System is package System is
pragma Pure (System); pragma Pure;
-- Note that we take advantage of the implementation permission to make this -- Note that we take advantage of the implementation permission to make
-- unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada 2005, this is -- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada
-- Pure in any case (AI-362). -- 2005, this is Pure in any case (AI-362).
type Name is (SYSTEM_NAME_GNAT); type Name is (SYSTEM_NAME_GNAT);
System_Name : constant Name := SYSTEM_NAME_GNAT; System_Name : constant Name := SYSTEM_NAME_GNAT;
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment