diff options
| author | Thomas Quinot <quinot@adacore.com> | 2011-08-04 09:48:09 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-04 11:48:09 +0200 |
| commit | c2873f74238f63398915693078adc7ccc7698828 (patch) | |
| tree | b86a4093d6c677e1da5706cd74c56465c8ffc6a3 /gcc/ada/scos.ads | |
| parent | 4641426688cb151187dc9f0e125d52559eccfa85 (diff) | |
| download | gcc-c2873f74238f63398915693078adc7ccc7698828.zip gcc-c2873f74238f63398915693078adc7ccc7698828.tar.gz gcc-c2873f74238f63398915693078adc7ccc7698828.tar.bz2 | |
put_scos.adb (Put_SCOs): Do not emit decision SCO for an X decision nested in a disabled pragma.
2011-08-04 Thomas Quinot <quinot@adacore.com>
* put_scos.adb (Put_SCOs): Do not emit decision SCO for an X decision
nested in a disabled pragma.
* scos.ads, scos.adb, par_sco.ads, par_sco.adb: Record sloc of
enclosing pragma, if any, for X decisions.
2011-08-04 Thomas Quinot <quinot@adacore.com>
* sem_prag.adb: Minor reformatting.
From-SVN: r177347
Diffstat (limited to 'gcc/ada/scos.ads')
| -rw-r--r-- | gcc/ada/scos.ads | 15 |
1 files changed, 10 insertions, 5 deletions
diff --git a/gcc/ada/scos.ads b/gcc/ada/scos.ads index ea16370..4039e4e 100644 --- a/gcc/ada/scos.ads +++ b/gcc/ada/scos.ads @@ -353,6 +353,10 @@ package SCOs is C1 : Character; C2 : Character; Last : Boolean; + + Pragma_Sloc : Source_Ptr := No_Location; + -- For a SCO nested with a pragma Debug/Assert/PPC, location of pragma + -- (used for control of SCO output, value not recorded in ALI file). end record; package SCO_Table is new GNAT.Table ( @@ -477,11 +481,12 @@ package SCOs is -- Reset tables for a new compilation procedure Add_SCO - (From : Source_Location := No_Source_Location; - To : Source_Location := No_Source_Location; - C1 : Character := ' '; - C2 : Character := ' '; - Last : Boolean := False); + (From : Source_Location := No_Source_Location; + To : Source_Location := No_Source_Location; + C1 : Character := ' '; + C2 : Character := ' '; + Last : Boolean := False; + Pragma_Sloc : Source_Ptr := No_Location); -- Adds one entry to SCO table with given field values end SCOs; |