https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85751 --- Comment #2 from H. Peter Anvin <hpa at zytor dot com> --- Goodness... I missed the question here. The intent was to just take advantage of existing padding: the execution flow should not go there.