]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: 9010879 98a4834)
Rollup merge of #95599 - niluxv:strict-provenance-lint, r=michaelwoerister
authorDylan DPC <99973273+Dylan-DPC@users.noreply.github.com>
Sat, 9 Apr 2022 03:58:42 +0000 (05:58 +0200)
committerGitHub <noreply@github.com>
Sat, 9 Apr 2022 03:58:42 +0000 (05:58 +0200)
commit525438b6a9161f9c2bf80e495526b8fe10125947
treedd2cb3175e287b1264fa5a2a22fb0827a3205934tree | snapshot
parent9010879c0ac4256e867280421eb94ffae2cd9ad3commit | diff
parent98a483423720bda1f51a22f01b378fa8e8e8b9a3commit | diff
Rollup merge of #95599 - niluxv:strict-provenance-lint, r=michaelwoerister

Strict provenance lints

See #95488.
This PR introduces two unstable (allow by default) lints to which lint on int2ptr and ptr2int casts, as the former is not possible in the strict provenance model and the latter can be written nicer using the `.addr()` API.
Based on an initial version of the lint by ```@Gankra``` in #95199.
Empowering everyone to build reliable and efficient software.