diff options
| author | Robert Dewar <dewar@adacore.com> | 2012-10-02 08:37:54 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-10-02 10:37:54 +0200 |
| commit | 4b1c4f20d84963a47ed6c12ea564488c0b224655 (patch) | |
| tree | 9ee7a8d8942978c3fbfd7342cd658d7e849ae9d5 /gcc/tree-streamer-in.c | |
| parent | 2492305bcc43dbc13678f1d6113e76b735dba432 (diff) | |
| download | gcc-4b1c4f20d84963a47ed6c12ea564488c0b224655.zip gcc-4b1c4f20d84963a47ed6c12ea564488c0b224655.tar.gz gcc-4b1c4f20d84963a47ed6c12ea564488c0b224655.tar.bz2 | |
checks.adb (Apply_Arithmetic_Overflow_Checked_Suppressed): New name for Apply_Arithmetic_Overflow_Normal
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.
From-SVN: r191964
Diffstat (limited to 'gcc/tree-streamer-in.c')
0 files changed, 0 insertions, 0 deletions