83   std::ifstream file1(filename1.value().c_str(),  in ContentsEqual()  local
90   if (!file1.is_open() || !file2.is_open())  in ContentsEqual()
96     file1.read(buffer1, BUFFER_SIZE);  in ContentsEqual()
99     if ((file1.eof() != file2.eof()) ||  in ContentsEqual()
100         (file1.gcount() != file2.gcount()) ||  in ContentsEqual()
101         (memcmp(buffer1, buffer2, file1.gcount()))) {  in ContentsEqual()
102       file1.close();  in ContentsEqual()
106   } while (!file1.eof() || !file2.eof());  in ContentsEqual()
108   file1.close();  in ContentsEqual()
114   std::ifstream file1(filename1.value().c_str(), std::ios::in);  in TextContentsEqual()  local
119   if (!file1.is_open() || !file2.is_open())  in TextContentsEqual()
124     getline(file1, line1);  in TextContentsEqual()
128     if ((file1.eof() != file2.eof()) ||  in TextContentsEqual()
129         file1.bad() || file2.bad()) {  in TextContentsEqual()
148   } while (!file1.eof() || !file2.eof());  in TextContentsEqual()