OpenE2K
/
gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

[Ada] Switch Ada_Version_Runtime to Ada 2020 

gcc/ada/

	* opt.ads (Ada_Version_Runtime): Set to Ada_2020.
	* sem_ch3.adb (Analyze_Subtype_Declaration): Propagate
	Is_Independent flag to subtypes.
	* libgnarl/s-taprop__linux.adb: Adapt to Ada 2020 warning.
	* libgnat/a-nbnbin.adb, libgnat/a-nbnbin.ads,
	libgnat/a-nbnbin__gmp.adb, libgnat/a-nbnbre.adb,
	libgnat/a-nbnbre.ads, libgnat/a-stobbu.adb,
	libgnat/a-stobbu.ads, libgnat/a-stobfi.adb,
	libgnat/a-stobfi.ads, libgnat/a-stoubu.adb,
	libgnat/a-stoubu.ads, libgnat/a-stoufi.adb,
	libgnat/a-stoufi.ads, libgnat/a-stoufo.adb,
	libgnat/a-stoufo.ads, libgnat/a-stouut.adb,
	libgnat/a-stouut.ads, libgnat/a-strsto.ads,
	libgnat/a-ststbo.adb, libgnat/a-ststbo.ads,
	libgnat/a-ststun.adb, libgnat/a-ststun.ads,
	libgnat/a-stteou.ads, libgnat/s-aoinar.ads,
	libgnat/s-aomoar.ads, libgnat/s-atopex.ads,
	libgnat/s-putaim.adb, libgnat/s-putaim.ads,
	libgnat/s-putima.adb, libgnat/s-putima.ads: Remove pragma
	Ada_2020, now redundant.
This commit is contained in:
Arnaud Charlet 2020-06-18 05:34:17 -04:00 committed by Pierre-Marie de Rodat
parent 19796dddf0
commit cb030dd735
33 changed files with 11 additions and 55 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
gcc/ada/libgnarl/s-taprop__linux.adb
View File

@ -243,9 +243,9 @@ package body System.Task_Primitives.Operations is
return Ceiling_Support;
end Get_Ceiling_Support;
pragma Warnings (Off, "non-static call not allowed in preelaborated unit");
pragma Warnings (Off, "non-preelaborable call not allowed*");
Ceiling_Support : constant Boolean := Get_Ceiling_Support;
pragma Warnings (On, "non-static call not allowed in preelaborated unit");
pragma Warnings (On, "non-preelaborable call not allowed*");
-- True if the locking policy is Ceiling_Locking, and the current process
-- has permission to use this policy. The process has permission if it is
-- running as 'root', or if the capability was set by the setcap command,

2
gcc/ada/libgnat/a-nbnbin.adb
View File

@ -29,8 +29,6 @@
-- --
------------------------------------------------------------------------------
pragma Ada_2020;
with Ada.Unchecked_Deallocation;
with Ada.Strings.Text_Output.Utils;

2
gcc/ada/libgnat/a-nbnbin.ads
View File

@ -13,8 +13,6 @@
-- --
------------------------------------------------------------------------------
pragma Ada_2020;
with Ada.Strings.Text_Output; use Ada.Strings.Text_Output;
private with Ada.Finalization;

2
gcc/ada/libgnat/a-nbnbin__gmp.adb
View File

@ -31,8 +31,6 @@
-- This is the GMP version of this package
pragma Ada_2020;
with Ada.Unchecked_Conversion;
with Ada.Unchecked_Deallocation;
with Interfaces.C; use Interfaces.C;

2
gcc/ada/libgnat/a-nbnbre.adb
View File

@ -31,8 +31,6 @@
-- This is the default version of this package, based on Big_Integers only.
pragma Ada_2020;
with Ada.Strings.Text_Output.Utils;
package body Ada.Numerics.Big_Numbers.Big_Reals is

2
gcc/ada/libgnat/a-nbnbre.ads
View File

@ -13,8 +13,6 @@
-- --
------------------------------------------------------------------------------
pragma Ada_2020;
with Ada.Numerics.Big_Numbers.Big_Integers;
with Ada.Strings.Text_Output; use Ada.Strings.Text_Output;

2
gcc/ada/libgnat/a-stobbu.adb
View File

@ -29,8 +29,6 @@
-- --
------------------------------------------------------------------------------
pragma Ada_2020;
package body Ada.Strings.Text_Output.Bit_Buckets is
type Bit_Bucket_Type is new Sink with null record;

2
gcc/ada/libgnat/a-stobbu.ads
View File

@ -29,8 +29,6 @@
-- --
------------------------------------------------------------------------------
pragma Ada_2020;
package Ada.Strings.Text_Output.Bit_Buckets is
function Bit_Bucket return Sink_Access;
end Ada.Strings.Text_Output.Bit_Buckets;

2
gcc/ada/libgnat/a-stobfi.adb
View File

@ -29,8 +29,6 @@
-- --
------------------------------------------------------------------------------
pragma Ada_2020;
with Ada.Strings.Text_Output.Utils; use Ada.Strings.Text_Output.Utils;
package body Ada.Strings.Text_Output.Basic_Files is
use type OS.File_Descriptor;

2
gcc/ada/libgnat/a-stobfi.ads
View File

@ -29,8 +29,6 @@
-- --
------------------------------------------------------------------------------
pragma Ada_2020;
private with GNAT.OS_Lib;
package Ada.Strings.Text_Output.Basic_Files is
-- Normally, you should use Ada.Strings.Text_Output.Files, which

2
gcc/ada/libgnat/a-stoubu.adb
View File

@ -29,8 +29,6 @@
-- --
------------------------------------------------------------------------------
pragma Ada_2020;
with Unchecked_Deallocation;
with Ada.Strings.UTF_Encoding.Strings;
with Ada.Strings.UTF_Encoding.Wide_Strings;

2
gcc/ada/libgnat/a-stoubu.ads
View File

@ -29,8 +29,6 @@
-- --
------------------------------------------------------------------------------
pragma Ada_2020;
package Ada.Strings.Text_Output.Buffers is
type Buffer (<>) is new Sink with private;

2
gcc/ada/libgnat/a-stoufi.adb
View File

@ -29,8 +29,6 @@
-- --
------------------------------------------------------------------------------
pragma Ada_2020;
with Ada.Strings.Text_Output.Utils; use Ada.Strings.Text_Output.Utils;
package body Ada.Strings.Text_Output.Files is
use type OS.File_Descriptor;

2
gcc/ada/libgnat/a-stoufi.ads
View File

@ -29,8 +29,6 @@
-- --
------------------------------------------------------------------------------
pragma Ada_2020;
private with GNAT.OS_Lib;
private with Ada.Finalization;
package Ada.Strings.Text_Output.Files is

2
gcc/ada/libgnat/a-stoufo.adb
View File

@ -29,8 +29,6 @@
-- --
------------------------------------------------------------------------------
pragma Ada_2020;
with Ada.Strings.Text_Output.Files;
with Ada.Strings.Text_Output.Buffers; use Ada.Strings.Text_Output.Buffers;
with Ada.Strings.Text_Output.Utils; use Ada.Strings.Text_Output.Utils;

2
gcc/ada/libgnat/a-stoufo.ads
View File

@ -29,8 +29,6 @@
-- --
------------------------------------------------------------------------------
pragma Ada_2020;
package Ada.Strings.Text_Output.Formatting is
-- Template-based output, based loosely on C's printf family. Unlike

3
gcc/ada/libgnat/a-stouut.adb
View File

@ -29,9 +29,8 @@
-- --
------------------------------------------------------------------------------
pragma Ada_2020;
with Ada.Strings.UTF_Encoding.Wide_Wide_Strings;
package body Ada.Strings.Text_Output.Utils is
procedure Put_Octet (S : in out Sink'Class; Item : Character) with Inline;

2
gcc/ada/libgnat/a-stouut.ads
View File

@ -29,8 +29,6 @@
-- --
------------------------------------------------------------------------------
pragma Ada_2020;
package Ada.Strings.Text_Output.Utils with Preelaborate is
-- This package provides utility functions on Sink'Class. These are

1
gcc/ada/libgnat/a-strsto.ads
View File

@ -30,7 +30,6 @@
-- --
------------------------------------------------------------------------------
pragma Ada_2020;
package Ada.Streams.Storage with Pure is
type Storage_Stream_Type is abstract new Root_Stream_Type with private;

1
gcc/ada/libgnat/a-ststbo.adb
View File

@ -26,7 +26,6 @@
-- --
------------------------------------------------------------------------------
pragma Ada_2020;
package body Ada.Streams.Storage.Bounded is
----------

1
gcc/ada/libgnat/a-ststbo.ads
View File

@ -30,7 +30,6 @@
-- --
------------------------------------------------------------------------------
pragma Ada_2020;
package Ada.Streams.Storage.Bounded with Pure is
type Stream_Type (Max_Elements : Stream_Element_Count) is

2
gcc/ada/libgnat/a-ststun.adb
View File

@ -26,8 +26,8 @@
-- --
------------------------------------------------------------------------------
pragma Ada_2020;
with Ada.Unchecked_Deallocation;
package body Ada.Streams.Storage.Unbounded is
procedure Free is new Ada.Unchecked_Deallocation

2
gcc/ada/libgnat/a-ststun.ads
View File

@ -30,8 +30,8 @@
-- --
------------------------------------------------------------------------------
pragma Ada_2020;
private with Ada.Finalization;
package Ada.Streams.Storage.Unbounded with Preelaborate is
type Stream_Type is new Storage_Stream_Type with private with

3
gcc/ada/libgnat/a-stteou.ads
View File

@ -29,10 +29,9 @@
-- --
------------------------------------------------------------------------------
pragma Ada_2020;
with Ada.Strings.UTF_Encoding;
with Ada.Strings.UTF_Encoding.Wide_Wide_Strings;
package Ada.Strings.Text_Output with Preelaborate is
-- This package provides a "Sink" abstraction, to which characters of type

2
gcc/ada/libgnat/s-aoinar.ads
View File

@ -33,8 +33,6 @@
-- --
------------------------------------------------------------------------------
pragma Ada_2020;
generic
type Atomic_Type is range <> with Atomic;
package System.Atomic_Operations.Integer_Arithmetic

2
gcc/ada/libgnat/s-aomoar.ads
View File

@ -33,8 +33,6 @@
-- --
------------------------------------------------------------------------------
pragma Ada_2020;
generic
type Atomic_Type is mod <> with Atomic;
package System.Atomic_Operations.Modular_Arithmetic

3
gcc/ada/libgnat/s-atopex.ads
View File

@ -33,13 +33,10 @@
-- --
------------------------------------------------------------------------------
pragma Ada_2020;
generic
type Atomic_Type is private with Atomic;
package System.Atomic_Operations.Exchange
with Pure
-- Blocking
is
function Atomic_Exchange
(Item : aliased in out Atomic_Type;

1
gcc/ada/libgnat/s-putaim.adb
View File

@ -29,7 +29,6 @@
-- --
------------------------------------------------------------------------------
pragma Ada_2020;
with Unchecked_Conversion;
with Ada.Strings.Text_Output.Utils;
use Ada.Strings.Text_Output;

2
gcc/ada/libgnat/s-putaim.ads
View File

@ -29,9 +29,9 @@
-- --
------------------------------------------------------------------------------
pragma Ada_2020;
with Ada.Strings.Text_Output;
with Ada.Task_Identification;
package System.Put_Task_Images is
-- This package contains subprograms that are called by the generated code

1
gcc/ada/libgnat/s-putima.adb
View File

@ -29,7 +29,6 @@
-- --
------------------------------------------------------------------------------
pragma Ada_2020;
with Unchecked_Conversion;
with Ada.Strings.Text_Output.Utils;
use Ada.Strings.Text_Output;

2
gcc/ada/libgnat/s-putima.ads
View File

@ -29,9 +29,9 @@
-- --
------------------------------------------------------------------------------
pragma Ada_2020;
with Ada.Strings.Text_Output;
with System.Unsigned_Types;
package System.Put_Images is
-- This package contains subprograms that are called by the generated code

2
gcc/ada/opt.ads
View File

@ -114,7 +114,7 @@ package Opt is
-- remains set to Ada_Version_Default). This is used in the rare cases
-- (notably pragma Obsolescent) where we want the explicit version set.
Ada_Version_Runtime : Ada_Version_Type := Ada_2012;
Ada_Version_Runtime : Ada_Version_Type := Ada_2020;
-- GNAT
-- Ada version used to compile the runtime. Used to set Ada_Version (but
-- not Ada_Version_Explicit) when compiling predefined or internal units.

2
gcc/ada/sem_ch3.adb
View File

@ -5718,11 +5718,13 @@ package body Sem_Ch3 is
-- If the base type is a scalar type, or else if there is no
-- constraint, the atomic flag is inherited by the subtype.
-- Ditto for the Independent aspect.
if Is_Scalar_Type (Id)
or else Is_Entity_Name (Subtype_Indication (N))
then
Set_Is_Atomic (Id, Is_Atomic (T));
Set_Is_Independent (Id, Is_Independent (T));
end if;
-- Remaining processing depends on characteristics of base type