diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-01-06 12:10:13 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-01-06 12:10:13 +0100 |
| commit | d9c59db4554b9fe827e2f262eafdd789b686a944 (patch) | |
| tree | 15fa1871fd9ce2ae63b248d5890875bd40df590f /gcc/predict.c | |
| parent | f68d33443ec67d0b0c2a28f04f3c90b28d22b5d4 (diff) | |
| download | gcc-d9c59db4554b9fe827e2f262eafdd789b686a944.zip gcc-d9c59db4554b9fe827e2f262eafdd789b686a944.tar.gz gcc-d9c59db4554b9fe827e2f262eafdd789b686a944.tar.bz2 | |
[multiple changes]
2017-01-06 Ed Schonberg <schonberg@adacore.com>
* sem_eval.adb (Check_Expression_Against_Static_Predicate):
If expression is compile-time known and obeys a static predicate
it must be labelled as static, to prevent spurious warnings and
run-time errors, e.g. in case statements. This is relevant when
the expression is the result of constant-folding a type conversion
whose expression is a variable with a known static value.
2017-01-06 Hristian Kirtchev <kirtchev@adacore.com>
* exp_attr.adb, sem_attr.ads: Minor reformatting.
From-SVN: r244135
Diffstat (limited to 'gcc/predict.c')
0 files changed, 0 insertions, 0 deletions