2014-05-21 Ed Schonberg <schonberg@adacore.com>

	* sem_util.adb: Code clean up.

2014-05-21  Eric Botcazou  <ebotcazou@adacore.com>

	* gnat_ugn.texi: Document -Werror.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@210691 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index b605eca..7e65a87 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,11 @@
+2014-05-21  Ed Schonberg  <schonberg@adacore.com>
+
+       * sem_util.adb: Code clean up.
+
+2014-05-21  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * gnat_ugn.texi: Document -Werror.
+
 2014-05-21  Bob Duff  <duff@adacore.com>
 
        * sem_util.adb (Is_Dependent_Component_Of_Mutable_Object):

diff --git a/gcc/ada/gnat_ugn.texi b/gcc/ada/gnat_ugn.texi
index 78d682b..4912c97 100644 (file)
--- a/gcc/ada/gnat_ugn.texi
+++ b/gcc/ada/gnat_ugn.texi
@@ -5867,6 +5867,12 @@ Conversely, this switch suppresses warnings from the @option{GCC} back end.
 The use of this switch also sets the default front end warning mode to
 @option{-gnatws}, that is, front end warnings suppressed as well.
 
+@item -Werror
+@cindex @option{-Werror}
+This switch causes warnings from the @option{GCC} back end to be treated as
+errors.  The warning string still appears, but the warning messages are
+counted as errors, and prevent the generation of an object file.
+
 @end table
 
 @noindent

diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb
index 13e74da..70f7fd4 100644 (file)
--- a/gcc/ada/sem_util.adb
+++ b/gcc/ada/sem_util.adb
@@ -5521,10 +5521,12 @@ package body Sem_Util is
 
             --  An actual that is the prefix in a prefixed call may have
             --  been rewritten in the call, after the deferred reference
-            --  was collected. Check if sloc and kinds match.
+            --  was collected. Check if sloc and kinds and names match.
 
             elsif Sloc (Actual) = Sloc (N)
+              and then Nkind (Actual) = N_Identifier
               and then Nkind (Actual) = Nkind (N)
+              and then Chars (Actual) = Chars (N)
             then
                return;
 
@@ -9789,7 +9791,7 @@ package body Sem_Util is
 
       if Is_Variable (Object)
         or else (Ada_Version >= Ada_2005
-                   and then Nkind (Deref) = N_Explicit_Dereference)
+                  and then Nkind (Deref) = N_Explicit_Dereference)
       then
          if Nkind (Object) = N_Selected_Component then
             P := Prefix (Object);