Language: reject goto into switch like Zend (#28796)

[PurHur]

Summary

• Closes Language: goto into switch executes — Zend E_COMPILE_ERROR disallowed (Zend/zend_compile.c) #28796: goto into a switch was accepted on VM/JIT because compileJumptableSwitch never pushed gotoLoopSwitchStack (desugar path already did).
• Follow-up vendor patch php-cfg-goto-scope-jumptable.patch + prelinked mirror; validateGotoScope throws \CompileError (clean exit 255, no host stack dump).
• Compliance .phpt (file-scope + eval) and unit guards.

php-src: Zend/zend_compile.c — 'goto' into loop or switch statement is disallowed.

Test plan

• Issue repro (VM + JIT): exit 255, message contains 'goto' into loop or switch statement is disallowed, no HIT
• eval goto-into-switch: exit 255, Zend-shaped Fatal
• vendor/bin/phpunit --filter GotoStatementTest — OK (7)
• vendor/bin/phpunit test/compliance/GotoVMTest.php — OK (11)
• script/apply-patches.sh skips jumptable patch when already applied

Verification transcript

$ php bin/vm.php /tmp/goto_switch.php; echo exit:$?
parseAndCompile failure: target=/tmp/goto_switch.php: 'goto' into loop or switch statement is disallowed
exit:255

$ php bin/jit.php /tmp/goto_switch.php; echo exit:$?
parseAndCompile failure: target=/tmp/goto_switch.php: 'goto' into loop or switch statement is disallowed
exit:255

$ php bin/vm.php /tmp/goto_switch_eval.php; echo exit:$?
PHP Fatal error:  'goto' into loop or switch statement is disallowed in ... eval()'d code on line 1
exit:255

Made with Cursor