Disable float division by zero sanitizer for div_function

We intentionally divide by zero here and want to get IEEE-754
semantics.

diff --git a/Zend/zend_operators.c b/Zend/zend_operators.c
index 14019a5afa8feca3089f3a2959eeb2f7fc7c3d95..f6ecd42562943f441b41b6acb5b40dc59cdf247a 100644 (file)
--- a/Zend/zend_operators.c
+++ b/Zend/zend_operators.c
@@ -1263,6 +1263,9 @@ ZEND_API int ZEND_FASTCALL pow_function(zval *result, zval *op1, zval *op2) /* {
 }
 /* }}} */
 
+#ifdef __clang__
+__attribute__((no_sanitize("float-divide-by-zero")))
+#endif
 ZEND_API int ZEND_FASTCALL div_function(zval *result, zval *op1, zval *op2) /* {{{ */
 {
        zval op1_copy, op2_copy;