]> granicus.if.org Git - php/commit
projects / php / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 66d7237) | patch
Add flag to disable jumptable optimization
authorNikita Popov <nikita.ppv@gmail.com>
Thu, 24 Jan 2019 09:56:04 +0000 (10:56 +0100)
committerNikita Popov <nikita.ppv@gmail.com>
Thu, 24 Jan 2019 09:56:04 +0000 (10:56 +0100)
commit526344aa5ee3190b754e3678e0c71b0d7f272876
treebc7c7c55b421a5b83ffb036643f0fea751612f04tree | snapshot
parent66d72377d0226521fef6601683054446565bbdc0commit | diff
Add flag to disable jumptable optimization

This is useful for coverage. While it is currently safe to just
skip over the SWITCH_* opcodes, this may not be true in the future
due to opcache optimizations, so it's safer to disable emission of
SWITCH_* opcodes entirely.
Zend/zend_compile.c diff | blob | history
Zend/zend_compile.h diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.