1--TEST--
2IntlTimeZone::createTimeZone(): errors
3--SKIPIF--
4<?php
5if (!extension_loaded('intl'))
6    die('skip intl extension not enabled');
7--FILE--
8<?php
9ini_set("intl.error_level", E_WARNING);
10
11var_dump(IntlTimeZone::createTimeZone("foo\x80"));
12?>
13--EXPECTF--
14Warning: IntlTimeZone::createTimeZone(): intltz_create_time_zone: could not convert time zone id to UTF-16 in %s on line %d
15NULL
16