diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-01-21 08:52:22 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-01-21 08:52:22 +0100 |
| commit | 5f0c4d67184452807f37ee04a2edd95967c5e26c (patch) | |
| tree | 0e3ea3604b746a28e983ff9bd875059f674f1873 /gcc/ada/usage.adb | |
| parent | 4bcf68150f3205da124e9ea303444ebbcb22c151 (diff) | |
| download | gcc-5f0c4d67184452807f37ee04a2edd95967c5e26c.zip gcc-5f0c4d67184452807f37ee04a2edd95967c5e26c.tar.gz gcc-5f0c4d67184452807f37ee04a2edd95967c5e26c.tar.bz2 | |
[multiple changes]
2014-01-21 Thomas Quinot <quinot@adacore.com>
* atree.adb, atree.ads (Num_Extension_Nodes): Switch to Node_Id, since
this is value is used in Node_Id arithmetic operations.
(Copy_Node, Exchange_Entities): Use loops indexed by Num_Extension_Nodes
instead of hard-coded unrolled code.
2014-01-21 Yannick Moy <moy@adacore.com>
* gnat1drv.adb: Minor code cleanup, removing useless code.
2014-01-21 Arnaud Charlet <charlet@adacore.com>
* opt.ads (SPARK_Switches_File_Name): New.
* switch-c.adb (Scan_Front_End_Switches): Add handling of -gnates=xxx *
* usage.adb (Usage): Document -gnates, in gnatprove mode only.
* gnat_ugn.texi: Document -gnates.
2014-01-21 Yannick Moy <moy@adacore.com>
* errout.adb (Special_Msg_Delete): Update comment. Remove
special case for GNATprove which should not ignore mismatch
in sizes for representation clauses.
* sem_prag.adb (Analyze_Pragma): Remove special case for GNATprove
which should not ignore pragma Pack.
2014-01-21 Ed Schonberg <schonberg@adacore.com>
* sem_ch4.adb: Code clean up.
2014-01-21 Steve Baird <baird@adacore.com>
* gnat_rm.texi: Improve GNAT RM description of SPARK_Mode pragma.
From-SVN: r206871
Diffstat (limited to 'gcc/ada/usage.adb')
| -rw-r--r-- | gcc/ada/usage.adb | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/gcc/ada/usage.adb b/gcc/ada/usage.adb index 3f566f4..bfa31cb 100644 --- a/gcc/ada/usage.adb +++ b/gcc/ada/usage.adb @@ -236,6 +236,13 @@ begin Write_Switch_Char ("eP"); Write_Line ("Pure/Prelaborate errors generate warnings rather than errors"); + if GNATprove_Mode then + -- Line for -gnates switch + + Write_Switch_Char ("es=?"); + Write_Line ("Specify extra switches for gnat2why"); + end if; + -- Line for -gnateS switch Write_Switch_Char ("eS"); |