https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115172
--- Comment #6 from Fedor Pchelkin <pchelkin at ispras dot ru> --- (In reply to Uroš Bizjak from comment #5) > (In reply to Jakub Jelinek from comment #4) > > Created attachment 58261 [details] > > gcc15-pr115172.patch > > > > Full untested patch. > > I can confirm that this patch fixes boot for the kernel config from > PR115172#43. Yep. I may confirm, too. Thanks for the prompt fix! If all goes well, is it expected to land in 14.2 and 13.4?