diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-01-21 17:22:17 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-01-21 17:22:17 +0100 |
| commit | fb1fdf7d6bbcb4728c13d14987acfa97b1cda03d (patch) | |
| tree | 8e1e1ceab8a196ae569b6159a72727a0e4c3b46e /libgcc | |
| parent | 84f80f5bf11215999e2e5461bcdd8a2adae2c127 (diff) | |
| download | gcc-fb1fdf7d6bbcb4728c13d14987acfa97b1cda03d.zip gcc-fb1fdf7d6bbcb4728c13d14987acfa97b1cda03d.tar.gz gcc-fb1fdf7d6bbcb4728c13d14987acfa97b1cda03d.tar.bz2 | |
[multiple changes]
2014-01-21 Thomas Quinot <quinot@adacore.com>
* exp_pakd.adb: Update comment, minor reformatting.
2014-01-21 Hristian Kirtchev <kirtchev@adacore.com>
* sem_ch3.adb (Analyze_Variable_Contract): Trigger the volatile
object check when SPARK_Mode is on.
* sem_ch6.adb (Process_Formals): Trigger the volatile object
check when SPARK_Mode is on.
* sem_ch12.adb (Instantiate_Object): Trigger the volatile object
check when SPARK_Mode is on.
* sem_ch13.adb (Analyze_Aspect_Specifications): Insert the
corresponding pragma of aspect SPARK_Mode in the visible
declarations of a package declaration.
* sem_prag.adb (Analyze_Pragma): Trigger the volatile object
check when SPARK_Mode is on.
* sem_res.adb (Resolve_Actuals): Trigger the volatile object
check when SPARK_Mode is on.
(Resolve_Entity_Name): Trigger
the volatile object check when SPARK_Mode is on.
2014-01-21 Robert Dewar <dewar@adacore.com>
* a-except-2005.adb: Minor reformatting
From-SVN: r206888
Diffstat (limited to 'libgcc')
0 files changed, 0 insertions, 0 deletions