diff options
author | Jes Sorensen <jsorensen@fb.com> | 2018-06-04 20:49:59 +0200 |
---|---|---|
committer | Jes Sorensen <jsorensen@fb.com> | 2018-06-04 20:49:59 +0200 |
commit | 28156667e5c7dc3c7b978f2d58c2a427038fedda (patch) | |
tree | ddc7ed42d6acd2f971a6f6d74a2404f5a1fac88e /coverity-gcc-hack.h | |
parent | mdadm/test: correct tests/testdev as testdev in 02r5grow (diff) | |
download | mdadm-28156667e5c7dc3c7b978f2d58c2a427038fedda.tar.xz mdadm-28156667e5c7dc3c7b978f2d58c2a427038fedda.zip |
gcc-8 coverity hack
Coverity still has issues with gcc-7, not to mention gcc-8. Hack around
it, until they fix it.
Signed-off-by: Jes Sorensen <jsorensen@fb.com>
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 |