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/lib-xref.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/lib-xref.adb')
0 files changed, 0 insertions, 0 deletions