> If you just wanted to do that, the proper thing to do is simply skip > the type based checks in may_alias_p, not merge in call-clobbered > variables and tags. I think we should, otherwise we're unnecessarily pessimizing it.