On Wed, Sep 23, 2020 at 05:45:12PM +0200, Tobias Burnus wrote: > On 9/23/20 4:06 PM, Jakub Jelinek wrote: > > > What I really meant was: > I did now something based on this. > > > + gcc_assert (node->alias && node->analyzed); > > I believe from previous testing that node->analyzed is 0 > for the testcase at hand — and, hence, ultimate_alias_target()
That would be surprising, because if it is not node->analyzed, then ultimate_alias_target_1 will not change node at all. Anyway, the patch LGTM, thanks. Jakub