Merge pull request #9193 from keszybz/coverity
Coverity support for glibc-2.27
This commit is contained in:
commit
28e1a3ec44
|
@ -50,7 +50,7 @@ jobs:
|
||||||
- docker cp tools/coverity.sh travis_coverity_scan:/usr/local/bin
|
- docker cp tools/coverity.sh travis_coverity_scan:/usr/local/bin
|
||||||
# Preconfigure with meson to prevent Coverity from capturing meson metadata
|
# Preconfigure with meson to prevent Coverity from capturing meson metadata
|
||||||
# Set compiler flag to prevent emit failure
|
# 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
|
# Run Coverity Analysis
|
||||||
- docker exec -it travis_coverity_scan coverity.sh build
|
- docker exec -it travis_coverity_scan coverity.sh build
|
||||||
- docker exec -it travis_coverity_scan coverity.sh upload
|
- docker exec -it travis_coverity_scan coverity.sh upload
|
||||||
|
|
|
@ -49,6 +49,14 @@ int main(void) {
|
||||||
info(double);
|
info(double);
|
||||||
info(long double);
|
info(long double);
|
||||||
|
|
||||||
|
#ifdef __HAVE_DISTINCT_FLOAT128X
|
||||||
|
info(_Float128);
|
||||||
|
info(_Float64);
|
||||||
|
info(_Float64x);
|
||||||
|
info(_Float32);
|
||||||
|
info(_Float32x);
|
||||||
|
#endif
|
||||||
|
|
||||||
info(size_t);
|
info(size_t);
|
||||||
info(ssize_t);
|
info(ssize_t);
|
||||||
info(time_t);
|
info(time_t);
|
||||||
|
|
Loading…
Reference in New Issue