https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70646
--- Comment #13 from Josh Poimboeuf <jpoimboe at redhat dot com> --- So if I understand correctly, some reachable code is incorrectly getting marked unreachable and then getting discarded. Interestingly, the function's epilogue (frame pointer restore) and return instruction are also getting discarded. Can you tell if that will always be the case when this bug triggers? If so, that should make it possible for objtool to reliably detect the bug.
