about summary refs log tree commit diff
path: root/compiler/rustc_monomorphize/src/mono_checks
AgeCommit message (Collapse)AuthorLines
2025-09-08fixup limit handling codeJana Dönszelmann-1/+1
2025-06-14Remove all support for wasm's legacy ABIbjorn3-74/+2
2025-06-04abi_check: tweak some commentsRalf Jung-5/+12
2025-06-03compiler: change Conv to CanonAbiJubilee Young-4/+4
2025-04-24Rollup merge of #139809 - alexcrichton:wasm-simd-safe, r=RalfJungMatthias Krüger-0/+6
Don't warn about `v128` in wasm ABI transition The `-Zwasm-c-abi=spec` mode of `extern "C"` does not actually change the meaning of `v128` meaning that the FCW lint firing is a false positive. cc https://github.com/rust-lang/rust/issues/138762#issuecomment-2801709483
2025-04-22Don't warn about `v128` in wasm ABI transitionAlex Crichton-0/+6
This has other warnings if necessary and doesn't need extra warnings from this FCW. cc #138762
2025-04-20make abi_unsupported_vector_types a hard errorRalf Jung-22/+12
2025-04-17Rollup merge of #139498 - alexcrichton:wasm-zst-safe, r=wesleywiserMatthias Krüger-0/+5
Ignore zero-sized types in wasm future-compat warning This commit fixes a false positive of the warning triggered for #138762 and the fix is to codify that zero-sized types are "safe" in both the old and new ABIs.
2025-04-17Ignore zero-sized types in wasm future-compat warningAlex Crichton-0/+5
This commit fixes a false positive of the warning triggered for #138762 and the fix is to codify that zero-sized types are "safe" in both the old and new ABIs.
2025-04-14Move `has_self` field to `hir::AssocKind::Fn`.Nicholas Nethercote-2/+2
`hir::AssocItem` currently has a boolean `fn_has_self_parameter` field, which is misplaced, because it's only relevant for associated fns, not for associated consts or types. This commit moves it (and renames it) to the `AssocKind::Fn` variant, where it belongs. This requires introducing a new C-style enum, `AssocTag`, which is like `AssocKind` but without the fields. This is because `AssocKind` values are passed to various functions like `find_by_ident_and_kind` to indicate what kind of associated item should be searched for, and having to specify `has_self` isn't relevant there. New methods: - Predicates `AssocItem::is_fn` and `AssocItem::is_method`. - `AssocItem::as_tag` which converts `AssocItem::kind` to `AssocTag`. Removed `find_by_name_and_kinds`, which is unused. `AssocItem::descr` can now distinguish between methods and associated functions, which slightly improves some error messages.
2025-04-10Rollup merge of #139510 - nnethercote:name-to-ident, r=fee1-deadMatthias Krüger-1/+1
Rename some `name` variables as `ident`. It bugs me when variables of type `Ident` are called `name`. It leads to silly things like `name.name`. `Ident` variables should be called `ident`, and `name` should be used for variables of type `Symbol`. This commit improves things by by doing `s/name/ident/` on a bunch of `Ident` variables. Not all of them, but a decent chunk. r? `@fee1-dead`
2025-04-10Rename some `name` variables as `ident`.Nicholas Nethercote-1/+1
It bugs me when variables of type `Ident` are called `name`. It leads to silly things like `name.name`. `Ident` variables should be called `ident`, and `name` should be used for variables of type `Symbol`. This commit improves things by by doing `s/name/ident/` on a bunch of `Ident` variables. Not all of them, but a decent chunk.
2025-04-08for large assignment lint, use the correct span for checking for duplicate lintsJonathan Gruner-5/+8
2025-04-08report call site of inlined scopes for large assignment lintsJonathan Gruner-3/+17
2025-03-25acquire more accurate HirId for ABI check lintsRalf Jung-19/+37
2025-03-25make -Zwasm-c-abi=legacy suppress the lintRalf Jung-4/+5
2025-03-25add FCW to warn about wasm ABI transitionRalf Jung-12/+68
2025-03-04compiler: use `is_rustic_abi` in abi_checkJubilee Young-3/+3
warns on fewer ABIs now
2025-02-28rename BackendRepr::Vector → SimdVectorRalf Jung-1/+1
2025-02-20vectorcall ABI: error if sse2 is not availableRalf Jung-2/+11
2025-02-20mono-time abi_check: unify error paths for call and definition sitesRalf Jung-50/+44
also move the existing tests to a more sensible location
2025-02-19Register USAGE_OF_TYPE_IR_INHERENT, remove inherent usagesMichael Goulet-3/+2
2025-02-15abi_unsupported_vector_types: say which type is the problemRalf Jung-9/+9
2025-02-09Auto merge of #136751 - bjorn3:update_rustfmt, r=Mark-Simulacrumbors-4/+5
Update bootstrap compiler and rustfmt The rustfmt version we previously used formats things differently from what the latest nightly rustfmt does. This causes issues for subtrees that get formatted both in-tree and in their own repo. Updating the rustfmt used in-tree solves those issues. Also bumped the bootstrap compiler as the stage0 update command always updates both at the same time.
2025-02-08Rustfmtbjorn3-4/+5
2025-02-07compiler: remove rustc_target::abi entirelyJubilee Young-2/+2
2024-12-18Re-export more `rustc_span::symbol` things from `rustc_span`.Nicholas Nethercote-2/+1
`rustc_span::symbol` defines some things that are re-exported from `rustc_span`, such as `Symbol` and `sym`. But it doesn't re-export some closely related things such as `Ident` and `kw`. So you can do `use rustc_span::{Symbol, sym}` but you have to do `use rustc_span::symbol::{Ident, kw}`, which is inconsistent for no good reason. This commit re-exports `Ident`, `kw`, and `MacroRulesNormalizedIdent`, and changes many `rustc_span::symbol::` qualifiers in `compiler/` to `rustc_span::`. This is a 200+ net line of code reduction, mostly because many files with two `use rustc_span` items can be reduced to one.
2024-11-18use `TypingEnv` when no `infcx` is availablelcnr-10/+13
the behavior of the type system not only depends on the current assumptions, but also the currentnphase of the compiler. This is mostly necessary as we need to decide whether and how to reveal opaque types. We track this via the `TypingMode`.
2024-11-14ABI checks: add support for some tier3 arches, warn on others.Luca Versari-3/+1
2024-11-12ABI checks: add support for tier2 archesLuca Versari-16/+41
See #131800 for the data collection behind this change. Also adds a test that exercise the "empty list of features" path.
2024-11-10move all mono-time checks into their own folder, and their own queryRalf Jung-0/+369