blob: 10e58f32256f1b23c940056a0b09eb7583cb9ea8 [file] [log] [blame]
//! Registering limits:
//! - recursion_limit: there are various parts of the compiler that must impose arbitrary limits
//! on how deeply they recurse to prevent stack overflow.
//! - move_size_limit
//! - type_length_limit
//! - pattern_complexity_limit
//!
//! Users can override these limits via an attribute on the crate like
//! `#![recursion_limit="22"]`. This pass just looks for those attributes.
use rustc_hir::attrs::AttributeKind;
use rustc_hir::limit::Limit;
use rustc_hir::{Attribute, find_attr};
use rustc_middle::query::Providers;
use rustc_session::Limits;
pub(crate) fn provide(providers: &mut Providers) {
providers.limits = |tcx, ()| {
let attrs = tcx.hir_krate_attrs();
Limits {
recursion_limit: get_recursion_limit(tcx.hir_krate_attrs()),
move_size_limit:
find_attr!(attrs, AttributeKind::MoveSizeLimit { limit, .. } => *limit)
.unwrap_or(Limit::new(tcx.sess.opts.unstable_opts.move_size_limit.unwrap_or(0))),
type_length_limit:
find_attr!(attrs, AttributeKind::TypeLengthLimit { limit, .. } => *limit)
.unwrap_or(Limit::new(2usize.pow(24))),
pattern_complexity_limit:
find_attr!(attrs, AttributeKind::PatternComplexityLimit { limit, .. } => *limit)
.unwrap_or(Limit::unlimited()),
}
}
}
// This one is separate because it must be read prior to macro expansion.
pub(crate) fn get_recursion_limit(attrs: &[Attribute]) -> Limit {
find_attr!(attrs, AttributeKind::RecursionLimit { limit, .. } => *limit)
.unwrap_or(Limit::new(128))
}