https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88763
--- Comment #8 from Marius Messerschmidt <marius.messerschmidt at googlemail dot com> --- Oh minor error from my side, the "BAD LINE" should of course be above the if/return block otherwise it would work just fine.
