stdnoreturn.h

#pragma once
// SPDX-License-Identifier: MIT
// Copyright CHERIoT Contributors
 
/**
 * This header is part of C11 (and supported for compatibility in older
 * versions) but is gone in C23 because the C keywords were moved out of the
 * reserved-for-the-implementation namespace into the global one.
 */
#ifdef __STDC_VERSION__
#   if __STDC_VERSION__ < 202311L
 
/**
 * C++-compatible spelling for `_Noreturn`.
 */
#       define noreturn _Noreturn
 
#   endif
#endif