2011-08-04 Thomas Quinot <quinot@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 4 Aug 2011 09:48:09 +0000 (09:48 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 4 Aug 2011 09:48:09 +0000 (09:48 +0000)
commitf23418b5b420713f5dc8bc8acd409e7ed5f57bc6
treeb86a4093d6c677e1da5706cd74c56465c8ffc6a3
parentd3893551d11055dc1891f1d490134a89c793a25c
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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177347 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog
gcc/ada/par_sco.adb
gcc/ada/par_sco.ads
gcc/ada/put_scos.adb
gcc/ada/scos.adb
gcc/ada/scos.ads
gcc/ada/sem_prag.adb