1 use crate::interface::{Compiler, Result};
3 use crate::proc_macro_decls;
5 use log::{info, warn, log_enabled};
6 use rustc::dep_graph::DepGraph;
8 use rustc::hir::lowering::lower_crate;
9 use rustc::hir::def_id::{CrateNum, LOCAL_CRATE};
11 use rustc::middle::{self, reachable, resolve_lifetime, stability};
12 use rustc::middle::cstore::{CrateStore, MetadataLoader, MetadataLoaderDyn};
13 use rustc::ty::{self, AllArenas, ResolverOutputs, TyCtxt, GlobalCtxt};
14 use rustc::ty::steal::Steal;
16 use rustc::util::common::{time, ErrorReported};
17 use rustc::session::Session;
18 use rustc::session::config::{self, CrateType, Input, OutputFilenames, OutputType};
19 use rustc::session::config::{PpMode, PpSourceMode};
20 use rustc::session::search_paths::PathKind;
21 use rustc_codegen_ssa::back::link::emit_metadata;
22 use rustc_codegen_utils::codegen_backend::CodegenBackend;
23 use rustc_codegen_utils::link::filename_for_metadata;
24 use rustc_data_structures::{box_region_allow_access, declare_box_region_type, parallel};
25 use rustc_data_structures::sync::{Lrc, ParallelIterator, par_iter};
26 use rustc_errors::PResult;
27 use rustc_incremental;
28 use rustc_metadata::cstore;
30 use rustc_parse::{parse_crate_from_file, parse_crate_from_source_str};
31 use rustc_passes::{self, ast_validation, hir_stats, layout_test};
32 use rustc_plugin_impl as plugin;
33 use rustc_plugin_impl::registry::Registry;
35 use rustc_resolve::{Resolver, ResolverArenas};
37 use rustc_typeck as typeck;
38 use syntax::{self, ast, visit};
39 use syntax::early_buffered_lints::BufferedEarlyLint;
40 use syntax_expand::base::{NamedSyntaxExtension, ExtCtxt};
41 use syntax::mut_visit::MutVisitor;
42 use syntax::util::node_count::NodeCounter;
43 use syntax::symbol::Symbol;
44 use syntax_pos::FileName;
47 use rustc_serialize::json;
48 use tempfile::Builder as TempFileBuilder;
50 use std::{env, fs, iter, mem};
52 use std::ffi::OsString;
53 use std::io::{self, Write};
54 use std::path::PathBuf;
55 use std::cell::RefCell;
58 pub fn parse<'a>(sess: &'a Session, input: &Input) -> PResult<'a, ast::Crate> {
60 .set_continue_after_error(sess.opts.debugging_opts.continue_parse_after_error);
61 let krate = time(sess, "parsing", || {
62 let _prof_timer = sess.prof.generic_activity("parse_crate");
65 Input::File(file) => parse_crate_from_file(file, &sess.parse_sess),
66 Input::Str { input, name } => {
67 parse_crate_from_source_str(name.clone(), input.clone(), &sess.parse_sess)
72 sess.diagnostic().set_continue_after_error(true);
74 if sess.opts.debugging_opts.ast_json_noexpand {
75 println!("{}", json::as_json(&krate));
78 if sess.opts.debugging_opts.input_stats {
81 sess.source_map().count_lines()
83 println!("Pre-expansion node count: {}", count_nodes(&krate));
86 if let Some(ref s) = sess.opts.debugging_opts.show_span {
87 syntax::show_span::run(sess.diagnostic(), s, &krate);
90 if sess.opts.debugging_opts.hir_stats {
91 hir_stats::print_ast_stats(&krate, "PRE EXPANSION AST STATS");
97 fn count_nodes(krate: &ast::Crate) -> usize {
98 let mut counter = NodeCounter::new();
99 visit::walk_crate(&mut counter, krate);
103 declare_box_region_type!(
106 (&mut Resolver<'_>) -> (Result<ast::Crate>, ResolverOutputs)
109 /// Runs the "early phases" of the compiler: initial `cfg` processing,
110 /// loading compiler plugins (including those from `addl_plugins`),
111 /// syntax expansion, secondary `cfg` expansion, synthesis of a test
112 /// harness if one is to be provided, injection of a dependency on the
113 /// standard library and prelude, and name resolution.
115 /// Returns `None` if we're aborting after handling -W help.
116 pub fn configure_and_expand(
118 lint_store: Lrc<lint::LintStore>,
119 metadata_loader: Box<MetadataLoaderDyn>,
122 plugin_info: PluginInfo,
123 ) -> Result<(ast::Crate, BoxedResolver)> {
124 // Currently, we ignore the name resolution data structures for the purposes of dependency
125 // tracking. Instead we will run name resolution and include its output in the hash of each
126 // item, much like we do for macro expansion. In other words, the hash reflects not just
127 // its contents but the results of name resolution on those contents. Hopefully we'll push
128 // this back at some point.
129 let crate_name = crate_name.to_string();
130 let (result, resolver) = BoxedResolver::new(static move || {
132 let resolver_arenas = Resolver::arenas();
133 let res = configure_and_expand_inner(
142 let mut resolver = match res {
144 yield BoxedResolver::initial_yield(Err(v));
147 Ok((krate, resolver)) => {
148 yield BoxedResolver::initial_yield(Ok(krate));
152 box_region_allow_access!(for(), (&mut Resolver<'_>), (&mut resolver));
153 resolver.into_outputs()
155 result.map(|k| (k, resolver))
159 pub fn to_resolver_outputs(resolver: Rc<RefCell<BoxedResolver>>) -> ResolverOutputs {
160 match Rc::try_unwrap(resolver) {
161 Ok(resolver) => resolver.into_inner().complete(),
162 Err(resolver) => resolver.borrow_mut().access(|resolver| resolver.clone_outputs()),
167 pub struct PluginInfo {
168 syntax_exts: Vec<NamedSyntaxExtension>,
171 pub fn register_plugins<'a>(
173 metadata_loader: &'a dyn MetadataLoader,
174 register_lints: impl Fn(&Session, &mut lint::LintStore),
175 mut krate: ast::Crate,
177 ) -> Result<(ast::Crate, PluginInfo, Lrc<lint::LintStore>)> {
178 krate = time(sess, "attributes injection", || {
179 syntax_ext::cmdline_attrs::inject(
180 krate, &sess.parse_sess, &sess.opts.debugging_opts.crate_attr
184 let (krate, features) = syntax_expand::config::features(
188 &sess.opts.debugging_opts.allow_features,
190 // these need to be set "early" so that expansion sees `quote` if enabled.
191 sess.init_features(features);
193 let crate_types = util::collect_crate_types(sess, &krate.attrs);
194 sess.crate_types.set(crate_types);
196 let disambiguator = util::compute_crate_disambiguator(sess);
197 sess.crate_disambiguator.set(disambiguator);
198 rustc_incremental::prepare_session_directory(sess, &crate_name, disambiguator);
200 if sess.opts.incremental.is_some() {
201 time(sess, "garbage-collect incremental cache directory", || {
203 sess.prof.generic_activity("incr_comp_garbage_collect_session_directories");
204 if let Err(e) = rustc_incremental::garbage_collect_session_directories(sess) {
206 "Error while trying to garbage collect incremental \
207 compilation cache directory: {}",
214 time(sess, "recursion limit", || {
215 middle::recursion_limit::update_limits(sess, &krate);
218 let registrars = time(sess, "plugin loading", || {
219 plugin::load::load_plugins(
223 Some(sess.opts.debugging_opts.extra_plugins.clone()),
227 let mut lint_store = rustc_lint::new_lint_store(
228 sess.opts.debugging_opts.no_interleave_lints,
229 sess.unstable_options(),
232 (register_lints)(&sess, &mut lint_store);
234 let mut registry = Registry::new(sess, &mut lint_store, krate.span);
236 time(sess, "plugin registration", || {
237 for registrar in registrars {
238 registry.args_hidden = Some(registrar.args);
239 (registrar.fun)(&mut registry);
243 let Registry { syntax_exts, llvm_passes, .. } = registry;
244 *sess.plugin_llvm_passes.borrow_mut() = llvm_passes;
246 Ok((krate, PluginInfo { syntax_exts }, Lrc::new(lint_store)))
249 fn configure_and_expand_inner<'a>(
251 lint_store: &'a lint::LintStore,
252 mut krate: ast::Crate,
254 resolver_arenas: &'a ResolverArenas<'a>,
255 metadata_loader: &'a MetadataLoaderDyn,
256 plugin_info: PluginInfo,
257 ) -> Result<(ast::Crate, Resolver<'a>)> {
258 time(sess, "pre-AST-expansion lint checks", || {
259 lint::check_ast_crate(
265 rustc_lint::BuiltinCombinedPreExpansionLintPass::new());
268 let mut resolver = Resolver::new(
275 syntax_ext::register_builtin_macros(&mut resolver, sess.edition());
277 krate = time(sess, "crate injection", || {
278 let alt_std_name = sess.opts.alt_std_name.as_ref().map(|s| Symbol::intern(s));
279 let (krate, name) = syntax_ext::standard_library_imports::inject(
285 if let Some(name) = name {
286 sess.parse_sess.injected_crate_name.set(name);
291 util::check_attr_crate_type(&krate.attrs, &mut resolver.lint_buffer());
293 syntax_ext::plugin_macro_defs::inject(
294 &mut krate, &mut resolver, plugin_info.syntax_exts, sess.edition()
298 krate = time(sess, "expansion", || {
299 let _prof_timer = sess.prof.generic_activity("macro_expand_crate");
300 // Windows dlls do not have rpaths, so they don't know how to find their
301 // dependencies. It's up to us to tell the system where to find all the
302 // dependent dlls. Note that this uses cfg!(windows) as opposed to
303 // targ_cfg because syntax extensions are always loaded for the host
304 // compiler, not for the target.
306 // This is somewhat of an inherently racy operation, however, as
307 // multiple threads calling this function could possibly continue
308 // extending PATH far beyond what it should. To solve this for now we
309 // just don't add any new elements to PATH which are already there
310 // within PATH. This is basically a targeted fix at #17360 for rustdoc
311 // which runs rustc in parallel but has been seen (#33844) to cause
312 // problems with PATH becoming too long.
313 let mut old_path = OsString::new();
315 old_path = env::var_os("PATH").unwrap_or(old_path);
316 let mut new_path = sess.host_filesearch(PathKind::All).search_path_dirs();
317 for path in env::split_paths(&old_path) {
318 if !new_path.contains(&path) {
327 .filter(|p| env::join_paths(iter::once(p)).is_ok()),
332 // Create the config for macro expansion
333 let features = sess.features_untracked();
334 let cfg = syntax_expand::expand::ExpansionConfig {
335 features: Some(&features),
336 recursion_limit: *sess.recursion_limit.get(),
337 trace_mac: sess.opts.debugging_opts.trace_macros,
338 should_test: sess.opts.test,
339 ..syntax_expand::expand::ExpansionConfig::default(crate_name.to_string())
342 let mut ecx = ExtCtxt::new(&sess.parse_sess, cfg, &mut resolver);
344 // Expand macros now!
345 let krate = time(sess, "expand crate", || {
346 ecx.monotonic_expander().expand_crate(krate)
349 // The rest is error reporting
351 time(sess, "check unused macros", || {
352 ecx.check_unused_macros();
355 let mut missing_fragment_specifiers: Vec<_> = ecx.parse_sess
356 .missing_fragment_specifiers
361 missing_fragment_specifiers.sort();
363 for span in missing_fragment_specifiers {
364 let lint = lint::builtin::MISSING_FRAGMENT_SPECIFIER;
365 let msg = "missing fragment specifier";
366 resolver.lint_buffer().buffer_lint(lint, ast::CRATE_NODE_ID, span, msg);
369 env::set_var("PATH", &old_path);
374 time(sess, "maybe building test harness", || {
375 syntax_ext::test_harness::inject(
381 &sess.features_untracked(),
382 sess.panic_strategy(),
383 sess.target.target.options.panic_strategy,
384 sess.opts.debugging_opts.panic_abort_tests,
388 // If we're actually rustdoc then there's no need to actually compile
389 // anything, so switch everything to just looping
390 let mut should_loop = sess.opts.actually_rustdoc;
391 if let Some(PpMode::PpmSource(PpSourceMode::PpmEveryBodyLoops)) = sess.opts.pretty {
395 util::ReplaceBodyWithLoop::new(&mut resolver).visit_crate(&mut krate);
398 let has_proc_macro_decls = time(sess, "AST validation", || {
399 ast_validation::check_crate(sess, &krate, &mut resolver.lint_buffer())
403 let crate_types = sess.crate_types.borrow();
404 let is_proc_macro_crate = crate_types.contains(&config::CrateType::ProcMacro);
406 // For backwards compatibility, we don't try to run proc macro injection
407 // if rustdoc is run on a proc macro crate without '--crate-type proc-macro' being
408 // specified. This should only affect users who manually invoke 'rustdoc', as
409 // 'cargo doc' will automatically pass the proper '--crate-type' flags.
410 // However, we do emit a warning, to let such users know that they should
411 // start passing '--crate-type proc-macro'
412 if has_proc_macro_decls && sess.opts.actually_rustdoc && !is_proc_macro_crate {
413 let mut msg = sess.diagnostic().struct_warn(&"Trying to document proc macro crate \
414 without passing '--crate-type proc-macro to rustdoc");
416 msg.warn("The generated documentation may be incorrect");
419 krate = time(sess, "maybe creating a macro crate", || {
420 let num_crate_types = crate_types.len();
421 let is_test_crate = sess.opts.test;
422 syntax_ext::proc_macro_harness::inject(
427 has_proc_macro_decls,
435 // Done with macro expansion!
437 if sess.opts.debugging_opts.input_stats {
438 println!("Post-expansion node count: {}", count_nodes(&krate));
441 if sess.opts.debugging_opts.hir_stats {
442 hir_stats::print_ast_stats(&krate, "POST EXPANSION AST STATS");
445 if sess.opts.debugging_opts.ast_json {
446 println!("{}", json::as_json(&krate));
449 time(sess, "name resolution", || {
450 resolver.resolve_crate(&krate);
453 // Needs to go *after* expansion to be able to check the results of macro expansion.
454 time(sess, "complete gated feature checking", || {
455 syntax::feature_gate::check_crate(
458 &sess.features_untracked(),
459 sess.opts.unstable_features,
463 // Add all buffered lints from the `ParseSess` to the `Session`.
464 sess.parse_sess.buffered_lints.with_lock(|buffered_lints| {
465 info!("{} parse sess buffered_lints", buffered_lints.len());
466 for BufferedEarlyLint{id, span, msg, lint_id} in buffered_lints.drain(..) {
467 let lint = lint::Lint::from_parser_lint_id(lint_id);
468 resolver.lint_buffer().buffer_lint(lint, id, span, &msg);
472 Ok((krate, resolver))
477 lint_store: &lint::LintStore,
478 resolver: &mut Resolver<'_>,
479 dep_graph: &DepGraph,
481 ) -> Result<hir::map::Forest> {
483 let hir_forest = time(sess, "lowering AST -> HIR", || {
484 let nt_to_tokenstream = rustc_parse::nt_to_tokenstream;
485 let hir_crate = lower_crate(sess, &dep_graph, &krate, resolver, nt_to_tokenstream);
487 if sess.opts.debugging_opts.hir_stats {
488 hir_stats::print_hir_stats(&hir_crate);
491 hir::map::Forest::new(hir_crate, &dep_graph)
494 time(sess, "early lint checks", || {
495 lint::check_ast_crate(
500 Some(std::mem::take(resolver.lint_buffer())),
501 rustc_lint::BuiltinCombinedEarlyLintPass::new(),
505 // Discard hygiene data, which isn't required after lowering to HIR.
506 if !sess.opts.debugging_opts.keep_hygiene_data {
507 syntax_pos::hygiene::clear_syntax_context_map();
513 // Returns all the paths that correspond to generated files.
514 fn generated_output_paths(
516 outputs: &OutputFilenames,
520 let mut out_filenames = Vec::new();
521 for output_type in sess.opts.output_types.keys() {
522 let file = outputs.path(*output_type);
524 // If the filename has been overridden using `-o`, it will not be modified
525 // by appending `.rlib`, `.exe`, etc., so we can skip this transformation.
526 OutputType::Exe if !exact_name => for crate_type in sess.crate_types.borrow().iter() {
527 let p = ::rustc_codegen_utils::link::filename_for_input(
533 out_filenames.push(p);
535 OutputType::DepInfo if sess.opts.debugging_opts.dep_info_omit_d_target => {
536 // Don't add the dep-info output when omitting it from dep-info targets
539 out_filenames.push(file);
546 // Runs `f` on every output file path and returns the first non-None result, or None if `f`
547 // returns None for every file path.
548 fn check_output<F, T>(output_paths: &[PathBuf], f: F) -> Option<T>
550 F: Fn(&PathBuf) -> Option<T>,
552 for output_path in output_paths {
553 if let Some(result) = f(output_path) {
560 fn output_contains_path(output_paths: &[PathBuf], input_path: &PathBuf) -> bool {
561 let input_path = input_path.canonicalize().ok();
562 if input_path.is_none() {
565 let check = |output_path: &PathBuf| {
566 if output_path.canonicalize().ok() == input_path {
572 check_output(output_paths, check).is_some()
575 fn output_conflicts_with_dir(output_paths: &[PathBuf]) -> Option<PathBuf> {
576 let check = |output_path: &PathBuf| {
577 if output_path.is_dir() {
578 Some(output_path.clone())
583 check_output(output_paths, check)
586 fn escape_dep_filename(filename: &FileName) -> String {
587 // Apparently clang and gcc *only* escape spaces:
588 // http://llvm.org/klaus/clang/commit/9d50634cfc268ecc9a7250226dd5ca0e945240d4
589 filename.to_string().replace(" ", "\\ ")
594 boxed_resolver: &Steal<Rc<RefCell<BoxedResolver>>>,
595 outputs: &OutputFilenames,
596 out_filenames: &[PathBuf],
598 // Write out dependency rules to the dep-info file if requested
599 if !sess.opts.output_types.contains_key(&OutputType::DepInfo) {
602 let deps_filename = outputs.path(OutputType::DepInfo);
604 let result = (|| -> io::Result<()> {
605 // Build a list of files used to compile the output and
606 // write Makefile-compatible dependency rules
607 let mut files: Vec<String> = sess.source_map()
610 .filter(|fmap| fmap.is_real_file())
611 .filter(|fmap| !fmap.is_imported())
612 .map(|fmap| escape_dep_filename(&fmap.unmapped_path.as_ref().unwrap_or(&fmap.name)))
615 if sess.binary_dep_depinfo() {
616 boxed_resolver.borrow().borrow_mut().access(|resolver| {
617 for cnum in resolver.cstore().crates_untracked() {
618 let source = resolver.cstore().crate_source_untracked(cnum);
619 if let Some((path, _)) = source.dylib {
620 files.push(escape_dep_filename(&FileName::Real(path)));
622 if let Some((path, _)) = source.rlib {
623 files.push(escape_dep_filename(&FileName::Real(path)));
625 if let Some((path, _)) = source.rmeta {
626 files.push(escape_dep_filename(&FileName::Real(path)));
632 let mut file = fs::File::create(&deps_filename)?;
633 for path in out_filenames {
634 writeln!(file, "{}: {}\n", path.display(), files.join(" "))?;
637 // Emit a fake target for each input file to the compilation. This
638 // prevents `make` from spitting out an error if a file is later
639 // deleted. For more info see #28735
641 writeln!(file, "{}:", path)?;
648 if sess.opts.json_artifact_notifications {
649 sess.parse_sess.span_diagnostic
650 .emit_artifact_notification(&deps_filename, "dep-info");
655 "error writing dependencies to `{}`: {}",
656 deps_filename.display(),
663 pub fn prepare_outputs(
667 boxed_resolver: &Steal<Rc<RefCell<BoxedResolver>>>,
669 ) -> Result<OutputFilenames> {
670 // FIXME: rustdoc passes &[] instead of &krate.attrs here
671 let outputs = util::build_output_filenames(
673 &compiler.output_dir,
674 &compiler.output_file,
679 let output_paths = generated_output_paths(
682 compiler.output_file.is_some(),
686 // Ensure the source file isn't accidentally overwritten during compilation.
687 if let Some(ref input_path) = compiler.input_path {
688 if sess.opts.will_create_output_file() {
689 if output_contains_path(&output_paths, input_path) {
691 "the input file \"{}\" would be overwritten by the generated \
695 return Err(ErrorReported);
697 if let Some(dir_path) = output_conflicts_with_dir(&output_paths) {
699 "the generated executable for the input file \"{}\" conflicts with the \
700 existing directory \"{}\"",
701 input_path.display(),
704 return Err(ErrorReported);
709 write_out_deps(sess, boxed_resolver, &outputs, &output_paths);
711 let only_dep_info = sess.opts.output_types.contains_key(&OutputType::DepInfo)
712 && sess.opts.output_types.len() == 1;
715 if let Some(ref dir) = compiler.output_dir {
716 if fs::create_dir_all(dir).is_err() {
717 sess.err("failed to find or create the directory specified by `--out-dir`");
718 return Err(ErrorReported);
726 pub fn default_provide(providers: &mut ty::query::Providers<'_>) {
727 providers.analysis = analysis;
728 proc_macro_decls::provide(providers);
729 plugin::build::provide(providers);
730 hir::provide(providers);
731 mir::provide(providers);
732 reachable::provide(providers);
733 resolve_lifetime::provide(providers);
734 rustc_privacy::provide(providers);
735 typeck::provide(providers);
736 ty::provide(providers);
737 traits::provide(providers);
738 stability::provide(providers);
739 reachable::provide(providers);
740 rustc_passes::provide(providers);
741 rustc_traits::provide(providers);
742 middle::region::provide(providers);
743 cstore::provide(providers);
744 lint::provide(providers);
745 rustc_lint::provide(providers);
746 rustc_codegen_utils::provide(providers);
747 rustc_codegen_ssa::provide(providers);
750 pub fn default_provide_extern(providers: &mut ty::query::Providers<'_>) {
751 cstore::provide_extern(providers);
752 rustc_codegen_ssa::provide_extern(providers);
755 declare_box_region_type!(
758 (&'tcx GlobalCtxt<'tcx>) -> ((), ())
761 impl BoxedGlobalCtxt {
762 pub fn enter<F, R>(&mut self, f: F) -> R
764 F: for<'tcx> FnOnce(TyCtxt<'tcx>) -> R,
766 self.access(|gcx| ty::tls::enter_global(gcx, |tcx| f(tcx)))
770 pub fn create_global_ctxt(
772 lint_store: Lrc<lint::LintStore>,
773 mut hir_forest: hir::map::Forest,
774 mut resolver_outputs: ResolverOutputs,
775 outputs: OutputFilenames,
777 ) -> BoxedGlobalCtxt {
778 let sess = compiler.session().clone();
779 let codegen_backend = compiler.codegen_backend().clone();
780 let crate_name = crate_name.to_string();
781 let defs = mem::take(&mut resolver_outputs.definitions);
782 let override_queries = compiler.override_queries;
784 let ((), result) = BoxedGlobalCtxt::new(static move || {
787 let global_ctxt: Option<GlobalCtxt<'_>>;
788 let arenas = AllArenas::new();
790 // Construct the HIR map.
791 let hir_map = time(sess, "indexing HIR", || {
792 hir::map::map_crate(sess, &*resolver_outputs.cstore, &mut hir_forest, &defs)
795 let query_result_on_disk_cache = time(sess, "load query result cache", || {
796 rustc_incremental::load_query_result_cache(sess)
799 let mut local_providers = ty::query::Providers::default();
800 default_provide(&mut local_providers);
801 codegen_backend.provide(&mut local_providers);
803 let mut extern_providers = local_providers;
804 default_provide_extern(&mut extern_providers);
805 codegen_backend.provide_extern(&mut extern_providers);
807 if let Some(callback) = override_queries {
808 callback(sess, &mut local_providers, &mut extern_providers);
811 let gcx = TyCtxt::create_global_ctxt(
819 query_result_on_disk_cache,
824 global_ctxt = Some(gcx);
825 let gcx = global_ctxt.as_ref().unwrap();
827 ty::tls::enter_global(gcx, |tcx| {
828 // Do some initialization of the DepGraph that can only be done with the
830 time(tcx.sess, "dep graph tcx init", || rustc_incremental::dep_graph_tcx_init(tcx));
833 yield BoxedGlobalCtxt::initial_yield(());
834 box_region_allow_access!(for('tcx), (&'tcx GlobalCtxt<'tcx>), (gcx));
836 if sess.opts.debugging_opts.query_stats {
837 gcx.queries.print_stats();
844 /// Runs the resolution, type-checking, region checking and other
845 /// miscellaneous analysis passes on the crate.
846 fn analysis(tcx: TyCtxt<'_>, cnum: CrateNum) -> Result<()> {
847 assert_eq!(cnum, LOCAL_CRATE);
850 let mut entry_point = None;
852 time(sess, "misc checking 1", || {
854 entry_point = time(sess, "looking for entry point", || {
855 rustc_passes::entry::find_entry_point(tcx)
858 time(sess, "looking for plugin registrar", || {
859 plugin::build::find_plugin_registrar(tcx)
862 time(sess, "looking for derive registrar", || {
863 proc_macro_decls::find(tcx)
866 par_iter(&tcx.hir().krate().modules).for_each(|(&module, _)| {
867 let local_def_id = tcx.hir().local_def_id(module);
868 tcx.ensure().check_mod_loops(local_def_id);
869 tcx.ensure().check_mod_attrs(local_def_id);
870 tcx.ensure().check_mod_unstable_api_usage(local_def_id);
871 tcx.ensure().check_mod_const_bodies(local_def_id);
876 // passes are timed inside typeck
877 typeck::check_crate(tcx)?;
879 time(sess, "misc checking 2", || {
881 time(sess, "match checking", || {
882 tcx.par_body_owners(|def_id| {
883 tcx.ensure().check_match(def_id);
887 time(sess, "liveness checking + intrinsic checking", || {
888 par_iter(&tcx.hir().krate().modules).for_each(|(&module, _)| {
889 // this must run before MIR dump, because
890 // "not all control paths return a value" is reported here.
892 // maybe move the check to a MIR pass?
893 let local_def_id = tcx.hir().local_def_id(module);
895 tcx.ensure().check_mod_liveness(local_def_id);
896 tcx.ensure().check_mod_intrinsics(local_def_id);
902 time(sess, "MIR borrow checking", || {
903 tcx.par_body_owners(|def_id| tcx.ensure().mir_borrowck(def_id));
906 time(sess, "dumping Chalk-like clauses", || {
907 rustc_traits::lowering::dump_program_clauses(tcx);
910 time(sess, "MIR effect checking", || {
911 for def_id in tcx.body_owners() {
912 mir::transform::check_unsafety::check_unsafety(tcx, def_id)
916 time(sess, "layout testing", || layout_test::test_layout(tcx));
918 // Avoid overwhelming user with errors if borrow checking failed.
919 // I'm not sure how helpful this is, to be honest, but it avoids a
920 // lot of annoying errors in the compile-fail tests (basically,
921 // lint warnings and so on -- kindck used to do this abort, but
922 // kindck is gone now). -nmatsakis
923 if sess.has_errors() {
924 return Err(ErrorReported);
927 time(sess, "misc checking 3", || {
929 time(sess, "privacy access levels", || {
930 tcx.ensure().privacy_access_levels(LOCAL_CRATE);
933 time(sess, "private in public", || {
934 tcx.ensure().check_private_in_public(LOCAL_CRATE);
937 time(sess, "death checking", || rustc_passes::dead::check_crate(tcx));
939 time(sess, "unused lib feature checking", || {
940 stability::check_unused_or_stable_features(tcx)
943 time(sess, "lint checking", || {
944 lint::check_crate(tcx, || rustc_lint::BuiltinCombinedLateLintPass::new());
948 time(sess, "privacy checking modules", || {
949 par_iter(&tcx.hir().krate().modules).for_each(|(&module, _)| {
950 tcx.ensure().check_mod_privacy(tcx.hir().local_def_id(module));
959 fn encode_and_write_metadata(
961 outputs: &OutputFilenames,
962 ) -> (middle::cstore::EncodedMetadata, bool) {
963 #[derive(PartialEq, Eq, PartialOrd, Ord)]
970 let metadata_kind = tcx.sess.crate_types.borrow().iter().map(|ty| {
972 CrateType::Executable |
973 CrateType::Staticlib |
974 CrateType::Cdylib => MetadataKind::None,
976 CrateType::Rlib => MetadataKind::Uncompressed,
979 CrateType::ProcMacro => MetadataKind::Compressed,
981 }).max().unwrap_or(MetadataKind::None);
983 let metadata = match metadata_kind {
984 MetadataKind::None => middle::cstore::EncodedMetadata::new(),
985 MetadataKind::Uncompressed |
986 MetadataKind::Compressed => tcx.encode_metadata(),
989 let need_metadata_file = tcx.sess.opts.output_types.contains_key(&OutputType::Metadata);
990 if need_metadata_file {
991 let crate_name = &tcx.crate_name(LOCAL_CRATE).as_str();
992 let out_filename = filename_for_metadata(tcx.sess, crate_name, outputs);
993 // To avoid races with another rustc process scanning the output directory,
994 // we need to write the file somewhere else and atomically move it to its
995 // final destination, with an `fs::rename` call. In order for the rename to
996 // always succeed, the temporary file needs to be on the same filesystem,
997 // which is why we create it inside the output directory specifically.
998 let metadata_tmpdir = TempFileBuilder::new()
1000 .tempdir_in(out_filename.parent().unwrap())
1001 .unwrap_or_else(|err| {
1002 tcx.sess.fatal(&format!("couldn't create a temp dir: {}", err))
1004 let metadata_filename = emit_metadata(tcx.sess, &metadata, &metadata_tmpdir);
1005 if let Err(e) = fs::rename(&metadata_filename, &out_filename) {
1006 tcx.sess.fatal(&format!("failed to write {}: {}", out_filename.display(), e));
1008 if tcx.sess.opts.json_artifact_notifications {
1009 tcx.sess.parse_sess.span_diagnostic
1010 .emit_artifact_notification(&out_filename, "metadata");
1014 let need_metadata_module = metadata_kind == MetadataKind::Compressed;
1016 (metadata, need_metadata_module)
1019 /// Runs the codegen backend, after which the AST and analysis can
1021 pub fn start_codegen<'tcx>(
1022 codegen_backend: &dyn CodegenBackend,
1024 outputs: &OutputFilenames,
1026 if log_enabled!(::log::Level::Info) {
1027 println!("Pre-codegen");
1028 tcx.print_debug_stats();
1031 let (metadata, need_metadata_module) = time(tcx.sess, "metadata encoding and writing", || {
1032 encode_and_write_metadata(tcx, outputs)
1035 let codegen = time(tcx.sess, "codegen", move || {
1036 let _prof_timer = tcx.prof.generic_activity("codegen_crate");
1037 codegen_backend.codegen_crate(tcx, metadata, need_metadata_module)
1040 if log_enabled!(::log::Level::Info) {
1041 println!("Post-codegen");
1042 tcx.print_debug_stats();
1045 if tcx.sess.opts.output_types.contains_key(&OutputType::Mir) {
1046 if let Err(e) = mir::transform::dump_mir::emit_mir(tcx, outputs) {
1047 tcx.sess.err(&format!("could not emit MIR: {}", e));
1048 tcx.sess.abort_if_errors();