diff options
author | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-01-20 11:36:01 +0100 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-01-20 11:36:01 +0100 |
commit | f4ef7b06ce8973846a7002c9325c576e099917d6 (patch) | |
tree | de0d3712f5e7b370de37a74832eae8ddd864b39f /gcc/ada/a-locale.ads | |
parent | 8f1fe1f8cee02a23f50c17550032120a157d974b (diff) | |
download | gcc-f4ef7b06ce8973846a7002c9325c576e099917d6.zip gcc-f4ef7b06ce8973846a7002c9325c576e099917d6.tar.gz gcc-f4ef7b06ce8973846a7002c9325c576e099917d6.tar.bz2 |
[multiple changes]
2017-01-20 Yannick Moy <moy@adacore.com>
* inline.adb (Expand_Inlined_Call): Keep more
precise type of actual for inlining whenever possible. In
particular, do not switch to the formal type in GNATprove mode in
some case where the GNAT backend might require it for visibility.
2017-01-20 Ed Schonberg <schonberg@adacore.com>
* sem_ch3.adb (Check_Non_Overridable_Aspects): An inherited
aspect Implicit_Dereference can be inherited by a full view if
the partial view has no discriminants, because there is no way
to apply the aspect to the partial view.
(Build_Derived_Record_Type): If derived type renames discriminants
of the parent, the new discriminant inherits the aspect from
the old one.
* sem_ch4.adb (Analyze_Call): Handle properly a parameterless
call through an access discriminant designating a subprogram.
* sem_ch5.adb (Analyze_Assignment): (Analyze_Call): Handle
properly a parameterless call through an access discriminant on
the left-hand side of an assignment.
* sem_res.adb (resolve): If an interpreation involves a
discriminant with an implicit dereference and the expression is an
entity, resolution takes place later in the appropriate routine.
* sem_ch13.adb (Analyze_Aspect_Implicit_Dereference): Recognize
access discriminants that designate a subprogram type.
2017-01-20 Pascal Obry <obry@adacore.com>
* a-locale.adb, a-locale.ads: Update Ada.Locales for RM 2012 COR:1:2016
From-SVN: r244698
Diffstat (limited to 'gcc/ada/a-locale.ads')
-rw-r--r-- | gcc/ada/a-locale.ads | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/gcc/ada/a-locale.ads b/gcc/ada/a-locale.ads index 629f367..132c883 100644 --- a/gcc/ada/a-locale.ads +++ b/gcc/ada/a-locale.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 2010, Free Software Foundation, Inc. -- +-- Copyright (C) 2010-2016, Free Software Foundation, Inc. -- -- -- -- This specification is derived from the Ada Reference Manual for use with -- -- GNAT. In accordance with the copyright of that document, you can freely -- @@ -19,8 +19,13 @@ package Ada.Locales is pragma Preelaborate (Locales); pragma Remote_Types (Locales); - type Language_Code is array (1 .. 3) of Character range 'a' .. 'z'; - type Country_Code is array (1 .. 2) of Character range 'A' .. 'Z'; + type Language_Code is new String (1 .. 3) + with Dynamic_Predicate => + (for all E of Language_Code => E in 'a' .. 'z'); + + type Country_Code is new String (1 .. 2) + with Dynamic_Predicate => + (for all E of Country_Code => E in 'A' .. 'Z'); Language_Unknown : constant Language_Code := "und"; Country_Unknown : constant Country_Code := "ZZ"; |