1use std::any::Any;
2use std::path::{Path, PathBuf};
3use std::str::FromStr;
4use std::sync::Arc;
5use std::sync::atomic::AtomicBool;
6use std::{env, io};
7
8use rand::{RngCore, rng};
9use rustc_ast::NodeId;
10use rustc_data_structures::base_n::{CASE_INSENSITIVE, ToBaseN};
11use rustc_data_structures::flock;
12use rustc_data_structures::fx::{FxHashMap, FxIndexSet};
13use rustc_data_structures::profiling::{SelfProfiler, SelfProfilerRef};
14use rustc_data_structures::sync::{DynSend, DynSync, Lock, MappedReadGuard, ReadGuard, RwLock};
15use rustc_errors::annotate_snippet_emitter_writer::AnnotateSnippetEmitter;
16use rustc_errors::codes::*;
17use rustc_errors::emitter::{
18 DynEmitter, HumanEmitter, HumanReadableErrorType, OutputTheme, stderr_destination,
19};
20use rustc_errors::json::JsonEmitter;
21use rustc_errors::timings::TimingSectionHandler;
22use rustc_errors::translation::Translator;
23use rustc_errors::{
24 Diag, DiagCtxt, DiagCtxtHandle, DiagMessage, Diagnostic, ErrorGuaranteed, FatalAbort,
25 LintEmitter, TerminalUrl, fallback_fluent_bundle,
26};
27use rustc_hir::limit::Limit;
28use rustc_macros::HashStable_Generic;
29pub use rustc_span::def_id::StableCrateId;
30use rustc_span::edition::Edition;
31use rustc_span::source_map::{FilePathMapping, SourceMap};
32use rustc_span::{FileNameDisplayPreference, RealFileName, Span, Symbol};
33use rustc_target::asm::InlineAsmArch;
34use rustc_target::spec::{
35 Arch, CodeModel, DebuginfoKind, Os, PanicStrategy, RelocModel, RelroLevel, SanitizerSet,
36 SmallDataThresholdSupport, SplitDebuginfo, StackProtector, SymbolVisibility, Target,
37 TargetTuple, TlsModel, apple,
38};
39
40use crate::code_stats::CodeStats;
41pub use crate::code_stats::{DataTypeKind, FieldInfo, FieldKind, SizeKind, VariantInfo};
42use crate::config::{
43 self, CoverageLevel, CoverageOptions, CrateType, DebugInfo, ErrorOutputType, FunctionReturn,
44 Input, InstrumentCoverage, OptLevel, OutFileName, OutputType, RemapPathScopeComponents,
45 SwitchWithOptPath,
46};
47use crate::filesearch::FileSearch;
48use crate::lint::LintId;
49use crate::parse::{ParseSess, add_feature_diagnostics};
50use crate::search_paths::SearchPath;
51use crate::{errors, filesearch, lint};
52
53#[derive(Clone, Copy)]
55pub enum CtfeBacktrace {
56 Disabled,
58 Capture,
61 Immediate,
63}
64
65#[derive(Clone, Copy, Debug, HashStable_Generic)]
66pub struct Limits {
67 pub recursion_limit: Limit,
70 pub move_size_limit: Limit,
73 pub type_length_limit: Limit,
75 pub pattern_complexity_limit: Limit,
77}
78
79pub struct CompilerIO {
80 pub input: Input,
81 pub output_dir: Option<PathBuf>,
82 pub output_file: Option<OutFileName>,
83 pub temps_dir: Option<PathBuf>,
84}
85
86pub trait DynLintStore: Any + DynSync + DynSend {
87 fn lint_groups_iter(&self) -> Box<dyn Iterator<Item = LintGroup> + '_>;
89}
90
91pub struct Session {
94 pub target: Target,
95 pub host: Target,
96 pub opts: config::Options,
97 pub target_tlib_path: Arc<SearchPath>,
98 pub psess: ParseSess,
99 pub io: CompilerIO,
101
102 incr_comp_session: RwLock<IncrCompSession>,
103
104 pub prof: SelfProfilerRef,
106
107 pub timings: TimingSectionHandler,
109
110 pub code_stats: CodeStats,
112
113 pub lint_store: Option<Arc<dyn DynLintStore>>,
115
116 pub driver_lint_caps: FxHashMap<lint::LintId, lint::Level>,
118
119 pub ctfe_backtrace: Lock<CtfeBacktrace>,
126
127 miri_unleashed_features: Lock<Vec<(Span, Option<Symbol>)>>,
132
133 pub asm_arch: Option<InlineAsmArch>,
135
136 pub target_features: FxIndexSet<Symbol>,
138
139 pub unstable_target_features: FxIndexSet<Symbol>,
141
142 pub cfg_version: &'static str,
144
145 pub using_internal_features: &'static AtomicBool,
150
151 target_filesearch: FileSearch,
152 host_filesearch: FileSearch,
153
154 pub invocation_temp: Option<String>,
161}
162
163impl LintEmitter for &'_ Session {
164 type Id = NodeId;
165
166 fn emit_node_span_lint(
167 self,
168 lint: &'static rustc_lint_defs::Lint,
169 node_id: Self::Id,
170 span: impl Into<rustc_errors::MultiSpan>,
171 decorator: impl for<'a> rustc_errors::LintDiagnostic<'a, ()> + DynSend + 'static,
172 ) {
173 self.psess.buffer_lint(lint, span, node_id, decorator);
174 }
175}
176
177#[derive(Clone, Copy)]
178pub enum CodegenUnits {
179 User(usize),
182
183 Default(usize),
187}
188
189impl CodegenUnits {
190 pub fn as_usize(self) -> usize {
191 match self {
192 CodegenUnits::User(n) => n,
193 CodegenUnits::Default(n) => n,
194 }
195 }
196}
197
198pub struct LintGroup {
199 pub name: &'static str,
200 pub lints: Vec<LintId>,
201 pub is_externally_loaded: bool,
202}
203
204impl Session {
205 pub fn miri_unleashed_feature(&self, span: Span, feature_gate: Option<Symbol>) {
206 self.miri_unleashed_features.lock().push((span, feature_gate));
207 }
208
209 pub fn local_crate_source_file(&self) -> Option<RealFileName> {
210 Some(self.source_map().path_mapping().to_real_filename(self.io.input.opt_path()?))
211 }
212
213 fn check_miri_unleashed_features(&self) -> Option<ErrorGuaranteed> {
214 let mut guar = None;
215 let unleashed_features = self.miri_unleashed_features.lock();
216 if !unleashed_features.is_empty() {
217 let mut must_err = false;
218 self.dcx().emit_warn(errors::SkippingConstChecks {
220 unleashed_features: unleashed_features
221 .iter()
222 .map(|(span, gate)| {
223 gate.map(|gate| {
224 must_err = true;
225 errors::UnleashedFeatureHelp::Named { span: *span, gate }
226 })
227 .unwrap_or(errors::UnleashedFeatureHelp::Unnamed { span: *span })
228 })
229 .collect(),
230 });
231
232 if must_err && self.dcx().has_errors().is_none() {
234 guar = Some(self.dcx().emit_err(errors::NotCircumventFeature));
236 }
237 }
238 guar
239 }
240
241 pub fn finish_diagnostics(&self) -> Option<ErrorGuaranteed> {
243 let mut guar = None;
244 guar = guar.or(self.check_miri_unleashed_features());
245 guar = guar.or(self.dcx().emit_stashed_diagnostics());
246 self.dcx().print_error_count();
247 if self.opts.json_future_incompat {
248 self.dcx().emit_future_breakage_report();
249 }
250 guar
251 }
252
253 pub fn is_test_crate(&self) -> bool {
255 self.opts.test
256 }
257
258 #[track_caller]
260 pub fn create_feature_err<'a>(&'a self, err: impl Diagnostic<'a>, feature: Symbol) -> Diag<'a> {
261 let mut err = self.dcx().create_err(err);
262 if err.code.is_none() {
263 #[allow(rustc::diagnostic_outside_of_impl)]
264 err.code(E0658);
265 }
266 add_feature_diagnostics(&mut err, self, feature);
267 err
268 }
269
270 pub fn record_trimmed_def_paths(&self) {
273 if self.opts.unstable_opts.print_type_sizes
274 || self.opts.unstable_opts.query_dep_graph
275 || self.opts.unstable_opts.dump_mir.is_some()
276 || self.opts.unstable_opts.unpretty.is_some()
277 || self.prof.is_args_recording_enabled()
278 || self.opts.output_types.contains_key(&OutputType::Mir)
279 || std::env::var_os("RUSTC_LOG").is_some()
280 {
281 return;
282 }
283
284 self.dcx().set_must_produce_diag()
285 }
286
287 #[inline]
288 pub fn dcx(&self) -> DiagCtxtHandle<'_> {
289 self.psess.dcx()
290 }
291
292 #[inline]
293 pub fn source_map(&self) -> &SourceMap {
294 self.psess.source_map()
295 }
296
297 pub fn enable_internal_lints(&self) -> bool {
301 self.unstable_options() && !self.opts.actually_rustdoc
302 }
303
304 pub fn instrument_coverage(&self) -> bool {
305 self.opts.cg.instrument_coverage() != InstrumentCoverage::No
306 }
307
308 pub fn instrument_coverage_branch(&self) -> bool {
309 self.instrument_coverage()
310 && self.opts.unstable_opts.coverage_options.level >= CoverageLevel::Branch
311 }
312
313 pub fn instrument_coverage_condition(&self) -> bool {
314 self.instrument_coverage()
315 && self.opts.unstable_opts.coverage_options.level >= CoverageLevel::Condition
316 }
317
318 pub fn coverage_options(&self) -> &CoverageOptions {
322 &self.opts.unstable_opts.coverage_options
323 }
324
325 pub fn is_sanitizer_cfi_enabled(&self) -> bool {
326 self.sanitizers().contains(SanitizerSet::CFI)
327 }
328
329 pub fn is_sanitizer_cfi_canonical_jump_tables_disabled(&self) -> bool {
330 self.opts.unstable_opts.sanitizer_cfi_canonical_jump_tables == Some(false)
331 }
332
333 pub fn is_sanitizer_cfi_canonical_jump_tables_enabled(&self) -> bool {
334 self.opts.unstable_opts.sanitizer_cfi_canonical_jump_tables == Some(true)
335 }
336
337 pub fn is_sanitizer_cfi_generalize_pointers_enabled(&self) -> bool {
338 self.opts.unstable_opts.sanitizer_cfi_generalize_pointers == Some(true)
339 }
340
341 pub fn is_sanitizer_cfi_normalize_integers_enabled(&self) -> bool {
342 self.opts.unstable_opts.sanitizer_cfi_normalize_integers == Some(true)
343 }
344
345 pub fn is_sanitizer_kcfi_arity_enabled(&self) -> bool {
346 self.opts.unstable_opts.sanitizer_kcfi_arity == Some(true)
347 }
348
349 pub fn is_sanitizer_kcfi_enabled(&self) -> bool {
350 self.sanitizers().contains(SanitizerSet::KCFI)
351 }
352
353 pub fn is_split_lto_unit_enabled(&self) -> bool {
354 self.opts.unstable_opts.split_lto_unit == Some(true)
355 }
356
357 pub fn crt_static(&self, crate_type: Option<CrateType>) -> bool {
359 if !self.target.crt_static_respected {
360 return self.target.crt_static_default;
362 }
363
364 let requested_features = self.opts.cg.target_feature.split(',');
365 let found_negative = requested_features.clone().any(|r| r == "-crt-static");
366 let found_positive = requested_features.clone().any(|r| r == "+crt-static");
367
368 #[allow(rustc::bad_opt_access)]
370 if found_positive || found_negative {
371 found_positive
372 } else if crate_type == Some(CrateType::ProcMacro)
373 || crate_type == None && self.opts.crate_types.contains(&CrateType::ProcMacro)
374 {
375 false
379 } else {
380 self.target.crt_static_default
381 }
382 }
383
384 pub fn is_wasi_reactor(&self) -> bool {
385 self.target.options.os == Os::Wasi
386 && matches!(
387 self.opts.unstable_opts.wasi_exec_model,
388 Some(config::WasiExecModel::Reactor)
389 )
390 }
391
392 pub fn target_can_use_split_dwarf(&self) -> bool {
394 self.target.debuginfo_kind == DebuginfoKind::Dwarf
395 }
396
397 pub fn generate_proc_macro_decls_symbol(&self, stable_crate_id: StableCrateId) -> String {
398 format!("__rustc_proc_macro_decls_{:08x}__", stable_crate_id.as_u64())
399 }
400
401 pub fn target_filesearch(&self) -> &filesearch::FileSearch {
402 &self.target_filesearch
403 }
404 pub fn host_filesearch(&self) -> &filesearch::FileSearch {
405 &self.host_filesearch
406 }
407
408 pub fn get_tools_search_paths(&self, self_contained: bool) -> Vec<PathBuf> {
412 let search_paths = self
413 .opts
414 .sysroot
415 .all_paths()
416 .map(|sysroot| filesearch::make_target_bin_path(&sysroot, config::host_tuple()));
417
418 if self_contained {
419 search_paths.flat_map(|path| [path.clone(), path.join("self-contained")]).collect()
423 } else {
424 search_paths.collect()
425 }
426 }
427
428 pub fn init_incr_comp_session(&self, session_dir: PathBuf, lock_file: flock::Lock) {
429 let mut incr_comp_session = self.incr_comp_session.borrow_mut();
430
431 if let IncrCompSession::NotInitialized = *incr_comp_session {
432 } else {
433 panic!("Trying to initialize IncrCompSession `{:?}`", *incr_comp_session)
434 }
435
436 *incr_comp_session =
437 IncrCompSession::Active { session_directory: session_dir, _lock_file: lock_file };
438 }
439
440 pub fn finalize_incr_comp_session(&self, new_directory_path: PathBuf) {
441 let mut incr_comp_session = self.incr_comp_session.borrow_mut();
442
443 if let IncrCompSession::Active { .. } = *incr_comp_session {
444 } else {
445 panic!("trying to finalize `IncrCompSession` `{:?}`", *incr_comp_session);
446 }
447
448 *incr_comp_session = IncrCompSession::Finalized { session_directory: new_directory_path };
450 }
451
452 pub fn mark_incr_comp_session_as_invalid(&self) {
453 let mut incr_comp_session = self.incr_comp_session.borrow_mut();
454
455 let session_directory = match *incr_comp_session {
456 IncrCompSession::Active { ref session_directory, .. } => session_directory.clone(),
457 IncrCompSession::InvalidBecauseOfErrors { .. } => return,
458 _ => panic!("trying to invalidate `IncrCompSession` `{:?}`", *incr_comp_session),
459 };
460
461 *incr_comp_session = IncrCompSession::InvalidBecauseOfErrors { session_directory };
463 }
464
465 pub fn incr_comp_session_dir(&self) -> MappedReadGuard<'_, PathBuf> {
466 let incr_comp_session = self.incr_comp_session.borrow();
467 ReadGuard::map(incr_comp_session, |incr_comp_session| match *incr_comp_session {
468 IncrCompSession::NotInitialized => panic!(
469 "trying to get session directory from `IncrCompSession`: {:?}",
470 *incr_comp_session,
471 ),
472 IncrCompSession::Active { ref session_directory, .. }
473 | IncrCompSession::Finalized { ref session_directory }
474 | IncrCompSession::InvalidBecauseOfErrors { ref session_directory } => {
475 session_directory
476 }
477 })
478 }
479
480 pub fn incr_comp_session_dir_opt(&self) -> Option<MappedReadGuard<'_, PathBuf>> {
481 self.opts.incremental.as_ref().map(|_| self.incr_comp_session_dir())
482 }
483
484 pub fn is_rust_2015(&self) -> bool {
486 self.edition().is_rust_2015()
487 }
488
489 pub fn at_least_rust_2018(&self) -> bool {
491 self.edition().at_least_rust_2018()
492 }
493
494 pub fn at_least_rust_2021(&self) -> bool {
496 self.edition().at_least_rust_2021()
497 }
498
499 pub fn at_least_rust_2024(&self) -> bool {
501 self.edition().at_least_rust_2024()
502 }
503
504 pub fn needs_plt(&self) -> bool {
506 let want_plt = self.target.plt_by_default;
509
510 let dbg_opts = &self.opts.unstable_opts;
511
512 let relro_level = self.opts.cg.relro_level.unwrap_or(self.target.relro_level);
513
514 let full_relro = RelroLevel::Full == relro_level;
518
519 dbg_opts.plt.unwrap_or(want_plt || !full_relro)
522 }
523
524 pub fn emit_lifetime_markers(&self) -> bool {
526 self.opts.optimize != config::OptLevel::No
527 || self.sanitizers().intersects(SanitizerSet::ADDRESS | SanitizerSet::KERNELADDRESS | SanitizerSet::MEMORY | SanitizerSet::HWADDRESS)
531 }
532
533 pub fn diagnostic_width(&self) -> usize {
534 let default_column_width = 140;
535 if let Some(width) = self.opts.diagnostic_width {
536 width
537 } else if self.opts.unstable_opts.ui_testing {
538 default_column_width
539 } else {
540 termize::dimensions().map_or(default_column_width, |(w, _)| w)
541 }
542 }
543
544 pub fn default_visibility(&self) -> SymbolVisibility {
546 self.opts
547 .unstable_opts
548 .default_visibility
549 .or(self.target.options.default_visibility)
550 .unwrap_or(SymbolVisibility::Interposable)
551 }
552
553 pub fn staticlib_components(&self, verbatim: bool) -> (&str, &str) {
554 if verbatim {
555 ("", "")
556 } else {
557 (&*self.target.staticlib_prefix, &*self.target.staticlib_suffix)
558 }
559 }
560
561 pub fn lint_groups_iter(&self) -> Box<dyn Iterator<Item = LintGroup> + '_> {
562 match self.lint_store {
563 Some(ref lint_store) => lint_store.lint_groups_iter(),
564 None => Box::new(std::iter::empty()),
565 }
566 }
567}
568
569#[allow(rustc::bad_opt_access)]
571impl Session {
572 pub fn verbose_internals(&self) -> bool {
573 self.opts.unstable_opts.verbose_internals
574 }
575
576 pub fn print_llvm_stats(&self) -> bool {
577 self.opts.unstable_opts.print_codegen_stats
578 }
579
580 pub fn verify_llvm_ir(&self) -> bool {
581 self.opts.unstable_opts.verify_llvm_ir || option_env!("RUSTC_VERIFY_LLVM_IR").is_some()
582 }
583
584 pub fn binary_dep_depinfo(&self) -> bool {
585 self.opts.unstable_opts.binary_dep_depinfo
586 }
587
588 pub fn mir_opt_level(&self) -> usize {
589 self.opts
590 .unstable_opts
591 .mir_opt_level
592 .unwrap_or_else(|| if self.opts.optimize != OptLevel::No { 2 } else { 1 })
593 }
594
595 pub fn lto(&self) -> config::Lto {
597 if self.target.requires_lto {
599 return config::Lto::Fat;
600 }
601
602 match self.opts.cg.lto {
606 config::LtoCli::Unspecified => {
607 }
610 config::LtoCli::No => {
611 return config::Lto::No;
613 }
614 config::LtoCli::Yes | config::LtoCli::Fat | config::LtoCli::NoParam => {
615 return config::Lto::Fat;
617 }
618 config::LtoCli::Thin => {
619 return config::Lto::Thin;
621 }
622 }
623
624 if self.opts.cli_forced_local_thinlto_off {
633 return config::Lto::No;
634 }
635
636 if let Some(enabled) = self.opts.unstable_opts.thinlto {
639 if enabled {
640 return config::Lto::ThinLocal;
641 } else {
642 return config::Lto::No;
643 }
644 }
645
646 if self.codegen_units().as_usize() == 1 {
649 return config::Lto::No;
650 }
651
652 match self.opts.optimize {
655 config::OptLevel::No => config::Lto::No,
656 _ => config::Lto::ThinLocal,
657 }
658 }
659
660 pub fn panic_strategy(&self) -> PanicStrategy {
663 self.opts.cg.panic.unwrap_or(self.target.panic_strategy)
664 }
665
666 pub fn fewer_names(&self) -> bool {
667 if let Some(fewer_names) = self.opts.unstable_opts.fewer_names {
668 fewer_names
669 } else {
670 let more_names = self.opts.output_types.contains_key(&OutputType::LlvmAssembly)
671 || self.opts.output_types.contains_key(&OutputType::Bitcode)
672 || self.opts.unstable_opts.sanitizer.intersects(SanitizerSet::ADDRESS | SanitizerSet::MEMORY);
674 !more_names
675 }
676 }
677
678 pub fn unstable_options(&self) -> bool {
679 self.opts.unstable_opts.unstable_options
680 }
681
682 pub fn is_nightly_build(&self) -> bool {
683 self.opts.unstable_features.is_nightly_build()
684 }
685
686 pub fn overflow_checks(&self) -> bool {
687 self.opts.cg.overflow_checks.unwrap_or(self.opts.debug_assertions)
688 }
689
690 pub fn ub_checks(&self) -> bool {
691 self.opts.unstable_opts.ub_checks.unwrap_or(self.opts.debug_assertions)
692 }
693
694 pub fn contract_checks(&self) -> bool {
695 self.opts.unstable_opts.contract_checks.unwrap_or(false)
696 }
697
698 pub fn relocation_model(&self) -> RelocModel {
699 self.opts.cg.relocation_model.unwrap_or(self.target.relocation_model)
700 }
701
702 pub fn code_model(&self) -> Option<CodeModel> {
703 self.opts.cg.code_model.or(self.target.code_model)
704 }
705
706 pub fn tls_model(&self) -> TlsModel {
707 self.opts.unstable_opts.tls_model.unwrap_or(self.target.tls_model)
708 }
709
710 pub fn direct_access_external_data(&self) -> Option<bool> {
711 self.opts
712 .unstable_opts
713 .direct_access_external_data
714 .or(self.target.direct_access_external_data)
715 }
716
717 pub fn split_debuginfo(&self) -> SplitDebuginfo {
718 self.opts.cg.split_debuginfo.unwrap_or(self.target.split_debuginfo)
719 }
720
721 pub fn dwarf_version(&self) -> u32 {
723 self.opts
724 .cg
725 .dwarf_version
726 .or(self.opts.unstable_opts.dwarf_version)
727 .unwrap_or(self.target.default_dwarf_version)
728 }
729
730 pub fn stack_protector(&self) -> StackProtector {
731 if self.target.options.supports_stack_protector {
732 self.opts.unstable_opts.stack_protector
733 } else {
734 StackProtector::None
735 }
736 }
737
738 pub fn must_emit_unwind_tables(&self) -> bool {
739 self.target.requires_uwtable
768 || self
769 .opts
770 .cg
771 .force_unwind_tables
772 .unwrap_or(self.panic_strategy().unwinds() || self.target.default_uwtable)
773 }
774
775 #[inline]
778 pub fn threads(&self) -> usize {
779 self.opts.unstable_opts.threads
780 }
781
782 pub fn codegen_units(&self) -> CodegenUnits {
785 if let Some(n) = self.opts.cli_forced_codegen_units {
786 return CodegenUnits::User(n);
787 }
788 if let Some(n) = self.target.default_codegen_units {
789 return CodegenUnits::Default(n as usize);
790 }
791
792 if self.opts.incremental.is_some() {
796 return CodegenUnits::Default(256);
797 }
798
799 CodegenUnits::Default(16)
850 }
851
852 pub fn teach(&self, code: ErrCode) -> bool {
853 self.opts.unstable_opts.teach && self.dcx().must_teach(code)
854 }
855
856 pub fn edition(&self) -> Edition {
857 self.opts.edition
858 }
859
860 pub fn link_dead_code(&self) -> bool {
861 self.opts.cg.link_dead_code.unwrap_or(false)
862 }
863
864 pub fn filename_display_preference(
865 &self,
866 scope: RemapPathScopeComponents,
867 ) -> FileNameDisplayPreference {
868 assert!(
869 scope.bits().count_ones() == 1,
870 "one and only one scope should be passed to `Session::filename_display_preference`"
871 );
872 if self.opts.unstable_opts.remap_path_scope.contains(scope) {
873 FileNameDisplayPreference::Remapped
874 } else {
875 FileNameDisplayPreference::Local
876 }
877 }
878
879 pub fn apple_deployment_target(&self) -> apple::OSVersion {
884 let min = apple::OSVersion::minimum_deployment_target(&self.target);
885 let env_var = apple::deployment_target_env_var(&self.target.os);
886
887 if let Ok(deployment_target) = env::var(env_var) {
889 match apple::OSVersion::from_str(&deployment_target) {
890 Ok(version) => {
891 let os_min = apple::OSVersion::os_minimum_deployment_target(&self.target.os);
892 if version < os_min {
897 self.dcx().emit_warn(errors::AppleDeploymentTarget::TooLow {
898 env_var,
899 version: version.fmt_pretty().to_string(),
900 os_min: os_min.fmt_pretty().to_string(),
901 });
902 }
903
904 version.max(min)
906 }
907 Err(error) => {
908 self.dcx().emit_err(errors::AppleDeploymentTarget::Invalid { env_var, error });
909 min
910 }
911 }
912 } else {
913 min
915 }
916 }
917
918 pub fn sanitizers(&self) -> SanitizerSet {
919 return self.opts.unstable_opts.sanitizer | self.target.options.default_sanitizers;
920 }
921}
922
923#[allow(rustc::bad_opt_access)]
925fn default_emitter(
926 sopts: &config::Options,
927 source_map: Arc<SourceMap>,
928 translator: Translator,
929) -> Box<DynEmitter> {
930 let macro_backtrace = sopts.unstable_opts.macro_backtrace;
931 let track_diagnostics = sopts.unstable_opts.track_diagnostics;
932 let terminal_url = match sopts.unstable_opts.terminal_urls {
933 TerminalUrl::Auto => {
934 match (std::env::var("COLORTERM").as_deref(), std::env::var("TERM").as_deref()) {
935 (Ok("truecolor"), Ok("xterm-256color"))
936 if sopts.unstable_features.is_nightly_build() =>
937 {
938 TerminalUrl::Yes
939 }
940 _ => TerminalUrl::No,
941 }
942 }
943 t => t,
944 };
945
946 let source_map = if sopts.unstable_opts.link_only { None } else { Some(source_map) };
947
948 match sopts.error_format {
949 config::ErrorOutputType::HumanReadable { kind, color_config } => match kind {
950 HumanReadableErrorType::AnnotateSnippet { short, unicode } => {
951 let emitter =
952 AnnotateSnippetEmitter::new(stderr_destination(color_config), translator)
953 .sm(source_map)
954 .short_message(short)
955 .diagnostic_width(sopts.diagnostic_width)
956 .macro_backtrace(macro_backtrace)
957 .track_diagnostics(track_diagnostics)
958 .terminal_url(terminal_url)
959 .theme(if unicode { OutputTheme::Unicode } else { OutputTheme::Ascii })
960 .ignored_directories_in_source_blocks(
961 sopts
962 .unstable_opts
963 .ignore_directory_in_diagnostics_source_blocks
964 .clone(),
965 );
966 Box::new(emitter.ui_testing(sopts.unstable_opts.ui_testing))
967 }
968 HumanReadableErrorType::Default { short } => {
969 let emitter = HumanEmitter::new(stderr_destination(color_config), translator)
970 .sm(source_map)
971 .short_message(short)
972 .diagnostic_width(sopts.diagnostic_width)
973 .macro_backtrace(macro_backtrace)
974 .track_diagnostics(track_diagnostics)
975 .terminal_url(terminal_url)
976 .theme(OutputTheme::Ascii)
977 .ignored_directories_in_source_blocks(
978 sopts.unstable_opts.ignore_directory_in_diagnostics_source_blocks.clone(),
979 );
980 Box::new(emitter.ui_testing(sopts.unstable_opts.ui_testing))
981 }
982 },
983 config::ErrorOutputType::Json { pretty, json_rendered, color_config } => Box::new(
984 JsonEmitter::new(
985 Box::new(io::BufWriter::new(io::stderr())),
986 source_map,
987 translator,
988 pretty,
989 json_rendered,
990 color_config,
991 )
992 .ui_testing(sopts.unstable_opts.ui_testing)
993 .ignored_directories_in_source_blocks(
994 sopts.unstable_opts.ignore_directory_in_diagnostics_source_blocks.clone(),
995 )
996 .diagnostic_width(sopts.diagnostic_width)
997 .macro_backtrace(macro_backtrace)
998 .track_diagnostics(track_diagnostics)
999 .terminal_url(terminal_url),
1000 ),
1001 }
1002}
1003
1004#[allow(rustc::bad_opt_access)]
1006#[allow(rustc::untranslatable_diagnostic)] pub fn build_session(
1008 sopts: config::Options,
1009 io: CompilerIO,
1010 fluent_bundle: Option<Arc<rustc_errors::FluentBundle>>,
1011 registry: rustc_errors::registry::Registry,
1012 fluent_resources: Vec<&'static str>,
1013 driver_lint_caps: FxHashMap<lint::LintId, lint::Level>,
1014 target: Target,
1015 cfg_version: &'static str,
1016 ice_file: Option<PathBuf>,
1017 using_internal_features: &'static AtomicBool,
1018) -> Session {
1019 let warnings_allow = sopts
1023 .lint_opts
1024 .iter()
1025 .rfind(|&(key, _)| *key == "warnings")
1026 .is_some_and(|&(_, level)| level == lint::Allow);
1027 let cap_lints_allow = sopts.lint_cap.is_some_and(|cap| cap == lint::Allow);
1028 let can_emit_warnings = !(warnings_allow || cap_lints_allow);
1029
1030 let translator = Translator {
1031 fluent_bundle,
1032 fallback_fluent_bundle: fallback_fluent_bundle(
1033 fluent_resources,
1034 sopts.unstable_opts.translate_directionality_markers,
1035 ),
1036 };
1037 let source_map = rustc_span::source_map::get_source_map().unwrap();
1038 let emitter = default_emitter(&sopts, Arc::clone(&source_map), translator);
1039
1040 let mut dcx = DiagCtxt::new(emitter)
1041 .with_flags(sopts.unstable_opts.dcx_flags(can_emit_warnings))
1042 .with_registry(registry);
1043 if let Some(ice_file) = ice_file {
1044 dcx = dcx.with_ice_file(ice_file);
1045 }
1046
1047 let host_triple = TargetTuple::from_tuple(config::host_tuple());
1048 let (host, target_warnings) = Target::search(&host_triple, sopts.sysroot.path())
1049 .unwrap_or_else(|e| dcx.handle().fatal(format!("Error loading host specification: {e}")));
1050 for warning in target_warnings.warning_messages() {
1051 dcx.handle().warn(warning)
1052 }
1053
1054 let self_profiler = if let SwitchWithOptPath::Enabled(ref d) = sopts.unstable_opts.self_profile
1055 {
1056 let directory = if let Some(directory) = d { directory } else { std::path::Path::new(".") };
1057
1058 let profiler = SelfProfiler::new(
1059 directory,
1060 sopts.crate_name.as_deref(),
1061 sopts.unstable_opts.self_profile_events.as_deref(),
1062 &sopts.unstable_opts.self_profile_counter,
1063 );
1064 match profiler {
1065 Ok(profiler) => Some(Arc::new(profiler)),
1066 Err(e) => {
1067 dcx.handle().emit_warn(errors::FailedToCreateProfiler { err: e.to_string() });
1068 None
1069 }
1070 }
1071 } else {
1072 None
1073 };
1074
1075 let mut psess = ParseSess::with_dcx(dcx, source_map);
1076 psess.assume_incomplete_release = sopts.unstable_opts.assume_incomplete_release;
1077
1078 let host_triple = config::host_tuple();
1079 let target_triple = sopts.target_triple.tuple();
1080 let host_tlib_path =
1082 Arc::new(SearchPath::from_sysroot_and_triple(sopts.sysroot.path(), host_triple));
1083 let target_tlib_path = if host_triple == target_triple {
1084 Arc::clone(&host_tlib_path)
1087 } else {
1088 Arc::new(SearchPath::from_sysroot_and_triple(sopts.sysroot.path(), target_triple))
1089 };
1090
1091 let prof = SelfProfilerRef::new(
1092 self_profiler,
1093 sopts.unstable_opts.time_passes.then(|| sopts.unstable_opts.time_passes_format),
1094 );
1095
1096 let ctfe_backtrace = Lock::new(match env::var("RUSTC_CTFE_BACKTRACE") {
1097 Ok(ref val) if val == "immediate" => CtfeBacktrace::Immediate,
1098 Ok(ref val) if val != "0" => CtfeBacktrace::Capture,
1099 _ => CtfeBacktrace::Disabled,
1100 });
1101
1102 let asm_arch = if target.allow_asm { InlineAsmArch::from_arch(&target.arch) } else { None };
1103 let target_filesearch =
1104 filesearch::FileSearch::new(&sopts.search_paths, &target_tlib_path, &target);
1105 let host_filesearch = filesearch::FileSearch::new(&sopts.search_paths, &host_tlib_path, &host);
1106
1107 let invocation_temp = sopts
1108 .incremental
1109 .as_ref()
1110 .map(|_| rng().next_u32().to_base_fixed_len(CASE_INSENSITIVE).to_string());
1111
1112 let timings = TimingSectionHandler::new(sopts.json_timings);
1113
1114 let sess = Session {
1115 target,
1116 host,
1117 opts: sopts,
1118 target_tlib_path,
1119 psess,
1120 io,
1121 incr_comp_session: RwLock::new(IncrCompSession::NotInitialized),
1122 prof,
1123 timings,
1124 code_stats: Default::default(),
1125 lint_store: None,
1126 driver_lint_caps,
1127 ctfe_backtrace,
1128 miri_unleashed_features: Lock::new(Default::default()),
1129 asm_arch,
1130 target_features: Default::default(),
1131 unstable_target_features: Default::default(),
1132 cfg_version,
1133 using_internal_features,
1134 target_filesearch,
1135 host_filesearch,
1136 invocation_temp,
1137 };
1138
1139 validate_commandline_args_with_session_available(&sess);
1140
1141 sess
1142}
1143
1144#[allow(rustc::bad_opt_access)]
1150fn validate_commandline_args_with_session_available(sess: &Session) {
1151 if sess.opts.cg.linker_plugin_lto.enabled()
1159 && sess.opts.cg.prefer_dynamic
1160 && sess.target.is_like_windows
1161 {
1162 sess.dcx().emit_err(errors::LinkerPluginToWindowsNotSupported);
1163 }
1164
1165 if let Some(ref path) = sess.opts.cg.profile_use {
1168 if !path.exists() {
1169 sess.dcx().emit_err(errors::ProfileUseFileDoesNotExist { path });
1170 }
1171 }
1172
1173 if let Some(ref path) = sess.opts.unstable_opts.profile_sample_use {
1175 if !path.exists() {
1176 sess.dcx().emit_err(errors::ProfileSampleUseFileDoesNotExist { path });
1177 }
1178 }
1179
1180 if let Some(include_uwtables) = sess.opts.cg.force_unwind_tables {
1182 if sess.target.requires_uwtable && !include_uwtables {
1183 sess.dcx().emit_err(errors::TargetRequiresUnwindTables);
1184 }
1185 }
1186
1187 let supported_sanitizers = sess.target.options.supported_sanitizers;
1189 let mut unsupported_sanitizers = sess.opts.unstable_opts.sanitizer - supported_sanitizers;
1190 if sess.opts.unstable_opts.fixed_x18 && sess.target.arch == Arch::AArch64 {
1193 unsupported_sanitizers -= SanitizerSet::SHADOWCALLSTACK;
1194 }
1195 match unsupported_sanitizers.into_iter().count() {
1196 0 => {}
1197 1 => {
1198 sess.dcx()
1199 .emit_err(errors::SanitizerNotSupported { us: unsupported_sanitizers.to_string() });
1200 }
1201 _ => {
1202 sess.dcx().emit_err(errors::SanitizersNotSupported {
1203 us: unsupported_sanitizers.to_string(),
1204 });
1205 }
1206 }
1207
1208 if let Some((first, second)) = sess.opts.unstable_opts.sanitizer.mutually_exclusive() {
1210 sess.dcx().emit_err(errors::CannotMixAndMatchSanitizers {
1211 first: first.to_string(),
1212 second: second.to_string(),
1213 });
1214 }
1215
1216 if sess.crt_static(None)
1218 && !sess.opts.unstable_opts.sanitizer.is_empty()
1219 && !sess.target.is_like_msvc
1220 {
1221 sess.dcx().emit_err(errors::CannotEnableCrtStaticLinux);
1222 }
1223
1224 if sess.is_sanitizer_cfi_enabled()
1226 && !(sess.lto() == config::Lto::Fat || sess.opts.cg.linker_plugin_lto.enabled())
1227 {
1228 sess.dcx().emit_err(errors::SanitizerCfiRequiresLto);
1229 }
1230
1231 if sess.is_sanitizer_kcfi_enabled() && sess.panic_strategy().unwinds() {
1233 sess.dcx().emit_err(errors::SanitizerKcfiRequiresPanicAbort);
1234 }
1235
1236 if sess.is_sanitizer_cfi_enabled()
1238 && sess.lto() == config::Lto::Fat
1239 && (sess.codegen_units().as_usize() != 1)
1240 {
1241 sess.dcx().emit_err(errors::SanitizerCfiRequiresSingleCodegenUnit);
1242 }
1243
1244 if sess.is_sanitizer_cfi_canonical_jump_tables_disabled() {
1246 if !sess.is_sanitizer_cfi_enabled() {
1247 sess.dcx().emit_err(errors::SanitizerCfiCanonicalJumpTablesRequiresCfi);
1248 }
1249 }
1250
1251 if sess.is_sanitizer_kcfi_arity_enabled() && !sess.is_sanitizer_kcfi_enabled() {
1253 sess.dcx().emit_err(errors::SanitizerKcfiArityRequiresKcfi);
1254 }
1255
1256 if sess.is_sanitizer_cfi_generalize_pointers_enabled() {
1258 if !(sess.is_sanitizer_cfi_enabled() || sess.is_sanitizer_kcfi_enabled()) {
1259 sess.dcx().emit_err(errors::SanitizerCfiGeneralizePointersRequiresCfi);
1260 }
1261 }
1262
1263 if sess.is_sanitizer_cfi_normalize_integers_enabled() {
1265 if !(sess.is_sanitizer_cfi_enabled() || sess.is_sanitizer_kcfi_enabled()) {
1266 sess.dcx().emit_err(errors::SanitizerCfiNormalizeIntegersRequiresCfi);
1267 }
1268 }
1269
1270 if sess.is_split_lto_unit_enabled()
1272 && !(sess.lto() == config::Lto::Fat
1273 || sess.lto() == config::Lto::Thin
1274 || sess.opts.cg.linker_plugin_lto.enabled())
1275 {
1276 sess.dcx().emit_err(errors::SplitLtoUnitRequiresLto);
1277 }
1278
1279 if sess.lto() != config::Lto::Fat {
1281 if sess.opts.unstable_opts.virtual_function_elimination {
1282 sess.dcx().emit_err(errors::UnstableVirtualFunctionElimination);
1283 }
1284 }
1285
1286 if sess.opts.unstable_opts.stack_protector != StackProtector::None {
1287 if !sess.target.options.supports_stack_protector {
1288 sess.dcx().emit_warn(errors::StackProtectorNotSupportedForTarget {
1289 stack_protector: sess.opts.unstable_opts.stack_protector,
1290 target_triple: &sess.opts.target_triple,
1291 });
1292 }
1293 }
1294
1295 if sess.opts.unstable_opts.small_data_threshold.is_some() {
1296 if sess.target.small_data_threshold_support() == SmallDataThresholdSupport::None {
1297 sess.dcx().emit_warn(errors::SmallDataThresholdNotSupportedForTarget {
1298 target_triple: &sess.opts.target_triple,
1299 })
1300 }
1301 }
1302
1303 if sess.opts.unstable_opts.branch_protection.is_some() && sess.target.arch != Arch::AArch64 {
1304 sess.dcx().emit_err(errors::BranchProtectionRequiresAArch64);
1305 }
1306
1307 if let Some(dwarf_version) =
1308 sess.opts.cg.dwarf_version.or(sess.opts.unstable_opts.dwarf_version)
1309 {
1310 if dwarf_version < 2 || dwarf_version > 5 {
1312 sess.dcx().emit_err(errors::UnsupportedDwarfVersion { dwarf_version });
1313 }
1314 }
1315
1316 if !sess.target.options.supported_split_debuginfo.contains(&sess.split_debuginfo())
1317 && !sess.opts.unstable_opts.unstable_options
1318 {
1319 sess.dcx()
1320 .emit_err(errors::SplitDebugInfoUnstablePlatform { debuginfo: sess.split_debuginfo() });
1321 }
1322
1323 if sess.opts.unstable_opts.embed_source {
1324 let dwarf_version = sess.dwarf_version();
1325
1326 if dwarf_version < 5 {
1327 sess.dcx().emit_warn(errors::EmbedSourceInsufficientDwarfVersion { dwarf_version });
1328 }
1329
1330 if sess.opts.debuginfo == DebugInfo::None {
1331 sess.dcx().emit_warn(errors::EmbedSourceRequiresDebugInfo);
1332 }
1333 }
1334
1335 if sess.opts.unstable_opts.instrument_xray.is_some() && !sess.target.options.supports_xray {
1336 sess.dcx().emit_err(errors::InstrumentationNotSupported { us: "XRay".to_string() });
1337 }
1338
1339 if let Some(flavor) = sess.opts.cg.linker_flavor
1340 && let Some(compatible_list) = sess.target.linker_flavor.check_compatibility(flavor)
1341 {
1342 let flavor = flavor.desc();
1343 sess.dcx().emit_err(errors::IncompatibleLinkerFlavor { flavor, compatible_list });
1344 }
1345
1346 if sess.opts.unstable_opts.function_return != FunctionReturn::default() {
1347 if !matches!(sess.target.arch, Arch::X86 | Arch::X86_64) {
1348 sess.dcx().emit_err(errors::FunctionReturnRequiresX86OrX8664);
1349 }
1350 }
1351
1352 if sess.opts.unstable_opts.indirect_branch_cs_prefix {
1353 if !matches!(sess.target.arch, Arch::X86 | Arch::X86_64) {
1354 sess.dcx().emit_err(errors::IndirectBranchCsPrefixRequiresX86OrX8664);
1355 }
1356 }
1357
1358 if let Some(regparm) = sess.opts.unstable_opts.regparm {
1359 if regparm > 3 {
1360 sess.dcx().emit_err(errors::UnsupportedRegparm { regparm });
1361 }
1362 if sess.target.arch != Arch::X86 {
1363 sess.dcx().emit_err(errors::UnsupportedRegparmArch);
1364 }
1365 }
1366 if sess.opts.unstable_opts.reg_struct_return {
1367 if sess.target.arch != Arch::X86 {
1368 sess.dcx().emit_err(errors::UnsupportedRegStructReturnArch);
1369 }
1370 }
1371
1372 match sess.opts.unstable_opts.function_return {
1376 FunctionReturn::Keep => (),
1377 FunctionReturn::ThunkExtern => {
1378 if let Some(code_model) = sess.code_model()
1381 && code_model == CodeModel::Large
1382 {
1383 sess.dcx().emit_err(errors::FunctionReturnThunkExternRequiresNonLargeCodeModel);
1384 }
1385 }
1386 }
1387
1388 if sess.opts.cg.soft_float {
1389 if sess.target.arch == Arch::Arm {
1390 sess.dcx().emit_warn(errors::SoftFloatDeprecated);
1391 } else {
1392 sess.dcx().emit_warn(errors::SoftFloatIgnored);
1395 }
1396 }
1397}
1398
1399#[derive(Debug)]
1401enum IncrCompSession {
1402 NotInitialized,
1405 Active { session_directory: PathBuf, _lock_file: flock::Lock },
1410 Finalized { session_directory: PathBuf },
1413 InvalidBecauseOfErrors { session_directory: PathBuf },
1417}
1418
1419pub struct EarlyDiagCtxt {
1421 dcx: DiagCtxt,
1422}
1423
1424impl EarlyDiagCtxt {
1425 pub fn new(output: ErrorOutputType) -> Self {
1426 let emitter = mk_emitter(output);
1427 Self { dcx: DiagCtxt::new(emitter) }
1428 }
1429
1430 pub fn set_error_format(&mut self, output: ErrorOutputType) {
1433 assert!(self.dcx.handle().has_errors().is_none());
1434
1435 let emitter = mk_emitter(output);
1436 self.dcx = DiagCtxt::new(emitter);
1437 }
1438
1439 #[allow(rustc::untranslatable_diagnostic)]
1440 #[allow(rustc::diagnostic_outside_of_impl)]
1441 pub fn early_note(&self, msg: impl Into<DiagMessage>) {
1442 self.dcx.handle().note(msg)
1443 }
1444
1445 #[allow(rustc::untranslatable_diagnostic)]
1446 #[allow(rustc::diagnostic_outside_of_impl)]
1447 pub fn early_help(&self, msg: impl Into<DiagMessage>) {
1448 self.dcx.handle().struct_help(msg).emit()
1449 }
1450
1451 #[allow(rustc::untranslatable_diagnostic)]
1452 #[allow(rustc::diagnostic_outside_of_impl)]
1453 #[must_use = "raise_fatal must be called on the returned ErrorGuaranteed in order to exit with a non-zero status code"]
1454 pub fn early_err(&self, msg: impl Into<DiagMessage>) -> ErrorGuaranteed {
1455 self.dcx.handle().err(msg)
1456 }
1457
1458 #[allow(rustc::untranslatable_diagnostic)]
1459 #[allow(rustc::diagnostic_outside_of_impl)]
1460 pub fn early_fatal(&self, msg: impl Into<DiagMessage>) -> ! {
1461 self.dcx.handle().fatal(msg)
1462 }
1463
1464 #[allow(rustc::untranslatable_diagnostic)]
1465 #[allow(rustc::diagnostic_outside_of_impl)]
1466 pub fn early_struct_fatal(&self, msg: impl Into<DiagMessage>) -> Diag<'_, FatalAbort> {
1467 self.dcx.handle().struct_fatal(msg)
1468 }
1469
1470 #[allow(rustc::untranslatable_diagnostic)]
1471 #[allow(rustc::diagnostic_outside_of_impl)]
1472 pub fn early_warn(&self, msg: impl Into<DiagMessage>) {
1473 self.dcx.handle().warn(msg)
1474 }
1475
1476 #[allow(rustc::untranslatable_diagnostic)]
1477 #[allow(rustc::diagnostic_outside_of_impl)]
1478 pub fn early_struct_warn(&self, msg: impl Into<DiagMessage>) -> Diag<'_, ()> {
1479 self.dcx.handle().struct_warn(msg)
1480 }
1481}
1482
1483fn mk_emitter(output: ErrorOutputType) -> Box<DynEmitter> {
1484 let translator =
1487 Translator::with_fallback_bundle(vec![rustc_errors::DEFAULT_LOCALE_RESOURCE], false);
1488 let emitter: Box<DynEmitter> = match output {
1489 config::ErrorOutputType::HumanReadable { kind, color_config } => match kind {
1490 HumanReadableErrorType::AnnotateSnippet { short, unicode } => Box::new(
1491 AnnotateSnippetEmitter::new(stderr_destination(color_config), translator)
1492 .theme(if unicode { OutputTheme::Unicode } else { OutputTheme::Ascii })
1493 .short_message(short),
1494 ),
1495 HumanReadableErrorType::Default { short } => Box::new(
1496 HumanEmitter::new(stderr_destination(color_config), translator)
1497 .theme(OutputTheme::Ascii)
1498 .short_message(short),
1499 ),
1500 },
1501 config::ErrorOutputType::Json { pretty, json_rendered, color_config } => {
1502 Box::new(JsonEmitter::new(
1503 Box::new(io::BufWriter::new(io::stderr())),
1504 Some(Arc::new(SourceMap::new(FilePathMapping::empty()))),
1505 translator,
1506 pretty,
1507 json_rendered,
1508 color_config,
1509 ))
1510 }
1511 };
1512 emitter
1513}
1514
1515pub trait RemapFileNameExt {
1516 type Output<'a>
1517 where
1518 Self: 'a;
1519
1520 fn for_scope(&self, sess: &Session, scope: RemapPathScopeComponents) -> Self::Output<'_>;
1524}
1525
1526impl RemapFileNameExt for rustc_span::FileName {
1527 type Output<'a> = rustc_span::FileNameDisplay<'a>;
1528
1529 fn for_scope(&self, sess: &Session, scope: RemapPathScopeComponents) -> Self::Output<'_> {
1530 assert!(
1531 scope.bits().count_ones() == 1,
1532 "one and only one scope should be passed to for_scope"
1533 );
1534 if sess.opts.unstable_opts.remap_path_scope.contains(scope) {
1535 self.prefer_remapped_unconditionally()
1536 } else {
1537 self.prefer_local()
1538 }
1539 }
1540}
1541
1542impl RemapFileNameExt for rustc_span::RealFileName {
1543 type Output<'a> = &'a Path;
1544
1545 fn for_scope(&self, sess: &Session, scope: RemapPathScopeComponents) -> Self::Output<'_> {
1546 assert!(
1547 scope.bits().count_ones() == 1,
1548 "one and only one scope should be passed to for_scope"
1549 );
1550 if sess.opts.unstable_opts.remap_path_scope.contains(scope) {
1551 self.remapped_path_if_available()
1552 } else {
1553 self.local_path_if_available()
1554 }
1555 }
1556}