diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-01-20 15:49:09 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-01-20 15:49:09 +0000 |
| commit | de38f22670455a6cb1b4fe9a758ebf39ba899b83 (patch) | |
| tree | c8c46af2f929af435dfa8c412687eb407790b1dd /libstdc++-v3 | |
| parent | 596336afbb593298e22110c215c31174139f1685 (diff) | |
| download | ppe42-gcc-de38f22670455a6cb1b4fe9a758ebf39ba899b83.tar.gz ppe42-gcc-de38f22670455a6cb1b4fe9a758ebf39ba899b83.zip | |
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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@206833 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'libstdc++-v3')
0 files changed, 0 insertions, 0 deletions
