sem_disp.adb (Check_Dispatching_Call): If an actual in a call to an inherited operati...
authorEd Schonberg <schonberg@adacore.com>
Thu, 13 Dec 2007 10:32:11 +0000 (11:32 +0100)
committerArnaud Charlet <charlet@gcc.gnu.org>
Thu, 13 Dec 2007 10:32:11 +0000 (11:32 +0100)
commitd215a13cd9193b05072b0947c5b5d5101f615394
treec855eb54b6cac53876d6174c71a1e215e6424cc0
parent3ccd94107b2bf56d54d62cefe515fd37584b1b25
sem_disp.adb (Check_Dispatching_Call): If an actual in a call to an inherited operation is a defaulted...

2007-12-06  Ed Schonberg  <schonberg@adacore.com>

* sem_disp.adb (Check_Dispatching_Call): If an actual in a call to an
inherited operation is a defaulted tag-indeterminate call, and there is
a statically tagged actual, use the static tag as a controlling actual
for the defaulted actual.

From-SVN: r130856
gcc/ada/sem_disp.adb