]> git.lizzy.rs Git - rust.git/commit - src/tools/clippy
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: beac68a 9b62d60)
Auto merge of #69408 - RalfJung:canonical-alloc-id, r=oli-obk
authorbors <bors@rust-lang.org>
Sun, 1 Mar 2020 20:53:04 +0000 (20:53 +0000)
committerbors <bors@rust-lang.org>
Sun, 1 Mar 2020 20:53:04 +0000 (20:53 +0000)
commit1cf090e8d1916987dc02385ad552be57e4815b4b
tree798a3de362f150b73ca900f7f564d0eec562c26etree | snapshot
parentbeac68a88711a90346ec8b68e3baefbec62b3b0dcommit | diff
parent9b62d60db18415caf3460b894e4f43f51da4f645commit | diff
Auto merge of #69408 - RalfJung:canonical-alloc-id, r=oli-obk

Miri: let machine canonicalize AllocIDs

This implements the rustc side of the plan I laid out [here](https://github.com/rust-lang/miri/pull/1147#issuecomment-581868901).

Miri PR: https://github.com/rust-lang/miri/pull/1190
src/librustc_mir/interpret/memory.rs diff1 | diff2 | blob | history
src/librustc_mir/transform/const_prop.rs diff1 | diff2 | blob | history
Empowering everyone to build reliable and efficient software.