aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--replay/replay-internal.c4
-rw-r--r--replay/replay.c4
2 files changed, 8 insertions, 0 deletions
diff --git a/replay/replay-internal.c b/replay/replay-internal.c
index bea7b4a..fca8514 100644
--- a/replay/replay-internal.c
+++ b/replay/replay-internal.c
@@ -195,6 +195,10 @@ void replay_save_instructions(void)
if (replay_file && replay_mode == REPLAY_MODE_RECORD) {
replay_mutex_lock();
int diff = (int)(replay_get_current_step() - replay_state.current_step);
+
+ /* Time can only go forward */
+ assert(diff >= 0);
+
if (diff > 0) {
replay_put_event(EVENT_INSTRUCTION);
replay_put_dword(diff);
diff --git a/replay/replay.c b/replay/replay.c
index 9e0724e..f810628 100644
--- a/replay/replay.c
+++ b/replay/replay.c
@@ -84,6 +84,10 @@ void replay_account_executed_instructions(void)
if (replay_state.instructions_count > 0) {
int count = (int)(replay_get_current_step()
- replay_state.current_step);
+
+ /* Time can only go forward */
+ assert(count >= 0);
+
replay_state.instructions_count -= count;
replay_state.current_step += count;
if (replay_state.instructions_count == 0) {