2014-11-20 Robert Dewar <dewar@adacore.com>
commit6671a28c2f5aede7d055f4cf02b2a380da4ac31a
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 20 Nov 2014 14:17:04 +0000 (20 14:17 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 20 Nov 2014 14:17:04 +0000 (20 14:17 +0000)
tree23946da77ac012517c919c88e1f139b85752566e
parent5a763cc1f8b1bff157b38cc84d8e57a3009cb790
2014-11-20  Robert Dewar  <dewar@adacore.com>

* sem_ch13.adb: Minor reformatting.
* exp_util.adb (Following_Address_Clause): Handle case of
package private part.

2014-11-20  Arnaud Charlet  <charlet@adacore.com>

* a-cdlili.adb, a-cihama.adb, a-coinve.adb, a-cusyqu.adb, a-ciorse.adb,
a-coorma.adb, a-cborma.adb, a-cidlli.adb, a-cimutr.adb, a-ciormu.adb,
a-cbprqu.adb, a-cihase.adb, a-cohama.adb, a-coorse.adb, a-coboho.adb,
a-cuprqu.adb, a-cbhama.adb, a-rbtgbo.adb, a-cborse.adb, a-comutr.adb,
a-ciorma.adb, a-cobove.adb, a-coormu.adb, a-convec.adb, a-cohase.adb,
a-coinho.adb, a-coinho-shared.adb, a-cbdlli.adb, a-cbsyqu.adb,
a-cbmutr.adb, a-cbhase.adb: Add pragma Annotate to prevent codepeer
from analyzing these bodies.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@217854 138bc75d-0d04-0410-961f-82ee72b054a4
34 files changed:
gcc/ada/ChangeLog
gcc/ada/a-cbdlli.adb
gcc/ada/a-cbhama.adb
gcc/ada/a-cbhase.adb
gcc/ada/a-cbmutr.adb
gcc/ada/a-cborma.adb
gcc/ada/a-cborse.adb
gcc/ada/a-cbprqu.adb
gcc/ada/a-cbsyqu.adb
gcc/ada/a-cdlili.adb
gcc/ada/a-cidlli.adb
gcc/ada/a-cihama.adb
gcc/ada/a-cihase.adb
gcc/ada/a-cimutr.adb
gcc/ada/a-ciorma.adb
gcc/ada/a-ciormu.adb
gcc/ada/a-ciorse.adb
gcc/ada/a-coboho.adb
gcc/ada/a-cobove.adb
gcc/ada/a-cohama.adb
gcc/ada/a-cohase.adb
gcc/ada/a-coinho-shared.adb
gcc/ada/a-coinho.adb
gcc/ada/a-coinve.adb
gcc/ada/a-comutr.adb
gcc/ada/a-convec.adb
gcc/ada/a-coorma.adb
gcc/ada/a-coormu.adb
gcc/ada/a-coorse.adb
gcc/ada/a-cuprqu.adb
gcc/ada/a-cusyqu.adb
gcc/ada/a-rbtgbo.adb
gcc/ada/exp_util.adb
gcc/ada/sem_ch13.adb