1--TEST--
2Leak in JMP_SET
3--SKIPIF--
4<?php if (!extension_loaded("gmp")) print "skip"; ?>
5--FILE--
6<?php
7set_error_handler(function() { throw new Exception; });
8try {
9 new GMP ?: null;
10} catch (Exception $e) {
11}
12?>
13DONE
14--EXPECT--
15DONE
16
