https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92938
--- Comment #11 from Andrew Pinski <pinskia at gcc dot gnu.org> --- (In reply to jcmvbkbc from comment #10) > The issue is not about special semantics. Semantic correctness is taken care > of by the kernel developers. It's about gcc making references that are not > present in the source code and breaking these semantics. Except it is present in the source via the call.