diff options
| author | Robert Dewar <dewar@adacore.com> | 2014-01-20 15:49:09 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-01-20 16:49:09 +0100 |
| commit | 7dbd3de9e50f4c72619f1ab5dfcb77cbd8269a6d (patch) | |
| tree | c8c46af2f929af435dfa8c412687eb407790b1dd /gcc/ada/checks.adb | |
| parent | 061828e3c2ece9a7327081c4f8e0283587175ff7 (diff) | |
| download | gcc-7dbd3de9e50f4c72619f1ab5dfcb77cbd8269a6d.zip gcc-7dbd3de9e50f4c72619f1ab5dfcb77cbd8269a6d.tar.gz gcc-7dbd3de9e50f4c72619f1ab5dfcb77cbd8269a6d.tar.bz2 | |
gnat_rm.texi (Allow_Integer_Address): Remove note about not allowed if address is non-private, no longer true.
2014-01-20 Robert Dewar <dewar@adacore.com>
* gnat_rm.texi (Allow_Integer_Address): Remove note about not
allowed if address is non-private, no longer true.
* sem_prag.adb (Analyze_Pragma, case Allow_Integer_Address):
Remove check for address being private, causes difficulty when
pragma used in gnat.adc file and is not needed, since we guard
this in Address_Integer_Convert_OK.
* exp_ch7.adb: Minor reformatting.
* sem_ch4.adb: Handle operator operands in Allow_Integer_Address mode.
2014-01-20 Robert Dewar <dewar@adacore.com>
* checks.adb (Apply_Range_Check): Remove gnatprove special
casing of exponentiation.
* sem_res.adb (Resolve_Op_Expon): Apply range check to right
operand for integer case to check range against Natural.
From-SVN: r206833
Diffstat (limited to 'gcc/ada/checks.adb')
| -rw-r--r-- | gcc/ada/checks.adb | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/gcc/ada/checks.adb b/gcc/ada/checks.adb index 8b8fdd8..1e4cff8 100644 --- a/gcc/ada/checks.adb +++ b/gcc/ada/checks.adb @@ -2797,19 +2797,6 @@ package body Checks is return; end if; - -- Ensure that the exponent is a natural. The flag is set only in formal - -- verification mode as the expander takes care of this check and there - -- is no expansion phase in GNATprove_Mode. - - -- Doesn't seem right to do this unconditionally, we should check the - -- range of the exponent operand. If we do that, it seems like we should - -- then set the flag unconditionally and have the expander check the - -- flag to see whether to generate a check ??? - - if GNATprove_Mode and then Nkind (Expr) = N_Op_Expon then - Set_Do_Range_Check (Right_Opnd (Expr)); - end if; - Is_Unconstrained_Subscr_Ref := Is_Subscr_Ref and then not Is_Constrained (Arr_Typ); |