https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79430
--- Comment #15 from Jürgen Reuter <juergen.reuter at desy dot de> --- With -fcheck=all nothing is flagged, but the test works as expected, as well as if I (independently from the fcheck) compile everything with -fno-inline .