58   std::ifstream file2(filename2.value().c_str(),  in ContentsEqual()  local
63   if (!file1.is_open() || !file2.is_open())  in ContentsEqual()
70     file2.read(buffer2, BUFFER_SIZE);  in ContentsEqual()
72     if ((file1.eof() != file2.eof()) ||  in ContentsEqual()
73         (file1.gcount() != file2.gcount()) ||  in ContentsEqual()
76       file2.close();  in ContentsEqual()
79   } while (!file1.eof() || !file2.eof());  in ContentsEqual()
82   file2.close();  in ContentsEqual()
88   std::ifstream file2(filename2.value().c_str(), std::ios::in);  in TextContentsEqual()  local
92   if (!file1.is_open() || !file2.is_open())  in TextContentsEqual()
98     getline(file2, line2);  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()