diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-01-02 11:59:38 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-01-02 11:59:38 +0100 |
| commit | e9f80612564876fc089ae96504e0ceaa0c33e0e8 (patch) | |
| tree | 6dd29d3994fb3995d4ffbea69a6fab5906bdc0a2 /gcc/ada/cstreams.c | |
| parent | 2c28c7a7b503ca3b3bb04201d5971b2e55d2dff1 (diff) | |
| download | gcc-e9f80612564876fc089ae96504e0ceaa0c33e0e8.zip gcc-e9f80612564876fc089ae96504e0ceaa0c33e0e8.tar.gz gcc-e9f80612564876fc089ae96504e0ceaa0c33e0e8.tar.bz2 | |
[multiple changes]
2013-01-02 Thomas Quinot <quinot@adacore.com>
* sem_ch3.adb: Minor reformatting.
2013-01-02 Pascal Obry <obry@adacore.com>
* cstreams.c (__gnat_ftell64): New routine. Use _ftelli64 on
Win64 and default to ftell on other platforms.
(__gnat_fsek64): Likewise.
* i-cstrea.ads: Add fssek64 and ftell64 specs.
* s-crtl.ads: Likewise.
* a-ststio.adb, s-direio.adb (Size): Use 64 bits version when required.
(Set_Position): Likewise.
From-SVN: r194797
Diffstat (limited to 'gcc/ada/cstreams.c')
| -rw-r--r-- | gcc/ada/cstreams.c | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/gcc/ada/cstreams.c b/gcc/ada/cstreams.c index b82fcdf..25a867a 100644 --- a/gcc/ada/cstreams.c +++ b/gcc/ada/cstreams.c @@ -257,6 +257,35 @@ __gnat_full_name (char *nam, char *buffer) return buffer; } +#ifdef _WIN64 + /* On Windows 64 we want to use the fseek/fteel supporting large files. This + issue is due to the fact that a long on Win64 is still a 32 bits value */ +__int64 +__gnat_ftell64 (FILE *stream) +{ + return _ftelli64 (stream); +} + +int +__gnat_fseek64 (FILE *stream, __int64 offset, int origin) +{ + return _fseeki64 (stream, offset, origin); +} + +#else +long +__gnat_ftell64 (FILE *stream) +{ + return ftell (stream); +} + +int +__gnat_fseek64 (FILE *stream, long offset, int origin) +{ + return fseek (stream, offset, origin); +} +#endif + #ifdef __cplusplus } #endif |