diff options
author | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-05-02 11:23:49 +0200 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-05-02 11:23:49 +0200 |
commit | 1e60643a12e9c6d8278fd8531b0ccfdfbe920f43 (patch) | |
tree | 879341216a285fb6ea9e7323d335d48a7420a899 /gcc/ada/switch-c.adb | |
parent | 0ec955c28f187b8799cfbf509eb6adf3b74be21c (diff) | |
download | gcc-1e60643a12e9c6d8278fd8531b0ccfdfbe920f43.zip gcc-1e60643a12e9c6d8278fd8531b0ccfdfbe920f43.tar.gz gcc-1e60643a12e9c6d8278fd8531b0ccfdfbe920f43.tar.bz2 |
[multiple changes]
2016-05-02 Hristian Kirtchev <kirtchev@adacore.com>
* sem_ch4.adb (Find_Indexing_Operations): Use the underlying type
of the container base type in case the container is a subtype.
* sem_ch5.adb (Analyze_Iterator_Specification): Ensure that
the selector has an entity when checking for a component of a
mutable object.
2016-05-02 Arnaud Charlet <charlet@adacore.com>
Remove dead code.
* opt.ads (Latest_Ada_Only): New flag.
* sem_prag.adb, par-prag.adb: Ignore pragma Ada_xx under this flag.
* usage.adb, switch-c.adb: Disable support for -gnatxx under this flag.
* einfo.ads (Has_Predicates, Predicate_Function):
Clarify that Has_Predicates does not imply that Predicate_Function
will return a non-empty entity.
2016-05-02 Ed Schonberg <schonberg@adacore.com>
* sem_res.adb (Resolve_Qualified_Expression): Generate a predicate
check if type requires it.
* checks.adb (Apply_Predicate_Check): Disable checks in the
object declaration created for an expression with side-effects
that requires a predicate check to prevent infinite recursion
during expansion.
2016-05-02 Ed Schonberg <schonberg@adacore.com>
* sem_ch6.adb (Process_Formals): Check properly the type of a
formal to determine whether a given convention applies to it.
2016-05-02 Doug Rupp <rupp@adacore.com>
* tracebak.c: Add incantations for arm-vxworks[67] traceback.
2016-05-02 Thomas Quinot <quinot@adacore.com>
* freeze.adb (Check_Component_Storage_Order): Make it a warning, not an
error, to have a component with implicit SSO within a composite type
that has explicit SSO.
2016-05-02 Bob Duff <duff@adacore.com>
* s-stposu.adb (Allocate_Any_Controlled): Don't lock/unlock twice.
2016-05-02 Ed Schonberg <schonberg@adacore.com>
* repinfo.adb (List_Entities): Make procedure recursive, to
provide representation information for subprograms declared
within subprogram bodies.
From-SVN: r235713
Diffstat (limited to 'gcc/ada/switch-c.adb')
-rw-r--r-- | gcc/ada/switch-c.adb | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/gcc/ada/switch-c.adb b/gcc/ada/switch-c.adb index 4ded20b..b282245 100644 --- a/gcc/ada/switch-c.adb +++ b/gcc/ada/switch-c.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 2001-2015, Free Software Foundation, Inc. -- +-- Copyright (C) 2001-2016, 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- -- @@ -1400,7 +1400,7 @@ package body Switch.C is Ptr := Ptr + 1; - if Switch_Chars (Ptr) /= '3' then + if Switch_Chars (Ptr) /= '3' or else Latest_Ada_Only then Bad_Switch ("-gnat8" & Switch_Chars (Ptr .. Max)); else Ptr := Ptr + 1; @@ -1418,7 +1418,7 @@ package body Switch.C is Ptr := Ptr + 1; - if Switch_Chars (Ptr) /= '5' then + if Switch_Chars (Ptr) /= '5' or else Latest_Ada_Only then Bad_Switch ("-gnat9" & Switch_Chars (Ptr .. Max)); else Ptr := Ptr + 1; @@ -1436,7 +1436,7 @@ package body Switch.C is Ptr := Ptr + 1; - if Switch_Chars (Ptr) /= '5' then + if Switch_Chars (Ptr) /= '5' or else Latest_Ada_Only then Bad_Switch ("-gnat0" & Switch_Chars (Ptr .. Max)); else Ptr := Ptr + 1; @@ -1469,7 +1469,9 @@ package body Switch.C is if Ptr > Max - 3 then Bad_Switch ("-gnat" & Switch_Chars (Ptr .. Max)); - elsif Switch_Chars (Ptr .. Ptr + 3) = "2005" then + elsif Switch_Chars (Ptr .. Ptr + 3) = "2005" + and then not Latest_Ada_Only + then Ada_Version := Ada_2005; elsif Switch_Chars (Ptr .. Ptr + 3) = "2012" then |