strtok is not comptime()

Fixes GH-13145
Closes GH-13148

Author: iluuu1994

NEWS

@@ -10,6 +10,9 @@ PHP                                                                        NEWS
   . Fixed bug GH-12996 (Incorrect SCRIPT_NAME with Apache ProxyPassMatch when
     plus in path). (Jakub Zelenka)
 
+- Opcache:
+  . Fixed bug GH-13145 (strtok() is not comptime). (ilutov)
+
 - Phar:
   . Fixed bug #71465 (PHAR doesn't know about litespeed). (nielsdos)
 

Zend/tests/gh13145.phpt

@@ -0,0 +1,16 @@
+--TEST--
+GH-13145: strtok() misoptimization
+--FILE--
+<?php
+$tok = strtok("This is\tan example\nstring", " \n\t");
+while ($tok !== false) {
+    var_dump($tok);
+    $tok = strtok(" \n\t");
+}
+?>
+--EXPECT--
+string(4) "This"
+string(2) "is"
+string(2) "an"
+string(7) "example"
+string(6) "string"

ext/standard/basic_functions.stub.php

@@ -2337,7 +2337,6 @@ function implode(string|array $separator, ?array $array = null): string {}
 function join(string|array $separator, ?array $array = null): string {}
 
 /**
- * @compile-time-eval
  * @refcount 1
  */
 function strtok(string $string, ?string $token = null): string|false {}