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/gcc-interface | |
| 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/gcc-interface')
0 files changed, 0 insertions, 0 deletions