2009-07-15 Robert Dewar <dewar@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 15 Jul 2009 09:59:16 +0000 (09:59 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 15 Jul 2009 09:59:16 +0000 (09:59 +0000)
commit902e21825ec901db53142595695f43568de7e16a
tree7269667b0fc6e29ea066148c0a41903f090ce070
parentb05b9ac656db4e914ed78d7c6e391fbb6ece6ea9
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

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149669 138bc75d-0d04-0410-961f-82ee72b054a4
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