Implemented loose checking for potential widened loads

src/IceASanInstrumentation.h

Index: src/IceASanInstrumentation.h
diff --git a/src/IceASanInstrumentation.h b/src/IceASanInstrumentation.h
index 4757f24a5480bc23e1dd64e00c85653e87dd04aa..68d0bf3c0da623f83924a1824db87829193a1c49 100644
--- a/src/IceASanInstrumentation.h
+++ b/src/IceASanInstrumentation.h
@@ -47,7 +47,8 @@ private:
   void instrumentRet(LoweringContext &Context, InstRet *Instr) override;
   void instrumentLoad(LoweringContext &Context, InstLoad *Instr) override;
   void instrumentStore(LoweringContext &Context, InstStore *Instr) override;
-  void instrumentAccess(LoweringContext &Context, Operand *Op, SizeT Size);
+  void instrumentAccess(LoweringContext &Context, Operand *Op, SizeT Size,
+                        Constant *AccessFunc);
   void instrumentStart(Cfg *Func) override;
   void finishFunc(Cfg *Func) override;
   ICE_TLS_DECLARE_FIELD(std::vector<InstCall *> *, LocalDtors);