diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-02-25 16:18:38 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-02-25 16:18:38 +0100 |
| commit | 4c51ff88f2748e7f59d69d2b99c6749f4ec308c7 (patch) | |
| tree | a81062ae0baf3aa2bb0c6da8826d7061c88ae465 /gcc/ada/checks.adb | |
| parent | 0355e3ebbe09450408118b4651a9545da577eeee (diff) | |
| download | gcc-4c51ff88f2748e7f59d69d2b99c6749f4ec308c7.zip gcc-4c51ff88f2748e7f59d69d2b99c6749f4ec308c7.tar.gz gcc-4c51ff88f2748e7f59d69d2b99c6749f4ec308c7.tar.bz2 | |
[multiple changes]
2014-02-25 Robert Dewar <dewar@adacore.com>
* einfo.ads, einfo.adb (Has_Shift_Operator): New flag.
* gnat_rm.texi: Document pragma Provide_Shift_Operators.
* interfac.ads: Minor code reorganization (add pragma
Compiler_Unit_Warning).
* par-prag.adb: Add dummy entry for Provide_Shift_Operators.
* sem_ch3.adb (Build_Derived_Numeric_Type): Copy
Has_Shift_Operator flag.
* sem_intr.adb (Check_Intrinsic_Subprogram): Make sure
Check_Shift is always called (Check_Shift): Set Has_Shift_Operator.
* sem_prag.adb: Implement pragma Provide_Shift_Operators.
* snames.ads-tmpl: Add entries for pragma Provide_Shift_Operators
Add entry for Name_Amount.
* checks.adb (Selected_Range_Checks): When checking for a null
range, make sure we use the base type, and not the subtype for
deciding a range is null.
* sem_ch5.adb (Analyze_Loop_Parameter_Specification): Check
for suspicious loop bound which is outside the range of the
loop subtype.
* gnat_ugn.texi: Add documentation section "Determining the
Chosen Elaboration Order"
* sem_ch13.adb (UC_Entry): Add field Act_Unit
(Validate_Unchecked_Conversion): Store Act_Unit
(Validate_Unchecked_Conversions): Test Warnings_Off in Act_Unit
* treepr.adb: Minor reformatting.
2014-02-25 Arnaud Charlet <charlet@adacore.com>
* usage.adb: Minor: fix typo.
From-SVN: r208138
Diffstat (limited to 'gcc/ada/checks.adb')
| -rw-r--r-- | gcc/ada/checks.adb | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/gcc/ada/checks.adb b/gcc/ada/checks.adb index ad4b5b7..75be5b2 100644 --- a/gcc/ada/checks.adb +++ b/gcc/ada/checks.adb @@ -9157,8 +9157,12 @@ package body Checks is Make_And_Then (Loc, Left_Opnd => Make_Op_Ge (Loc, - Left_Opnd => Duplicate_Subexpr_No_Checks (HB), - Right_Opnd => Duplicate_Subexpr_No_Checks (LB)), + Left_Opnd => + Convert_To (Base_Type (Etype (HB)), + Duplicate_Subexpr_No_Checks (HB)), + Right_Opnd => + Convert_To (Base_Type (Etype (LB)), + Duplicate_Subexpr_No_Checks (LB))), Right_Opnd => Cond); end; end if; |