On Fri, 2004-04-30 at 17:17, Richard Kenner wrote: > Do you call the normal get_alias_set code? Is TYPE_REF_CAN_ALIAS_ALL > respected? > Yes. My mistake. We base all the TBAA decisions on get_alias_set. It's in the flow-sensitive points-to code where we don't check 'restrict'. Diego.