btw, I've also reproduced this with FSF GCC 6 (probably not surprising, since the Linaro change was a backport).
btw, I've also reproduced this with FSF GCC 6 (probably not surprising, since the Linaro change was a backport).