r135616 - /trunk/gcc/ada/checks.adb

[charlet@gcc.gnu.org]

Author: charlet
Date: Tue May 20 12:44:23 2008
New Revision: 135616

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=135616
Log:
2008-05-20  Robert Dewar  <dewar@adacore.com>
	    Gary Dismukes  <dismukes@adacore.com>

	* checks.adb (Apply_Arithmetic_Overflow_Check): Avoid intermediate
	overflow if result converted to wider integer type.
	(Apply_Type_Conversion_Checks): Don't emit checks on conversions to
	discriminated types when discriminant checks are suppressed.


Modified:
    trunk/gcc/ada/checks.adb