r191964 - in /trunk/gcc/ada: ChangeLog checks.a...
charlet@gcc.gnu.org
charlet@gcc.gnu.org
Tue Oct 2 08:37:00 GMT 2012
Author: charlet
Date: Tue Oct 2 08:37:54 2012
New Revision: 191964
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=191964
Log:
2012-10-02 Robert Dewar <dewar@adacore.com>
* checks.adb (Apply_Arithmetic_Overflow_Checked_Suppressed):
New name for Apply_Arithmetic_Overflow_Normal
(Apply_Arithmetic_Overflow_Minimized_Eliminated):
Add handling for conditional expressions
(Is_Signed_Integer_Arithmetic_Op): Now includes conditional
expressions (Minimize_Eliminate_Overflow_Checks): Handle
conditional expressions.
* checks.ads: Minor comment fixes.
* exp_ch4.adb (Expand_N_Case_Expression): Call
Apply_Arithmetic_Overflow_Check (Expand_N_Conditional_Expression):
Call Apply_Arithmetic_Overflow_Check
* s-bignum.adb (Normalize): Remove incorrect precondition.
* sem_res.adb (Resolve_Case_Expression): Set Do_Overflow_Check
flag (Resolve_Conditional_Expression): Set Do_Overflow_Check flag.
* sinfo.adb: Add Do_Overflow_Check for conditional expressions.
* sinfo.ads: Minor documentation updates.
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/checks.adb
trunk/gcc/ada/checks.ads
trunk/gcc/ada/exp_ch4.adb
trunk/gcc/ada/s-bignum.adb
trunk/gcc/ada/sem_res.adb
trunk/gcc/ada/sinfo.adb
trunk/gcc/ada/sinfo.ads
More information about the Gcc-cvs
mailing list