--TEST-- Leak in JMP_SET --EXTENSIONS-- gmp --FILE-- <?php set_error_handler(function() { throw new Exception; }); try { new GMP ?: null; } catch (Exception $e) { } ?> DONE --EXPECT-- DONE
