From 53a442abf9d63e2e2bc14900de684ad3385259d6 Mon Sep 17 00:00:00 2001
From: Andrew Noyes <andrew@weaselab.dev>
Date: Sun, 10 Mar 2024 14:22:47 -0700
Subject: [PATCH] Use the assume attribute for gcc

---
 ConflictSet.cpp | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/ConflictSet.cpp b/ConflictSet.cpp
index 08a67af..4d4d86e 100644
--- a/ConflictSet.cpp
+++ b/ConflictSet.cpp
@@ -47,9 +47,7 @@ limitations under the License.
 #if __has_builtin(__builtin_assume)
 #define assume(e) __builtin_assume(e)
 #else
-#define assume(e)                                                              \
-  if (!(e))                                                                    \
-  __builtin_unreachable()
+#define assume(e) __attribute__((assume(e)))
 #endif
 #else
 #define assume assert