Infinite loop detection for const evaluation - #51702

Merged

bors merged 14 commits into

rust-lang:masterfrom

ecstatic-morse:infinite-loop-detection

Jul 11, 2018

Commits on Jul 4, 2018

Refactor EvalContext stack and heap into inner struct
ecstatic-morse
committed
db025c1
Implement Clone, Eq and Hash for the heap and stack
ecstatic-morse
committed
6c0f502
Add miri infinite loop detection
ecstatic-morse
committed
7f9b01a
Revert "Refactor EvalContext stack and heap into inner struct"
ecstatic-morse
committed
788c5f3
Improve correctness of `Frame` and `Memory` equality
ecstatic-morse
committed
0f1c61c
Add an `InfiniteLoop` variant to `EvalErrorKind`
ecstatic-morse
committed
f7e9d2a
Enable loop detector in step loop
ecstatic-morse
committed
c6aea93
Rename `bloom` to `hashes`
ecstatic-morse
committed
10f2171
Add a UI test for #50637
ecstatic-morse
committed
d36302d
Explain reason behind error span
ecstatic-morse
committed
647ba29
Avoid overflow in step counter
ecstatic-morse
committed
b3b04b8
Derive Eq and Hash for types used in Miri's evaluator
ecstatic-morse
committed
0d0e021
Shorten error message and add link to test
ecstatic-morse
committed
c395044
Move `Eq + Hash + Clone` bounds to `Machine`
ecstatic-morse
committed
cf5eaa7