diff options
author | Nikita Popov <nikita.ppv@gmail.com> | 2019-01-24 10:57:45 +0100 |
---|---|---|
committer | Nikita Popov <nikita.ppv@gmail.com> | 2019-01-24 10:57:45 +0100 |
commit | e0f97ae7ec89bdfef163e4b76b895ffab84dedba (patch) | |
tree | 4527fa13374a8f2eda7929fbd9c20907f075f2c5 /Zend/zend_compile.c | |
parent | 19a9a6ba242776901a1b9cf6b41ff52a9917665e (diff) | |
parent | 526344aa5ee3190b754e3678e0c71b0d7f272876 (diff) | |
download | php-git-e0f97ae7ec89bdfef163e4b76b895ffab84dedba.tar.gz |
Merge branch 'PHP-7.2' into PHP-7.3
Diffstat (limited to 'Zend/zend_compile.c')
-rw-r--r-- | Zend/zend_compile.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Zend/zend_compile.c b/Zend/zend_compile.c index e0ccd56a5c..01049f4175 100644 --- a/Zend/zend_compile.c +++ b/Zend/zend_compile.c @@ -4956,6 +4956,10 @@ static zend_uchar determine_switch_jumptable_type(zend_ast_list *cases) { } static zend_bool should_use_jumptable(zend_ast_list *cases, zend_uchar jumptable_type) { + if (CG(compiler_options) & ZEND_COMPILE_NO_JUMPTABLES) { + return 0; + } + /* Thresholds are chosen based on when the average switch time for equidistributed * input becomes smaller when using the jumptable optimization. */ if (jumptable_type == IS_LONG) { |