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?
