diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-02 14:44:24 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-02 14:44:24 +0200 |
| commit | aa1e353a7a34599e90bf9b62b3a463914e242a6c (patch) | |
| tree | 4fc1ecf4afd6bd62ddd97bdb5cc4cda7d0acd82b /gcc/ada/gcc-interface | |
| parent | 15b682ca9298dda6bc78a98ae4bba04dab2a9d26 (diff) | |
| download | gcc-aa1e353a7a34599e90bf9b62b3a463914e242a6c.zip gcc-aa1e353a7a34599e90bf9b62b3a463914e242a6c.tar.gz gcc-aa1e353a7a34599e90bf9b62b3a463914e242a6c.tar.bz2 | |
[multiple changes]
2011-08-02 Yannick Moy <moy@adacore.com>
* sem_ch3.adb (Analyze_Object_Declaration): issue an error in formal
mode on initialization expression which does not respect SPARK
restrictions.
* sem_util.adb, sem_util.ads (Is_SPARK_Initialization_Expr): determines
if the tree referenced by its argument represents an initialization
expression in SPARK, suitable for initializing an object in an object
declaration.
2011-08-02 Javier Miranda <miranda@adacore.com>
* exp_ch9.adb (Expand_Access_Protected_Subprogram_Type): Link the
internally generated access to subprogram with its associated protected
subprogram type.
* einfo.ads, einfo.adb (Original_Access_Type): New attribute.
From-SVN: r177139
Diffstat (limited to 'gcc/ada/gcc-interface')
0 files changed, 0 insertions, 0 deletions