From: Arnaud Charlet <charlet@gcc.gnu.org>
Date: Mon, 20 Apr 2009 13:32:11 +0000 (+0200)
Subject: [multiple changes]
X-Git-Tag: releases/gcc-4.5.0~6346
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=37951d8ec681d06d6179bf78f5c8b88026454a64;p=thirdparty%2Fgcc.git

[multiple changes]

2009-04-20  Robert Dewar  <dewar@adacore.com>

	* checks.ads: Fix documentation of range check handling

2009-04-20  Ed Schonberg  <schonberg@adacore.com>

	* sem_ch8.adb (Use_One_Type): Use proper entity on warning message for
	a redundant use_type clause.

From-SVN: r146422
---

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 05c5b293f879..e185a3146c6d 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,12 @@
+2009-04-20  Robert Dewar  <dewar@adacore.com>
+
+	* checks.ads: Fix documentation of range check handling
+
+2009-04-20  Ed Schonberg  <schonberg@adacore.com>
+
+	* sem_ch8.adb (Use_One_Type): Use proper entity on warning message for
+	a redundant use_type clause.
+
 2009-04-20  Robert Dewar  <dewar@adacore.com>
 
 	* sem_attr.adb (Eval_Attribute, case Length): Catch more cases where
diff --git a/gcc/ada/checks.ads b/gcc/ada/checks.ads
index e0cc54d09366..1acdab16d488 100644
--- a/gcc/ada/checks.ads
+++ b/gcc/ada/checks.ads
@@ -214,9 +214,11 @@ package Checks is
    --  Range checks are controlled by the Do_Range_Check flag. The front end
    --  is responsible for setting this flag in relevant nodes. Originally
    --  the back end generated all corresponding range checks. But later on
-   --  we decided to generate all range checks in the front end. We are now
+   --  we decided to generate many range checks in the front end. We are now
    --  in the transitional phase where some of these checks are still done
-   --  by the back end, but many are done by the front end.
+   --  by the back end, but many are done by the front end. It is possible
+   --  that in the future we might move all the checks to the front end. The
+   --  main remaining back end checks are for subscript checking.
 
    --  Overflow checks are similarly controlled by the Do_Overflow_Check flag.
    --  The difference here is that if back end overflow checks are inactive
diff --git a/gcc/ada/sem_ch8.adb b/gcc/ada/sem_ch8.adb
index 097da0c173f7..ce3151076f59 100644
--- a/gcc/ada/sem_ch8.adb
+++ b/gcc/ada/sem_ch8.adb
@@ -7396,7 +7396,7 @@ package body Sem_Ch8 is
                   else
                      Error_Msg_NE
                        ("& is already use-visible through previous "
-                        & "use type clause?", Id, Id);
+                        & "use type clause?", Id, T);
                   end if;
                end Use_Clause_Known;
 
@@ -7406,7 +7406,7 @@ package body Sem_Ch8 is
             else
                Error_Msg_NE
                  ("& is already use-visible through previous "
-                  & "use type clause?", Id, Id);
+                  & "use type clause?", Id, T);
             end if;
 
          --  The package where T is declared is already used
@@ -7415,14 +7415,14 @@ package body Sem_Ch8 is
             Error_Msg_Sloc := Sloc (Current_Use_Clause (Scope (T)));
             Error_Msg_NE
               ("& is already use-visible through package use clause #?",
-               Id, Id);
+               Id, T);
 
          --  The current scope is the package where T is declared
 
          else
             Error_Msg_Node_2 := Scope (T);
             Error_Msg_NE
-              ("& is already use-visible inside package &?", Id, Id);
+              ("& is already use-visible inside package &?", Id, T);
          end if;
       end if;
    end Use_One_Type;