projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 28bc332) | patch
[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Fri, 13 Jun 2014 09:40:19 +0000 (11:40 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Fri, 13 Jun 2014 09:40:19 +0000 (11:40 +0200)
commit7f2c8954dac84a3fa5cabcc726b5e7d1ddff1142
tree9392b6fe7a29491493d769638d43c961173996f0tree | snapshot
parent28bc33232d59072bc16ee35f5677820b455edfcdcommit | diff
[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
gcc/ada/ChangeLog diff | blob | history
gcc/ada/freeze.adb diff | blob | history
gcc/ada/sem_ch13.adb diff | blob | history
gcc/ada/sem_warn.adb diff | blob | history
Domain: System / Toolchain;