https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77316
--- Comment #2 from Roland Dreier <rbd at debian dot org> --- Yes, I hid that in the middle of the wall of text in my report - I only see this with gcc 5.4. It works as expected with gcc 6 and also gcc 4.9.