mirror of
https://github.com/php/php-src.git
synced 2026-03-24 16:22:37 +01:00
This was generated for a return from a try block with both a catch and a finally. However at this point no exception can be active, because it either didn't exist in the first place or was explicitly discarded using DISCARD_EXCEPTION.