[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Wed, 22 Jun 2016 10:35:28 +0000 (12:35 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Wed, 22 Jun 2016 10:35:28 +0000 (12:35 +0200)
commit80007176a59e43c10d3c6db1f42804863771a0ce
tree1ba93e25b52de304d7303fe6d4182f918c9493e1
parent7ffbef99665102871af334c1e6d2c8f1e77fd6b7
[multiple changes]

2016-06-22  Hristian Kirtchev  <kirtchev@adacore.com>

* lib-xref-spark_specific.adb, checks.adb, sem_ch13.adb: Minor
reformatting.
* exp_ch7.adb: Minor typo fix.
* lib.ads (Get_Top_Level_Code_Unit): Add comment.

2016-06-22  Bob Duff  <duff@adacore.com>

* s-tassta.adb (Task_Wrapper): Fix handling of Fall_Back_Handler
wrt independent tasks.

2016-06-22  Ed Schonberg  <schonberg@adacore.com>

* sem_dim.adb (Analyze_Dimension): Propagate dimension for
explicit_dereference nodes when they do not come from source,
to handle correctly dimensional analysis on iterators over
containers whose elements have declared dimensions.

From-SVN: r237691
gcc/ada/ChangeLog
gcc/ada/checks.adb
gcc/ada/exp_ch7.adb
gcc/ada/lib-xref-spark_specific.adb
gcc/ada/lib.ads
gcc/ada/s-tassta.adb
gcc/ada/sem_ch13.adb
gcc/ada/sem_dim.adb