> First, is there already some kind of documentation about this problem in
> the GCC bug tracker or in the reproducible wiki?
I got no answer and think this counts as "no". I have now created a ticket
in the GCC bugtracker at https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65015
Reproducible-builds mailing list