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