Use separate random number generator for each randomization pass

src/IceCfg.h

Index: src/IceCfg.h
diff --git a/src/IceCfg.h b/src/IceCfg.h
index b5ded6a44bbe8eef96834300d30dc6ae1eac3228..bbf050cfc424c49af62aa55d3c451d0688a4792e 100644
--- a/src/IceCfg.h
+++ b/src/IceCfg.h
@@ -164,6 +164,7 @@ public:
   bool hasComputedFrame() const;
   bool getFocusedTiming() const { return FocusedTiming; }
   void setFocusedTiming() { FocusedTiming = true; }
+  uint32_t getConstantBlindingCookie() const { return ConstantBlindingCookie; }
   /// @}
 
   /// Returns true if Var is a global variable that is used by the profiling
@@ -247,7 +248,8 @@ private:
   void emitJumpTables();
 
   GlobalContext *Ctx;
-  uint32_t SequenceNumber; /// output order for emission
+  uint32_t SequenceNumber;             /// output order for emission
+  uint32_t ConstantBlindingCookie = 0; /// Cookie for Constant Blinding

[Jim Stichnoth, 2015/08/19 19:03:04]

Make capitalization consistent across the adjacent comments.

[qining, 2015/08/19 23:25:48]

Done.

   VerboseMask VMask;
   IceString FunctionName = "";
   Type ReturnType = IceType_void;