diff options
author | Hristian Kirtchev <kirtchev@adacore.com> | 2017-01-23 13:28:58 +0000 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-01-23 14:28:58 +0100 |
commit | dafe11cd1851fecb7b7bc780410be394fc99142a (patch) | |
tree | 3438d0c85912057159c2ab208a41926a113a1b2b /gcc/ada/ghost.ads | |
parent | bfaf8a97808c691ae311a55cfa0e930e92ee65a3 (diff) | |
download | gcc-dafe11cd1851fecb7b7bc780410be394fc99142a.zip gcc-dafe11cd1851fecb7b7bc780410be394fc99142a.tar.gz gcc-dafe11cd1851fecb7b7bc780410be394fc99142a.tar.bz2 |
ghost.ads, ghost.adb (Is_Ignored_Ghost_Unit): New routine.
2017-01-23 Hristian Kirtchev <kirtchev@adacore.com>
* ghost.ads, ghost.adb (Is_Ignored_Ghost_Unit): New routine.
* gnat1drv.adb Generate an empty object file for an ignored
Ghost compilation unit.
* inline.adb, sem_util.adb, sem_ch4.adb: Minor reformatting.
From-SVN: r244808
Diffstat (limited to 'gcc/ada/ghost.ads')
-rw-r--r-- | gcc/ada/ghost.ads | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/ada/ghost.ads b/gcc/ada/ghost.ads index 1e57183..e0211c0 100644 --- a/gcc/ada/ghost.ads +++ b/gcc/ada/ghost.ads @@ -94,6 +94,10 @@ package Ghost is -- Determine whether arbitrary node N denotes a procedure call invoking a -- Ghost procedure. + function Is_Ignored_Ghost_Unit (N : Node_Id) return Boolean; + -- Determine whether compilation unit N is subject to pragma Ghost with + -- policy Ignore. + procedure Lock; -- Lock internal tables before calling backend |