https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103267
--- Comment #7 from Martin Liška <marxin at gcc dot gnu.org> --- Now, I can reproduce it, the original code snippet was different: diff -u pr103267-o.c pr103267.c --- pr103267-o.c 2021-11-16 09:47:41.463349286 +0100 +++ pr103267.c 2021-11-16 09:47:11.811550854 +0100 @@ -1,4 +1,3 @@ -static int __attribute__ ((noinline,const)) infinite (int p) {