diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-04-22 12:52:55 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-04-22 12:52:55 +0200 |
| commit | 807b4ca20242c2fb813218ac9361e5e9a8aac6b5 (patch) | |
| tree | e8fcd7a4ca8a7847c965e0dce84d007545751346 /gcc/config.gcc | |
| parent | b2c3b5375fb4f3e5ede60e3edf4e11b60b29dc5a (diff) | |
| download | gcc-807b4ca20242c2fb813218ac9361e5e9a8aac6b5.zip gcc-807b4ca20242c2fb813218ac9361e5e9a8aac6b5.tar.gz gcc-807b4ca20242c2fb813218ac9361e5e9a8aac6b5.tar.bz2 | |
[multiple changes]
2013-04-22 Hristian Kirtchev <kirtchev@adacore.com>
* sem_prag.adb (Analyze_Contract_Case): New routine.
(Analyze_Pragma): Aspect/pragma Contract_Cases can
now be associated with a library level subprogram.
Add circuitry to detect illegal uses of aspect/pragma Contract_Cases
in a subprogram body.
(Chain_Contract_Cases): Rename formal parameter Subp_Decl to
Subp_Id. Remove local constant Subp. The entity of the subprogram
is now obtained via the formal paramter.
2013-04-22 Ed Schonberg <schonberg@adacore.com>
* sem_ch3.adb (Analyze_Object_Declaration): Do not set
Is_Constr_Subt_For_Unc_Aliased on the subtype of the expression,
if the expression is a source entity.
From-SVN: r198134
Diffstat (limited to 'gcc/config.gcc')
0 files changed, 0 insertions, 0 deletions