From e7b86361e2deb09097476dd1b33c750f0a2ea20f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Cenk=20G=C3=BCndo=C4=9Fan?= <cnkgndgn@gmail.com>
Date: Tue, 12 Apr 2016 08:06:13 +0200
Subject: [PATCH] cib: check (write > read) explicitly

---
 core/include/cib.h | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/core/include/cib.h b/core/include/cib.h
index fb1c161db9..70702d1b6e 100644
--- a/core/include/cib.h
+++ b/core/include/cib.h
@@ -79,9 +79,7 @@ static inline unsigned int cib_avail(cib_t *__restrict cib)
  */
 static inline int cib_get(cib_t *__restrict cib)
 {
-    unsigned int avail = cib_avail(cib);
-
-    if (avail > 0) {
+    if (cib->write_count > cib->read_count) {
         return (int) (cib->read_count++ & cib->mask);
     }