rustc_monomorphize/graph_checks/mod.rs
1//! Checks that need to operate on the entire mono item graph
2use rustc_middle::mir::mono::MonoItem;
3use rustc_middle::ty::TyCtxt;
4
5use crate::collector::UsageMap;
6use crate::graph_checks::statics::check_static_initializers_are_acyclic;
7
8mod statics;
9
10pub(super) fn target_specific_checks<'tcx, 'a, 'b>(
11 tcx: TyCtxt<'tcx>,
12 mono_items: &'a [MonoItem<'tcx>],
13 usage_map: &'b UsageMap<'tcx>,
14) {
15 if tcx.sess.target.options.static_initializer_must_be_acyclic {
16 check_static_initializers_are_acyclic(tcx, mono_items, usage_map);
17 }
18}