diff --git a/replay/replay-char.c b/replay/replay-char.c index a31aded032e7b99b1f6ff067d434084b0a8d2a9c..41e353248cb15c62b097e69c7a690d94e11cfedc 100644 --- a/replay/replay-char.c +++ b/replay/replay-char.c @@ -127,8 +127,8 @@ int replay_char_read_all_load(uint8_t *buf) int res; replay_get_array(buf, &size); replay_finish_event(); + assert(size <= INT_MAX); res = (int)size; - assert(res >= 0); return res; } else if (replay_next_event_is(EVENT_CHAR_READ_ALL_ERROR)) { int res = replay_get_dword();