Fix SHOW_MEMORY for gcc and glibc on linux

2024-03-13 16:57:38 -07:00
parent 3cb0765fdd
commit 6b6a9bace9
2 changed files with 16 additions and 5 deletions
--- a/ConflictSet.cpp
+++ b/ConflictSet.cpp
@@ -47,7 +47,9 @@ limitations under the License.
 #if __has_builtin(__builtin_assume)
 #define assume(e) __builtin_assume(e)
 #else
-#define assume(e) __attribute__((assume(e)))
+#define assume(e)                                                              \
+  if (!(e))                                                                    \
+  __builtin_unreachable()
 #endif
 #else
 #define assume assert