Searched refs:has_default_case (Results 1 – 1 of 1) sorted by relevance
4939 zend_bool has_default_case = 0; in zend_compile_switch() local4979 if (has_default_case) { in zend_compile_switch()4984 has_default_case = 1; in zend_compile_switch()5042 if (!has_default_case) { in zend_compile_switch()
Completed in 29 milliseconds