about summary refs log tree commit diff
path: root/compiler/rustc_pattern_analysis/src
diff options
context:
space:
mode:
authorTomasz Miąsko <tomasz.miasko@gmail.com>2023-12-12 00:00:00 +0000
committerTomasz Miąsko <tomasz.miasko@gmail.com>2023-12-12 00:00:00 +0000
commita48cebc4b833bc0df9242ae9845a79299b4cf079 (patch)
treef955fd73f4e057d71d6eb1930b54c3e3a40c1d93 /compiler/rustc_pattern_analysis/src
parent5b8bc568d28b2e922290c9a966b3231d0ce9398b (diff)
downloadrust-a48cebc4b833bc0df9242ae9845a79299b4cf079.tar.gz
rust-a48cebc4b833bc0df9242ae9845a79299b4cf079.zip
Coroutine variant fields can be uninitialized
Wrap coroutine variant fields in MaybeUninit to indicate that they
might be uninitialized. Otherwise an uninhabited field will make
the entire variant uninhabited and introduce undefined behaviour.

The analogous issue in the prefix of coroutine layout was addressed by
6fae7f807146e400fa2bbd1c44768d9bcaa57c4c.
Diffstat (limited to 'compiler/rustc_pattern_analysis/src')
0 files changed, 0 insertions, 0 deletions