[Ada] Superfluous restriction on aspect Dimension applied to integer type

[Pierre-Marie de Rodat <derodat at adacore dot com>]

If the dimensioned root type is an integer type, it is not particularly useful,
and fractional dimensions do not make much sense for such types, so previously
we used to reject dimensions of integer types that were not integer literals.
However, the manipulation of dimensions does not depend on the kind of root
type, so we can accept this usage for rare cases where dimensions are specified
for integer-valued types.

Tested on x86_64-pc-linux-gnu, committed on trunk

gcc/ada/

2017-10-20  Ed Schonberg  <schonberg@adacore.com>

	* sem_dim.adb (Extract_Power): Accept dimension values that are not
	non-negative integers when the dimensioned base type is an Integer
	type.

gcc/testsuite/

2017-10-20  Ed Schonberg  <schonberg@adacore.com>

	* gnat.dg/dimensions.adb, gnat.dg/dimensions.ads: New testcase.

Attachment: difs
Description: Text document

Attachment: diff.tests
Description: Text document