bjoernager/rust
bjoernager/rust
1
Fork 0
Code Issues Pull requests Activity

Extra assertions in eval_body_using_ecx to disallow queries for

Browse source 
functions that does allocations
This commit is contained in:
Tunahan Karlibas 2020-12-09 14:53:35 +03:00
parent 7cb74ed191
commit de1cd4b36d
No known key found for this signature in database
GPG key ID: ECC4968DC9D453DE
2 changed files with 7 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

7
compiler/rustc_mir/src/const_eval/eval_queries.rs
View file

@ -30,6 +30,13 @@ fn eval_body_using_ecx<'mir, 'tcx>(
body: &'mir mir::Body<'tcx>,
) -> InterpResult<'tcx, MPlaceTy<'tcx>> {
debug!("eval_body_using_ecx: {:?}, {:?}", cid, ecx.param_env);
assert!(
cid.promoted.is_some()
|| matches!(
ecx.tcx.hir().body_const_context(def_id),
Some(ConstContext::Const | ConstContext::Static(_))
)
);
let tcx = *ecx.tcx;
let layout = ecx.layout_of(body.return_ty().subst(tcx, cid.instance.substs))?;
assert!(!layout.is_unsized());