[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

1 files changed, 19 insertions, 31 deletions

diff --git a/gcc/ada/usage.adb b/gcc/ada/usage.adb
index 99edf94..cb7d6a3 100644
--- a/gcc/ada/usage.adb
+++ b/gcc/ada/usage.adb
@@ -6,7 +6,7 @@
 --                                                                          --
 --                                B o d y                                   --
 --                                                                          --
---          Copyright (C) 1992-2015, Free Software Foundation, Inc.         --
+--          Copyright (C) 1992-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- --
@@ -26,7 +26,6 @@
 --  Warning: the output of this usage for warnings is duplicated in the GNAT
 --  reference manual. Be sure to update that if you change the warning list.
 
-with Targparm; use Targparm;
 with Namet;    use Namet;
 with Opt;      use Opt;
 with Osint;    use Osint;
@@ -91,19 +90,6 @@ begin
 
    Write_Eol;
 
-   --  Common GCC switches not available for AAMP targets
-
-   if not AAMP_On_Target then
-      Write_Switch_Char ("fstack-check ", "");
-      Write_Line ("Generate stack checking code");
-
-      Write_Switch_Char ("fno-inline   ", "");
-      Write_Line ("Inhibit all inlining (makes executable smaller)");
-
-      Write_Switch_Char ("fpreserve-control-flow ", "");
-      Write_Line ("Preserve control flow for coverage analysis");
-   end if;
-
    --  Common switches available everywhere
 
    Write_Switch_Char ("g            ", "");
@@ -681,29 +667,31 @@ begin
    Write_Switch_Char ("zr");
    Write_Line ("Distribution stub generation for receiver stubs");
 
-   --  Line for -gnat83 switch
+   if not Latest_Ada_Only then
+      --  Line for -gnat83 switch
 
-   Write_Switch_Char ("83");
-   Write_Line ("Ada 83 mode");
+      Write_Switch_Char ("83");
+      Write_Line ("Ada 83 mode");
 
-   --  Line for -gnat95 switch
+      --  Line for -gnat95 switch
 
-   Write_Switch_Char ("95");
+      Write_Switch_Char ("95");
 
-   if Ada_Version_Default = Ada_95 then
-      Write_Line ("Ada 95 mode (default)");
-   else
-      Write_Line ("Ada 95 mode");
-   end if;
+      if Ada_Version_Default = Ada_95 then
+         Write_Line ("Ada 95 mode (default)");
+      else
+         Write_Line ("Ada 95 mode");
+      end if;
 
-   --  Line for -gnat2005 switch
+      --  Line for -gnat2005 switch
 
-   Write_Switch_Char ("2005");
+      Write_Switch_Char ("2005");
 
-   if Ada_Version_Default = Ada_2005 then
-      Write_Line ("Ada 2005 mode (default)");
-   else
-      Write_Line ("Ada 2005 mode");
+      if Ada_Version_Default = Ada_2005 then
+         Write_Line ("Ada 2005 mode (default)");
+      else
+         Write_Line ("Ada 2005 mode");
+      end if;
    end if;
 
    --  Line for -gnat2012 switch