diff options
| author | Hristian Kirtchev <kirtchev@adacore.com> | 2013-09-10 14:43:06 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-09-10 16:43:06 +0200 |
| commit | a98838ff82af79fcb85e2b7eafa029267a91cd1f (patch) | |
| tree | 28fba3b9d88978185757af88a48b88c326736655 /gcc/ada/adaint.c | |
| parent | c9b1c957b1de8d3f3754b4069ad17bae9d182943 (diff) | |
| download | gcc-a98838ff82af79fcb85e2b7eafa029267a91cd1f.zip gcc-a98838ff82af79fcb85e2b7eafa029267a91cd1f.tar.gz gcc-a98838ff82af79fcb85e2b7eafa029267a91cd1f.tar.bz2 | |
sem_prag.adb (Get_SPARK_Mode_Id): Handle the case where the pragma may appear without an argument.
2013-09-10 Hristian Kirtchev <kirtchev@adacore.com>
* sem_prag.adb (Get_SPARK_Mode_Id): Handle the
case where the pragma may appear without an argument.
(Analyze_Global_List): Add expanded_name to the list of constructs
that denote a single item.
(Collect_Global_List): Add expanded_name to the list of constructs
that denote a single item.
2013-09-10 Hristian Kirtchev <kirtchev@adacore.com>
* exp_ch4.adb (Apply_Accessibility_Check): Add local constant
Pool_Id and local variables Fin_Call and Free_Stmt. Finalize
and deallocate a heap-allocated class-wide object after it
has been determined that it violates the accessibility rules.
* rtsfind.ads: Add new RTU_Id for System.Memory. Add new RE_Id
and entry in RE_Unit_Table for RE_Free.
From-SVN: r202451
Diffstat (limited to 'gcc/ada/adaint.c')
0 files changed, 0 insertions, 0 deletions