From b6d5121484f1b9adcc0e4b3b769f7aedef940149 Mon Sep 17 00:00:00 2001 From: Martin McGrane Date: Mon, 29 Jun 2020 16:05:00 +1000 Subject: [PATCH] Use unreachable macro for all compilers --- src/utility/MiscUtil.h | 7 +------ 1 file changed, 1 insertion(+), 6 deletions(-) diff --git a/src/utility/MiscUtil.h b/src/utility/MiscUtil.h index c0271944e9c..8cfdfda4919 100644 --- a/src/utility/MiscUtil.h +++ b/src/utility/MiscUtil.h @@ -123,12 +123,7 @@ template abort(); } -// HACK: Workaround for GCC <= 9.2 which does not perform exhaustive switch analysis. -// This is intended to be used to suppress spurious reachability warnings. -#if defined(__GNUC__) && __GNUC__ < 10 +// HACK: Workaround to suppress spurious reachability warnings. #define UNREACHABLE_BAD_CASE_ANALYSIS fatal("unhandled switch branch"); -#else -#define UNREACHABLE_BAD_CASE_ANALYSIS (void); -#endif } // namespace souffle