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

Fix load_context_module triggering unreachable code in unify_atom

Browse Source
This commit is contained in:
Emilie Burgun
2025-01-07 17:59:13 +01:00
parent 2856cc4371
commit 6cedbc33c0
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/machine/dispatch.rs
View File

@@ -4812,11 +4812,11 @@ impl Machine {
step_or_fail!(self, self.machine_st.p = self.machine_st.cp); step_or_fail!(self, self.machine_st.p = self.machine_st.cp);
} }
&Instruction::CallLoadContextModule => { &Instruction::CallLoadContextModule => {
self.load_context_module(self.machine_st.registers[1]); self.load_context_module(self.deref_register(1));
step_or_fail!(self, self.machine_st.p += 1); step_or_fail!(self, self.machine_st.p += 1);
} }
&Instruction::ExecuteLoadContextModule => { &Instruction::ExecuteLoadContextModule => {
self.load_context_module(self.machine_st.registers[1]); self.load_context_module(self.deref_register(1));
step_or_fail!(self, self.machine_st.p = self.machine_st.cp); step_or_fail!(self, self.machine_st.p = self.machine_st.cp);
} }
&Instruction::CallLoadContextStream => { &Instruction::CallLoadContextStream => {