diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-06-13 11:40:19 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-06-13 11:40:19 +0200 |
| commit | 7f2c8954dac84a3fa5cabcc726b5e7d1ddff1142 (patch) | |
| tree | 9392b6fe7a29491493d769638d43c961173996f0 /gcc/ada/adaint.c | |
| parent | 28bc33232d59072bc16ee35f5677820b455edfcd (diff) | |
| download | gcc-7f2c8954dac84a3fa5cabcc726b5e7d1ddff1142.zip gcc-7f2c8954dac84a3fa5cabcc726b5e7d1ddff1142.tar.gz gcc-7f2c8954dac84a3fa5cabcc726b5e7d1ddff1142.tar.bz2 | |
[multiple changes]
2014-06-13 Yannick Moy <moy@adacore.com>
* sem_warn.adb (Check_Unset_References): Take
case of Refined_Post into account in Within_Postcondition check.
2014-06-13 Hristian Kirtchev <kirtchev@adacore.com>
* freeze.adb (Freeze_Record_Type): Volatile types are not allowed in
SPARK.
2014-06-13 Yannick Moy <moy@adacore.com>
* sem_ch13.adb (Analyze_Aspect_Specifications/Aspect_Import,
Aspect_Export): Consider that variables may be set outside the program.
From-SVN: r211611
Diffstat (limited to 'gcc/ada/adaint.c')
0 files changed, 0 insertions, 0 deletions