diff options
| author | Noah Lev <camelidcamel@gmail.com> | 2021-09-04 16:07:20 -0700 |
|---|---|---|
| committer | Noah Lev <camelidcamel@gmail.com> | 2021-11-09 16:21:36 -0800 |
| commit | d8a1454dd858ea6188a264a4690b7fffb9cd19bf (patch) | |
| tree | 402058c18072d4364e58b6ea1109485318f3437b /compiler/rustc_llvm/llvm-wrapper/RustWrapper.cpp | |
| parent | 00d5e42e776da900049fe19087bc9b0057ec70cd (diff) | |
| download | rust-d8a1454dd858ea6188a264a4690b7fffb9cd19bf.tar.gz rust-d8a1454dd858ea6188a264a4690b7fffb9cd19bf.zip | |
miri: Detect uninitialized integers and floats
Change the Miri engine to allow configuring whether to check initialization of integers and floats. This allows the Miri tool to optionally check for initialization if requested by the user.
Diffstat (limited to 'compiler/rustc_llvm/llvm-wrapper/RustWrapper.cpp')
0 files changed, 0 insertions, 0 deletions