r191913 - in /trunk/gcc/ada: ChangeLog Make-gen...

[charlet@gcc.gnu.org]

Author: charlet
Date: Mon Oct  1 10:20:28 2012
New Revision: 191913

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=191913
Log:
2012-10-01  Robert Dewar  <dewar@adacore.com>

	* checks.adb (Minimize_Eliminate_Checks): Changes from testing.
	(Apply_Arithmetic_Overflow_Minimized_Eliminated): Changes
	from testing.
	* sinfo.ads: Remove note on not setting Entity field in overflow
	case since this is no longer true.
	* Makefile.rtl: Add s-bignum.o

2012-10-01  Thomas Quinot  <quinot@adacore.com>

	* Make-generated.in: Correction to previous change for s-oscons
	target.

2012-10-01  Thomas Quinot  <quinot@adacore.com>

	* s-bignum.adb (Allocate_Bignum): Reorganize to kill strict
	aliasing warning.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/Make-generated.in
    trunk/gcc/ada/Makefile.rtl
    trunk/gcc/ada/checks.adb
    trunk/gcc/ada/s-bignum.adb
    trunk/gcc/ada/sinfo.ads