// SPDX-License-Identifier: Apache-2.0

// SPDX-FileCopyrightText: Copyright The WasmEdge Authors

//===-- wasmedge/system/fault.h - Memory and arithmetic exception ---------===//

//

// Part of the WasmEdge Project.

//

//===----------------------------------------------------------------------===//

///

/// \file

/// This file contains the software exception handler for various operating

/// systems.

///

//===----------------------------------------------------------------------===//

#pragma once

#include "common/errcode.h"

#include "common/span.h"

#include <array>

#include <csetjmp>

namespace WasmEdge {

class Fault {

public:

  Fault();

  ~Fault() noexcept;

  [[noreturn]] static void emitFault(ErrCode Error);

  std::jmp_buf &buffer() noexcept { return Buffer; }

  Span<void *const> stacktrace() const noexcept {

    return Span<void *const>{StackTraceBuffer}.first(StackTraceSize);

  }

private:

  Fault *Prev = nullptr;

  std::jmp_buf Buffer;

  std::array<void *, 256> StackTraceBuffer;

  size_t StackTraceSize;

};

} // namespace WasmEdge

#define PREPARE_FAULT(f) (static_cast<uint32_t>(setjmp((f).buffer())))