From ba72e4ebbfb4973474f499255fc189f2166bc8f7 Mon Sep 17 00:00:00 2001
From: Patrick Pelissier <Patrick.Pelissier@gmail.com>
Date: Sat, 17 Mar 2018 19:54:59 +0100
Subject: [PATCH] Remove check in protected contract: since there are two mutex
 now, there are data race when we want to check it. TODO: Properly separate
 the contract.

---
 m-buffer.h | 2 --
 1 file changed, 2 deletions(-)

diff --git a/m-buffer.h b/m-buffer.h
index ec577c45..1c687321 100644
--- a/m-buffer.h
+++ b/m-buffer.h
@@ -91,8 +91,6 @@ typedef enum {
 
 #define BUFFERI_PROTECTED_CONTRACT(buffer, size) do {                   \
     assert (atomic_load(&buffer->number[0]) <= BUFFERI_SIZE(size));	\
-    assert (buffer->idx_prod <= BUFFERI_SIZE(size));                    \
-    assert (buffer->idx_cons <= BUFFERI_SIZE(size));                    \
   } while (0)
 
 #define BUFFERI_DEF(arg) BUFFERI_DEF2 arg