Fix issue #52475: Make loop detector only consider reachable memory - #52626

Merged

bors merged 15 commits into

rust-lang:masterfrom

brunocodutra:issue-52475

Sep 6, 2018

Commits on Sep 3, 2018

Remove unused alloc_id_recursion_tracker
brunocodutra
committed
7fa42be
Promote EvalSnapshot to newtype
brunocodutra
committed
0300774
Implement Hash in terms of HashStable for EvalSnapshot
brunocodutra
committed
a083aa0
Move EvalSnapshot into its own module
brunocodutra
committed
015f470
Make vaious allocation related types generic on the allocation id
brunocodutra
committed
2f5c3fd
Introduce Snapshot and SnapshotContext traits
brunocodutra
committed
adb1965
Impl SnapshotContext for Memory
brunocodutra
committed
bf6ba97
Impl Eq and PartialEq for EvalSnapshot in terms of the Snapshot trait
brunocodutra
committed
927c709
Add regression test for #52475
brunocodutra
committed
806ecab
Add an info log when snapshotting the constant evaluation context
brunocodutra
committed
0a84ff0
Add a convenience macro to reduce code duplication
brunocodutra
committed
4eb8d94
Keep lines shorter than 100 characters
brunocodutra
committed
add9ee2
Use EvalContext's TyCtx for the purpose of hashing the evaluation context
brunocodutra
committed
a26ceb3
Move InfiniteLoopDetector to snapshot.rs
brunocodutra
committed
61a999a
Document snapshot.rs
brunocodutra
committed
05cdf8d