diff options
| author | Nikita Popov <nikita.ppv@gmail.com> | 2019-01-24 10:56:04 +0100 |
|---|---|---|
| committer | Nikita Popov <nikita.ppv@gmail.com> | 2019-01-24 10:56:04 +0100 |
| commit | 526344aa5ee3190b754e3678e0c71b0d7f272876 (patch) | |
| tree | bc7c7c55b421a5b83ffb036643f0fea751612f04 /ext/pdo_sqlite/php_pdo_sqlite.h | |
| parent | 66d72377d0226521fef6601683054446565bbdc0 (diff) | |
| download | php-git-526344aa5ee3190b754e3678e0c71b0d7f272876.tar.gz | |
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.
Diffstat (limited to 'ext/pdo_sqlite/php_pdo_sqlite.h')
0 files changed, 0 insertions, 0 deletions