https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113312
--- Comment #18 from H.J. Lu <hjl.tools at gmail dot com> --- (In reply to H.J. Lu from comment #17) > Please try users/hjl/pr113312/gcc-13 branch: > > https://gitlab.com/x86-gcc/gcc/-/tree/users/hjl/pr113312/gcc- > 13?ref_type=heads > > It supports no_callee_saved_registers attribute. It should also avoid saving > registers in noreturn functions in Linux kernel. I updated users/hjl/pr113312/gcc-13 branch. It works on glibc. Please try it on Linux kernel.