stdnoreturn.h

Go to the documentation of this file.

// Copyright lowRISC contributors (OpenTitan project).
// Licensed under the Apache License, Version 2.0, see LICENSE for details.
// SPDX-License-Identifier: Apache-2.0
 
#ifndef OPENTITAN_SW_DEVICE_LIB_BASE_FREESTANDING_STDNORETURN_H_
#define OPENTITAN_SW_DEVICE_LIB_BASE_FREESTANDING_STDNORETURN_H_
 
/**
 * @file
 * @brief C library _Noreturn (Freestanding)
 *
 * This header implements the stdnoreturn.h standard header, as required by C11
 * S4p6. This header is specified in detail in S7.23 of the same.
 */
 
#define noreturn _Noreturn
 
#endif  // OPENTITAN_SW_DEVICE_LIB_BASE_FREESTANDING_STDNORETURN_H_