From: charlet Date: Mon, 20 Apr 2009 13:32:11 +0000 (+0000) Subject: 2009-04-20 Robert Dewar X-Git-Url: http://git.sourceforge.jp/view?p=pf3gnuchains%2Fgcc-fork.git;a=commitdiff_plain;h=a04ef2f7c1ec761ca58672cff0e0ad976bffe565 2009-04-20 Robert Dewar * checks.ads: Fix documentation of range check handling 2009-04-20 Ed Schonberg * sem_ch8.adb (Use_One_Type): Use proper entity on warning message for a redundant use_type clause. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146422 138bc75d-0d04-0410-961f-82ee72b054a4 --- diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 05c5b293f87..e185a3146c6 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,5 +1,14 @@ 2009-04-20 Robert Dewar + * checks.ads: Fix documentation of range check handling + +2009-04-20 Ed Schonberg + + * sem_ch8.adb (Use_One_Type): Use proper entity on warning message for + a redundant use_type clause. + +2009-04-20 Robert Dewar + * sem_attr.adb (Eval_Attribute, case Length): Catch more cases where this attribute can be evaluated at compile time. (Eval_Attribute, case Range_Length): Same improvement diff --git a/gcc/ada/checks.ads b/gcc/ada/checks.ads index e0cc54d0936..1acdab16d48 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 097da0c173f..ce3151076f5 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;