2018-04-04 11:03:59 -07:00
|
|
|
#ifndef _COVERITY_H__
|
|
|
|
#define _COVERITY_H__ 1
|
|
|
|
#ifdef __COVERITY__
|
|
|
|
|
|
|
|
#ifdef __x86_64__
|
|
|
|
typedef struct { long double x; long double y; } _Float128;
|
2018-11-18 08:51:34 -08:00
|
|
|
typedef float _Float32;
|
|
|
|
typedef float _Float32x;
|
|
|
|
typedef double _Float64;
|
|
|
|
typedef double _Float64x;
|
2018-04-04 11:03:59 -07:00
|
|
|
#endif
|
|
|
|
|
|
|
|
#endif /* __COVERITY__ */
|
|
|
|
|
|
|
|
#endif /* _COVERITY_H__ */
|