1--TEST--
2IntlTimeZone::getEquivalentID(): 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::getEquivalentID("foo\x80", 0));
12?>
13--EXPECTF--
14Warning: IntlTimeZone::getEquivalentID(): intltz_get_equivalent_id: could not convert time zone id to UTF-16 in %s on line %d
15bool(false)
16