12
if ( (file.rdstate() & fstream::eofbit) != 0 ) file.clear(fstream::eofbit);
if ( (file.rdstate() & fstream::eofbit) != 0 ) file.clear(file.rdstate() & fstream::failbit & fstream::badbit & fstream::goodbit);
file.clear( file.rdstate() ^ fstream::eofbit );
file.clear( file.rdstate() & ~fstream::eofbit );