diff options
| author | Dylan MacKenzie <ecstaticmorse@gmail.com> | 2018-06-22 00:46:29 -0700 |
|---|---|---|
| committer | Dylan MacKenzie <ecstaticmorse@gmail.com> | 2018-07-04 14:36:07 -0700 |
| commit | 7f9b01a0fc680943a5c37ee820ae3fbd6abc40f6 (patch) | |
| tree | 72b412453e3fe498bdcc77802bfc064507cfffd2 /src/rustllvm/RustWrapper.cpp | |
| parent | 6c0f502fe6bb54b285d66850ca8171e0c98091b0 (diff) | |
| download | rust-7f9b01a0fc680943a5c37ee820ae3fbd6abc40f6.tar.gz rust-7f9b01a0fc680943a5c37ee820ae3fbd6abc40f6.zip | |
Add miri infinite loop detection
Use the approach suggested by @oli-obk, a table holding `EvalState` hashes and a table holding full `EvalState` objects. When a hash collision is observed, the state is cloned and put into the full table. If the collision was not spurious, it will be detected during the next iteration of the infinite loop.
Diffstat (limited to 'src/rustllvm/RustWrapper.cpp')
0 files changed, 0 insertions, 0 deletions