Merge pull request #1511 from mmcgr/reachability

Use unreachable macro for all compilers
souffle-lang · Jun 29, 2020 · d75c5eb · d75c5eb
2 parents bdd5424 + b6d5121
commit d75c5eb
Showing 1 changed file with 1 addition and 6 deletions.
diff --git a/src/utility/MiscUtil.h b/src/utility/MiscUtil.h
@@ -123,12 +123,7 @@ template <typename... Args>
     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