| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960 |
- // Part of the Carbon Language project, under the Apache License v2.0 with LLVM
- // Exceptions. See /LICENSE for license information.
- // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
- #include "explorer/fuzzing/fuzzer_util.h"
- #include <google/protobuf/text_format.h>
- #include "common/check.h"
- #include "common/error.h"
- #include "common/fuzzing/proto_to_carbon.h"
- #include "explorer/interpreter/exec_program.h"
- #include "explorer/interpreter/trace_stream.h"
- #include "explorer/syntax/parse.h"
- #include "explorer/syntax/prelude.h"
- #include "llvm/Support/FileSystem.h"
- #include "llvm/Support/Path.h"
- #include "tools/cpp/runfiles/runfiles.h"
- namespace Carbon {
- auto GetRunfilesFile(const std::string& file) -> ErrorOr<std::string> {
- using bazel::tools::cpp::runfiles::Runfiles;
- std::string error;
- // `Runfiles::Create()` fails if passed an empty `argv0`.
- std::unique_ptr<Runfiles> runfiles(Runfiles::Create(
- /*argv0=*/llvm::sys::fs::getMainExecutable(nullptr, nullptr), &error));
- if (runfiles == nullptr) {
- return Error(error);
- }
- std::string full_path = runfiles->Rlocation(file);
- if (!llvm::sys::fs::exists(full_path)) {
- return ErrorBuilder() << full_path << " doesn't exist";
- }
- return full_path;
- }
- auto ParseAndExecute(const Fuzzing::Carbon& carbon) -> ErrorOr<int> {
- const std::string source = ProtoToCarbon(carbon, /*maybe_add_main=*/true);
- Arena arena;
- CARBON_ASSIGN_OR_RETURN(AST ast,
- ParseFromString(&arena, "Fuzzer.carbon", source,
- /*parser_debug=*/false));
- const ErrorOr<std::string> prelude_path =
- GetRunfilesFile("carbon/explorer/data/prelude.carbon");
- // Can't do anything without a prelude, so it's a fatal error.
- CARBON_CHECK(prelude_path.ok()) << prelude_path.error();
- AddPrelude(*prelude_path, &arena, &ast.declarations,
- &ast.num_prelude_declarations);
- TraceStream trace_stream;
- // Use llvm::nulls() to suppress output from the Print intrinsic.
- CARBON_ASSIGN_OR_RETURN(
- ast, AnalyzeProgram(&arena, ast, &trace_stream, &llvm::nulls()));
- return ExecProgram(&arena, ast, &trace_stream, &llvm::nulls());
- }
- } // namespace Carbon
|