sem_prag.adb (Set_Convention_From_Pragma): Check that convention Ghost can only apply...
commit1b8b4638bb5be8aa25032836a9ef9b1e79dc2d3a
authorRobert Dewar <dewar@adacore.com>
Mon, 27 Jan 2014 16:28:28 +0000 (27 16:28 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Mon, 27 Jan 2014 16:28:28 +0000 (27 17:28 +0100)
tree64895a7232305338d70e6e4d65657522e8b4a198
parent42959b0c5aa6a3ff084de4b27f4b3830c417697f
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
gcc/ada/einfo.adb
gcc/ada/einfo.ads
gcc/ada/sem_prag.adb