diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2022-05-20 14:03:03 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-05-20 14:03:03 +0200 |
| commit | 706aa59efa9d419ada5e54249edd422bd02fe03a (patch) | |
| tree | d54fdc24b369029061b4fdcdd9289701fbaf10f9 /compiler/rustc_mir_transform/src/coverage/debug.rs | |
| parent | 62569edcbda509ee243b488b95772730c13dde96 (diff) | |
| parent | 4bb152c4bc5ff5b89e8b3c35908a5ad23e3527fe (diff) | |
| download | rust-706aa59efa9d419ada5e54249edd422bd02fe03a.tar.gz rust-706aa59efa9d419ada5e54249edd422bd02fe03a.zip | |
Rollup merge of #97185 - RalfJung:number-validity, r=oli-obk
interpret/validity: separately control checking numbers for being init and non-ptr This lets Miri control this in a more fine-grained way. r? `@oli-obk`
Diffstat (limited to 'compiler/rustc_mir_transform/src/coverage/debug.rs')
0 files changed, 0 insertions, 0 deletions