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===DONE===
27--EXPECTF--
28Warning: readgzfile(0): failed to open stream: No such file or directory in %s on line %d
29bool(false)
30
31Warning: readgzfile(1): failed to open stream: No such file or directory in %s on line %d
32bool(false)
33
34Warning: readgzfile(12345): failed to open stream: No such file or directory in %s on line %d
35bool(false)
36
37Warning: readgzfile(-2345): failed to open stream: No such file or directory in %s on line %d
38bool(false)
39===DONE===
40