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

check that we don't attempt to un-drop while evacuating

Browse Source
This commit is contained in:
Bennet Bleßmann
2024-07-07 14:37:28 +02:00
parent 213ee5ca45
commit a0d790445d
1 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/machine/loader.rs
View File

@@ -304,11 +304,15 @@ impl<'a> LoadState<'a> for LiveLoadAndMachineState<'a> {
#[inline(always)] #[inline(always)]
fn evacuate(mut loader: Loader<'a, Self>) -> Result<Self::Evacuable, SessionError> { fn evacuate(mut loader: Loader<'a, Self>) -> Result<Self::Evacuable, SessionError> {
if loader.payload.load_state.get_tag() != ArenaHeaderTag::Dropped {
loader loader
.payload .payload
.load_state .load_state
.set_tag(ArenaHeaderTag::InactiveLoadState); .set_tag(ArenaHeaderTag::InactiveLoadState);
Ok(loader.payload.load_state) Ok(loader.payload.load_state)
} else {
unreachable!("we never evacuate after dropping")
}
} }
#[inline(always)] #[inline(always)]