PR# 2398 Files larger than 2 gigabytes

Problem Report Summary
Submitter: randyjohn
Category: Runtime
Priority: Medium
Date: 2000/02/18
Class: Feature Request
Severity: Serious
Number: 2398
Release: 4.6.006
Confidential: No
Status: Suspended
Responsible:
Environment: Mozilla/4.0 (compatible; MSIE 5.0; Windows NT; digitalie40; DigExt)
Synopsis: Files larger than 2 gigabytes

Description
The feature 'count' in FILE returns a 32 bit integer.  Obviously this isn't going to work for files with a length of more than 2 GB.  In my case I was checking to see if the file was less than 1MB.  It was.  In fact, the size was negative!  In WIN32 you can retrieve a file's true size using stati64.

struct _stati64 stat_buf;
__int64 sss = _stati64("file.ext", &stat_buf);
__int64 size = stat_buf.st_size;

However, we are going to need a INTEGER64 class, even a rudimentary one.  I will work around the problem one way or another.

         Randy
To Reproduce

										
Problem Report Interactions
From:randyjohn    Date:2000/02/18    Download   
State-Changed-From-To: open-suspended
State-Changed-By: Manu
State-Changed-When: Fri Feb 18 13:13:48 PST 2000
State-Changed-Why:

Dear Randy,

Next release of ISE Eiffel you will get will support INTEGER_64, so
this problem won't occur anymore. However, the support is not yet
complete and the part handling with files have not been updated.