diff options
author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-01-31 16:56:44 +0100 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-01-31 16:56:44 +0100 |
commit | 31d922e39a06670353f2633232f6bb444c95cfc4 (patch) | |
tree | 3def43a0629d80c2f7ff9023f31cbf6d9f27ad75 /gcc/tree-inline.c | |
parent | 5b6f12c7bf5e8699aee3f4c04e68c59906668e50 (diff) | |
download | gcc-31d922e39a06670353f2633232f6bb444c95cfc4.zip gcc-31d922e39a06670353f2633232f6bb444c95cfc4.tar.gz gcc-31d922e39a06670353f2633232f6bb444c95cfc4.tar.bz2 |
[multiple changes]
2014-01-31 Yannick Moy <moy@adacore.com>
* erroutc.adb (Validate_Specific_Warnings): Remove special case for
GNATprove_Mode.
2014-01-31 Robert Dewar <dewar@adacore.com>
* prj-attr.ads (First_Attribute_Of): Returns Empty_Attribute
for Unknown_Package.
* sem_ch6.adb, sem_attr.adb: Minor comment addition.
2014-01-31 Hristian Kirtchev <kirtchev@adacore.com>
* exp_util.adb (Build_Allocate_Deallocate_Proc): Rewrite
the logic that generates a runtime check to determine the
controlled status of the object about to be allocated or
deallocated. Class-wide types now always use a runtime check
even if they appear as generic actuals.
(Find_Object): Detect
a special case that involves interface class-wide types because
the object appears as a complex expression.
From-SVN: r207356
Diffstat (limited to 'gcc/tree-inline.c')
0 files changed, 0 insertions, 0 deletions