From 5cc17b00edefc41b787b6a37821bdf41011a2ee9 Mon Sep 17 00:00:00 2001
From: Alex Groce <agroce@gmail.com>
Date: Thu, 6 Dec 2018 05:15:42 -0700
Subject: [PATCH] fix if

---
 src/include/deepstate/DeepState.h | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/include/deepstate/DeepState.h b/src/include/deepstate/DeepState.h
index ed8ecf8..c103a72 100644
--- a/src/include/deepstate/DeepState.h
+++ b/src/include/deepstate/DeepState.h
@@ -263,8 +263,9 @@ DEEPSTATE_INLINE static void DeepState_Check(int expr) {
       const tname x = DeepState_ ## Tname(); \
       if (DeepState_UsingSymExec) { \
         (void) DeepState_Assume(low <= x && x <= high); \
-	return x;
-      } else if ((x < low) || (x > high)) { \
+	return x; \
+      } \
+      if ((x < low) || (x > high)) { \
         const tname size = (high - low) + 1; \
         return low + (x % size); \
       } \