projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 42959b0) | patch
sem_prag.adb (Set_Convention_From_Pragma): Check that convention Ghost can only apply...
authorRobert Dewar <dewar@adacore.com>
Mon, 27 Jan 2014 16:28:28 +0000 (16:28 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Mon, 27 Jan 2014 16:28:28 +0000 (17:28 +0100)
commit1b8b4638bb5be8aa25032836a9ef9b1e79dc2d3a
tree64895a7232305338d70e6e4d65657522e8b4a198tree
parent42959b0c5aa6a3ff084de4b27f4b3830c417697fcommit | diff
sem_prag.adb (Set_Convention_From_Pragma): Check that convention Ghost can only apply to functions.

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

* sem_prag.adb (Set_Convention_From_Pragma): Check that
convention Ghost can only apply to functions.
* einfo.ads, einfo.adb (Is_Ghost_Subprogram): Add clarifying comment.

From-SVN: r207135
gcc/ada/ChangeLog diff | blob | history
gcc/ada/einfo.adb diff | blob | history
gcc/ada/einfo.ads diff | blob | history
gcc/ada/sem_prag.adb diff | blob | history