bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Taint const qualifs if a static is referenced that didn't pass wfcheck

Browse source
This commit is contained in:
Oli Scherer 2024-04-09 10:57:41 +00:00
parent 63f70b3d10
commit 801413ecd1
4 changed files with 63 additions and 17 deletions
Download patch file Download diff file Expand all files Collapse all files

5
compiler/rustc_const_eval/src/transform/check_consts/check.rs
View file

@ -331,6 +331,11 @@ impl<'mir, 'tcx> Checker<'mir, 'tcx> {
if self.tcx.is_thread_local_static(def_id) {
self.tcx.dcx().span_bug(span, "tls access is checked in `Rvalue::ThreadLocalRef`");
}
if let Some(def_id) = def_id.as_local()
&& let Err(guar) = self.tcx.at(span).check_well_formed(hir::OwnerId { def_id })
{
self.error_emitted = Some(guar);
}
self.check_op_spanned(ops::StaticAccess, span)
}