sem_res.adb (Large_Storage_Type): A type is large if it requires as many bits as...
authorSamuel Tardieu <sam@rfc1149.net>
Sat, 7 Jun 2008 16:10:50 +0000 (16:10 +0000)
committerSamuel Tardieu <sam@gcc.gnu.org>
Sat, 7 Jun 2008 16:10:50 +0000 (16:10 +0000)
commit4b92fd3cc91f9406ba26c73aaa03ef0f5871fa99
tree0e35d02f3c3abeff9f6bae58cc6b8c07f2f35293
parente32764576e31e938e1257dd55e5c151db7a87e9e
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
gcc/ada/ChangeLog
gcc/ada/sem_ch13.ads
gcc/ada/sem_res.adb
gcc/testsuite/ChangeLog
gcc/testsuite/gnat.dg/specs/oversize.ads [new file with mode: 0644]