diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-10-29 10:55:29 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-10-29 10:55:29 +0100 |
| commit | f66369942fcc7a0c39398541e17a82fba7e0518e (patch) | |
| tree | 35075f04a4eff3f855363e9e27266e1278710f45 /gcc/ada/checks.adb | |
| parent | e63f29e814a7b2d9e4dbac86a8a3780f1bd50f80 (diff) | |
| download | gcc-f66369942fcc7a0c39398541e17a82fba7e0518e.zip gcc-f66369942fcc7a0c39398541e17a82fba7e0518e.tar.gz gcc-f66369942fcc7a0c39398541e17a82fba7e0518e.tar.bz2 | |
[multiple changes]
2012-10-29 Yannick Moy <moy@adacore.com>
* checks.adb (Apply_Arithmetic_Overflow_Minimized_Eliminated):
Add special case for case expression alternative.
(Is_Signed_Integer_Arithmetic_Op): Remove special case for case
expression alternative.
* exp_ch4.adb Minor reformatting.
2012-10-29 Thomas Quinot <quinot@adacore.com>
* sem_elab.adb: Minor reformatting.
2012-10-29 Bob Duff <duff@adacore.com>
* sem_res.adb: Minor: Remove redundant test.
From-SVN: r192914
Diffstat (limited to 'gcc/ada/checks.adb')
| -rw-r--r-- | gcc/ada/checks.adb | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/gcc/ada/checks.adb b/gcc/ada/checks.adb index 061f979..406d292f 100644 --- a/gcc/ada/checks.adb +++ b/gcc/ada/checks.adb @@ -1108,7 +1108,11 @@ package body Checks is or else Nkind (P) in N_Membership_Test or else Nkind (P) in N_Op_Compare - -- We may also be a range operand in a membership test + -- This is also true for an alternative in a case expression + + or else Nkind (P) = N_Case_Expression_Alternative + + -- This is also true for a range operand in a membership test or else (Nkind (P) = N_Range and then Nkind (Parent (P)) in N_Membership_Test) @@ -6268,9 +6272,6 @@ package body Checks is when N_If_Expression | N_Case_Expression => return Is_Signed_Integer_Type (Etype (N)); - when N_Case_Expression_Alternative => - return Is_Signed_Integer_Type (Etype (Parent (N))); - when others => return False; end case; |