]> git.lizzy.rs Git - rust.git/commitdiff
projects / rust.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 54f79ba 46956f7)
Rollup merge of #98860 - RalfJung:dangling-int-ptr, r=davidtwco
authorMatthias Krüger <matthias.krueger@famsik.de>
Tue, 5 Jul 2022 15:08:10 +0000 (17:08 +0200)
committerGitHub <noreply@github.com>
Tue, 5 Jul 2022 15:08:10 +0000 (17:08 +0200)
adjust dangling-int-ptr error message

based on suggestions by `@saethlin` in https://github.com/rust-lang/miri/issues/2163

Fixes https://github.com/rust-lang/miri/issues/2163

I also did a bit of refactoring on this, so we have a helper method to create a `Pointer` with `None` provenance.


Trivial merge
Empowering everyone to build reliable and efficient software.