From: Hamed Gorjiara <hgorjiar@uci.edu>
Date: Thu, 6 Sep 2018 20:24:37 +0000 (-0700)
Subject: Bug fix: overflow in compiler automatic static casting
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=commitdiff_plain;h=7242d9db178ac02532d046653c99a5aeb3d84dfa

Bug fix: overflow in compiler automatic static casting
---

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;
 };