------- Comment #10 from dir at lanl dot gov 2006-01-11 16:50 ------- My thought on a possible fix is that the I/O buffers should be dumped before the read whenever a read immediately follows a write, but I have no idea how you would detect the situation.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25697
