296     auto file_contents = ReadFile(args[1]);  in do_load_exports()  local
297     if (!file_contents.ok()) {  in do_load_exports()
299                        << "': " << file_contents.error();  in do_load_exports()
302     auto lines = Split(*file_contents, "\n");  in do_load_exports()
998     auto file_contents = ReadFile(args[1]);  in do_copy()  local
999     if (!file_contents.ok()) {  in do_copy()
1000 …      return Error() << "Could not read input file '" << args[1] << "': " << file_contents.error();  in do_copy()
1002     if (auto result = WriteFile(args[2], *file_contents); !result.ok()) {  in do_copy()
1010     std::string file_contents;  in do_copy_per_line()  local
1011     if (!android::base::ReadFileToString(args[1], &file_contents, true)) {  in do_copy_per_line()
1014     auto lines = Split(file_contents, "\n");  in do_copy_per_line()