rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

do not deref AttrVar binding in redo_attr_var_binding (#2059)

Browse Source
This commit is contained in:
Mark
2023-09-28 15:25:57 -06:00
parent 40d3345cd5
commit 11cd42379b
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/machine/system_calls.rs
View File

@@ -5659,7 +5659,9 @@ impl Machine {
} }
#[inline(always)] #[inline(always)]
pub(crate) fn redo_attr_var_binding(&mut self) { pub(crate) fn redo_attr_var_binding(&mut self) {
let var = self.deref_register(1); // registers[1] MUST NOT be dereferenced here. the original
// AttrVar binding site must be preserved.
let var = self.machine_st.registers[1];
let value = self.deref_register(2); let value = self.deref_register(2);
debug_assert_eq!(HeapCellValueTag::AttrVar, var.get_tag()); debug_assert_eq!(HeapCellValueTag::AttrVar, var.get_tag());