OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

[multiple changes]

Browse Source 
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
This commit is contained in:
Arnaud Charlet 2009-04-20 15:32:11 +02:00
parent 5d5832bc7e
commit 37951d8ec6
3 changed files with 17 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
gcc/ada/ChangeLog
View File

@ -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

6
gcc/ada/checks.ads
View File

@ -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

8
gcc/ada/sem_ch8.adb
View File

@ -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;