1*427fbf37SRichard Henderson /* SPDX-License-Identifier: MIT */ 2*427fbf37SRichard Henderson /* 3*427fbf37SRichard Henderson * Define tcg_debug_assert 4*427fbf37SRichard Henderson * Copyright (c) 2008 Fabrice Bellard 5*427fbf37SRichard Henderson */ 6*427fbf37SRichard Henderson 7*427fbf37SRichard Henderson #ifndef TCG_DEBUG_ASSERT_H 8*427fbf37SRichard Henderson #define TCG_DEBUG_ASSERT_H 9*427fbf37SRichard Henderson 10*427fbf37SRichard Henderson #if defined CONFIG_DEBUG_TCG || defined QEMU_STATIC_ANALYSIS 11*427fbf37SRichard Henderson # define tcg_debug_assert(X) do { assert(X); } while (0) 12*427fbf37SRichard Henderson #else 13*427fbf37SRichard Henderson # define tcg_debug_assert(X) \ 14*427fbf37SRichard Henderson do { if (!(X)) { __builtin_unreachable(); } } while (0) 15*427fbf37SRichard Henderson #endif 16*427fbf37SRichard Henderson 17*427fbf37SRichard Henderson #endif 18