Mirrors/libwebsockets
1
0
Fork 0
mirror of https://github.com/warmcat/libwebsockets.git synced 2025-03-09 00:00:04 +01:00
Code Issues Releases Wiki Activity

coverity-2019-03 update

Browse source
This commit is contained in:
Andy Green 2019-06-19 12:50:50 +01:00
parent 69fbc272f0
commit 5462529bcc
1 changed files with 0 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
lib/core/private.h
View file

@ -33,16 +33,6 @@
#endif
*/
#if defined(__COVERITY__) && !defined(LWS_COVERITY_WORKAROUND)
#define LWS_COVERITY_WORKAROUND
typedef float _Float32;
typedef float _Float64;
typedef float _Float128;
typedef float _Float32x;
typedef float _Float64x;
typedef float _Float128x;
#endif
#include <stdio.h>
#include <stdlib.h>
#include <string.h>