re PR ada/32792 (Assert_Failure sinfo.adb:1730)
authorSamuel Tardieu <sam@rfc1149.net>
Wed, 28 Nov 2007 20:46:18 +0000 (20:46 +0000)
committerSamuel Tardieu <sam@gcc.gnu.org>
Wed, 28 Nov 2007 20:46:18 +0000 (20:46 +0000)
commit5a21849883efce34b55216109644da8ab8b16fcd
tree82a9d4e41ce310ca835c0e4af4cb5c7030eb85c8
parent9c5a3a8d78b8767ae6120216a55b39d9dc552b4b
re PR ada/32792 (Assert_Failure sinfo.adb:1730)

    gcc/ada/
PR ada/32792
* sem_attr.adb (Analyze_Attribute, Attribute_Integer_Value clause):
Signal an error when attribute argument is a fixed-point value of
an unknown type.

    gcc/testsuite/
PR ada/32792
* gnat.dg/specs/integer_value.ads: New test.

From-SVN: r130497
gcc/ada/ChangeLog
gcc/ada/sem_attr.adb
gcc/testsuite/ChangeLog
gcc/testsuite/gnat.dg/specs/integer_value.ads [new file with mode: 0644]