With Pike 7.6 CVS:
object file = Stdio.File("/tmp/toto"); file->stat()->size; (2) Result: 17592186044416
file->stat()->size;
(3) Result: 17592186044416
object file = Stdio.File("/tmp/mysqldump.sql"); file->stat()->size;
(4) Result: 17592186044416
With Pike 7.6.13 "official":
object file = Stdio.File("/tmp/toto"); file->stat();
(1) Result: Stat(drwxr-xr-x 1024b)
file->stat()->size;
(2) Result: 1024
object file = Stdio.File("/tmp/mysqldump.sql"); file->stat()->size;
(3) Result: 980004
OS is Linux.
/ David