Coverity Scan ne parvient pas à créer avec _GNU_SOURCE défini

Coverity Scan Build Tool ne parvient pas à comstackr les fichiers C contenant sur Ubuntu 18.04 lorsque _GNU_SOURCE est défini:

 $ cat > main.c #include  int main() { } $ $ gcc -D_GNU_SOURCE=1 -o main main.c $ $ /opt/cov-analysis/bin/cov-build --dir cov-int gcc -D_GNU_SOURCE=1 -o main main.c Coverity Build Capture (64-bit) version 2017.07 on Linux 4.15.0-20-generic x86_64 ... [WARNING] Emitted 0 C/C++ compilation units (0%) successfully ... $ 

La même construction fonctionne parfaitement sur Ubuntu 16.04 ou sans _GNU_SOURCE définie:

 $ /volatile/local/cov-analysis/bin/cov-build --dir cov-int gcc -o main main.c Coverity Build Capture (64-bit) version 2017.07 on Linux 4.15.0-20-generic x86_64 ... Emitted 1 C/C++ compilation units (100%) successfully ... $ 

Comment faire pour que Coverity Scan construise des sources C avec _GNU_SOURCE défini sur Ubuntu 18.04?

Pour ceux qui sont intéressés, le fichier cov-int/build-log.txt peut être trouvé ici:
https://gist.github.com/DimisortingPapadopoulos/0dcd9018eed26401cc6095087d9cc1d5

Après avoir contacté le support technique de Coverity, il semble que ce soit un bogue connu. Ils m’ont suggéré de contourner le problème en passant du compilateur Ubuntu 18.04 par défaut (GCC 7) à la version précédente (GCC 6):

 sudo apt install gcc-6 

En effet, _Float32 , _Float32x , _Float64 , _Float64x et _Float128 ont été introduits dans GCC 7 .