diff options
| author | Samuel Tardieu <sam@rfc1149.net> | 2008-06-07 16:10:50 +0000 |
|---|---|---|
| committer | Samuel Tardieu <sam@gcc.gnu.org> | 2008-06-07 16:10:50 +0000 |
| commit | 4b92fd3cc91f9406ba26c73aaa03ef0f5871fa99 (patch) | |
| tree | 0e35d02f3c3abeff9f6bae58cc6b8c07f2f35293 /gcc/ada/sem_ch13.ads | |
| parent | e32764576e31e938e1257dd55e5c151db7a87e9e (diff) | |
| download | gcc-4b92fd3cc91f9406ba26c73aaa03ef0f5871fa99.zip gcc-4b92fd3cc91f9406ba26c73aaa03ef0f5871fa99.tar.gz gcc-4b92fd3cc91f9406ba26c73aaa03ef0f5871fa99.tar.bz2 | |
sem_res.adb (Large_Storage_Type): A type is large if it requires as many bits as Positive to store its values and...
gcc/ada/
* sem_res.adb (Large_Storage_Type): A type is large if it
requires as many bits as Positive to store its values and its
bounds are known at compile time.
* sem_ch13.adb (Minimum_Size): Note that this function returns
0 if the size is not known at compile time.
gcc/testsuite/
* gnat.dg/specs/oversize.ads: New.
From-SVN: r136532
Diffstat (limited to 'gcc/ada/sem_ch13.ads')
| -rw-r--r-- | gcc/ada/sem_ch13.ads | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gcc/ada/sem_ch13.ads b/gcc/ada/sem_ch13.ads index e7c20bc..175f304 100644 --- a/gcc/ada/sem_ch13.ads +++ b/gcc/ada/sem_ch13.ads @@ -64,7 +64,8 @@ package Sem_Ch13 is -- the given type, of the size the type would have if it were biased. If -- the type is already biased, then Minimum_Size returns the biased size, -- regardless of the setting of Biased. Also, fixed-point types are never - -- biased in the current implementation. + -- biased in the current implementation. If the size is not known at + -- compile time, this function returns 0. procedure Check_Constant_Address_Clause (Expr : Node_Id; U_Ent : Entity_Id); -- Expr is an expression for an address clause. This procedure checks |