From 7242d9db178ac02532d046653c99a5aeb3d84dfa Mon Sep 17 00:00:00 2001
From: Hamed Gorjiara <hgorjiar@uci.edu>
Date: Thu, 6 Sep 2018 13:24:37 -0700
Subject: [PATCH] Bug fix: overflow in compiler automatic static casting

---
 src/Encoders/elementencoding.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/Encoders/elementencoding.h b/src/Encoders/elementencoding.h
index 0740461..3fda704 100644
--- a/src/Encoders/elementencoding.h
+++ b/src/Encoders/elementencoding.h
@@ -17,7 +17,7 @@ public:
 	void allocInUseArrayElement(uint size);
 	uint numEncodingVars() {return numVars;}
 	bool isinUseElement(uint offset) { return (inUseArray[(offset >> 6)] >> (offset & 63)) & 0x1;}
-	void setInUseElement(uint offset) {inUseArray[(offset >> 6)] |= 1 << (offset & 63);}
+	void setInUseElement(uint offset) {inUseArray[(offset >> 6)] |= ((uint64_t)1) << (offset & 63);}
 	void encodingArrayInitialization();
 	uint getSizeEncodingArray(uint setSize) {
 		switch (type) {
@@ -55,7 +55,7 @@ public:
 		};
 	};
 	uint numVars;	/* Number of variables */
-	CMEMALLOC;
+        CMEMALLOC;
 };
 
 
-- 
2.34.1