> > notice that OBJ_TYPE_REF is useless since foo got devitualized and it holds > > alive > > the useless s._vptr.S = &_ZTV1S[2]. We want to drop OBJ_TYPE_REF at time > > we fold > > first argument to constant. > > At some point we dropped all OBJ_TYPE_REF with direct fn but that lead to > issues. I'll try to dig up what that was.
Hah, that sounds really scary, given that OBJ_TYPE_REF should be semantically no-op. We definitely drop them in tree-ssa-ccp, so if we need to preserve them somehow, that is probably case where we should. Honza
