diff options
| author | Nikita Popov <nikic@php.net> | 2016-05-14 13:54:41 +0200 |
|---|---|---|
| committer | Nikita Popov <nikic@php.net> | 2016-05-14 17:16:32 +0200 |
| commit | 6079ba4b0ccad0ba4d781ff027fde096da0f8687 (patch) | |
| tree | 9dc9aef87e98bf8656e08df9991d6d45c7bc6035 /ext/mbstring/php_mbregex.c | |
| parent | 773b3778887921667ba45fb9317478b8a5716ae1 (diff) | |
| download | php-git-6079ba4b0ccad0ba4d781ff027fde096da0f8687.tar.gz | |
Inference: Fix undef handling for binary ops
We need to be careful about correctly handling that undef results
in a null value. Otherwise, apart from simply generating incorrect
results, we may also end up performing non-monotonic lattice
transitions, thus causing an infinite type inference loop (see
test).
Diffstat (limited to 'ext/mbstring/php_mbregex.c')
0 files changed, 0 insertions, 0 deletions