sem_util.ads, [...] (In_Pragma_Expression): New function.
commit87e9b93580f2c65d5f786c042f4ee9971160e6cf
authorRobert Dewar <dewar@adacore.com>
Wed, 29 Jan 2014 16:17:48 +0000 (29 16:17 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Wed, 29 Jan 2014 16:17:48 +0000 (29 17:17 +0100)
tree7f398ae8a51242fecb9eede9b5904481094467d4
parent69b09963574f716ae1fdc00ebf2c5483d75d14c1
sem_util.ads, [...] (In_Pragma_Expression): New function.

2014-01-29  Robert Dewar  <dewar@adacore.com>

* sem_util.ads, sem_util.adb (In_Pragma_Expression): New function.
* sem_warn.adb (Check_References): Suppress warnings if inside
Initial_Condition pragma.

From-SVN: r207266
gcc/ada/ChangeLog
gcc/ada/sem_util.adb
gcc/ada/sem_util.ads
gcc/ada/sem_warn.adb