From e07d38937d273b20a29c3122c5b18201c426ed71 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Zbigniew=20J=C4=99drzejewski-Szmek?= Date: Tue, 5 Jun 2018 11:21:00 +0200 Subject: [PATCH 1/2] test-sizeof: also print float types from ISO/IEC TS 18661-3 --- src/test/test-sizeof.c | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/src/test/test-sizeof.c b/src/test/test-sizeof.c index d7897ed765..1a136e5384 100644 --- a/src/test/test-sizeof.c +++ b/src/test/test-sizeof.c @@ -49,6 +49,14 @@ int main(void) { info(double); info(long double); +#ifdef __HAVE_DISTINCT_FLOAT128X + info(_Float128); + info(_Float64); + info(_Float64x); + info(_Float32); + info(_Float32x); +#endif + info(size_t); info(ssize_t); info(time_t); From 0d2f879e202a33548e60ff40de3fd72eb3377293 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Zbigniew=20J=C4=99drzejewski-Szmek?= Date: Tue, 5 Jun 2018 11:23:46 +0200 Subject: [PATCH 2/2] travis: add defines for _Float64/_Float64x/_Float32/_Float32x MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit $ build/test-sizeof ... _Float128 → 128 bits, signed _Float64 → 64 bits, signed _Float64x → 128 bits, signed _Float32 → 32 bits, signed _Float32x → 64 bits, signed ... This seems to be enough to make coverity work with glibc-2.27 found in Fedora 28+. --- .travis.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.travis.yml b/.travis.yml index 3d23d5fd7c..c2a6f3b062 100644 --- a/.travis.yml +++ b/.travis.yml @@ -50,7 +50,7 @@ jobs: - docker cp tools/coverity.sh travis_coverity_scan:/usr/local/bin # Preconfigure with meson to prevent Coverity from capturing meson metadata # Set compiler flag to prevent emit failure - - docker exec -it travis_coverity_scan sh -c "CFLAGS='-D_Float128=long\ double' meson cov-build -Dman=false" + - docker exec -it travis_coverity_scan sh -c "CFLAGS='-D_Float128=long\ double -D_Float64=double -D_Float64x=long\ double -D_Float32=float -D_Float32x=double' meson cov-build -Dman=false" # Run Coverity Analysis - docker exec -it travis_coverity_scan coverity.sh build - docker exec -it travis_coverity_scan coverity.sh upload