1--TEST--
2Leak in JMP_SET
3--EXTENSIONS--
4gmp
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