diff options
| -rw-r--r-- | Zend/zend_execute.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Zend/zend_execute.c b/Zend/zend_execute.c index 380ba61627..b0f20d73e5 100644 --- a/Zend/zend_execute.c +++ b/Zend/zend_execute.c @@ -2270,8 +2270,12 @@ send_by_ref: case ZEND_EXT_NOP: case ZEND_NOP: break; +#if (WINNT|WIN32) /* This makes the switch() statement twice as quick. Moving to enum + might make this a general speed up for other platforms too */ default: + __assume(0); break; +#endif } opline++; } |