diff options
Diffstat (limited to 'ext/opcache/tests/bug71443.phpt')
| -rw-r--r-- | ext/opcache/tests/bug71443.phpt | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/ext/opcache/tests/bug71443.phpt b/ext/opcache/tests/bug71443.phpt new file mode 100644 index 0000000000..558ac075b6 --- /dev/null +++ b/ext/opcache/tests/bug71443.phpt @@ -0,0 +1,17 @@ +--TEST-- +Bug #71443 (Segfault using built-in webserver with intl using symfony) +--INI-- +opcache.enable=1 +opcache.enable_cli=1 +opcache.file_cache=/tmp/ +opcache.file_cache_only=1 +--SKIPIF-- +<?php require_once('skipif.inc'); ?> +<?php if (substr(PHP_OS, 0, 3) == 'WIN') die('skip.. not for Windows'); ?> +--FILE-- +<?php +ini_set("include_path", "/tmp"); +?> +okey +--EXPECT-- +okey |