[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Fri, 13 Nov 2015 11:28:27 +0000 (12:28 +0100)
committerArnaud Charlet <charlet@gcc.gnu.org>
Fri, 13 Nov 2015 11:28:27 +0000 (12:28 +0100)
commitb8c9f7afb7965379109982bffeaf647b7a8c4a47
tree0a27b82784988f776338e7130979657280e83f4b
parent4e9ee5951c4be406f440245583ee8770a5807e2a
[multiple changes]

2015-11-13  Eric Botcazou  <ebotcazou@adacore.com>

* init.c [Darwin/arm64]: Move __gnat_sigtramp implementation to...
(__gnat_map_signal): New function.
(__gnat_error_handler):
Adjust the context and call above function.
* sigtramp-armios.c: ...here.  New file.

2015-11-13  Arnaud Charlet  <charlet@adacore.com>

* bcheck.adb (Check_Consistent_Restrictions): Do not check
consistency of No_Dependence for runtime units.

2015-11-13  Tristan Gingold  <gingold@adacore.com>

* s-rident.ads (Restriction_Id): Add Pure_Barriers.
* restrict.ads (Implementation_Restriction): Add Pure_Barriers.
* exp_ch9.adb (Expand_Entry_Barrier): Create
Is_Simple_Barrier_Name function, add Is_Pure_Barrier and
Check_Pure_Barriers.

2015-11-13  Ed Schonberg  <schonberg@adacore.com>

* sem_util.adb (Get_Cursor_Type): To determine whether a function
First is the proper Iterable primitive, use the base type of the
first formal rather than the type. This is needed in the unusual
case where the Iterable aspect is specified for an integer type.

From-SVN: r230305
gcc/ada/ChangeLog
gcc/ada/bcheck.adb
gcc/ada/exp_ch9.adb
gcc/ada/init.c
gcc/ada/restrict.ads
gcc/ada/s-rident.ads
gcc/ada/sem_util.adb
gcc/ada/sigtramp-armios.c [new file with mode: 0644]