bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

ensure sufficient stack in unsafety check

Browse source
This commit is contained in:
Rémy Rakic 2025-01-31 13:05:38 +01:00 • committed by Rémy Rakic
parent 2c778c1e4c
commit 94562ee1ea
1 changed files with 4 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

5
compiler/rustc_mir_build/src/check_unsafety.rs
View file

@ -2,6 +2,7 @@ use std::borrow::Cow;
use std::mem; use std::mem;
use std::ops::Bound; use std::ops::Bound;
use rustc_data_structures::stack::ensure_sufficient_stack;
use rustc_errors::DiagArgValue; use rustc_errors::DiagArgValue;
use rustc_hir::def::DefKind; use rustc_hir::def::DefKind;
use rustc_hir::{self as hir, BindingMode, ByRef, HirId, Mutability}; use rustc_hir::{self as hir, BindingMode, ByRef, HirId, Mutability};
@ -473,7 +474,9 @@ impl<'a, 'tcx> Visitor<'a, 'tcx> for UnsafetyVisitor<'a, 'tcx> {
ExprKind::Scope { value, lint_level: LintLevel::Explicit(hir_id), region_scope: _ } => { ExprKind::Scope { value, lint_level: LintLevel::Explicit(hir_id), region_scope: _ } => {
let prev_id = self.hir_context; let prev_id = self.hir_context;
self.hir_context = hir_id; self.hir_context = hir_id;
self.visit_expr(&self.thir[value]); ensure_sufficient_stack(|| {
self.visit_expr(&self.thir[value]);
});
self.hir_context = prev_id; self.hir_context = prev_id;
return; // don't visit the whole expression return; // don't visit the whole expression
} }