diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-01-21 08:57:53 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-01-21 08:57:53 +0100 |
| commit | 6b6041ec651c69871cc4c8d0ba3621c575b97e75 (patch) | |
| tree | 695e62bceda250d6591337f5ed5f9898a0e29048 /gcc/ada/switch-c.adb | |
| parent | 77a2f3df910f3b32cb0cbc3b6967c229d5680272 (diff) | |
| download | gcc-6b6041ec651c69871cc4c8d0ba3621c575b97e75.zip gcc-6b6041ec651c69871cc4c8d0ba3621c575b97e75.tar.gz gcc-6b6041ec651c69871cc4c8d0ba3621c575b97e75.tar.bz2 | |
[multiple changes]
2014-01-21 Arnaud Charlet <charlet@adacore.com>
* exp_ch9.adb (Expand_N_Selective_Accept.Add_Accept): Always add
call to Abort_Undefer, as expected by the runtime.
* s-tasren.adb (Local_Complete_Rendezvous): Replace
Defer_Abort_Nestable by Defer_Abort, since we do not expect abort to be
deferred at this point. Update comments.
2014-01-21 Thomas Quinot <quinot@adacore.com>
* exp_ch4.adb, exp_ch5.adb, checks.adb: Minor reformatting.
2014-01-21 Arnaud Charlet <charlet@adacore.com>
* switch-c.adb, usage.adb, gnat_ugn.texi: Mark -gnates as internal,
remove from doc.
From-SVN: r206873
Diffstat (limited to 'gcc/ada/switch-c.adb')
| -rw-r--r-- | gcc/ada/switch-c.adb | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/gcc/ada/switch-c.adb b/gcc/ada/switch-c.adb index 684f62f..3043dde 100644 --- a/gcc/ada/switch-c.adb +++ b/gcc/ada/switch-c.adb @@ -660,10 +660,9 @@ package body Switch.C is when 'P' => Treat_Categorization_Errors_As_Warnings := True; - -- -gnateS (generate SCO information) + -- -gnates=file (specify extra file switches for gnat2why) - -- Include Source Coverage Obligation information in ALI - -- files for use by source coverage analysis tools (xcov). + -- This is an internal switch when 's' => if not First_Switch then @@ -684,6 +683,11 @@ package body Switch.C is return; + -- -gnateS (generate SCO information) + + -- Include Source Coverage Obligation information in ALI + -- files for use by source coverage analysis tools (xcov). + when 'S' => Generate_SCO := True; Generate_SCO_Instance_Table := True; |