https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66963 --- Comment #6 from Nicolai Stange <nicstange at gmail dot com> --- Thank you for your clarifications, Andrew and Joseph. As far as I am concerned, this bug can be marked as resolved/rejected/whatever you like.