diff options
| author | Richard Henderson <richard.henderson@linaro.org> | 2022-11-28 17:05:47 -0800 |
|---|---|---|
| committer | Stefan Hajnoczi <stefanha@redhat.com> | 2022-11-29 11:09:11 -0500 |
| commit | fb72e779ebe3a51f55b16a49738380ee3e54c7d5 (patch) | |
| tree | 49bd101f4edc44ffc6ed35b9aafe49a559193f34 /replay/replay-internal.h | |
| parent | ac149498215809bfb5c0ddce1953519fbfda5004 (diff) | |
| download | qemu-fb72e779ebe3a51f55b16a49738380ee3e54c7d5.zip qemu-fb72e779ebe3a51f55b16a49738380ee3e54c7d5.tar.gz qemu-fb72e779ebe3a51f55b16a49738380ee3e54c7d5.tar.bz2 | |
replay: Fix declaration of replay_read_next_clock
Fixes the build with gcc 13:
replay/replay-time.c:34:6: error: conflicting types for \
'replay_read_next_clock' due to enum/integer mismatch; \
have 'void(ReplayClockKind)' [-Werror=enum-int-mismatch]
34 | void replay_read_next_clock(ReplayClockKind kind)
| ^~~~~~~~~~~~~~~~~~~~~~
In file included from ../qemu/replay/replay-time.c:14:
replay/replay-internal.h:139:6: note: previous declaration of \
'replay_read_next_clock' with type 'void(unsigned int)'
139 | void replay_read_next_clock(unsigned int kind);
| ^~~~~~~~~~~~~~~~~~~~~~
Fixes: 8eda206e090 ("replay: recording and replaying clock ticks")
Signed-off-by: Richard Henderson <richard.henderson@linaro.org>
Reviewed-by: Philippe Mathieu-Daudé <philmd@linaro.org>
Reviewed-by: Wilfred Mallawa <wilfred.mallawa@wdc.com>
Reviewed-by: Pavel Dovgalyuk <Pavel.Dovgalyuk@ispras.ru>
Signed-off-by: Stefan Hajnoczi <stefanha@redhat.com>
Message-Id: <20221129010547.284051-1-richard.henderson@linaro.org>
Diffstat (limited to 'replay/replay-internal.h')
| -rw-r--r-- | replay/replay-internal.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/replay/replay-internal.h b/replay/replay-internal.h index 89e377b..b683635 100644 --- a/replay/replay-internal.h +++ b/replay/replay-internal.h @@ -136,7 +136,7 @@ bool replay_next_event_is(int event); /*! Reads next clock value from the file. If clock kind read from the file is different from the parameter, the value is not used. */ -void replay_read_next_clock(unsigned int kind); +void replay_read_next_clock(ReplayClockKind kind); /* Asynchronous events queue */ |