projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d118a43) | patch
sem_disp.adb (Check_Dispatching_Operation): Do not emit warning on a generated interf...
authorJavier Miranda <miranda@adacore.com>
Tue, 14 Aug 2007 08:49:15 +0000 (10:49 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Tue, 14 Aug 2007 08:49:15 +0000 (10:49 +0200)
commitf9c0d38ccdfa6044f994ae20098ad48ee2099647
tree9ba49586d0b86a87cfec89e2d095f3dcd46235e4tree
parentd118a43e887ec35891f3a040818afd40456ada5ccommit | diff
sem_disp.adb (Check_Dispatching_Operation): Do not emit warning on a generated interface thunk.

2007-08-14  Javier Miranda  <miranda@adacore.com>

* sem_disp.adb (Check_Dispatching_Operation): Do not emit warning on a
generated interface thunk.

From-SVN: r127459
gcc/ada/sem_disp.adb diff | blob | history