diff --git a/src/util/atrb.h b/src/util/atrb.h
index 6c80260..cfcb869 100644
--- a/src/util/atrb.h
+++ b/src/util/atrb.h
@@ -57,4 +57,8 @@
 #else
 #define NONNULL(args)
 #endif
+
+#if __has_attribute(__assume__)
+#define ASSUME(args) __attribute__((__assume__ args))
+#endif
 #endif