On Fri, 28 Jan 2022, Jakub Jelinek wrote: > On Fri, Jan 28, 2022 at 12:04:00PM +0100, Richard Biener wrote: > > Still I think assuming there are no abnormal edges when neither > > of the flag is set is premature (as can be seen here). I also > > don't think what we do in the function is very timing critical, > > but sure, we walk all successor edges. > > Ok then.
Just to add - gimple_purge_dead_abnormal_call_edges should only be called if the caller determined a possible change. I've checked and only fixup_cfg calls it unconditionally (I guess on purpose). Richard.