From: Ralf Jung <post@ralfj.de>
Date: Wed, 6 Apr 2022 22:30:25 +0000 (-0400)
Subject: add machine hook tcx parameters
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=e1556c857692b9595357a35bcd567f6761c2abc4;p=rust.git

add machine hook tcx parameters
---

diff --git a/src/machine.rs b/src/machine.rs
index 9108f4f1666..9e0cb69f28d 100644
--- 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,