https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61196
--- Comment #2 from Björn Haase <bjoern.m.haase at web dot de> --- @Eric: Thank you for your fast feedback :-). I have contacted the maintainer of the library and the original author of the code so that we may fix the problem there. I've just again learnt something on an additional aspect in the C language definition that I've not been aware of beforehand.