From: Pavel Dovgalyuk <pavel.dovgal...@ispras.ru>
Snapshots created in regular icount execution mode can't be loaded
in recording mode, because icount value advances only by 32-bit value.
This patch initializes replay icount initial value after loading
the snapshot.
Cc: Pizarro Solar Rafael Ulises Luzius <rafael.pizarroso...@epfl.ch>
Signed-off-by: Pavel Dovgalyuk <pavel.dovgal...@ispras.ru>
---
replay/replay-snapshot.c | 1 +
1 file changed, 1 insertion(+)
diff --git a/replay/replay-snapshot.c b/replay/replay-snapshot.c
index 10a7cf7992..1e32ada1f6 100644
--- a/replay/replay-snapshot.c
+++ b/replay/replay-snapshot.c
@@ -75,6 +75,7 @@ void replay_vmstate_init(void)
if (replay_snapshot) {
if (replay_mode == REPLAY_MODE_RECORD) {
+ replay_state.current_icount = replay_get_current_icount();
if (!save_snapshot(replay_snapshot,
true, NULL, false, NULL, &err)) {
error_report_err(err);
--
2.34.1
