[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Mon, 20 Jan 2014 15:37:46 +0000 (16:37 +0100)
committerArnaud Charlet <charlet@gcc.gnu.org>
Mon, 20 Jan 2014 15:37:46 +0000 (16:37 +0100)
commit3b4598a761a9eb685e5a5013416f6c4f790ec6aa
tree6536e9de95740742ea7e8b279bffc642dfa6e0fc
parent4058ddccde8eaf26b69891ae873016972c87a24b
[multiple changes]

2014-01-20  Bob Duff  <duff@adacore.com>

* exp_intr.adb (Expand_Unc_Deallocation): Remove warning on abort
followed by free.

2014-01-20  Ed Schonberg  <schonberg@adacore.com>

* checks.adb (Apply_Address_Clause_Check): If there is an
alignment check on the expression in an address clause, and there
is no local exception propagation, add an additional explanatory
message to clarify the cause of previous warning.

From-SVN: r206828
gcc/ada/ChangeLog
gcc/ada/checks.adb
gcc/ada/exp_intr.adb