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/switch-c.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/switch-c.adb')
| -rw-r--r-- | gcc/ada/switch-c.adb | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/gcc/ada/switch-c.adb b/gcc/ada/switch-c.adb index 0d80f44..9cc9e93 100644 --- a/gcc/ada/switch-c.adb +++ b/gcc/ada/switch-c.adb @@ -666,6 +666,25 @@ package body Switch.C is -- files for the benefit of source coverage analysis tools -- (xcov). + when 's' => + if not First_Switch then + Osint.Fail + ("-gnates must not be combined with other switches"); + end if; + + -- Check for '=' + + Ptr := Ptr + 1; + + if Ptr >= Max or else Switch_Chars (Ptr) /= '=' then + Bad_Switch ("-gnates"); + else + SPARK_Switches_File_Name := + new String'(Switch_Chars (Ptr + 1 .. Max)); + end if; + + return; + when 'S' => Generate_SCO := True; Generate_SCO_Instance_Table := True; |