https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92643
jvdelisle at charter dot net changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |jvdelisle at charter dot net --- Comment #12 from jvdelisle at charter dot net --- (In reply to kargl from comment #11) > (In reply to Dominique d'Humieres from comment #10) > > > As of svn reversion r280157, the issue is not fixed. > > > > Do you know the git equivalent? > > No. I don't use git. r280157 is the last svn revision before > it was turned into a read-only archive. Boost my memory, is that 32 bit platform?