<?php
$sockets = stream_socket_pair(STREAM_PF_UNIX, STREAM_SOCK_STREAM, 0);
stream_set_timeout($sockets[1], PHP_INT_MIN-1);
var_dump(stream_get_contents($sockets[1], 3));
/php-src/main/php_network.h:164:29: runtime error: signed integer overflow: -9223372036854775808 * 1000 cannot be represented in type 'long'
SUMMARY: UndefinedBehaviorSanitizer: undefined-behavior /php-src/main/php_network.h:164:29