returnerr!(Unimplemented(format!("miri does not support dynamically loading libraries (requested symbol: {})",symbol_name)));
returnerr!(Unimplemented(format!(
"miri does not support dynamically loading libraries (requested symbol: {})",
symbol_name
)));
}
"__rust_maybe_catch_panic"=>{
...
...
@@ -167,7 +185,12 @@ fn call_c_abi(
StackPopCleanup::Goto(dest_block),
)?;
letarg_local=self.frame().mir.args_iter().next().ok_or(EvalErrorKind::AbiViolation("Argument to __rust_maybe_catch_panic does not take enough arguments.".to_owned()))?;