diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2021-07-26 16:04:34 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-26 16:04:34 +0200 |
| commit | fc0b4848cb42aecf8b305b4f00ac1e8325a68fa5 (patch) | |
| tree | 41d2d23d667a915e9f5b6d4bed78f702de9437b0 /compiler/rustc_llvm/llvm-wrapper/RustWrapper.cpp | |
| parent | b745a2881d402e48c90a587cf23fd0aebc4fd66f (diff) | |
| parent | f4861f3251c9f4ef4a0e2e8a2b6778be9b3d872c (diff) | |
| download | rust-fc0b4848cb42aecf8b305b4f00ac1e8325a68fa5.tar.gz rust-fc0b4848cb42aecf8b305b4f00ac1e8325a68fa5.zip | |
Rollup merge of #87447 - RalfJung:not-null, r=oli-obk
Miri: santiy check that null pointer can never have an AllocId
Diffstat (limited to 'compiler/rustc_llvm/llvm-wrapper/RustWrapper.cpp')
0 files changed, 0 insertions, 0 deletions