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

fix panic caused by jmp offset off by one error (#1429)

Browse Source
This commit is contained in:
Mark Thom
2022-04-17 12:19:48 -06:00
parent 2d5fe21b05
commit 35b8f69f92
1 changed files with 5 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
src/codegen.rs
View File

@@ -1076,7 +1076,11 @@ impl<'b, TermMarker: Allocator> CodeGenerator<'b, TermMarker> {
code_offsets.index_term(arg, index, &mut clause_index_info, self.atom_tbl); code_offsets.index_term(arg, index, &mut clause_index_info, self.atom_tbl);
} }
if !(clauses.len() == 1 && self.settings.is_extensible) { if !(code_offsets.no_indices() && clauses.len() == 1 && self.settings.is_extensible) {
// the peculiar condition of this block, when false,
// anticipates code.pop_front() being called about a
// dozen lines below.
debug_assert_eq!(code.len(), 1);
self.increment_jmp_by_locs_by(code.len()); self.increment_jmp_by_locs_by(code.len());
} }