1--TEST--
2IntlTimeZone::getRegion(): errors
3--EXTENSIONS--
4intl
5--FILE--
6<?php
7ini_set("intl.error_level", E_WARNING);
8
9var_dump(IntlTimeZone::getRegion("foo\x81"));
10var_dump(IntlTimeZone::getRegion("foo"));
11?>
12--EXPECTF--
13Warning: IntlTimeZone::getRegion(): intltz_get_region: could not convert time zone id to UTF-16 in %s on line %d
14bool(false)
15
16Warning: IntlTimeZone::getRegion(): intltz_get_region: Error obtaining region in %s on line %d
17bool(false)
18