mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-04-05 05:10:33 +08:00
Code Issues Packages Projects Releases Wiki Activity

sem_ch13.ads: Minor comment update

Browse Source 
2008-08-04  Robert Dewar  <dewar@adacore.com>

	* sem_ch13.ads: Minor comment update

	* sem_res.adb: (Large_Storage_Type): Improve previous change.

From-SVN: r138612
This commit is contained in:
Robert Dewar 2008-08-04 14:34:16 +02:00 committed by Arnaud Charlet
parent 5b2314f660
commit a0ac393230
1 changed files with 10 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
gcc/ada/sem_res.adb
View File

@ -446,16 +446,18 @@ package body Sem_Res is
return;
end if;
-- Detect a common beginner error:
-- Detect a common error:
-- type R (D : Positive := 100) is record
-- Name : String (1 .. D);
-- end record;
-- The default value causes an object of type R to be
-- allocated with room for Positive'Last characters.
-- The default value causes an object of type R to be allocated
-- with room for Positive'Last characters. The RM does not mandate
-- the allocation of the maximum size, but that is what GNAT does
-- so we should warn the programmer that there is a problem.
declare
Check_Large : declare
SI : Node_Id;
T : Entity_Id;
TB : Node_Id;
@ -480,9 +482,11 @@ package body Sem_Res is
and then Compile_Time_Known_Value (Type_High_Bound (T))
and then
Minimum_Size (T, Biased => True) >=
Esize (Standard_Integer) - 1;
RM_Size (Standard_Positive);
end Large_Storage_Type;
-- Start of processing for Check_Large
begin
-- Check that the Disc has a large range
@ -553,7 +557,7 @@ package body Sem_Res is
<<No_Danger>>
null;
end;
end Check_Large;
end if;
-- Legal case is in index or discriminant constraint