https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102997
--- Comment #24 from rguenther at suse dot de <rguenther at suse dot de> --- On Mon, 8 Nov 2021, hubicka at kam dot mff.cuni.cz wrote: > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102997 > > --- Comment #23 from hubicka at kam dot mff.cuni.cz --- > > We verify that by simply looking at the loop depth relation of > > the entry and exit of the path. > > Which seem wrong for the path leaving loop and entering another... True I guess. The path should end it the same loop as it starts or end in a loop containing the start loop. Would have to double check this.
