|
| 1 | +use rustc_hir::def_id::{DefId, LocalDefId}; |
| 2 | +use rustc_hir::{self as hir, FnSig, ForeignItemKind, LanguageItems}; |
| 3 | +use rustc_infer::infer::DefineOpaqueTypes; |
| 4 | +use rustc_middle::ty::{self, Instance, Ty}; |
| 5 | +use rustc_session::{declare_lint, declare_lint_pass}; |
| 6 | +use rustc_span::Span; |
| 7 | +use rustc_trait_selection::infer::TyCtxtInferExt; |
| 8 | + |
| 9 | +use crate::lints::RedefiningRuntimeSymbolsDiag; |
| 10 | +use crate::{LateContext, LateLintPass, LintContext}; |
| 11 | + |
| 12 | +declare_lint! { |
| 13 | + /// The `invalid_runtime_symbol_definitions` lint checks the signature of items whose |
| 14 | + /// symbol name is a runtime symbols expected by `core`. |
| 15 | + /// |
| 16 | + /// ### Example |
| 17 | + /// |
| 18 | + /// ```rust,compile_fail |
| 19 | + /// #[unsafe(no_mangle)] |
| 20 | + /// pub fn strlen() {} // invalid definition of the `strlen` function |
| 21 | + /// ``` |
| 22 | + /// |
| 23 | + /// {{produces}} |
| 24 | + /// |
| 25 | + /// ### Explanation |
| 26 | + /// |
| 27 | + /// Up-most care is required when defining runtime symbols assumed and |
| 28 | + /// used by the standard library. They must follow the C specification, not use any |
| 29 | + /// standard-library facility or undefined behavior may occur. |
| 30 | + /// |
| 31 | + /// The symbols currently checked are `memcpy`, `memmove`, `memset`, `memcmp`, |
| 32 | + /// `bcmp` and `strlen`. |
| 33 | + /// |
| 34 | + /// [^1]: https://doc.rust-lang.org/core/index.html#how-to-use-the-core-library |
| 35 | + pub INVALID_RUNTIME_SYMBOL_DEFINITIONS, |
| 36 | + Deny, |
| 37 | + "invalid definition of a symbol used by the standard library" |
| 38 | +} |
| 39 | + |
| 40 | +declare_lint_pass!(RuntimeSymbols => [INVALID_RUNTIME_SYMBOL_DEFINITIONS]); |
| 41 | + |
| 42 | +static EXPECTED_SYMBOLS: &[ExpectedSymbol] = &[ |
| 43 | + ExpectedSymbol { symbol: "memcpy", lang: LanguageItems::memcpy_fn }, |
| 44 | + ExpectedSymbol { symbol: "memmove", lang: LanguageItems::memmove_fn }, |
| 45 | + ExpectedSymbol { symbol: "memset", lang: LanguageItems::memset_fn }, |
| 46 | + ExpectedSymbol { symbol: "memcmp", lang: LanguageItems::memcmp_fn }, |
| 47 | + ExpectedSymbol { symbol: "bcmp", lang: LanguageItems::bcmp_fn }, |
| 48 | + ExpectedSymbol { symbol: "strlen", lang: LanguageItems::strlen_fn }, |
| 49 | +]; |
| 50 | + |
| 51 | +#[derive(Copy, Clone, Debug)] |
| 52 | +struct ExpectedSymbol { |
| 53 | + symbol: &'static str, |
| 54 | + lang: fn(&LanguageItems) -> Option<DefId>, |
| 55 | +} |
| 56 | + |
| 57 | +impl<'tcx> LateLintPass<'tcx> for RuntimeSymbols { |
| 58 | + fn check_item(&mut self, cx: &LateContext<'tcx>, item: &'tcx hir::Item<'tcx>) { |
| 59 | + // Bail-out if the item is not a function/method or static. |
| 60 | + match item.kind { |
| 61 | + hir::ItemKind::Fn { sig, ident: _, generics, body: _, has_body: _ } => { |
| 62 | + // Generic functions cannot have the same runtime symbol as we do not allow |
| 63 | + // any symbol attributes. |
| 64 | + if !generics.params.is_empty() { |
| 65 | + return; |
| 66 | + } |
| 67 | + |
| 68 | + // Try to the overridden symbol name of this function (our mangling |
| 69 | + // cannot ever conflict with runtime symbols, so no need to check for those). |
| 70 | + let Some(symbol_name) = rustc_symbol_mangling::symbol_name_from_attrs( |
| 71 | + cx.tcx, |
| 72 | + rustc_middle::ty::InstanceKind::Item(item.owner_id.to_def_id()), |
| 73 | + ) else { |
| 74 | + return; |
| 75 | + }; |
| 76 | + |
| 77 | + check_fn(cx, &symbol_name, sig, item.owner_id.def_id); |
| 78 | + } |
| 79 | + hir::ItemKind::Static(..) => { |
| 80 | + // Compute the symbol name of this static (without mangling, as our mangling |
| 81 | + // cannot ever conflict with runtime symbols). |
| 82 | + let Some(symbol_name) = rustc_symbol_mangling::symbol_name_from_attrs( |
| 83 | + cx.tcx, |
| 84 | + rustc_middle::ty::InstanceKind::Item(item.owner_id.to_def_id()), |
| 85 | + ) else { |
| 86 | + return; |
| 87 | + }; |
| 88 | + |
| 89 | + let def_id = item.owner_id.def_id; |
| 90 | + let static_ty = cx.tcx.type_of(def_id).instantiate_identity(); |
| 91 | + |
| 92 | + check_static(cx, &symbol_name, static_ty, item.span); |
| 93 | + } |
| 94 | + hir::ItemKind::ForeignMod { abi: _, items } => { |
| 95 | + for item in items { |
| 96 | + let item = cx.tcx.hir_foreign_item(*item); |
| 97 | + |
| 98 | + let did = item.owner_id.def_id; |
| 99 | + let instance = Instance::new_raw( |
| 100 | + did.to_def_id(), |
| 101 | + ty::List::identity_for_item(cx.tcx, did), |
| 102 | + ); |
| 103 | + let symbol_name = cx.tcx.symbol_name(instance); |
| 104 | + |
| 105 | + match item.kind { |
| 106 | + ForeignItemKind::Fn(fn_sig, _idents, _generics) => { |
| 107 | + check_fn(cx, &symbol_name.name, fn_sig, did); |
| 108 | + } |
| 109 | + ForeignItemKind::Static(..) => { |
| 110 | + let def_id = item.owner_id.def_id; |
| 111 | + let static_ty = cx.tcx.type_of(def_id).instantiate_identity(); |
| 112 | + check_static(cx, &symbol_name.name, static_ty, item.span); |
| 113 | + } |
| 114 | + ForeignItemKind::Type => return, |
| 115 | + } |
| 116 | + } |
| 117 | + } |
| 118 | + _ => return, |
| 119 | + } |
| 120 | + } |
| 121 | +} |
| 122 | + |
| 123 | +fn check_fn(cx: &LateContext<'_>, symbol_name: &str, sig: FnSig<'_>, did: LocalDefId) { |
| 124 | + let Some(expected_symbol) = EXPECTED_SYMBOLS.iter().find(|es| es.symbol == symbol_name) else { |
| 125 | + // The symbol name does not correspond to a runtime symbols, bail out |
| 126 | + return; |
| 127 | + }; |
| 128 | + |
| 129 | + let Some(expected_def_id) = (expected_symbol.lang)(&cx.tcx.lang_items()) else { |
| 130 | + // Can't find the corresponding language item, bail out |
| 131 | + return; |
| 132 | + }; |
| 133 | + |
| 134 | + // Get the two function signatures |
| 135 | + let lang_sig = |
| 136 | + cx.tcx.erase_and_anonymize_regions(cx.tcx.fn_sig(expected_def_id).instantiate_identity()); |
| 137 | + let user_sig = cx.tcx.erase_and_anonymize_regions(cx.tcx.fn_sig(did).instantiate_identity()); |
| 138 | + |
| 139 | + // Compare the two signatures with an inference context |
| 140 | + let infcx = cx.tcx.infer_ctxt().build(cx.typing_mode()); |
| 141 | + let cause = rustc_middle::traits::ObligationCause::misc(sig.span, did); |
| 142 | + let result = infcx.at(&cause, cx.param_env).eq(DefineOpaqueTypes::No, lang_sig, user_sig); |
| 143 | + |
| 144 | + // If they don't match, emit our own mismatch signatures |
| 145 | + if let Err(_terr) = result { |
| 146 | + // Create fn pointers for diagnostics purpose |
| 147 | + let expected = Ty::new_fn_ptr(cx.tcx, lang_sig); |
| 148 | + let actual = Ty::new_fn_ptr(cx.tcx, user_sig); |
| 149 | + |
| 150 | + cx.emit_span_lint( |
| 151 | + INVALID_RUNTIME_SYMBOL_DEFINITIONS, |
| 152 | + sig.span, |
| 153 | + RedefiningRuntimeSymbolsDiag::FnDef { |
| 154 | + symbol_name: symbol_name.to_string(), |
| 155 | + found_fn_sig: actual, |
| 156 | + expected_fn_sig: expected, |
| 157 | + }, |
| 158 | + ); |
| 159 | + } |
| 160 | +} |
| 161 | + |
| 162 | +fn check_static<'tcx>(cx: &LateContext<'tcx>, symbol_name: &str, static_ty: Ty<'tcx>, sp: Span) { |
| 163 | + let Some(expected_symbol) = EXPECTED_SYMBOLS.iter().find(|es| es.symbol == symbol_name) else { |
| 164 | + // The symbol name does not correspond to a runtime symbols, bail out |
| 165 | + return; |
| 166 | + }; |
| 167 | + |
| 168 | + let Some(expected_def_id) = (expected_symbol.lang)(&cx.tcx.lang_items()) else { |
| 169 | + // Can't find the corresponding language item, bail out |
| 170 | + return; |
| 171 | + }; |
| 172 | + |
| 173 | + // Unconditionally report a mismatch, a static cannot ever be a function definition |
| 174 | + |
| 175 | + let lang_sig = |
| 176 | + cx.tcx.erase_and_anonymize_regions(cx.tcx.fn_sig(expected_def_id).instantiate_identity()); |
| 177 | + let expected = Ty::new_fn_ptr(cx.tcx, lang_sig); |
| 178 | + |
| 179 | + cx.emit_span_lint( |
| 180 | + INVALID_RUNTIME_SYMBOL_DEFINITIONS, |
| 181 | + sp, |
| 182 | + RedefiningRuntimeSymbolsDiag::Static { |
| 183 | + static_ty, |
| 184 | + symbol_name: symbol_name.to_string(), |
| 185 | + expected_fn_sig: expected, |
| 186 | + }, |
| 187 | + ); |
| 188 | +} |
0 commit comments