1--TEST--
2Testing class_alias() with abstract class using an arbitrary class name as alias
3--FILE--
4<?php
5
6abstract class foo { }
7
8class_alias('foo', "\0");
9
10$a = "\0";
11
12new $a;
13
14?>
15--EXPECTF--
16Fatal error: Cannot instantiate abstract class foo in %s on line %d
17
