mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

re-add miri intrinsic ABI check

Browse Source
This commit is contained in:
Ralf Jung 2019-11-16 11:44:32 +01:00
parent 1d8b6ce89e
commit 405866aaa3
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/librustc_mir/interpret/terminator.rs
View File

@ -264,6 +264,11 @@ impl<'mir, 'tcx, M: Machine<'mir, 'tcx>> InterpCx<'mir, 'tcx, M> {
match instance.def {
ty::InstanceDef::Intrinsic(..) => {
if caller_abi != Abi::RustIntrinsic && caller_abi != Abi::PlatformIntrinsic {
throw_ub_format!("Rust intrinsic called with an ABI other than \
`RustIntrinsic` and `PlatformIntrinsic`.");
}
let old_stack = self.cur_frame();
let old_bb = self.frame().block;
M::call_intrinsic(self, span, instance, args, dest, ret, unwind)?;