diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-08-01 15:28:35 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-08-01 15:28:35 +0200 |
| commit | 4b259b2d0605d3da3357b46a35bd7ec92b1aaee1 (patch) | |
| tree | cdf8ec1f9468fa7640be395895350c0363b5326d /gcc/ada/sem_eval.ads | |
| parent | 12c5f1efb5d038d8638f517b8d73970573fbdaee (diff) | |
| download | gcc-4b259b2d0605d3da3357b46a35bd7ec92b1aaee1.zip gcc-4b259b2d0605d3da3357b46a35bd7ec92b1aaee1.tar.gz gcc-4b259b2d0605d3da3357b46a35bd7ec92b1aaee1.tar.bz2 | |
[multiple changes]
2014-08-01 Vincent Celier <celier@adacore.com>
* debug.adb: Minor documentation addition for -dn switch.
2014-08-01 Robert Dewar <dewar@adacore.com>
* sem_aggr.adb, exp_ch9.adb, sem_prag.adb, sem_util.adb,
sem_attr.adb, sem_eval.ads, sem_cat.adb, sem_ch13.adb: Improve
documentation of Is_Static_Expression vs Is_OK_Static_Expression.
In several places, use the Is_OK version as suggested by the spec.
2014-08-01 Vincent Celier <celier@adacore.com>
* gnatcmd.adb: Revert last change which was not correct.
2014-08-01 Hristian Kirtchev <kirtchev@adacore.com>
* freeze.adb (Find_Constant): Ensure that the constant being
inspected is still an object declaration (i.e. not a renaming).
From-SVN: r213458
Diffstat (limited to 'gcc/ada/sem_eval.ads')
| -rw-r--r-- | gcc/ada/sem_eval.ads | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/gcc/ada/sem_eval.ads b/gcc/ada/sem_eval.ads index 64d2529..72d0c99 100644 --- a/gcc/ada/sem_eval.ads +++ b/gcc/ada/sem_eval.ads @@ -52,7 +52,12 @@ package Sem_Eval is -- Is_Static_Expression -- This flag is set on any expression that is static according to the - -- rules in (RM 4.9(3-32)). + -- rules in (RM 4.9(3-32)). This flag should be tested during testing + -- of legality of parts of a larger static expression. For all other + -- contexts that require static expressions, use the separate predicate + -- Is_OK_Static_Expression, since an expression that meets the RM 4.9 + -- requirements, but raises a constraint error when evaluated in a non- + -- static context does not meet the legality requirements. -- Raises_Constraint_Error |