diff options
Diffstat (limited to 'tools/standalone_miri/miri.hpp')
| -rw-r--r-- | tools/standalone_miri/miri.hpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/standalone_miri/miri.hpp b/tools/standalone_miri/miri.hpp index 0b7fd4d6..f835fedb 100644 --- a/tools/standalone_miri/miri.hpp +++ b/tools/standalone_miri/miri.hpp @@ -41,6 +41,9 @@ class InterpreterThread friend struct MirHelpers; struct StackFrame { + static unsigned s_next_frame_index; + unsigned frame_index; + ::std::function<bool(Value&,Value)> cb; const Function* fcn; Value ret; |