diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-05-02 10:57:44 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-05-02 10:57:44 +0200 |
| commit | a6354842df32417f55a9635e98f7e00bd412e13a (patch) | |
| tree | 5a69566d8d4c6344cb126c05daa04be0c33e4494 /gcc/ada/sem_eval.adb | |
| parent | 97ac2d62fa6fc002ff9f7ddee620e2bdaaa1cde8 (diff) | |
| download | gcc-a6354842df32417f55a9635e98f7e00bd412e13a.zip gcc-a6354842df32417f55a9635e98f7e00bd412e13a.tar.gz gcc-a6354842df32417f55a9635e98f7e00bd412e13a.tar.bz2 | |
[multiple changes]
2017-05-02 Hristian Kirtchev <kirtchev@adacore.com>
* sem_ch6.adb (Analyze_Null_Procedure): Revert previous change.
2017-05-02 Justin Squirek <squirek@adacore.com>
* sem_ch4.adb (Analyze_Case_Expression): Add check for valid
expression (Analyze_If_Expression): Add check for valid condition
* sem_eval.adb (Eval_Case_Expression): Add check for error posted
on case-expression
* sem_res.adb (Resolve_If_Expression): Add check for valid
condition and then-expression.
From-SVN: r247477
Diffstat (limited to 'gcc/ada/sem_eval.adb')
| -rw-r--r-- | gcc/ada/sem_eval.adb | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gcc/ada/sem_eval.adb b/gcc/ada/sem_eval.adb index c9f296a..5a40ed9 100644 --- a/gcc/ada/sem_eval.adb +++ b/gcc/ada/sem_eval.adb @@ -2158,7 +2158,9 @@ package body Sem_Eval is begin Set_Is_Static_Expression (N, False); - if not Is_Static_Expression (Expression (N)) then + if Error_Posted (Expression (N)) + or else not Is_Static_Expression (Expression (N)) + then Check_Non_Static_Context (Expression (N)); return; end if; |