[Ada] Support pragma Allow_Integer_Address on 64-bit targets
authorEric Botcazou <ebotcazou@adacore.com>
Wed, 15 Jan 2020 10:03:14 +0000 (11:03 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 3 Jun 2020 10:01:44 +0000 (06:01 -0400)
commit415c22da949f15a18c914588e4796b218ccf0db5
treeead43615ea5ed4a07a31358f5df8414efbca6781
parent30c6e576a32bfa132fd57434a80b35b712f05458
[Ada] Support pragma Allow_Integer_Address on 64-bit targets

2020-06-03  Eric Botcazou  <ebotcazou@adacore.com>

gcc/ada/

* opt.ads (Allow_Integer_Address): Fix typo in comment.
* stand.ads (Standard_Address): New entity.
* cstand.adb (Create_Standard): Create it.
* sem_ch4.adb (Operator_Check): Convert the operands of an
operation with addresses and integers to Standard_Address
if pragma Allow_Integer_Address is in effect.
gcc/ada/cstand.adb
gcc/ada/opt.ads
gcc/ada/sem_ch4.adb
gcc/ada/stand.ads