coverity fixups

diff --git a/scripts/coverity.sh b/scripts/coverity.sh
index 08a04f1fbacccc32b78a6cae72eb42cef6080893..883fd26599c70fed3be7c31b9cd2c8127a74254e 100755 (executable)
--- a/scripts/coverity.sh
+++ b/scripts/coverity.sh
@@ -17,9 +17,18 @@ phpize
 ./configure
 make clean
 
- 
+
 $COVERITY_BIN --dir $COVERITY_BUILD_DIR/cov-int make -j8
 
+echo >&2
+echo -n "Submit results to scan.coverity.com? (y/N) " >&2
+read submit
+echo >&2
+
+if test "$submit" != "y"; then
+       exit
+fi
+
 pushd $COVERITY_BUILD_DIR
 tar -czf cov-int{.tgz,}
 popd

diff --git a/src/php_http_api.h b/src/php_http_api.h
index 91b2eb6c895b03e333ee8d17624f2e0b333a202d..bca57f17141f6cf073fef9ee7e5acf1a21e83c69 100644 (file)
--- a/src/php_http_api.h
+++ b/src/php_http_api.h
@@ -13,6 +13,14 @@
 #ifndef PHP_HTTP_API_H
 #define PHP_HTTP_API_H
 
+#ifdef __COVERITY_GCC_VERSION_AT_LEAST
+# define _Float128 float
+# define _Float64 float
+# define _Float32 float
+# define _Float64x float
+# define _Float32x float
+#endif
+
 #ifdef HAVE_CONFIG_H
 #include "config.h"
 #endif

diff --git a/src/php_http_buffer.c b/src/php_http_buffer.c
index c8650657ace95869f8ed6d014d250345213172c9..5913cfcd60bd0633fe603ad651ff25c8875ce521 100644 (file)
--- a/src/php_http_buffer.c
+++ b/src/php_http_buffer.c
@@ -10,7 +10,7 @@
     +--------------------------------------------------------------------+
 */
 
-#include "php.h"
+#include "php_http_api.h"
 #include "php_http_buffer.h"
 
 PHP_HTTP_BUFFER_API php_http_buffer_t *php_http_buffer_init_ex(