[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Thu, 17 Oct 2013 14:09:14 +0000 (16:09 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Thu, 17 Oct 2013 14:09:14 +0000 (16:09 +0200)
commit2ed3eba129b1d094aca2565fdb49a7fdd5416d8f
treefa4836f6273e144fc74e708734d13ee0603d8988
parenta7d08a38447bb6dce90573562211e93fc032763a
[multiple changes]

2013-10-17  Hristian Kirtchev  <kirtchev@adacore.com>

* sem_prag.adb (Check_Dependency_Clause):
Recognize the scenario where successful clause matching has
depleted the available refinement items and the clause to match
technically refines to null => null.

2013-10-17  Tristan Gingold  <gingold@adacore.com>

* exp_prag.adb (Expand_Pragma_Import_Or_Interface): Specify
External_Name instead of Link_Name for the RTTI declaration.

From-SVN: r203769
gcc/ada/ChangeLog
gcc/ada/exp_prag.adb
gcc/ada/sem_prag.adb