about summary refs log tree commit diff
path: root/compiler/rustc_llvm/llvm-wrapper/RustWrapper.cpp
diff options
context:
space:
mode:
authorbors <bors@rust-lang.org>2023-03-29 18:26:35 +0000
committerbors <bors@rust-lang.org>2023-03-29 18:26:35 +0000
commitc5011e9d42b9bcedf0753a108018618568700a83 (patch)
treef92c170aaeb24b5228dc037492fc5d6dd2216041 /compiler/rustc_llvm/llvm-wrapper/RustWrapper.cpp
parent58fb8014146c22bfdf60f47c864537abc7b78486 (diff)
parent51b4d2a1e825c39c444be1385f3618302ef0b452 (diff)
downloadrust-c5011e9d42b9bcedf0753a108018618568700a83.tar.gz
rust-c5011e9d42b9bcedf0753a108018618568700a83.zip
Auto merge of #10553 - Nilstrieb:better-uninit, r=Alexendoo
In uninit checking, add fallback for polymorphic types

After #10520, we always assumed that polymorphic types do not allow to be left uninitialized. But we can do better, by peeking into polymorphic types and adding a few special cases for going through tuples, arrays (because the length may be polymorphic) and blanket allowing all unions (like MaybeUninit).

fixes #10551

changelog: [uninit_vec]: fix false positive for polymorphic types
changelog: [uninit_assumed_init]: fix false positive for polymorphic types
Diffstat (limited to 'compiler/rustc_llvm/llvm-wrapper/RustWrapper.cpp')
0 files changed, 0 insertions, 0 deletions