Subzero: Elide redundant access checks within basic blocks

src/IceASanInstrumentation.h

Index: src/IceASanInstrumentation.h
diff --git a/src/IceASanInstrumentation.h b/src/IceASanInstrumentation.h
index 3959b36ba0c41283e9486c0b7acc5facdd859eab..fa6f0ff7c187b11c8d0eb5e92decaf9ca90c804a 100644
--- a/src/IceASanInstrumentation.h
+++ b/src/IceASanInstrumentation.h
@@ -37,6 +37,8 @@ public:
   ASanInstrumentation(GlobalContext *Ctx) : Instrumentation(Ctx), RzNum(0) {
     ICE_TLS_INIT_FIELD(LocalVars);
     ICE_TLS_INIT_FIELD(LocalDtors);
+    ICE_TLS_INIT_FIELD(CurNode);
+    ICE_TLS_INIT_FIELD(CheckedVars);
   }
   void instrumentGlobals(VariableDeclarationList &Globals) override;
 
@@ -55,6 +57,8 @@ private:
   void finishFunc(Cfg *Func) override;
   ICE_TLS_DECLARE_FIELD(VarSizeMap *, LocalVars);
   ICE_TLS_DECLARE_FIELD(std::vector<InstStore *> *, LocalDtors);
+  ICE_TLS_DECLARE_FIELD(CfgNode *, CurNode);
+  ICE_TLS_DECLARE_FIELD(VarSizeMap *, CheckedVars);
   GlobalSizeMap GlobalSizes;
   std::atomic<uint32_t> RzNum;
   bool DidProcessGlobals = false;