diff options
-rw-r--r-- | ext/opcache/tests/issue0183.phpt | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/ext/opcache/tests/issue0183.phpt b/ext/opcache/tests/issue0183.phpt new file mode 100644 index 0000000000..9e18f6d2e8 --- /dev/null +++ b/ext/opcache/tests/issue0183.phpt @@ -0,0 +1,25 @@ +--TEST-- +ISSUE #183 (TMP_VAR is not only used once) +--INI-- +opcache.enable=1 +opcache.enable_cli=1 +opcache.optimization_level=-1 +--SKIPIF-- +<?php require_once('skipif.inc'); ?> +<?php if (PHP_OS != "Linux") die("skip, only for linux"); ?> +--FILE-- +<?php + +switch (PHP_OS) { + case "Windows": + break; + case "Darwin": + break; + case "Linux": + echo "okey"; + break; + default: + break; +} +--EXPECT-- +okey |