https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67567 --- Comment #2 from Vittorio Zecca <zeccav at gmail dot com> --- Unfortunately I do not master gdb and gcc internals enough for that. The check costs two instructions on my x86-64.