diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-01-21 12:58:20 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-01-21 12:58:20 +0100 |
| commit | 376e7d14c0a9b0fe0a53847d792c4e3352855477 (patch) | |
| tree | f73ec3fd30eacc8b47aef1f4811b12bc847f1755 /gcc/ada/switch-c.adb | |
| parent | e8b37cb6d56df2dc6c3d2bb441fce227c3c5d254 (diff) | |
| download | gcc-376e7d14c0a9b0fe0a53847d792c4e3352855477.zip gcc-376e7d14c0a9b0fe0a53847d792c4e3352855477.tar.gz gcc-376e7d14c0a9b0fe0a53847d792c4e3352855477.tar.bz2 | |
[multiple changes]
2014-01-21 Thomas Quinot <quinot@adacore.com>
* exp_ch5.adb: Fix comment.
* switch-c.adb: Minor comment update.
* exp_ch3.adb: Minor reformatting.
2014-01-21 Arnaud Charlet <charlet@adacore.com>
* back_end.adb (Scan_Compiler_Arguments): Do not store object
filename in gnatprove mode.
2014-01-21 Thomas Quinot <quinot@adacore.com>
* sinfo.ads (No_Ctrl_Actions): Clarify documentation (flag also
suppresses usage of primitive _assign for tagged types).
* exp_aggr.adb (Build_Array_Aggr_Code.Gen_Assign): Set
No_Ctrl_Actions for a tagged type that does not require
finalization, as we want to disable usage of _assign (which
may cause undesirable discriminant checks on an uninitialized,
invalid target).
2014-01-21 Ed Schonberg <schonberg@adacore.com>
* sem_prag.adb: Reject invariant'class on completion.
From-SVN: r206878
Diffstat (limited to 'gcc/ada/switch-c.adb')
| -rw-r--r-- | gcc/ada/switch-c.adb | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gcc/ada/switch-c.adb b/gcc/ada/switch-c.adb index 3043dde..201a99d 100644 --- a/gcc/ada/switch-c.adb +++ b/gcc/ada/switch-c.adb @@ -686,7 +686,9 @@ package body Switch.C is -- -gnateS (generate SCO information) -- Include Source Coverage Obligation information in ALI - -- files for use by source coverage analysis tools (xcov). + -- files for use by source coverage analysis tools + -- (gnatcov) (equivalent to -fdump-scos, provided for + -- backwards compatibility). when 'S' => Generate_SCO := True; |