diff options
| -rw-r--r-- | gcc/ada/ChangeLog | 8 | ||||
| -rw-r--r-- | gcc/ada/gnat_ugn.texi | 6 | ||||
| -rw-r--r-- | gcc/ada/sem_util.adb | 6 |
3 files changed, 18 insertions, 2 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index b605eca..7e65a87 100644 --- 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 --- 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 --- 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); |