re PR tree-optimization/36345 (TBAA-pruning of points-to sets ineffective)