]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: 133859d 297dde9)
Auto merge of #85321 - cjgillot:mir-cycle, r=bjorn3
authorbors <bors@rust-lang.org>
Sun, 3 Apr 2022 07:53:10 +0000 (07:53 +0000)
committerbors <bors@rust-lang.org>
Sun, 3 Apr 2022 07:53:10 +0000 (07:53 +0000)
commitec7b753ea91d8a5640388ea74fd231f91394ee9d
treef8623ef2d0b8ffe7471986f94057c91d25d8ffb1tree | snapshot
parent133859d680ffe31072b80f518377fa0c487359d9commit | diff
parent297dde9b1ad0c28922fac5046f77c2629cebf662commit | diff
Auto merge of #85321 - cjgillot:mir-cycle, r=bjorn3

Use DefPathHash instead of HirId to break inlining cycles.

The `DefPathHash` is stable across incremental compilation sessions, so provides a total order on `LocalDefId`. Using it instead of `HirId` ensures the MIR inliner has the same behaviour for incremental and non-incremental compilation.

A downside is that the cycle tie break is not as predictable is with `HirId`.
Empowering everyone to build reliable and efficient software.