sem_res.adb (Resolve_Call): If the call is dispatching...
authorEd Schonberg <schonberg@adacore.com>
Wed, 26 Sep 2007 10:46:30 +0000 (12:46 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Wed, 26 Sep 2007 10:46:30 +0000 (12:46 +0200)
commite65f50ec35d3a47891a5dc5ddc06db239139e399
tree97a79bd6bb6cad8661a9120449347928b062d246
parent45c8b94ba4eb9acfa5c245c14d7c2b7554477434
sem_res.adb (Resolve_Call): If the call is dispatching...

2007-09-26  Ed Schonberg  <schonberg@adacore.com>

* sem_res.adb (Resolve_Call): If the call is dispatching, generate the
proper kind of reference to the primitive operation, for better source
navigation.
(Valid_Conversion): A tagged conversion is legal if both operands are
tagged.

From-SVN: r128804
gcc/ada/sem_res.adb