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/usage.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/usage.adb')
| -rw-r--r-- | gcc/ada/usage.adb | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gcc/ada/usage.adb b/gcc/ada/usage.adb index 3f566f4..f7be313 100644 --- a/gcc/ada/usage.adb +++ b/gcc/ada/usage.adb @@ -236,6 +236,11 @@ begin Write_Switch_Char ("eP"); Write_Line ("Pure/Prelaborate errors generate warnings rather than errors"); + -- Line fofr -gnates switch + + Write_Switch_Char ("es"); + Write_Line ("Allow integer expression for System.Address value"); + -- Line for -gnateS switch Write_Switch_Char ("eS"); |