add machine hook tcx parameters

diff --git a/src/machine.rs b/src/machine.rs
index 9108f4f1666312b76eb25b6662c3e248d63053ac..9e0cb69f28d80ef8eaa2b752e18075aecaf1ef22 100644 (file)
--- a/src/machine.rs
+++ b/src/machine.rs
@@ -605,6 +605,7 @@ fn ptr_get_alloc(
 
     #[inline(always)]
     fn memory_read(
+        _tcx: TyCtxt<'tcx>,
         machine: &Self,
         alloc_extra: &AllocExtra,
         tag: Tag,
@@ -627,6 +628,7 @@ fn memory_read(
 
     #[inline(always)]
     fn memory_written(
+        _tcx: TyCtxt<'tcx>,
         machine: &mut Self,
         alloc_extra: &mut AllocExtra,
         tag: Tag,
@@ -649,6 +651,7 @@ fn memory_written(
 
     #[inline(always)]
     fn memory_deallocated(
+        _tcx: TyCtxt<'tcx>,
         machine: &mut Self,
         alloc_extra: &mut AllocExtra,
         tag: Tag,