1--TEST--
2Bug #43293 (Multiple segfaults in getopt())
3--INI--
4register_argc_argv=Off
5--FILE--
6<?php
7$argv = array(true, false);
8var_dump(getopt("abcd"));
9?>
10--EXPECT--
11array(0) {
12}
13