https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79200 --- Comment #6 from tommapson at gmx dot de --- (Since I do not know whether this is a bug in the realtime-kernel or the compiler, I also reported it in the kernel bugzilla: https://bugzilla.kernel.org/show_bug.cgi?id=196767).