r192070 - in /trunk/gcc/ada: ChangeLog checks.a...

[charlet@gcc.gnu.org]

Author: charlet
Date: Thu Oct  4 09:10:08 2012
New Revision: 192070

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

	* checks.adb (Minimize_Eliminate_Overflow_Checks): Dont reanalyze
	if/case expression if nothing has changed (just reexpand). Stops
	case expression from generating incorrect temporary.
	* exp_ch4.adb (Expand_Compare_Minimize_Eliminate_Overflow):
	Fix cut and paste typo for range analysis in NE (not equal) case.
	* sem_eval.adb (Compile_Time_Compare): Small optimization to
	catch some more cases.
	* types.ads (Suppressed_Or_Checked): New subtype of
	Overflow_Check_Type.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/checks.adb
    trunk/gcc/ada/exp_ch4.adb
    trunk/gcc/ada/sem_eval.adb
    trunk/gcc/ada/types.ads