> 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 Regards, Conchúr Navid