Method JumpTo

eval/eval/evaluator_core.h:353–366

Intended for use in builtin shortcutting operations. Offset applies after normal pc increment. For example, JumpTo(0) is a no-op, JumpTo(1) skips the expected next step.

  // Offset applies after normal pc increment. For example, JumpTo(0) is a
  // no-op, JumpTo(1) skips the expected next step.
  absl::Status JumpTo(int offset) {
    ABSL_DCHECK_LE(offset, static_cast<int>(execution_path_.size()));
    ABSL_DCHECK_GE(offset, -static_cast<int>(pc_));

    int new_pc = static_cast<int>(pc_) + offset;
    if (new_pc < 0 || new_pc > static_cast<int>(execution_path_.size())) {
      return absl::Status(absl::StatusCode::kInternal,
                          absl::StrCat("Jump address out of range: position: ",
                                       pc_, ", offset: ", offset,
                                       ", range: ", execution_path_.size()));
    }
    pc_ = static_cast<size_t>(new_pc);
    return absl::OkStatus();
  }

  // Move pc to a subexpression.
  //