56   std::ifstream file1(filename1.value().c_str(),  in ContentsEqual()  local
63   if (!file1.is_open() || !file2.is_open())  in ContentsEqual()
69     file1.read(buffer1, BUFFER_SIZE);  in ContentsEqual()
72     if ((file1.eof() != file2.eof()) ||  in ContentsEqual()
73         (file1.gcount() != file2.gcount()) ||  in ContentsEqual()
74         (memcmp(buffer1, buffer2, static_cast<size_t>(file1.gcount())))) {  in ContentsEqual()
75       file1.close();  in ContentsEqual()
79   } while (!file1.eof() || !file2.eof());  in ContentsEqual()
81   file1.close();  in ContentsEqual()
87   std::ifstream file1(filename1.value().c_str(), std::ios::in);  in TextContentsEqual()  local
92   if (!file1.is_open() || !file2.is_open())  in TextContentsEqual()
97     getline(file1, line1);  in TextContentsEqual()
101     if ((file1.eof() != file2.eof()) ||  in TextContentsEqual()
102         file1.bad() || file2.bad()) {  in TextContentsEqual()
121   } while (!file1.eof() || !file2.eof());  in TextContentsEqual()