diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-01-20 16:51:54 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-01-20 16:51:54 +0100 |
| commit | 58827738dba7c0e8be4ca2a1d0dc2e20dc660b6d (patch) | |
| tree | 2d58983b6c54ed0d1bc1a4d0f1f4dd0b6a8ba554 /gcc/ada/lib-xref.adb | |
| parent | 9559eccf365a3bc6741ad2bad2916973fb41fbe6 (diff) | |
| download | gcc-58827738dba7c0e8be4ca2a1d0dc2e20dc660b6d.zip gcc-58827738dba7c0e8be4ca2a1d0dc2e20dc660b6d.tar.gz gcc-58827738dba7c0e8be4ca2a1d0dc2e20dc660b6d.tar.bz2 | |
[multiple changes]
2014-01-20 Hristian Kirtchev <kirtchev@adacore.com>
* sem_prag.adb (Analyze_Pragma): Ensure that
the sole argument of pragmas Abstract_State, Contract_Cases,
Depends, Global and Initializes in in aggregate form.
(Analyze_Refined_Pragma): Ensure that the sole argument of
pragmas Refined_Depends, Refined_Global and Refined_State is in
aggregate form.
(Ensure_Aggregate_Form): New routine.
2014-01-20 Doug Rupp <rupp@adacore.com>
* sem_attr.adb (Analyze_Attribute): case
Attribute_Constrained => treat all prefixes as legal for Declib
compatibility.
From-SVN: r206836
Diffstat (limited to 'gcc/ada/lib-xref.adb')
0 files changed, 0 insertions, 0 deletions