| //! Errors emitted by codegen_ssa |
| |
| use std::borrow::Cow; |
| use std::ffi::OsString; |
| use std::io::Error; |
| use std::path::{Path, PathBuf}; |
| use std::process::ExitStatus; |
| |
| use rustc_errors::codes::*; |
| use rustc_errors::{ |
| Diag, DiagArgValue, DiagCtxtHandle, Diagnostic, EmissionGuarantee, IntoDiagArg, Level, |
| }; |
| use rustc_macros::{Diagnostic, LintDiagnostic, Subdiagnostic}; |
| use rustc_middle::ty::layout::LayoutError; |
| use rustc_middle::ty::{FloatTy, Ty}; |
| use rustc_span::{Span, Symbol}; |
| |
| use crate::assert_module_sources::CguReuse; |
| use crate::back::command::Command; |
| use crate::fluent_generated as fluent; |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_incorrect_cgu_reuse_type)] |
| pub(crate) struct IncorrectCguReuseType<'a> { |
| #[primary_span] |
| pub span: Span, |
| pub cgu_user_name: &'a str, |
| pub actual_reuse: CguReuse, |
| pub expected_reuse: CguReuse, |
| pub at_least: u8, |
| } |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_cgu_not_recorded)] |
| pub(crate) struct CguNotRecorded<'a> { |
| pub cgu_user_name: &'a str, |
| pub cgu_name: &'a str, |
| } |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_autodiff_without_lto)] |
| pub struct AutodiffWithoutLto; |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_unknown_reuse_kind)] |
| pub(crate) struct UnknownReuseKind { |
| #[primary_span] |
| pub span: Span, |
| pub kind: Symbol, |
| } |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_missing_query_depgraph)] |
| pub(crate) struct MissingQueryDepGraph { |
| #[primary_span] |
| pub span: Span, |
| } |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_malformed_cgu_name)] |
| pub(crate) struct MalformedCguName { |
| #[primary_span] |
| pub span: Span, |
| pub user_path: String, |
| pub crate_name: String, |
| } |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_no_module_named)] |
| pub(crate) struct NoModuleNamed<'a> { |
| #[primary_span] |
| pub span: Span, |
| pub user_path: &'a str, |
| pub cgu_name: Symbol, |
| pub cgu_names: String, |
| } |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_field_associated_value_expected)] |
| pub(crate) struct FieldAssociatedValueExpected { |
| #[primary_span] |
| pub span: Span, |
| pub name: Symbol, |
| } |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_no_field)] |
| pub(crate) struct NoField { |
| #[primary_span] |
| pub span: Span, |
| pub name: Symbol, |
| } |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_lib_def_write_failure)] |
| pub(crate) struct LibDefWriteFailure { |
| pub error: Error, |
| } |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_version_script_write_failure)] |
| pub(crate) struct VersionScriptWriteFailure { |
| pub error: Error, |
| } |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_symbol_file_write_failure)] |
| pub(crate) struct SymbolFileWriteFailure { |
| pub error: Error, |
| } |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_ld64_unimplemented_modifier)] |
| pub(crate) struct Ld64UnimplementedModifier; |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_linker_unsupported_modifier)] |
| pub(crate) struct LinkerUnsupportedModifier; |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_L4Bender_exporting_symbols_unimplemented)] |
| pub(crate) struct L4BenderExportingSymbolsUnimplemented; |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_no_natvis_directory)] |
| pub(crate) struct NoNatvisDirectory { |
| pub error: Error, |
| } |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_no_saved_object_file)] |
| pub(crate) struct NoSavedObjectFile<'a> { |
| pub cgu_name: &'a str, |
| } |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_requires_rust_abi, code = E0737)] |
| pub(crate) struct RequiresRustAbi { |
| #[primary_span] |
| pub span: Span, |
| } |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_unsupported_instruction_set, code = E0779)] |
| pub(crate) struct UnsupportedInstructionSet { |
| #[primary_span] |
| pub span: Span, |
| } |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_invalid_instruction_set, code = E0779)] |
| pub(crate) struct InvalidInstructionSet { |
| #[primary_span] |
| pub span: Span, |
| } |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_bare_instruction_set, code = E0778)] |
| pub(crate) struct BareInstructionSet { |
| #[primary_span] |
| pub span: Span, |
| } |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_multiple_instruction_set, code = E0779)] |
| pub(crate) struct MultipleInstructionSet { |
| #[primary_span] |
| pub span: Span, |
| } |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_expected_name_value_pair)] |
| pub(crate) struct ExpectedNameValuePair { |
| #[primary_span] |
| pub span: Span, |
| } |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_unexpected_parameter_name)] |
| pub(crate) struct UnexpectedParameterName { |
| #[primary_span] |
| #[label] |
| pub span: Span, |
| pub prefix_nops: Symbol, |
| pub entry_nops: Symbol, |
| } |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_invalid_literal_value)] |
| pub(crate) struct InvalidLiteralValue { |
| #[primary_span] |
| #[label] |
| pub span: Span, |
| } |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_out_of_range_integer)] |
| pub(crate) struct OutOfRangeInteger { |
| #[primary_span] |
| #[label] |
| pub span: Span, |
| } |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_copy_path_buf)] |
| pub(crate) struct CopyPathBuf { |
| pub source_file: PathBuf, |
| pub output_path: PathBuf, |
| pub error: Error, |
| } |
| |
| // Reports Paths using `Debug` implementation rather than Path's `Display` implementation. |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_copy_path)] |
| pub struct CopyPath<'a> { |
| from: DebugArgPath<'a>, |
| to: DebugArgPath<'a>, |
| error: Error, |
| } |
| |
| impl<'a> CopyPath<'a> { |
| pub fn new(from: &'a Path, to: &'a Path, error: Error) -> CopyPath<'a> { |
| CopyPath { from: DebugArgPath(from), to: DebugArgPath(to), error } |
| } |
| } |
| |
| struct DebugArgPath<'a>(pub &'a Path); |
| |
| impl IntoDiagArg for DebugArgPath<'_> { |
| fn into_diag_arg(self, _: &mut Option<std::path::PathBuf>) -> rustc_errors::DiagArgValue { |
| DiagArgValue::Str(Cow::Owned(format!("{:?}", self.0))) |
| } |
| } |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_binary_output_to_tty)] |
| pub struct BinaryOutputToTty { |
| pub shorthand: &'static str, |
| } |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_ignoring_emit_path)] |
| pub struct IgnoringEmitPath { |
| pub extension: &'static str, |
| } |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_ignoring_output)] |
| pub struct IgnoringOutput { |
| pub extension: &'static str, |
| } |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_create_temp_dir)] |
| pub(crate) struct CreateTempDir { |
| pub error: Error, |
| } |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_add_native_library)] |
| pub(crate) struct AddNativeLibrary { |
| pub library_path: PathBuf, |
| pub error: Error, |
| } |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_multiple_external_func_decl)] |
| pub(crate) struct MultipleExternalFuncDecl<'a> { |
| #[primary_span] |
| pub span: Span, |
| pub function: Symbol, |
| pub library_name: &'a str, |
| } |
| |
| #[derive(Diagnostic)] |
| pub enum LinkRlibError { |
| #[diag(codegen_ssa_rlib_missing_format)] |
| MissingFormat, |
| |
| #[diag(codegen_ssa_rlib_only_rmeta_found)] |
| OnlyRmetaFound { crate_name: Symbol }, |
| |
| #[diag(codegen_ssa_rlib_not_found)] |
| NotFound { crate_name: Symbol }, |
| |
| #[diag(codegen_ssa_rlib_incompatible_dependency_formats)] |
| IncompatibleDependencyFormats { ty1: String, ty2: String, list1: String, list2: String }, |
| } |
| |
| pub(crate) struct ThorinErrorWrapper(pub thorin::Error); |
| |
| impl<G: EmissionGuarantee> Diagnostic<'_, G> for ThorinErrorWrapper { |
| fn into_diag(self, dcx: DiagCtxtHandle<'_>, level: Level) -> Diag<'_, G> { |
| let build = |msg| Diag::new(dcx, level, msg); |
| match self.0 { |
| thorin::Error::ReadInput(_) => build(fluent::codegen_ssa_thorin_read_input_failure), |
| thorin::Error::ParseFileKind(_) => { |
| build(fluent::codegen_ssa_thorin_parse_input_file_kind) |
| } |
| thorin::Error::ParseObjectFile(_) => { |
| build(fluent::codegen_ssa_thorin_parse_input_object_file) |
| } |
| thorin::Error::ParseArchiveFile(_) => { |
| build(fluent::codegen_ssa_thorin_parse_input_archive_file) |
| } |
| thorin::Error::ParseArchiveMember(_) => { |
| build(fluent::codegen_ssa_thorin_parse_archive_member) |
| } |
| thorin::Error::InvalidInputKind => build(fluent::codegen_ssa_thorin_invalid_input_kind), |
| thorin::Error::DecompressData(_) => build(fluent::codegen_ssa_thorin_decompress_data), |
| thorin::Error::NamelessSection(_, offset) => { |
| build(fluent::codegen_ssa_thorin_section_without_name) |
| .with_arg("offset", format!("0x{offset:08x}")) |
| } |
| thorin::Error::RelocationWithInvalidSymbol(section, offset) => { |
| build(fluent::codegen_ssa_thorin_relocation_with_invalid_symbol) |
| .with_arg("section", section) |
| .with_arg("offset", format!("0x{offset:08x}")) |
| } |
| thorin::Error::MultipleRelocations(section, offset) => { |
| build(fluent::codegen_ssa_thorin_multiple_relocations) |
| .with_arg("section", section) |
| .with_arg("offset", format!("0x{offset:08x}")) |
| } |
| thorin::Error::UnsupportedRelocation(section, offset) => { |
| build(fluent::codegen_ssa_thorin_unsupported_relocation) |
| .with_arg("section", section) |
| .with_arg("offset", format!("0x{offset:08x}")) |
| } |
| thorin::Error::MissingDwoName(id) => build(fluent::codegen_ssa_thorin_missing_dwo_name) |
| .with_arg("id", format!("0x{id:08x}")), |
| thorin::Error::NoCompilationUnits => { |
| build(fluent::codegen_ssa_thorin_no_compilation_units) |
| } |
| thorin::Error::NoDie => build(fluent::codegen_ssa_thorin_no_die), |
| thorin::Error::TopLevelDieNotUnit => { |
| build(fluent::codegen_ssa_thorin_top_level_die_not_unit) |
| } |
| thorin::Error::MissingRequiredSection(section) => { |
| build(fluent::codegen_ssa_thorin_missing_required_section) |
| .with_arg("section", section) |
| } |
| thorin::Error::ParseUnitAbbreviations(_) => { |
| build(fluent::codegen_ssa_thorin_parse_unit_abbreviations) |
| } |
| thorin::Error::ParseUnitAttribute(_) => { |
| build(fluent::codegen_ssa_thorin_parse_unit_attribute) |
| } |
| thorin::Error::ParseUnitHeader(_) => { |
| build(fluent::codegen_ssa_thorin_parse_unit_header) |
| } |
| thorin::Error::ParseUnit(_) => build(fluent::codegen_ssa_thorin_parse_unit), |
| thorin::Error::IncompatibleIndexVersion(section, format, actual) => { |
| build(fluent::codegen_ssa_thorin_incompatible_index_version) |
| .with_arg("section", section) |
| .with_arg("actual", actual) |
| .with_arg("format", format) |
| } |
| thorin::Error::OffsetAtIndex(_, index) => { |
| build(fluent::codegen_ssa_thorin_offset_at_index).with_arg("index", index) |
| } |
| thorin::Error::StrAtOffset(_, offset) => { |
| build(fluent::codegen_ssa_thorin_str_at_offset) |
| .with_arg("offset", format!("0x{offset:08x}")) |
| } |
| thorin::Error::ParseIndex(_, section) => { |
| build(fluent::codegen_ssa_thorin_parse_index).with_arg("section", section) |
| } |
| thorin::Error::UnitNotInIndex(unit) => { |
| build(fluent::codegen_ssa_thorin_unit_not_in_index) |
| .with_arg("unit", format!("0x{unit:08x}")) |
| } |
| thorin::Error::RowNotInIndex(_, row) => { |
| build(fluent::codegen_ssa_thorin_row_not_in_index).with_arg("row", row) |
| } |
| thorin::Error::SectionNotInRow => build(fluent::codegen_ssa_thorin_section_not_in_row), |
| thorin::Error::EmptyUnit(unit) => build(fluent::codegen_ssa_thorin_empty_unit) |
| .with_arg("unit", format!("0x{unit:08x}")), |
| thorin::Error::MultipleDebugInfoSection => { |
| build(fluent::codegen_ssa_thorin_multiple_debug_info_section) |
| } |
| thorin::Error::MultipleDebugTypesSection => { |
| build(fluent::codegen_ssa_thorin_multiple_debug_types_section) |
| } |
| thorin::Error::NotSplitUnit => build(fluent::codegen_ssa_thorin_not_split_unit), |
| thorin::Error::DuplicateUnit(unit) => build(fluent::codegen_ssa_thorin_duplicate_unit) |
| .with_arg("unit", format!("0x{unit:08x}")), |
| thorin::Error::MissingReferencedUnit(unit) => { |
| build(fluent::codegen_ssa_thorin_missing_referenced_unit) |
| .with_arg("unit", format!("0x{unit:08x}")) |
| } |
| thorin::Error::NoOutputObjectCreated => { |
| build(fluent::codegen_ssa_thorin_not_output_object_created) |
| } |
| thorin::Error::MixedInputEncodings => { |
| build(fluent::codegen_ssa_thorin_mixed_input_encodings) |
| } |
| thorin::Error::Io(e) => { |
| build(fluent::codegen_ssa_thorin_io).with_arg("error", format!("{e}")) |
| } |
| thorin::Error::ObjectRead(e) => { |
| build(fluent::codegen_ssa_thorin_object_read).with_arg("error", format!("{e}")) |
| } |
| thorin::Error::ObjectWrite(e) => { |
| build(fluent::codegen_ssa_thorin_object_write).with_arg("error", format!("{e}")) |
| } |
| thorin::Error::GimliRead(e) => { |
| build(fluent::codegen_ssa_thorin_gimli_read).with_arg("error", format!("{e}")) |
| } |
| thorin::Error::GimliWrite(e) => { |
| build(fluent::codegen_ssa_thorin_gimli_write).with_arg("error", format!("{e}")) |
| } |
| _ => unimplemented!("Untranslated thorin error"), |
| } |
| } |
| } |
| |
| pub(crate) struct LinkingFailed<'a> { |
| pub linker_path: &'a Path, |
| pub exit_status: ExitStatus, |
| pub command: Command, |
| pub escaped_output: String, |
| pub verbose: bool, |
| pub sysroot_dir: PathBuf, |
| } |
| |
| impl<G: EmissionGuarantee> Diagnostic<'_, G> for LinkingFailed<'_> { |
| fn into_diag(mut self, dcx: DiagCtxtHandle<'_>, level: Level) -> Diag<'_, G> { |
| let mut diag = Diag::new(dcx, level, fluent::codegen_ssa_linking_failed); |
| diag.arg("linker_path", format!("{}", self.linker_path.display())); |
| diag.arg("exit_status", format!("{}", self.exit_status)); |
| |
| let contains_undefined_ref = self.escaped_output.contains("undefined reference to"); |
| |
| if self.verbose { |
| diag.note(format!("{:?}", self.command)); |
| } else { |
| self.command.env_clear(); |
| |
| enum ArgGroup { |
| Regular(OsString), |
| Objects(usize), |
| Rlibs(PathBuf, Vec<OsString>), |
| } |
| |
| // Omit rust object files and fold rlibs in the error by default to make linker errors a |
| // bit less verbose. |
| let orig_args = self.command.take_args(); |
| let mut args: Vec<ArgGroup> = vec![]; |
| for arg in orig_args { |
| if arg.as_encoded_bytes().ends_with(b".rcgu.o") { |
| if let Some(ArgGroup::Objects(n)) = args.last_mut() { |
| *n += 1; |
| } else { |
| args.push(ArgGroup::Objects(1)); |
| } |
| } else if arg.as_encoded_bytes().ends_with(b".rlib") { |
| let rlib_path = Path::new(&arg); |
| let dir = rlib_path.parent().unwrap(); |
| let filename = rlib_path.file_name().unwrap().to_owned(); |
| if let Some(ArgGroup::Rlibs(parent, rlibs)) = args.last_mut() { |
| if parent == dir { |
| rlibs.push(filename); |
| } else { |
| args.push(ArgGroup::Rlibs(dir.to_owned(), vec![filename])); |
| } |
| } else { |
| args.push(ArgGroup::Rlibs(dir.to_owned(), vec![filename])); |
| } |
| } else { |
| args.push(ArgGroup::Regular(arg)); |
| } |
| } |
| let crate_hash = regex::bytes::Regex::new(r"-[0-9a-f]+\.rlib$").unwrap(); |
| self.command.args(args.into_iter().map(|arg_group| { |
| match arg_group { |
| // SAFETY: we are only matching on ASCII, not any surrogate pairs, so any replacements we do will still be valid. |
| ArgGroup::Regular(arg) => unsafe { |
| use bstr::ByteSlice; |
| OsString::from_encoded_bytes_unchecked( |
| arg.as_encoded_bytes().replace( |
| self.sysroot_dir.as_os_str().as_encoded_bytes(), |
| b"<sysroot>", |
| ), |
| ) |
| }, |
| ArgGroup::Objects(n) => OsString::from(format!("<{n} object files omitted>")), |
| ArgGroup::Rlibs(mut dir, rlibs) => { |
| let is_sysroot_dir = match dir.strip_prefix(&self.sysroot_dir) { |
| Ok(short) => { |
| dir = Path::new("<sysroot>").join(short); |
| true |
| } |
| Err(_) => false, |
| }; |
| let mut arg = dir.into_os_string(); |
| arg.push("/{"); |
| let mut first = true; |
| for mut rlib in rlibs { |
| if !first { |
| arg.push(","); |
| } |
| first = false; |
| if is_sysroot_dir { |
| // SAFETY: Regex works one byte at a type, and our regex will not match surrogate pairs (because it only matches ascii). |
| rlib = unsafe { |
| OsString::from_encoded_bytes_unchecked( |
| crate_hash |
| .replace(rlib.as_encoded_bytes(), b"-*") |
| .into_owned(), |
| ) |
| }; |
| } |
| arg.push(rlib); |
| } |
| arg.push("}.rlib"); |
| arg |
| } |
| } |
| })); |
| |
| diag.note(format!("{:?}", self.command).trim_start_matches("env -i").to_owned()); |
| diag.note("some arguments are omitted. use `--verbose` to show all linker arguments"); |
| } |
| |
| diag.note(self.escaped_output); |
| |
| // Trying to match an error from OS linkers |
| // which by now we have no way to translate. |
| if contains_undefined_ref { |
| diag.note(fluent::codegen_ssa_extern_funcs_not_found) |
| .note(fluent::codegen_ssa_specify_libraries_to_link); |
| |
| if rustc_session::utils::was_invoked_from_cargo() { |
| diag.note(fluent::codegen_ssa_use_cargo_directive); |
| } |
| } |
| diag |
| } |
| } |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_link_exe_unexpected_error)] |
| pub(crate) struct LinkExeUnexpectedError; |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_repair_vs_build_tools)] |
| pub(crate) struct RepairVSBuildTools; |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_missing_cpp_build_tool_component)] |
| pub(crate) struct MissingCppBuildToolComponent; |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_select_cpp_build_tool_workload)] |
| pub(crate) struct SelectCppBuildToolWorkload; |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_visual_studio_not_installed)] |
| pub(crate) struct VisualStudioNotInstalled; |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_linker_not_found)] |
| #[note] |
| pub(crate) struct LinkerNotFound { |
| pub linker_path: PathBuf, |
| pub error: Error, |
| } |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_unable_to_exe_linker)] |
| #[note] |
| #[note(codegen_ssa_command_note)] |
| pub(crate) struct UnableToExeLinker { |
| pub linker_path: PathBuf, |
| pub error: Error, |
| pub command_formatted: String, |
| } |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_msvc_missing_linker)] |
| pub(crate) struct MsvcMissingLinker; |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_self_contained_linker_missing)] |
| pub(crate) struct SelfContainedLinkerMissing; |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_check_installed_visual_studio)] |
| pub(crate) struct CheckInstalledVisualStudio; |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_insufficient_vs_code_product)] |
| pub(crate) struct InsufficientVSCodeProduct; |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_cpu_required)] |
| pub(crate) struct CpuRequired; |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_processing_dymutil_failed)] |
| #[note] |
| pub(crate) struct ProcessingDymutilFailed { |
| pub status: ExitStatus, |
| pub output: String, |
| } |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_unable_to_run_dsymutil)] |
| pub(crate) struct UnableToRunDsymutil { |
| pub error: Error, |
| } |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_stripping_debug_info_failed)] |
| #[note] |
| pub(crate) struct StrippingDebugInfoFailed<'a> { |
| pub util: &'a str, |
| pub status: ExitStatus, |
| pub output: String, |
| } |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_unable_to_run)] |
| pub(crate) struct UnableToRun<'a> { |
| pub util: &'a str, |
| pub error: Error, |
| } |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_linker_file_stem)] |
| pub(crate) struct LinkerFileStem; |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_static_library_native_artifacts)] |
| pub(crate) struct StaticLibraryNativeArtifacts; |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_static_library_native_artifacts_to_file)] |
| pub(crate) struct StaticLibraryNativeArtifactsToFile<'a> { |
| pub path: &'a Path, |
| } |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_link_script_unavailable)] |
| pub(crate) struct LinkScriptUnavailable; |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_link_script_write_failure)] |
| pub(crate) struct LinkScriptWriteFailure { |
| pub path: PathBuf, |
| pub error: Error, |
| } |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_failed_to_write)] |
| pub(crate) struct FailedToWrite { |
| pub path: PathBuf, |
| pub error: Error, |
| } |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_unable_to_write_debugger_visualizer)] |
| pub(crate) struct UnableToWriteDebuggerVisualizer { |
| pub path: PathBuf, |
| pub error: Error, |
| } |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_rlib_archive_build_failure)] |
| pub(crate) struct RlibArchiveBuildFailure { |
| pub path: PathBuf, |
| pub error: Error, |
| } |
| |
| #[derive(Diagnostic)] |
| // Public for rustc_codegen_llvm::back::archive |
| pub enum ExtractBundledLibsError<'a> { |
| #[diag(codegen_ssa_extract_bundled_libs_open_file)] |
| OpenFile { rlib: &'a Path, error: Box<dyn std::error::Error> }, |
| |
| #[diag(codegen_ssa_extract_bundled_libs_mmap_file)] |
| MmapFile { rlib: &'a Path, error: Box<dyn std::error::Error> }, |
| |
| #[diag(codegen_ssa_extract_bundled_libs_parse_archive)] |
| ParseArchive { rlib: &'a Path, error: Box<dyn std::error::Error> }, |
| |
| #[diag(codegen_ssa_extract_bundled_libs_read_entry)] |
| ReadEntry { rlib: &'a Path, error: Box<dyn std::error::Error> }, |
| |
| #[diag(codegen_ssa_extract_bundled_libs_archive_member)] |
| ArchiveMember { rlib: &'a Path, error: Box<dyn std::error::Error> }, |
| |
| #[diag(codegen_ssa_extract_bundled_libs_convert_name)] |
| ConvertName { rlib: &'a Path, error: Box<dyn std::error::Error> }, |
| |
| #[diag(codegen_ssa_extract_bundled_libs_write_file)] |
| WriteFile { rlib: &'a Path, error: Box<dyn std::error::Error> }, |
| |
| #[diag(codegen_ssa_extract_bundled_libs_write_file)] |
| ExtractSection { rlib: &'a Path, error: Box<dyn std::error::Error> }, |
| } |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_read_file)] |
| pub(crate) struct ReadFileError { |
| pub message: std::io::Error, |
| } |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_unsupported_link_self_contained)] |
| pub(crate) struct UnsupportedLinkSelfContained; |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_archive_build_failure)] |
| // Public for rustc_codegen_llvm::back::archive |
| pub struct ArchiveBuildFailure { |
| pub path: PathBuf, |
| pub error: std::io::Error, |
| } |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_unknown_archive_kind)] |
| // Public for rustc_codegen_llvm::back::archive |
| pub struct UnknownArchiveKind<'a> { |
| pub kind: &'a str, |
| } |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_multiple_main_functions)] |
| #[help] |
| pub(crate) struct MultipleMainFunctions { |
| #[primary_span] |
| pub span: Span, |
| } |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_invalid_windows_subsystem)] |
| pub(crate) struct InvalidWindowsSubsystem { |
| pub subsystem: Symbol, |
| } |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_shuffle_indices_evaluation)] |
| pub(crate) struct ShuffleIndicesEvaluation { |
| #[primary_span] |
| pub span: Span, |
| } |
| |
| #[derive(Diagnostic)] |
| pub enum InvalidMonomorphization<'tcx> { |
| #[diag(codegen_ssa_invalid_monomorphization_basic_integer_type, code = E0511)] |
| BasicIntegerType { |
| #[primary_span] |
| span: Span, |
| name: Symbol, |
| ty: Ty<'tcx>, |
| }, |
| |
| #[diag(codegen_ssa_invalid_monomorphization_basic_float_type, code = E0511)] |
| BasicFloatType { |
| #[primary_span] |
| span: Span, |
| name: Symbol, |
| ty: Ty<'tcx>, |
| }, |
| |
| #[diag(codegen_ssa_invalid_monomorphization_float_to_int_unchecked, code = E0511)] |
| FloatToIntUnchecked { |
| #[primary_span] |
| span: Span, |
| ty: Ty<'tcx>, |
| }, |
| |
| #[diag(codegen_ssa_invalid_monomorphization_floating_point_vector, code = E0511)] |
| FloatingPointVector { |
| #[primary_span] |
| span: Span, |
| name: Symbol, |
| f_ty: FloatTy, |
| in_ty: Ty<'tcx>, |
| }, |
| |
| #[diag(codegen_ssa_invalid_monomorphization_floating_point_type, code = E0511)] |
| FloatingPointType { |
| #[primary_span] |
| span: Span, |
| name: Symbol, |
| in_ty: Ty<'tcx>, |
| }, |
| |
| #[diag(codegen_ssa_invalid_monomorphization_unrecognized_intrinsic, code = E0511)] |
| UnrecognizedIntrinsic { |
| #[primary_span] |
| span: Span, |
| name: Symbol, |
| }, |
| |
| #[diag(codegen_ssa_invalid_monomorphization_simd_argument, code = E0511)] |
| SimdArgument { |
| #[primary_span] |
| span: Span, |
| name: Symbol, |
| ty: Ty<'tcx>, |
| }, |
| |
| #[diag(codegen_ssa_invalid_monomorphization_simd_input, code = E0511)] |
| SimdInput { |
| #[primary_span] |
| span: Span, |
| name: Symbol, |
| ty: Ty<'tcx>, |
| }, |
| |
| #[diag(codegen_ssa_invalid_monomorphization_simd_first, code = E0511)] |
| SimdFirst { |
| #[primary_span] |
| span: Span, |
| name: Symbol, |
| ty: Ty<'tcx>, |
| }, |
| |
| #[diag(codegen_ssa_invalid_monomorphization_simd_second, code = E0511)] |
| SimdSecond { |
| #[primary_span] |
| span: Span, |
| name: Symbol, |
| ty: Ty<'tcx>, |
| }, |
| |
| #[diag(codegen_ssa_invalid_monomorphization_simd_third, code = E0511)] |
| SimdThird { |
| #[primary_span] |
| span: Span, |
| name: Symbol, |
| ty: Ty<'tcx>, |
| }, |
| |
| #[diag(codegen_ssa_invalid_monomorphization_simd_return, code = E0511)] |
| SimdReturn { |
| #[primary_span] |
| span: Span, |
| name: Symbol, |
| ty: Ty<'tcx>, |
| }, |
| |
| #[diag(codegen_ssa_invalid_monomorphization_invalid_bitmask, code = E0511)] |
| InvalidBitmask { |
| #[primary_span] |
| span: Span, |
| name: Symbol, |
| mask_ty: Ty<'tcx>, |
| expected_int_bits: u64, |
| expected_bytes: u64, |
| }, |
| |
| #[diag(codegen_ssa_invalid_monomorphization_return_length_input_type, code = E0511)] |
| ReturnLengthInputType { |
| #[primary_span] |
| span: Span, |
| name: Symbol, |
| in_len: u64, |
| in_ty: Ty<'tcx>, |
| ret_ty: Ty<'tcx>, |
| out_len: u64, |
| }, |
| |
| #[diag(codegen_ssa_invalid_monomorphization_second_argument_length, code = E0511)] |
| SecondArgumentLength { |
| #[primary_span] |
| span: Span, |
| name: Symbol, |
| in_len: u64, |
| in_ty: Ty<'tcx>, |
| arg_ty: Ty<'tcx>, |
| out_len: u64, |
| }, |
| |
| #[diag(codegen_ssa_invalid_monomorphization_third_argument_length, code = E0511)] |
| ThirdArgumentLength { |
| #[primary_span] |
| span: Span, |
| name: Symbol, |
| in_len: u64, |
| in_ty: Ty<'tcx>, |
| arg_ty: Ty<'tcx>, |
| out_len: u64, |
| }, |
| |
| #[diag(codegen_ssa_invalid_monomorphization_return_integer_type, code = E0511)] |
| ReturnIntegerType { |
| #[primary_span] |
| span: Span, |
| name: Symbol, |
| ret_ty: Ty<'tcx>, |
| out_ty: Ty<'tcx>, |
| }, |
| |
| #[diag(codegen_ssa_invalid_monomorphization_simd_shuffle, code = E0511)] |
| SimdShuffle { |
| #[primary_span] |
| span: Span, |
| name: Symbol, |
| ty: Ty<'tcx>, |
| }, |
| |
| #[diag(codegen_ssa_invalid_monomorphization_return_length, code = E0511)] |
| ReturnLength { |
| #[primary_span] |
| span: Span, |
| name: Symbol, |
| in_len: u64, |
| ret_ty: Ty<'tcx>, |
| out_len: u64, |
| }, |
| |
| #[diag(codegen_ssa_invalid_monomorphization_return_element, code = E0511)] |
| ReturnElement { |
| #[primary_span] |
| span: Span, |
| name: Symbol, |
| in_elem: Ty<'tcx>, |
| in_ty: Ty<'tcx>, |
| ret_ty: Ty<'tcx>, |
| out_ty: Ty<'tcx>, |
| }, |
| |
| #[diag(codegen_ssa_invalid_monomorphization_simd_index_out_of_bounds, code = E0511)] |
| SimdIndexOutOfBounds { |
| #[primary_span] |
| span: Span, |
| name: Symbol, |
| arg_idx: u64, |
| total_len: u128, |
| }, |
| |
| #[diag(codegen_ssa_invalid_monomorphization_inserted_type, code = E0511)] |
| InsertedType { |
| #[primary_span] |
| span: Span, |
| name: Symbol, |
| in_elem: Ty<'tcx>, |
| in_ty: Ty<'tcx>, |
| out_ty: Ty<'tcx>, |
| }, |
| |
| #[diag(codegen_ssa_invalid_monomorphization_return_type, code = E0511)] |
| ReturnType { |
| #[primary_span] |
| span: Span, |
| name: Symbol, |
| in_elem: Ty<'tcx>, |
| in_ty: Ty<'tcx>, |
| ret_ty: Ty<'tcx>, |
| }, |
| |
| #[diag(codegen_ssa_invalid_monomorphization_expected_return_type, code = E0511)] |
| ExpectedReturnType { |
| #[primary_span] |
| span: Span, |
| name: Symbol, |
| in_ty: Ty<'tcx>, |
| ret_ty: Ty<'tcx>, |
| }, |
| |
| #[diag(codegen_ssa_invalid_monomorphization_mismatched_lengths, code = E0511)] |
| MismatchedLengths { |
| #[primary_span] |
| span: Span, |
| name: Symbol, |
| m_len: u64, |
| v_len: u64, |
| }, |
| |
| #[diag(codegen_ssa_invalid_monomorphization_mask_wrong_element_type, code = E0511)] |
| MaskWrongElementType { |
| #[primary_span] |
| span: Span, |
| name: Symbol, |
| ty: Ty<'tcx>, |
| }, |
| |
| #[diag(codegen_ssa_invalid_monomorphization_cannot_return, code = E0511)] |
| CannotReturn { |
| #[primary_span] |
| span: Span, |
| name: Symbol, |
| ret_ty: Ty<'tcx>, |
| expected_int_bits: u64, |
| expected_bytes: u64, |
| }, |
| |
| #[diag(codegen_ssa_invalid_monomorphization_expected_element_type, code = E0511)] |
| ExpectedElementType { |
| #[primary_span] |
| span: Span, |
| name: Symbol, |
| expected_element: Ty<'tcx>, |
| second_arg: Ty<'tcx>, |
| in_elem: Ty<'tcx>, |
| in_ty: Ty<'tcx>, |
| mutability: ExpectedPointerMutability, |
| }, |
| |
| #[diag(codegen_ssa_invalid_monomorphization_unsupported_symbol_of_size, code = E0511)] |
| UnsupportedSymbolOfSize { |
| #[primary_span] |
| span: Span, |
| name: Symbol, |
| symbol: Symbol, |
| in_ty: Ty<'tcx>, |
| in_elem: Ty<'tcx>, |
| size: u64, |
| ret_ty: Ty<'tcx>, |
| }, |
| |
| #[diag(codegen_ssa_invalid_monomorphization_unsupported_symbol, code = E0511)] |
| UnsupportedSymbol { |
| #[primary_span] |
| span: Span, |
| name: Symbol, |
| symbol: Symbol, |
| in_ty: Ty<'tcx>, |
| in_elem: Ty<'tcx>, |
| ret_ty: Ty<'tcx>, |
| }, |
| |
| #[diag(codegen_ssa_invalid_monomorphization_cast_wide_pointer, code = E0511)] |
| CastWidePointer { |
| #[primary_span] |
| span: Span, |
| name: Symbol, |
| ty: Ty<'tcx>, |
| }, |
| |
| #[diag(codegen_ssa_invalid_monomorphization_expected_pointer, code = E0511)] |
| ExpectedPointer { |
| #[primary_span] |
| span: Span, |
| name: Symbol, |
| ty: Ty<'tcx>, |
| }, |
| |
| #[diag(codegen_ssa_invalid_monomorphization_expected_usize, code = E0511)] |
| ExpectedUsize { |
| #[primary_span] |
| span: Span, |
| name: Symbol, |
| ty: Ty<'tcx>, |
| }, |
| |
| #[diag(codegen_ssa_invalid_monomorphization_unsupported_cast, code = E0511)] |
| UnsupportedCast { |
| #[primary_span] |
| span: Span, |
| name: Symbol, |
| in_ty: Ty<'tcx>, |
| in_elem: Ty<'tcx>, |
| ret_ty: Ty<'tcx>, |
| out_elem: Ty<'tcx>, |
| }, |
| |
| #[diag(codegen_ssa_invalid_monomorphization_unsupported_operation, code = E0511)] |
| UnsupportedOperation { |
| #[primary_span] |
| span: Span, |
| name: Symbol, |
| in_ty: Ty<'tcx>, |
| in_elem: Ty<'tcx>, |
| }, |
| |
| #[diag(codegen_ssa_invalid_monomorphization_expected_vector_element_type, code = E0511)] |
| ExpectedVectorElementType { |
| #[primary_span] |
| span: Span, |
| name: Symbol, |
| expected_element: Ty<'tcx>, |
| vector_type: Ty<'tcx>, |
| }, |
| } |
| |
| pub enum ExpectedPointerMutability { |
| Mut, |
| Not, |
| } |
| |
| impl IntoDiagArg for ExpectedPointerMutability { |
| fn into_diag_arg(self, _: &mut Option<std::path::PathBuf>) -> DiagArgValue { |
| match self { |
| ExpectedPointerMutability::Mut => DiagArgValue::Str(Cow::Borrowed("*mut")), |
| ExpectedPointerMutability::Not => DiagArgValue::Str(Cow::Borrowed("*_")), |
| } |
| } |
| } |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_invalid_no_sanitize)] |
| #[note] |
| pub(crate) struct InvalidNoSanitize { |
| #[primary_span] |
| pub span: Span, |
| } |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_invalid_link_ordinal_nargs)] |
| #[note] |
| pub(crate) struct InvalidLinkOrdinalNargs { |
| #[primary_span] |
| pub span: Span, |
| } |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_illegal_link_ordinal_format)] |
| #[note] |
| pub(crate) struct InvalidLinkOrdinalFormat { |
| #[primary_span] |
| pub span: Span, |
| } |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_target_feature_safe_trait)] |
| pub(crate) struct TargetFeatureSafeTrait { |
| #[primary_span] |
| #[label] |
| pub span: Span, |
| #[label(codegen_ssa_label_def)] |
| pub def: Span, |
| } |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_forbidden_target_feature_attr)] |
| pub struct ForbiddenTargetFeatureAttr<'a> { |
| #[primary_span] |
| pub span: Span, |
| pub feature: &'a str, |
| pub reason: &'a str, |
| } |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_failed_to_get_layout)] |
| pub struct FailedToGetLayout<'tcx> { |
| #[primary_span] |
| pub span: Span, |
| pub ty: Ty<'tcx>, |
| pub err: LayoutError<'tcx>, |
| } |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_dlltool_fail_import_library)] |
| pub(crate) struct DlltoolFailImportLibrary<'a> { |
| pub dlltool_path: Cow<'a, str>, |
| pub dlltool_args: String, |
| pub stdout: Cow<'a, str>, |
| pub stderr: Cow<'a, str>, |
| } |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_error_writing_def_file)] |
| pub(crate) struct ErrorWritingDEFFile { |
| pub error: std::io::Error, |
| } |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_error_calling_dlltool)] |
| pub(crate) struct ErrorCallingDllTool<'a> { |
| pub dlltool_path: Cow<'a, str>, |
| pub error: std::io::Error, |
| } |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_error_creating_remark_dir)] |
| pub(crate) struct ErrorCreatingRemarkDir { |
| pub error: std::io::Error, |
| } |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_compiler_builtins_cannot_call)] |
| pub struct CompilerBuiltinsCannotCall { |
| pub caller: String, |
| pub callee: String, |
| #[primary_span] |
| pub span: Span, |
| } |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_error_creating_import_library)] |
| pub(crate) struct ErrorCreatingImportLibrary<'a> { |
| pub lib_name: &'a str, |
| pub error: String, |
| } |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_aix_strip_not_used)] |
| pub(crate) struct AixStripNotUsed; |
| |
| #[derive(Diagnostic, Debug)] |
| pub(crate) enum XcrunError { |
| #[diag(codegen_ssa_xcrun_failed_invoking)] |
| FailedInvoking { sdk_name: &'static str, command_formatted: String, error: std::io::Error }, |
| |
| #[diag(codegen_ssa_xcrun_unsuccessful)] |
| #[note] |
| Unsuccessful { |
| sdk_name: &'static str, |
| command_formatted: String, |
| stdout: String, |
| stderr: String, |
| }, |
| } |
| |
| #[derive(Diagnostic, Debug)] |
| #[diag(codegen_ssa_xcrun_sdk_path_warning)] |
| #[note] |
| pub(crate) struct XcrunSdkPathWarning { |
| pub sdk_name: &'static str, |
| pub stderr: String, |
| } |
| |
| #[derive(LintDiagnostic)] |
| #[diag(codegen_ssa_aarch64_softfloat_neon)] |
| pub(crate) struct Aarch64SoftfloatNeon; |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_unknown_ctarget_feature_prefix)] |
| #[note] |
| pub(crate) struct UnknownCTargetFeaturePrefix<'a> { |
| pub feature: &'a str, |
| } |
| |
| #[derive(Subdiagnostic)] |
| pub(crate) enum PossibleFeature<'a> { |
| #[help(codegen_ssa_possible_feature)] |
| Some { rust_feature: &'a str }, |
| #[help(codegen_ssa_consider_filing_feature_request)] |
| None, |
| } |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_unknown_ctarget_feature)] |
| #[note] |
| pub(crate) struct UnknownCTargetFeature<'a> { |
| pub feature: &'a str, |
| #[subdiagnostic] |
| pub rust_feature: PossibleFeature<'a>, |
| } |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_unstable_ctarget_feature)] |
| #[note] |
| pub(crate) struct UnstableCTargetFeature<'a> { |
| pub feature: &'a str, |
| } |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_forbidden_ctarget_feature)] |
| #[note] |
| #[note(codegen_ssa_forbidden_ctarget_feature_issue)] |
| pub(crate) struct ForbiddenCTargetFeature<'a> { |
| pub feature: &'a str, |
| pub enabled: &'a str, |
| pub reason: &'a str, |
| } |
| |
| pub struct TargetFeatureDisableOrEnable<'a> { |
| pub features: &'a [&'a str], |
| pub span: Option<Span>, |
| pub missing_features: Option<MissingFeatures>, |
| } |
| |
| #[derive(Subdiagnostic)] |
| #[help(codegen_ssa_missing_features)] |
| pub struct MissingFeatures; |
| |
| impl<G: EmissionGuarantee> Diagnostic<'_, G> for TargetFeatureDisableOrEnable<'_> { |
| fn into_diag(self, dcx: DiagCtxtHandle<'_>, level: Level) -> Diag<'_, G> { |
| let mut diag = Diag::new(dcx, level, fluent::codegen_ssa_target_feature_disable_or_enable); |
| if let Some(span) = self.span { |
| diag.span(span); |
| }; |
| if let Some(missing_features) = self.missing_features { |
| diag.subdiagnostic(missing_features); |
| } |
| diag.arg("features", self.features.join(", ")); |
| diag |
| } |
| } |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_no_mangle_nameless)] |
| pub(crate) struct NoMangleNameless { |
| #[primary_span] |
| pub span: Span, |
| pub definition: String, |
| } |
| |
| #[derive(Diagnostic)] |
| #[diag(codegen_ssa_feature_not_valid)] |
| pub(crate) struct FeatureNotValid<'a> { |
| pub feature: &'a str, |
| #[primary_span] |
| #[label] |
| pub span: Span, |
| #[help] |
| pub plus_hint: bool, |
| } |
