Ok, so it can be reproduced with GCC 6.3.1 and -m32 -O2 on x86_64-linux-gnu. I guess it will need a maintainer to debug that issue.