ghost.ads, ghost.adb (Is_Ignored_Ghost_Unit): New routine.
authorHristian Kirtchev <kirtchev@adacore.com>
Mon, 23 Jan 2017 13:28:58 +0000 (13:28 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Mon, 23 Jan 2017 13:28:58 +0000 (14:28 +0100)
commitdafe11cd1851fecb7b7bc780410be394fc99142a
tree3438d0c85912057159c2ab208a41926a113a1b2b
parentbfaf8a97808c691ae311a55cfa0e930e92ee65a3
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
gcc/ada/ChangeLog
gcc/ada/ghost.adb
gcc/ada/ghost.ads
gcc/ada/gnat1drv.adb
gcc/ada/inline.adb
gcc/ada/sem_ch4.adb
gcc/ada/sem_util.adb