------- Comment #3 from charlet at gcc dot gnu dot org 2007-12-19 16:25 ------- Subject: Bug 34149
Author: charlet Date: Wed Dec 19 16:25:18 2007 New Revision: 131082 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=131082 Log: 2007-12-19 Gary Dismukes <[EMAIL PROTECTED]> PR ada/34149 * sem_disp.adb (Check_Dispatching_Call): Augment existing test for presence of a statically tagged operand (Present (Static_Tag)) with test for Indeterm_Ancestor_Call when determining whether to propagate the static tag to tag-indeterminate operands (which forces dispatching on such calls). (Check_Controlling_Formals): Ada2005, access parameters can have defaults. (Add_Dispatching_Operation, Check_Operation_From_Private_View): do not insert subprogram in list of primitive operations if already there. Modified: trunk/gcc/ada/sem_disp.adb -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34149