]> git.ipfire.org Git - thirdparty/gcc.git/commit
debug.adb: Add -gnatd.O to output SCO table
authorRobert Dewar <dewar@adacore.com>
Wed, 15 Jul 2009 09:59:16 +0000 (09:59 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Wed, 15 Jul 2009 09:59:16 +0000 (11:59 +0200)
commit6f12117afc93e5af5f2cdb1cfc99e285a15f9a91
tree7269667b0fc6e29ea066148c0a41903f090ce070
parent3a3362620167fd31b30aa391bf6d84c45a3d6af2
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
12 files changed:
gcc/ada/ChangeLog
gcc/ada/debug.adb
gcc/ada/gcc-interface/Make-lang.in
gcc/ada/lib-writ.adb
gcc/ada/lib-writ.ads
gcc/ada/opt.ads
gcc/ada/par.adb
gcc/ada/par_sco.adb [new file with mode: 0644]
gcc/ada/par_sco.ads [new file with mode: 0644]
gcc/ada/sem_warn.adb
gcc/ada/switch-c.adb
gcc/ada/usage.adb