1--TEST--
2Bug #47745 (FILTER_VALIDATE_INT doesn't allow minimum integer)
3--EXTENSIONS--
4filter
5--FILE--
6<?php
7$s = (string)(-PHP_INT_MAX-1);
8var_dump(intval($s));
9var_dump(filter_var($s, FILTER_VALIDATE_INT));
10?>
11--EXPECTF--
12int(-%d)
13int(-%d)
14
