On 01/24/14 09:41, Jakub Jelinek wrote:
I ran across some not terribly long ago and added similar code to DOM. You just need to try harder :-)The only downside is we lose the ability to backward propagate through a typecast which feeds an argument in such a call. But that's probably not a big deal.I couldn't actually reproduce any backwards propagation, since now all pointer casts are useless, so the code to walk the pointer casts is likely just dead.
jeff
