1--TEST--
2IntlTimeZone::getRegion(): 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::getRegion("foo\x81"));
12var_dump(IntlTimeZone::getRegion("foo"));
13?>
14--EXPECTF--
15Warning: IntlTimeZone::getRegion(): intltz_get_region: could not convert time zone id to UTF-16 in %s on line %d
16bool(false)
17
18Warning: IntlTimeZone::getRegion(): intltz_get_region: Error obtaining region in %s on line %d
19bool(false)
20