[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Tue, 23 Apr 2013 09:06:42 +0000 (11:06 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Tue, 23 Apr 2013 09:06:42 +0000 (11:06 +0200)
commitcae64f1110a0f084dff19e7d2ded0d1ab1eb8ace
tree9e1f925e7ff7c7ca3cfef2696f7f506eb198c68d
parent08c52234765066a487d3341f0f4797dbcff83bfd
[multiple changes]

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

* sem_prag.adb (Analyze_Dependency_Clause): Update all calls to
Analyze_Input_Output.
(Analyze_Input_List): Update all calls to Analyze_Input_Output.
(Analyze_Input_Output): Add formal parameter Self_Ref along with
comment on its usage. Update all calls to Analyze_Input_Output.
(Analyze_Pragma): Add new local variable Self_Ref to capture
the presence of a self-referential dependency clause. Update
all calls to Analyze_Input_Output.
(Check_Mode): Add formal parameter Self_Ref along with comment on its
usage. Verify the legality of a self-referential output.

2013-04-23  Ed Schonberg  <schonberg@adacore.com>

* exp_ch6.adb: Add predicate checks on by-copy parameter.

2013-04-23  Vincent Celier  <celier@adacore.com>

* a-envvar.adb, a-envvar.ads (Value): New.

From-SVN: r198177
gcc/ada/ChangeLog
gcc/ada/a-envvar.adb
gcc/ada/a-envvar.ads
gcc/ada/exp_ch6.adb
gcc/ada/sem_prag.adb