diff options
| author | bors <bors@rust-lang.org> | 2022-02-13 00:14:52 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2022-02-13 00:14:52 +0000 |
| commit | 5c30d6568383916ce97cdf20ceb61a8b9e5bb5a8 (patch) | |
| tree | f46d936ef6bc64bd6f032bca84e9711a0e572d7b /compiler/rustc_codegen_llvm/src | |
| parent | 3cfa4def7c87d571bd46d92fed608edf8fad236e (diff) | |
| parent | 401307759aaf6f1e49c8a2c840a76ae41ec1f865 (diff) | |
| download | rust-5c30d6568383916ce97cdf20ceb61a8b9e5bb5a8.tar.gz rust-5c30d6568383916ce97cdf20ceb61a8b9e5bb5a8.zip | |
Auto merge of #93670 - erikdesjardins:noundef, r=nikic
Apply noundef attribute to &T, &mut T, Box<T>, bool This doesn't handle `char` because it's a bit awkward to distinguish it from `u32` at this point in codegen. Note that this _does not_ change whether or not it is UB for `&`, `&mut`, or `Box` to point to undef. It only applies to the pointer itself, not the pointed-to memory. Fixes (partially) #74378. r? `@nikic` cc `@RalfJung`
Diffstat (limited to 'compiler/rustc_codegen_llvm/src')
| -rw-r--r-- | compiler/rustc_codegen_llvm/src/abi.rs | 2 | ||||
| -rw-r--r-- | compiler/rustc_codegen_llvm/src/llvm/ffi.rs | 1 |
2 files changed, 2 insertions, 1 deletions
diff --git a/compiler/rustc_codegen_llvm/src/abi.rs b/compiler/rustc_codegen_llvm/src/abi.rs index e9b66b54c58..8a11e3e71bc 100644 --- a/compiler/rustc_codegen_llvm/src/abi.rs +++ b/compiler/rustc_codegen_llvm/src/abi.rs @@ -37,7 +37,7 @@ impl ArgAttributeExt for ArgAttribute { where F: FnMut(llvm::Attribute), { - for_each_kind!(self, f, NoAlias, NoCapture, NonNull, ReadOnly, InReg) + for_each_kind!(self, f, NoAlias, NoCapture, NonNull, ReadOnly, InReg, NoUndef) } } diff --git a/compiler/rustc_codegen_llvm/src/llvm/ffi.rs b/compiler/rustc_codegen_llvm/src/llvm/ffi.rs index 367c86a1dc9..4f62c685568 100644 --- a/compiler/rustc_codegen_llvm/src/llvm/ffi.rs +++ b/compiler/rustc_codegen_llvm/src/llvm/ffi.rs @@ -189,6 +189,7 @@ pub enum Attribute { StackProtectReq = 30, StackProtectStrong = 31, StackProtect = 32, + NoUndef = 33, } /// LLVMIntPredicate |