Always use 0x7FFEBFFF opcache optimization level (fixes #9340)

vimeo · Feb 19, 2023 · 5df21fe · 5df21fe
1 parent d934875
commit 5df21fe
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/src/Psalm/Internal/Fork/PsalmRestarter.php b/src/Psalm/Internal/Fork/PsalmRestarter.php
@@ -66,6 +66,10 @@ protected function requiresRestart($default): bool
             if (((int) ini_get('opcache.jit')) === 0) {
                 return true;
             }
+
+            if (ini_get('opcache.optimization_level') !== '0x7FFEBFFF') {
+                return true;
+            }
         }
 
         return $default || $this->required;
@@ -98,6 +102,7 @@ protected function restart(array $command): void
                 '-dopcache.enable_cli=true',
                 '-dopcache.jit_buffer_size=512M',
                 '-dopcache.jit=1205',
+                '-dopcache.optimization_level=0x7FFEBFFF',
             ];
         }