https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87151
--- Comment #3 from Jürgen Reuter <juergen.reuter at desy dot de> --- This now works with the actual trunk (r264898), and gives the anticipated result 2 3. So either it was fixed by one of Paul's other fixes, or he just didn't comment on this one here. But of course it needs to be backported to 8- and 7-branches.