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