1--TEST--
2Test vfprintf() function : basic functionality - unsigned format
3--SKIPIF--
4<?php
5if (PHP_INT_SIZE != 8) die("skip this test is for 64bit platform only");
6?>
7--FILE--
8<?php
9echo "*** Testing vfprintf() : basic functionality - using unsigned format ***\n";
10
11// Initialise all required variables
12$format = "format";
13$format1 = "%u";
14$format2 = "%u %u";
15$format3 = "%u %u %u";
16$arg1 = array(-1111);
17$arg2 = array(-1111,-1234567);
18$arg3 = array(-1111,-1234567,-2345432);
19
20/* creating dumping file */
21$data_file = __DIR__ . '/vfprintf_basic7_64bit.txt';
22if (!($fp = fopen($data_file, 'wt')))
23   return;
24
25vfprintf($fp, $format1,$arg1);
26fprintf($fp, "\n");
27
28vfprintf($fp, $format2,$arg2);
29fprintf($fp, "\n");
30
31vfprintf($fp, $format3,$arg3);
32fprintf($fp, "\n");
33
34fclose($fp);
35print_r(file_get_contents($data_file));
36
37unlink($data_file);
38
39?>
40--EXPECT--
41*** Testing vfprintf() : basic functionality - using unsigned format ***
4218446744073709550505
4318446744073709550505 18446744073708317049
4418446744073709550505 18446744073708317049 18446744073707206184
45