https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67043
--- Comment #2 from Markus Trippelsdorf <trippels at gcc dot gnu.org> --- (In reply to Richard Biener from comment #1) > Does the testcase you reduced this from end up generating different code? No. (It was reduced from the Linux kernel: kernel/locking/rtmutex.c).