https://gcc.gnu.org/bugzilla/show_bug.cgi?id=124182
--- Comment #2 from Frank Mehnert <frank.mehnert at googlemail dot com> --- Yes, we might need to change the code. However, so far it worked that the compiler didn't include the "dead code" into the binary. :-)
