archive/php-src
1
0
Fork 0
mirror of https://github.com/php/php-src.git synced 2025-08-16 05:58:45 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions 3

Disable float division by zero sanitizer for div_function

Browse source 
We intentionally divide by zero here and want to get IEEE-754
semantics.
This commit is contained in:
Nikita Popov 2019-06-20 12:11:30 +02:00
parent eaafb69eea
commit a59e0cfce5
1 changed files with 3 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
Zend/zend_operators.c
View file

@ -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;