From c5638b6f30143192c12c92be7d35e30bd5bb4d81 Mon Sep 17 00:00:00 2001
From: Florian Schmaus <flow@cs.fau.de>
Date: Fri, 9 Jun 2017 17:25:33 +0200
Subject: [PATCH] Correctly initialize BPS

---
 emper/BinaryPrivateSemaphore.hpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/emper/BinaryPrivateSemaphore.hpp b/emper/BinaryPrivateSemaphore.hpp
index bbaae134..ad3f536e 100644
--- a/emper/BinaryPrivateSemaphore.hpp
+++ b/emper/BinaryPrivateSemaphore.hpp
@@ -24,7 +24,7 @@ protected:
 	Context* signalInternal() override;
 
 public:
-	BinaryPrivateSemaphore() {
+	BinaryPrivateSemaphore() : bpsState(initial) {
 	}
 
 	void wait() override;
-- 
GitLab