diff options
| author | Dimitri John Ledkov <xnox@ubuntu.com> | 2018-06-26 15:38:57 +0100 |
|---|---|---|
| committer | Dimitri John Ledkov <xnox@ubuntu.com> | 2018-06-26 15:38:57 +0100 |
| commit | 9421e599c44cd50d3df4cd019cd3c53d9320e93d (patch) | |
| tree | 2d9606679ad49fbc9f9cf72b3a3a87d7a6dc8fff /coverity-gcc-hack.h | |
| parent | ec9bfc63255cdf01a67171d1228f562c927c6d36 (diff) | |
Cherrypick master patches up to 4th of June 2018.debian/4.1_rc1-3archive/debian/4.1_rc1-3
Diffstat (limited to 'coverity-gcc-hack.h')
| -rw-r--r-- | coverity-gcc-hack.h | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/coverity-gcc-hack.h b/coverity-gcc-hack.h new file mode 100644 index 00000000..2d94a8b7 --- /dev/null +++ b/coverity-gcc-hack.h @@ -0,0 +1,10 @@ +#if !defined(__KERNEL__) && defined(__x86_64__) && defined(__COVERITY_GCC_VERSION_AT_LEAST) +#if __COVERITY_GCC_VERSION_AT_LEAST(7, 0) +typedef float _Float128 __attribute__((__vector_size__(128))); +typedef float _Float64 __attribute__((__vector_size__(64))); +typedef float _Float32 __attribute__((__vector_size__(32))); +typedef float _Float128x __attribute__((__vector_size__(128))); +typedef float _Float64x __attribute__((__vector_size__(64))); +typedef float _Float32x __attribute__((__vector_size__(32))); +#endif +#endif |