coverity fixups
authorMichael Wallner <mike@php.net>
Wed, 26 Sep 2018 08:19:39 +0000 (10:19 +0200)
committerMichael Wallner <mike@php.net>
Wed, 26 Sep 2018 08:19:39 +0000 (10:19 +0200)
scripts/coverity.sh
src/php_http_api.h
src/php_http_buffer.c

index 08a04f1..883fd26 100755 (executable)
@@ -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
index 91b2eb6..bca57f1 100644 (file)
 #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
index c865065..5913cfc 100644 (file)
@@ -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(