[Bug c++/58252] [4.9 Regression] ice in gimple_get_virt_method_for_binfo with -O2

["hubicka at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58252

Jan Hubicka <hubicka at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
           Assignee|unassigned at gcc dot gnu.org      |hubicka at gcc dot gnu.org

--- Comment #4 from Jan Hubicka <hubicka at gcc dot gnu.org> ---
Jason,
I think I need your help here.  There is OBJ_TYPE_REF calling method of class
_impl_Container with token 3.  
We walk possible targets and while walking StructDef, we find BINFO matghing
_impl_Container and walk its vtable for method at token 3. The vtable however
does not contain 3 methods at all.

I added code to pretty-print to also print obj_type_ref_class_type and I get:
  <bb 2>:
  tcd = cd;
  D.3158 = svnt->_vptr.omniServant;
  D.3159 = D.3158 + 16;
  D.3160 = *D.3159;
  _PD_repoId.0 = _PD_repoId;
  D.3170 = OBJ_TYPE_REF(D.3160;(struct omniServant)svnt->2) (svnt,
_PD_repoId.0);
  impl = D.3170;
  D.3162 = impl->D.2424.D.2333._vptr.omniServant;
  D.3163 = D.3162 + 24;
  D.3164 = *D.3163;
  D.3165 = tcd->arg_3;
  D.3166 = tcd->arg_2;
  D.3167 = tcd->arg_1;
  D.3168 = tcd->arg_0;
  D.3171 = OBJ_TYPE_REF(D.3164;(struct _impl_Container)impl->3) (impl, D.3168,
D.3167, D.3166, D.3165);

So I think the problem i sthat the code really looks into vtable of
omniServant, but OBJ_TYPE_REF is interepretted as _impl_Container.
I take the class type from the THIS pointer type of the method_type of the
call.  Is it posisble for omniServant vtable to contains method accepting
different types?

In that case we will need different implementation of obj_type_ref_class_type?