bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Rollup merge of #115643 - bvanjoi:fix-115203, r=RalfJung,oli-obk

Browse source 
fix: return early when has tainted in mir-lint

Fixes #115203

`a[..]` is of indeterminate size, it had been reported error during borrow check, therefore we skip the mir lint process.
This commit is contained in:
Guillaume Gomez 2023-09-08 14:10:52 +02:00 • committed by GitHub
commit 60327bb8b0
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
3 changed files with 34 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

4
compiler/rustc_mir_transform/src/const_prop_lint.rs
View file

@ -39,6 +39,10 @@ pub struct ConstProp;
impl<'tcx> MirLint<'tcx> for ConstProp {
fn run_lint(&self, tcx: TyCtxt<'tcx>, body: &Body<'tcx>) {
if body.tainted_by_errors.is_some() {
return;
}
// will be evaluated by miri and produce its errors there
if body.source.promoted.is_some() {
return;