1--TEST--
2Test empty result buffer in reg_replace
3--FILE--
4<?php
5 $a="abcd";
6 $b=ereg_replace("abcd","",$a);
7 echo "strlen(\$b)=".strlen($b);
8?>
9--EXPECTF--
10Deprecated: Function ereg_replace() is deprecated in %s on line %d
11strlen($b)=0
12
