You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
// This is a new allocation, add the allocation it points to `todo`.
953
-
let(_size, _align, kind, mutability)= self.get_alloc_info(id);// TODO: Rebasing will give me the mutaility.
960
+
letinfo = self.get_alloc_info(id);
954
961
955
962
// If there is no data behind this pointer, skip this.
956
-
if !matches!(kind,AllocKind::LiveData){
963
+
if !matches!(info.kind,AllocKind::LiveData){
957
964
continue;
958
965
}
959
966
960
967
let alloc = self.get_alloc_raw(id)?;
961
968
for prov in alloc.provenance().provenances(){
962
-
M::expose_provenance(self, prov)?;// TODO: Is this right?
969
+
//M::expose_provenance(self, prov)?; // TODO: Is this the right way to expose provenance? + mutable borrow here gives issues due to provenances iterator lifetime...
963
970
ifletSome(id) = prov.get_alloc_id(){
964
971
todo.push(id);
965
972
}
966
973
}
967
974
968
975
// Prepare for possible write from native code if mutable.
0 commit comments