| David Chisnall | d8cfd52 | 2024-09-05 09:05:56 +0100 | [diff] [blame] | 1 | #pragma once |
| 2 | // SPDX-License-Identifier: MIT |
| 3 | // Copyright CHERIoT Contributors |
| 4 | |
| 5 | /** |
| 6 | * This header is part of C11 (and supported for compatibility in older |
| 7 | * versions) but is gone in C23 because the C keywords were moved out of the |
| 8 | * reserved-for-the-implementation namespace into the global one. |
| 9 | */ |
| 10 | #ifdef __STDC_VERSION__ |
| 11 | # if __STDC_VERSION__ < 202311L |
| 12 | |
| 13 | /** |
| 14 | * C++-compatible spelling for `_Noreturn`. |
| 15 | */ |
| 16 | # define noreturn _Noreturn |
| 17 | |
| 18 | # endif |
| 19 | #endif |
