diff options
| author | Nilstrieb <48135649+Nilstrieb@users.noreply.github.com> | 2024-02-14 22:08:03 +0100 |
|---|---|---|
| committer | Nilstrieb <48135649+Nilstrieb@users.noreply.github.com> | 2024-02-24 21:19:41 +0100 |
| commit | 81d7069e342fe506baa2a8431a975ec63e9b9713 (patch) | |
| tree | f9beed5e555f0fb55ec9d384f2c8667cf2709043 /compiler/rustc_feature/src | |
| parent | 933a05bd0ba91caf219222e5f61d1c92d141ff61 (diff) | |
| download | rust-81d7069e342fe506baa2a8431a975ec63e9b9713.tar.gz rust-81d7069e342fe506baa2a8431a975ec63e9b9713.zip | |
Add `#[rustc_no_mir_inline]` for standard library UB checks
Co-authored-by: Ben Kimock <kimockb@gmail.com>
Diffstat (limited to 'compiler/rustc_feature/src')
| -rw-r--r-- | compiler/rustc_feature/src/builtin_attrs.rs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/compiler/rustc_feature/src/builtin_attrs.rs b/compiler/rustc_feature/src/builtin_attrs.rs index 99875ec5405..003baf071b8 100644 --- a/compiler/rustc_feature/src/builtin_attrs.rs +++ b/compiler/rustc_feature/src/builtin_attrs.rs @@ -792,6 +792,10 @@ pub const BUILTIN_ATTRIBUTES: &[BuiltinAttribute] = &[ rustc_intrinsic, Normal, template!(Word), ErrorFollowing, "the `#[rustc_intrinsic]` attribute is used to declare intrinsics with function bodies", ), + rustc_attr!( + rustc_no_mir_inline, Normal, template!(Word), WarnFollowing, + "#[rustc_no_mir_inline] prevents the MIR inliner from inlining a function while not affecting codegen" + ), // ========================================================================== // Internal attributes, Testing: |