https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80111 --- Comment #2 from Graeme Winter <graeme.winter at diamond dot ac.uk> --- Ah OK, thank you - I am using a GCC compiled by $SOMEONE_ELSE so this could very well be the case...