This is an automated email from the git hooks/post-receive script.

unknown user pushed a change to branch master in repository gcc.

from 1b9fde8 2016-06-14 Andre Vieira andre.simoesdiasvieira@arm.com new 7241a85 2016-06-14 Arnaud Charlet charlet@adacore.com new 29d958a 2016-06-14 Hristian Kirtchev kirtchev@adacore.com

The 2 revisions listed above as "new" are entirely new to this repository and will be described in separate emails. The revisions listed as "adds" were already present in the repository and have only been added to this reference.

Summary of changes: gcc/ada/ChangeLog | 79 ++++++++++ gcc/ada/checks.adb | 10 +- gcc/ada/exp_ch3.adb | 1 + gcc/ada/exp_ch4.adb | 284 +++++++++++++++++++----------------- gcc/ada/gnat1drv.adb | 50 +++---- gcc/ada/lib-xref-spark_specific.adb | 25 +++- gcc/ada/lib-xref.adb | 21 ++- gcc/ada/lib-xref.ads | 5 + gcc/ada/lib.adb | 63 ++++++-- gcc/ada/lib.ads | 10 +- gcc/ada/live.adb | 35 +++-- gcc/ada/live.ads | 12 +- gcc/ada/sem_ch12.adb | 8 +- gcc/ada/sem_ch5.adb | 14 ++ gcc/ada/sem_res.adb | 2 +- gcc/ada/sem_util.adb | 17 +++ gcc/ada/switch-c.adb | 27 +++- 17 files changed, 457 insertions(+), 206 deletions(-)