diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-07-30 12:39:31 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-07-30 12:39:31 +0200 |
| commit | 4e6768ab35cfedef2d35a51ba06857d6631c3715 (patch) | |
| tree | dc6949adfd51559094b0e258bf22172641294b2f /gcc/ada/lib-xref.adb | |
| parent | b6c8e5bee712ecde910e0495e46f5216a7c9a60a (diff) | |
| download | gcc-4e6768ab35cfedef2d35a51ba06857d6631c3715.zip gcc-4e6768ab35cfedef2d35a51ba06857d6631c3715.tar.gz gcc-4e6768ab35cfedef2d35a51ba06857d6631c3715.tar.bz2 | |
[multiple changes]
2014-07-30 Hristian Kirtchev <kirtchev@adacore.com>
* aspects.ads Add a comment explaining why SPARK 2014 aspects are
not delayed. Update the delay status of most SPARK 2014 aspects.
* sem_ch13.adb (Analyze_Aspect_Specifications): Update all calls
to Decorate_Aspect_And_Pragma and Insert_Delayed_Pragma to refert
to Decorate and Insert_Pragma. Add various comments concerning
the delay status of several SPARK 2014 aspects. The insertion
of Refined_State now uses routine Insert_After_SPARK_Mode.
(Decorate): New routine.
(Decorate_Aspect_And_Pragma): Removed.
(Insert_Delayed_Pragma): Removed.
(Insert_Pragma): New routine.
2014-07-30 Ed Schonberg <schonberg@adacore.com>
* inline.adb (Expand_Inlined_Call): In GNATprove mode, emit
only a warning, not an error on an attempt to inline a recursive
subprogram.
From-SVN: r213243
Diffstat (limited to 'gcc/ada/lib-xref.adb')
0 files changed, 0 insertions, 0 deletions