diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-05-22 12:20:00 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-05-22 12:20:00 +0200 |
| commit | c2cfccb1cf1ea317efe9f061394fd1586a0866df (patch) | |
| tree | 56e9beb87e75d39c77bfde50fff7feb56e5710de /gcc/tree-vect-loop.c | |
| parent | 30fc80cfa6546ffd5b3e5e1fe0679a8279476f4e (diff) | |
| download | gcc-c2cfccb1cf1ea317efe9f061394fd1586a0866df.zip gcc-c2cfccb1cf1ea317efe9f061394fd1586a0866df.tar.gz gcc-c2cfccb1cf1ea317efe9f061394fd1586a0866df.tar.bz2 | |
[multiple changes]
2015-05-22 Eric Botcazou <ebotcazou@adacore.com>
* sem_ch8.adb (Analyze_Object_Renaming): Copy
Has_Volatile_Full_Access from renamed to renaming entities.
* sem_prag.adb (Process_Atomic_Independent_Shared_Volatile):
Tidy up and remove redundant setting of Has_Volatile_Full_Access.
2015-05-22 Hristian Kirtchev <kirtchev@adacore.com>
* ghost.adb (Check_Ghost_Completion): Update references to SPARK
RM 6.9 rules.
(Check_Ghost_Policy): Update references to SPARK RM 6.9 rules.
* sem_ch3.adb (Analyze_Object_Declaration): Update references
to SPARK RM 6.9 rules.
(Check_Completion): Ghost entities do not require a special form of
completion.
* sem_ch6.adb (Analyze_Generic_Subprogram_Body): Update references
to SPARK RM 6.9 rules.
(Analyze_Subprogram_Body_Helper): Update references to SPARK RM 6.9
rules.
* sem_ch7.adb (Analyze_Package_Body_Helper): Update references
to SPARK RM 6.9 rules.
(Requires_Completion_In_Body): Ghost entities do not require a special
form of completion.
2015-05-22 Robert Dewar <dewar@adacore.com>
* a-csquin.ads: Use Ada 2012 notation.
* sem_ch8.adb: Minor reformatting.
2015-05-22 Hristian Kirtchev <kirtchev@adacore.com>
* sem_ch13.adb (Analyze_Aspect_Specifications): Aspect Import
acts as a completion.
From-SVN: r223534
Diffstat (limited to 'gcc/tree-vect-loop.c')
0 files changed, 0 insertions, 0 deletions