https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77966
--- Comment #10 from Martin Liška <marxin at gcc dot gnu.org> --- Ok, with the patch applied (r241463), you should be given expected output. Please combine that with -fsanitize-undefined-trap-on-error and the binary will be instrumented as desired in #c4.