From fd7215d7119221065b6aeb6ac70e2b75a74a94fb Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Thu, 31 Jul 2014 15:31:48 +0200 Subject: [multiple changes] 2014-07-31 Robert Dewar * exp_util.adb, lib-writ.adb, sem_ch12.adb, s-direio.adb: Minor reformatting. 2014-07-31 Hristian Kirtchev * exp_attr.adb (Expand_Loop_Entry_Attribute): Update the comment which demonstrates the expansion of while loops subject to attribute 'Loop_Entry. The condition of a while loop along with related condition actions is now wrapped in a function. Instead of repeating the condition, the expansion now calls the function. 2014-07-31 Ed Schonberg * sem_case.adb (Check_Against_Predicate): Correct off-by-one error when reporting of missing values in a case statement for a type with a static predicate. (Check_Choices): Reject a choice given by a subtype to which a Dynamic_Predicate applies. * sem_ch3.adb (Analyze_Subtype_Declaration): Inherit Has_Dynamic_Predicate_Aspect flag from parent. 2014-07-31 Ed Schonberg * sem_ch13.adb (Analyze_Aspect_Specifications): A predicate cannot apply to a subtype of an incomplete type. (Is_Static_Choice): Treat an Others_Clause as static. The staticness of the expression and of the range are checked elsewhere. 2014-07-31 Pascal Obry * adaint.h (__gnat_ftell64): Added. (__gnat_fseek64): Added. (__int64): Added. * cstreams.c (__int64): Removed. From-SVN: r213366 --- gcc/ada/adaint.h | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'gcc/ada/adaint.h') diff --git a/gcc/ada/adaint.h b/gcc/ada/adaint.h index 2330a79..6db5bab 100644 --- a/gcc/ada/adaint.h +++ b/gcc/ada/adaint.h @@ -72,6 +72,8 @@ typedef long long OS_Time; typedef long OS_Time; #endif +#define __int64 long long + /* A lazy cache for the attributes of a file. On some systems, a single call to stat() will give all this information, so it is better than doing a system call every time. On other systems this require several system calls. @@ -251,6 +253,10 @@ extern int __gnat_set_close_on_exec (int, int); extern int __gnat_dup (int); extern int __gnat_dup2 (int, int); +/* large file support */ +extern __int64 __gnat_ftell64 (FILE *); +extern int __gnat_fseek64 (FILE *, __int64, int); + extern int __gnat_number_of_cpus (void); extern void __gnat_os_filename (char *, char *, char *, -- cgit v1.1