1--TEST--
2Test function readgzfile() by substituting argument 1 with int values.
3--SKIPIF--
4<?php
5if (!extension_loaded('zlib')) die ('skip zlib extension not available in this build');
6?>
7--FILE--
8<?php
9
10
11$use_include_path = false;
12
13
14$variation = array (
15    'int 0' => 0,
16    'int 1' => 1,
17    'int 12345' => 12345,
18    'int -12345' => -2345,
19    );
20
21
22foreach ( $variation as $var ) {
23  var_dump(readgzfile( $var ,  $use_include_path ) );
24}
25?>
26--EXPECTF--
27Warning: readgzfile(0): Failed to open stream: No such file or directory in %s on line %d
28bool(false)
29
30Warning: readgzfile(1): Failed to open stream: No such file or directory in %s on line %d
31bool(false)
32
33Warning: readgzfile(12345): Failed to open stream: No such file or directory in %s on line %d
34bool(false)
35
36Warning: readgzfile(-2345): Failed to open stream: No such file or directory in %s on line %d
37bool(false)
38