1--TEST-- 2Bug #67215 (php-cgi work with opcache, may be segmentation fault happen) 3--INI-- 4opcache.enable=1 5opcache.enable_cli=1 6opcache.file_update_protection=0 7--SKIPIF-- 8<?php require_once('skipif.inc'); ?> 9--FILE-- 10<?php 11 12$file_c = __DIR__ . "/bug67215.c.php"; 13$file_p = __DIR__ . "/bug67215.p.php"; 14file_put_contents($file_c, "<?php require '$file_p'; class c extends p {} ?>"); 15file_put_contents($file_p, '<?php class p { protected $var = ""; } ?>'); 16require $file_c; 17$a = new c(); 18require $file_c; 19?> 20--CLEAN-- 21<?php 22$file_c = __DIR__ . "/bug67215.c.php"; 23$file_p = __DIR__ . "/bug67215.p.php"; 24unlink($file_c); 25unlink($file_p); 26?> 27--EXPECTF-- 28Fatal error: Cannot declare class c, because the name is already in use in %sbug67215.c.php on line %d 29
