Skip to content

Commit

Permalink
replay: make has_unread_data a bool
Browse files Browse the repository at this point in the history
For clarity given it only has two states.

Reviewed-by: Philippe Mathieu-Daudé <[email protected]>
Reviewed-by: Pavel Dovgalyuk <[email protected]>
Reviewed-by: Richard Henderson <[email protected]>
Signed-off-by: Alex Bennée <[email protected]>
Message-Id: <[email protected]>
  • Loading branch information
stsquad committed Jan 8, 2024
1 parent 808eab6 commit 2b7a58b
Show file tree
Hide file tree
Showing 3 changed files with 7 additions and 7 deletions.
4 changes: 2 additions & 2 deletions replay/replay-internal.c
Original file line number Diff line number Diff line change
Expand Up @@ -179,7 +179,7 @@ void replay_fetch_data_kind(void)
replay_state.instruction_count = replay_get_dword();
}
replay_check_error();
replay_state.has_unread_data = 1;
replay_state.has_unread_data = true;
if (replay_state.data_kind >= EVENT_COUNT) {
error_report("Replay: unknown event kind %d",
replay_state.data_kind);
Expand All @@ -191,7 +191,7 @@ void replay_fetch_data_kind(void)

void replay_finish_event(void)
{
replay_state.has_unread_data = 0;
replay_state.has_unread_data = false;
replay_fetch_data_kind();
}

Expand Down
4 changes: 2 additions & 2 deletions replay/replay-internal.h
Original file line number Diff line number Diff line change
Expand Up @@ -75,7 +75,7 @@ enum ReplayEvents {
* @current_icount: number of processed instructions
* @instruction_count: number of instructions until next event
* @data_kind: current event
* @has_unread_data: 1 if event not yet processed
* @has_unread_data: true if event not yet processed
* @file_offset: offset into replay log at replay snapshot
* @block_request_id: current serialised block request id
* @read_event_id: current async read event id
Expand All @@ -85,7 +85,7 @@ typedef struct ReplayState {
uint64_t current_icount;
int instruction_count;
unsigned int data_kind;
unsigned int has_unread_data;
bool has_unread_data;
uint64_t file_offset;
uint64_t block_request_id;
uint64_t read_event_id;
Expand Down
6 changes: 3 additions & 3 deletions replay/replay-snapshot.c
Original file line number Diff line number Diff line change
Expand Up @@ -47,16 +47,16 @@ static int replay_post_load(void *opaque, int version_id)

static const VMStateDescription vmstate_replay = {
.name = "replay",
.version_id = 2,
.minimum_version_id = 2,
.version_id = 3,
.minimum_version_id = 3,
.pre_save = replay_pre_save,
.post_load = replay_post_load,
.fields = (const VMStateField[]) {
VMSTATE_INT64_ARRAY(cached_clock, ReplayState, REPLAY_CLOCK_COUNT),
VMSTATE_UINT64(current_icount, ReplayState),
VMSTATE_INT32(instruction_count, ReplayState),
VMSTATE_UINT32(data_kind, ReplayState),
VMSTATE_UINT32(has_unread_data, ReplayState),
VMSTATE_BOOL(has_unread_data, ReplayState),
VMSTATE_UINT64(file_offset, ReplayState),
VMSTATE_UINT64(block_request_id, ReplayState),
VMSTATE_UINT64(read_event_id, ReplayState),
Expand Down

0 comments on commit 2b7a58b

Please sign in to comment.