segfault when running header?

The header() function currently causes a segfault with CVS head sources.

I'll leave this up to a dev team person to sort. I am merely testing
out php6 before a migration.

Migration to PHP6?

Need any more info? Give me a buzz.

A reproduce case?

--
Wbr,
Antony Dovgal

Chris Malton wrote:

The header() function currently causes a segfault with CVS head sources.

Here's a backtrace.

#0 _zend_mm_free_int (heap=0xb302f0, p=0xb88b11b)
at /root/php6/Zend/zend_alloc.c:1522
#1 0x00000000006a5d4f in destroy_op_array (op_array=0x2ae269e4d410)
at /root/php6/Zend/zend_opcode.c:265

Doesn't seem to be in header() - header() doesn't do that.

--
Stanislav Malyshev, Zend Products Engineer
stas@zend.com http://www.zend.com/

Antony Dovgal wrote:

Need any more info? Give me a buzz.

A reproduce case?

WHOOPS - Turns out it isn't header that breaks it!

The following code breaks php6 at the cmd line.

<?php
if($_GET["ffcheck"]==""){
$ua=$_SERVER['HTTP_USER_AGENT'];
if(strpos($ua,"MSIE")!==false){ segfaults HERE
//USER AGENT = MSIE!
header("Location: http://shared.cjsoftuk.dyndns.org/Firefox.php?URL=";
. urlencode("http://"; . $_SERVER["HTTP_HOST"] . $_SERVER["REQUEST_URI"]
. "?" . $_SERVER["QUERY_STRING"]));
exit();
}
}
?>

Could you please provide a short but complete reproduce case, so I can
just copy/paste it and reproduce the problem.
With this code I can see only "Notice: Undefined index: ffcheck in ..",
but no segfault.

Thank you.

Please see below for a term session:

root@SERVER:~/php6# cat /srv/www/include/firefox.inc
<?php
//if($_GET["ffcheck"]==""){
//$ua=$_SERVER['HTTP_USER_AGENT'];
if(strpos($ua,"MSIE")!==false){
//USER AGENT = MSIE!
header("Location: http://shared.cjsoftuk.dyndns.org/Firefox.php?URL=";
. urlencode("http://"; . $_SERVER["HTTP_HOST"] . $_SERVER["REQUEST_URI"]
. "?" . $_SERVER["QUERY_STRING"]));
exit();
}
//}
?>
root@SERVER:~/php6# php6 /srv/www/include/firefox.inc
Segmentation fault

(I know I shouldn't be root, but anyway it's over LAN).

See my point?

Chris