Skip to content

Commit b1c71f9

Browse files
committed
Remove assume intrinsic from EvalContextExt
It has been moved to rustc_mir.
1 parent 2f84bfc commit b1c71f9

File tree

1 file changed

+0
-8
lines changed

1 file changed

+0
-8
lines changed

src/shims/intrinsics.rs

-8
Original file line numberDiff line numberDiff line change
@@ -478,14 +478,6 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
478478
}
479479

480480
// Other
481-
"assume" => {
482-
let &[cond] = check_arg_count(args)?;
483-
let cond = this.read_scalar(cond)?.check_init()?.to_bool()?;
484-
if !cond {
485-
throw_ub_format!("`assume` intrinsic called with `false`");
486-
}
487-
}
488-
489481
"exact_div" => {
490482
let &[num, denom] = check_arg_count(args)?;
491483
this.exact_div(this.read_immediate(num)?, this.read_immediate(denom)?, dest)?;

0 commit comments

Comments
 (0)