sem_attr.adb (Analyze_Attribute): Allow any expression of discrete type.
authorBob Duff <duff@adacore.com>
Wed, 6 Jul 2016 12:32:35 +0000 (12:32 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Wed, 6 Jul 2016 12:32:35 +0000 (14:32 +0200)
commit1956beb8aa91181d614441e943a76fa7f7d8d51c
treeab3dafd3172a46b0fe10aff675670eb0e1ee1947
parent7b4e076985f2c41f93fb8d8f89183ef1244f98ae
sem_attr.adb (Analyze_Attribute): Allow any expression of discrete type.

2016-07-06  Bob Duff  <duff@adacore.com>

* sem_attr.adb (Analyze_Attribute): Allow any expression of
discrete type.
* exp_attr.adb (Expand_N_Attribute_Reference): Change the
constant-folding code to correctly handle cases newly allowed
by Analyze_Attribute.

From-SVN: r238042
gcc/ada/ChangeLog
gcc/ada/exp_attr.adb
gcc/ada/sem_attr.adb