File: bug66338.phpt

package info (click to toggle)
php8.4 8.4.16-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 211,276 kB
  • sloc: ansic: 1,176,142; php: 35,419; sh: 11,964; cpp: 7,208; pascal: 4,951; javascript: 3,091; asm: 2,817; yacc: 2,411; makefile: 696; xml: 446; python: 301; awk: 148
file content (44 lines) | stat: -rw-r--r-- 1,568 bytes parent folder | download | duplicates (3)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
--TEST--
Bug #66338 (Optimization binding of class constants is not safely opcacheable)
--INI--
opcache.enable=0
--EXTENSIONS--
opcache
--CONFLICTS--
server
--FILE--
<?php
$root  = str_replace('.php', "", __FILE__);
$base  = basename( $root );

file_put_contents( "$root-Officials.inc", '<?php
    class Officials { static function getLeader() { return LocalTerms::GOV_LEADER; } }
    ' );

file_put_contents( "$root-clientUS.php", '<?php
    class LocalTerms { const GOV_LEADER = "Barack Hussein Obama II"; }
    require \''.$root.'-Officials.inc\';
    printf( "The President of the USA is %s\n", Officials::getLeader() );
    ' );

file_put_contents( "$root-clientUK.php", '<?php
    class LocalTerms { const GOV_LEADER = "David William Donald Cameron"; }
    require \''.$root.'-Officials.inc\';
    printf( "The Prime Minister of the UK is %s\n", Officials::getLeader() );
    ' );

include "php_cli_server.inc";
$uri = sprintf("http://%s/%s", PHP_CLI_SERVER_ADDRESS, basename(__FILE__));
$opt = -1;   # This test works if $opt = 0
php_cli_server_start("-d opcache.enable=1 -d opcache.enable_cli=1 -d opcache.optimization_level=$opt -d opcache.file_update_protection=0" );

echo file_get_contents("http://" . PHP_CLI_SERVER_ADDRESS . "/$base-clientUS.php" );
echo file_get_contents("http://" . PHP_CLI_SERVER_ADDRESS . "/$base-clientUK.php" );

unlink("$root-Officials.inc");
unlink("$root-clientUS.php");
unlink("$root-clientUK.php");
?>
--EXPECT--
The President of the USA is Barack Hussein Obama II
The Prime Minister of the UK is David William Donald Cameron