1
0
Fork 0
mirror of https://github.com/warmcat/libwebsockets.git synced 2025-03-16 00:00:07 +01:00

coverity 83683 shift greater than 31 technically undefined

Signed-off-by: Andy Green <andy.green@linaro.org>
This commit is contained in:
Andy Green 2014-11-30 12:25:36 +08:00
parent e4d6f1c116
commit 56686d784c

View file

@ -78,7 +78,7 @@ struct ping {
};
struct per_session_data__ping {
unsigned long ping_index;
uint64_t ping_index;
struct ping ringbuffer[PING_RINGBUFFER_SIZE];
int ringbuffer_head;