diff options
| author | Nikita Popov <nikita.ppv@gmail.com> | 2019-06-20 12:11:30 +0200 |
|---|---|---|
| committer | Nikita Popov <nikita.ppv@gmail.com> | 2019-06-20 16:21:47 +0200 |
| commit | a59e0cfce528669642f8199410b267146a30b714 (patch) | |
| tree | 1de92f668056213ae37403412c65e14909b6ec11 | |
| parent | eaafb69eea9dba06ee542383a746d3668fa072cf (diff) | |
| download | php-git-a59e0cfce528669642f8199410b267146a30b714.tar.gz | |
Disable float division by zero sanitizer for div_function
We intentionally divide by zero here and want to get IEEE-754
semantics.
| -rw-r--r-- | Zend/zend_operators.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Zend/zend_operators.c b/Zend/zend_operators.c index 14019a5afa..f6ecd42562 100644 --- 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; |