sem_attr.ads, [...] (Analyze_Attribute, case Value): For enumeration type, mark all...
authorRobert Dewar <dewar@adacore.com>
Tue, 14 Aug 2007 08:40:45 +0000 (10:40 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Tue, 14 Aug 2007 08:40:45 +0000 (10:40 +0200)
commit442ade9dfe3e9ddf837174e548c8e248e9312c39
tree778e85a418abd06355401c4f840c91da4be82e94
parent852ab9d007807547a8a4ae456095e975dfe7a5c6
sem_attr.ads, [...] (Analyze_Attribute, case Value): For enumeration type, mark all literals as referenced.

2007-08-14  Robert Dewar  <dewar@adacore.com>
    Ed Schonberg  <schonberg@adacore.com>

* sem_attr.ads, sem_attr.adb (Analyze_Attribute, case Value): For
enumeration type, mark all literals as referenced.
(Eval_Attribute, case 'Image): If the argument is an enumeration
literal and names are available, constant-fold but mark nevertheless as
non-static.
Clean up function names.
(Name_Modifies_Prefix): Rename to Name_Implies_Lvalue_Prefix. Clarify
comment.
(Requires_Simple_Name_Prefix): Removed.

From-SVN: r127425
gcc/ada/sem_attr.adb
gcc/ada/sem_attr.ads