diff options
| author | Robert Dewar <dewar@adacore.com> | 2009-07-15 09:59:16 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2009-07-15 11:59:16 +0200 |
| commit | 6f12117afc93e5af5f2cdb1cfc99e285a15f9a91 (patch) | |
| tree | 7269667b0fc6e29ea066148c0a41903f090ce070 /gcc/ada/debug.adb | |
| parent | 3a3362620167fd31b30aa391bf6d84c45a3d6af2 (diff) | |
| download | gcc-6f12117afc93e5af5f2cdb1cfc99e285a15f9a91.zip gcc-6f12117afc93e5af5f2cdb1cfc99e285a15f9a91.tar.gz gcc-6f12117afc93e5af5f2cdb1cfc99e285a15f9a91.tar.bz2 | |
debug.adb: Add -gnatd.O to output SCO table
2009-07-15 Robert Dewar <dewar@adacore.com>
* debug.adb: Add -gnatd.O to output SCO table
* lib-writ.adb (Write_Unit_Information): Use SCO_Output to output SCO
information.
* lib-writ.ads: Document addition of SCO lines to ALI file
* par_sco.ads, par_sco.adb: New files.
* opt.ads (Generate_SCO): New switch
* par.adb (Par): Call SCO_Record to record SCO information
* sem_warn.adb (Warn_On_Constant_Condition): Adjust SCO condition
* switch-c.adb: Recognize -gnateS to generate SCO information
* usage.adb: Add line for -gnateS
* gcc-interface/Make-lang.in: Add dependency on par_sco.o for gnat1
From-SVN: r149669
Diffstat (limited to 'gcc/ada/debug.adb')
| -rw-r--r-- | gcc/ada/debug.adb | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/gcc/ada/debug.adb b/gcc/ada/debug.adb index d0b285a..5ae3979 100644 --- a/gcc/ada/debug.adb +++ b/gcc/ada/debug.adb @@ -126,13 +126,13 @@ package body Debug is -- d.F -- d.G -- d.H - -- d.I Inspector mode + -- d.I SCIL generation mode -- d.J -- d.K -- d.L -- d.M -- d.N - -- d.O + -- d.O Dump internal SCO table -- d.P -- d.Q -- d.R @@ -559,6 +559,8 @@ package body Debug is -- byte code, even in case of unsupported construct, for the sake -- of static analysis tools. + -- d.O Dump internal SCO (Source Coverage Obligation) table in Par_Sco + -- d.S Force Optimize_Alignment (Space) mode as the default -- d.T Force Optimize_Alignment (Time) mode as the default |