diff options
| author | Robert Dewar <dewar@adacore.com> | 2014-01-29 16:17:48 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-01-29 17:17:48 +0100 |
| commit | 87e9b93580f2c65d5f786c042f4ee9971160e6cf (patch) | |
| tree | 7f398ae8a51242fecb9eede9b5904481094467d4 /gcc/ada/sem_util.adb | |
| parent | 69b09963574f716ae1fdc00ebf2c5483d75d14c1 (diff) | |
| download | gcc-87e9b93580f2c65d5f786c042f4ee9971160e6cf.zip gcc-87e9b93580f2c65d5f786c042f4ee9971160e6cf.tar.gz gcc-87e9b93580f2c65d5f786c042f4ee9971160e6cf.tar.bz2 | |
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
Diffstat (limited to 'gcc/ada/sem_util.adb')
| -rw-r--r-- | gcc/ada/sem_util.adb | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb index e6b3233..58a28bb 100644 --- a/gcc/ada/sem_util.adb +++ b/gcc/ada/sem_util.adb @@ -8447,6 +8447,25 @@ package body Sem_Util is return False; end In_Parameter_Specification; + -------------------------- + -- In_Pragma_Expression -- + -------------------------- + + function In_Pragma_Expression (N : Node_Id; Nam : Name_Id) return Boolean is + P : Node_Id; + begin + P := Parent (N); + loop + if No (P) then + return False; + elsif Nkind (P) = N_Pragma and then Pragma_Name (P) = Nam then + return True; + else + P := Parent (P); + end if; + end loop; + end In_Pragma_Expression; + ------------------------------------- -- In_Reverse_Storage_Order_Object -- ------------------------------------- |