]> git.ipfire.org Git - thirdparty/gcc.git/commit
[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Sun, 13 Oct 2013 16:37:01 +0000 (18:37 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Sun, 13 Oct 2013 16:37:01 +0000 (18:37 +0200)
commitd67f5bbb91c2919672cf9dade30312fc331ffbb3
tree5c34015388e79b465b591f2d12ac6bf6b092e141
parentff7a7e12be85d18d68c1919346f267d5da7d0d61
[multiple changes]

2013-10-13  Hristian Kirtchev  <kirtchev@adacore.com>

* sem_prag.adb (Check_Mode): Do
not emit an error when we are looking at inputs and
the item is an unconstrained or tagged out parameter.
(Check_Mode_Restriction_In_Enclosing_Context): Use Get_Pragma
to find whether the context is subject to aspect/pragma Global.
(Collect_Subprogram_Inputs_Outputs): Unconstrained or tagged
out parameters are now considered inputs. Use Get_Pragma to
find wheher the subprogram is subject to aspect/pragma Global.
(Is_Unconstrained_Or_Tagged_Item): New routine.

2013-10-13  Thomas Quinot  <quinot@adacore.com>

* einfo.ads: Minor reformatting.
* gcc-interface/Make-lang.in: Update dependencies.

From-SVN: r203506
gcc/ada/ChangeLog
gcc/ada/einfo.ads
gcc/ada/gcc-interface/Make-lang.in
gcc/ada/sem_prag.adb