diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-01-20 16:31:59 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-01-20 16:31:59 +0100 |
| commit | 818b578d1524f1aedf2c58ffe3b424023b2a79af (patch) | |
| tree | 2eca1267973fc5219cffbc8fa2bb68b823f62b6c /gcc/ada/switch-c.adb | |
| parent | c2e5400135b1da2b3a6afdfcad95aedfdaf364a0 (diff) | |
| download | gcc-818b578d1524f1aedf2c58ffe3b424023b2a79af.zip gcc-818b578d1524f1aedf2c58ffe3b424023b2a79af.tar.gz gcc-818b578d1524f1aedf2c58ffe3b424023b2a79af.tar.bz2 | |
[multiple changes]
2014-01-20 Robert Dewar <dewar@adacore.com>
* gnat1drv.adb: Set Allow_Integer_Address in relaxed semantics mode.
* gnat_rm.texi: Document pragma Allow_Integer_Address.
* gnat_ugn.texi: Document pragma Allow_Integer_Address, -gnates.
* opt.ads: New flag Allow_Integer_Address.
* par-prag.adb: Dummy entry for pragma Allow_Integer_Address.
* sem_ch5.adb: Minor reformatting.
* sem_prag.adb: Implement pragma Allow_Integer_Address.
* sem_res.adb (Resolve): Allow integer address value if
switch set.
* sem_util.adb: Minor reformatting.
* snames.ads-tmpl: Add entry for pragma Allow_Integer_Address.
* switch-c.adb: Recognize flag -gnates.
* usage.adb: Document flag -gnates.
2014-01-20 Thomas Quinot <quinot@adacore.com>
* s-tadeca.adb: Fix minor typos in comment.
From-SVN: r206825
Diffstat (limited to 'gcc/ada/switch-c.adb')
| -rw-r--r-- | gcc/ada/switch-c.adb | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/gcc/ada/switch-c.adb b/gcc/ada/switch-c.adb index 0d80f44..369d0a6 100644 --- a/gcc/ada/switch-c.adb +++ b/gcc/ada/switch-c.adb @@ -660,6 +660,15 @@ package body Switch.C is when 'P' => Treat_Categorization_Errors_As_Warnings := True; + -- -gnates (allow integer expression for System.Address) + + -- Note: there is no VMS equivalent for this switch, since + -- in VMS, System.Address is an integer type in any case. + + when 's' => + Allow_Integer_Address := True; + Ptr := Ptr + 1; + -- -gnateS (generate SCO information) -- Include Source Coverage Obligation information in ALI |