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 /Zend/zend_operators.h | |
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.
Diffstat (limited to 'Zend/zend_operators.h')
0 files changed, 0 insertions, 0 deletions