[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Thu, 11 Apr 2013 12:33:22 +0000 (14:33 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Thu, 11 Apr 2013 12:33:22 +0000 (14:33 +0200)
commitfe96ecb94ac3a81499d804d428d275284e676027
tree5aa7f395f252e3b9883e6e1455e0a7338497bdc0
parent8bfbd380f2c411f1b264fa234b3beb9cde53752b
[multiple changes]

2013-04-11  Robert Dewar  <dewar@adacore.com>

* a-cdlili.adb: Minor addition of pragma Warnings (Off).

2013-04-11  Robert Dewar  <dewar@adacore.com>

* hostparm.ads: Minor reformatting.

2013-04-11  Hristian Kirtchev  <kirtchev@adacore.com>

* aspects.ads, aspects.adb: Add Aspect_Depends to all the relevant
tables.
* elists.ads, elists.adb (Contains): New routine.
* par-prag.adb: Pragma Depends does not need any special treatment
by the parser.
* sem_ch13.adb (Analyze_Aspect_Specifications):
Transform aspect Depends into a corresponding pragma.
(Check_Aspect_At_Freeze_Point): Aspect Depends does not need
inspection at its freeze point.
* sem_prag.adb (Analyze_Pragma): Perform analysis and
normalization of pragma Depends. Remove the use of function
Is_Duplicate_Item. Use End_Scope to uninstalle the formal
parameters of a subprogram. Add a value for pragma Depends in
table Sig_Flags.
(Is_Duplicate_Item): Removed.
* snames.ads-tmpl: Add predefined name for Depends as well as
a pragma identifier.

From-SVN: r197774
gcc/ada/ChangeLog
gcc/ada/a-cdlili.adb
gcc/ada/aspects.adb
gcc/ada/aspects.ads
gcc/ada/elists.adb
gcc/ada/elists.ads
gcc/ada/hostparm.ads
gcc/ada/par-prag.adb
gcc/ada/sem_ch13.adb
gcc/ada/sem_prag.adb
gcc/ada/snames.ads-tmpl