288     auto file_contents = ReadFile(args[1]);  in do_load_exports()  local
289     if (!file_contents.ok()) {  in do_load_exports()
291                        << "': " << file_contents.error();  in do_load_exports()
294     auto lines = Split(*file_contents, "\n");  in do_load_exports()
982     auto file_contents = ReadFile(args[1]);  in do_copy()  local
983     if (!file_contents.ok()) {  in do_copy()
984 …      return Error() << "Could not read input file '" << args[1] << "': " << file_contents.error();  in do_copy()
986     if (auto result = WriteFile(args[2], *file_contents); !result.ok()) {  in do_copy()
994     std::string file_contents;  in do_copy_per_line()  local
995     if (!android::base::ReadFileToString(args[1], &file_contents, true)) {  in do_copy_per_line()
998     auto lines = Split(file_contents, "\n");  in do_copy_per_line()