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/lib-writ.ads | |
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/lib-writ.ads')
-rw-r--r-- | gcc/ada/lib-writ.ads | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/gcc/ada/lib-writ.ads b/gcc/ada/lib-writ.ads index e0c0f34..2195f05 100644 --- a/gcc/ada/lib-writ.ads +++ b/gcc/ada/lib-writ.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2008, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2009, Free Software Foundation, Inc. -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -579,6 +579,14 @@ package Lib.Writ is -- the source file, so that this order is preserved by the binder -- in constructing the set of linker arguments. + -- ------------------------------------ + -- -- C Source Coverage Obligations -- + -- ------------------------------------- + + -- Following the L lines (if any) are the SCO (Source Coverage Obligation) + -- lines if they are being generated. For the full format of these lines, + -- see the spec of Par_SCO. + --------------------- -- Reference Lines -- --------------------- |