diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-07-31 15:27:23 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-07-31 15:27:23 +0200 |
| commit | fce547639dcebba692c4c864287cb371360a6661 (patch) | |
| tree | 7c587eb438e9a664240705f87f8dde3890f47eb1 /gcc/ada/cstreams.c | |
| parent | 7f3d273a22571f6dd578c079dbdba9340790c8c2 (diff) | |
| download | gcc-fce547639dcebba692c4c864287cb371360a6661.zip gcc-fce547639dcebba692c4c864287cb371360a6661.tar.gz gcc-fce547639dcebba692c4c864287cb371360a6661.tar.bz2 | |
[multiple changes]
2014-07-31 Arnaud Charlet <charlet@adacore.com>
* lib-writ.adb (Write_Unit_Information): Fix case where U =
No_Unit.
2014-07-31 Claire Dross <dross@adacore.com>
* exp_util.adb, exp_util.ads
(Get_First_Parent_With_External_Axiomatization_For_Entity):
New routine to find the first parent of an entity with
a pragma Annotate (GNATprove, External_Axiomatization).
(Has_Annotate_Pragma_For_External_Axiomatization): New function
to check if a package has a pragma Annotate (GNATprove,
External_Axiomatization).
* einfo.ads, einfo.adb (Is_Generic_Actual_Subprogram): New
flag on the entity for the declaration created for a formal
subprogram in an instance. This is a renaming declaration,
or in GNATprove_Mode the declaration of an expression function
that captures the axiomatization of the actual.
* sem_ch6.adb (Analyze_Expression_Function): For a
Generic_Actual_Subprogram, place body immediately after the
declaration because it may be used in a subsequent declaration
in the instance.
* sem_ch12.adb (Build_Wrapper): Add code to handle instances where
the actual is a function, not an operator. Handle functions with
one and two parameters and binary and unary operators.
2014-07-31 Pascal Obry <obry@adacore.com>
* cstreams.c (__gnat_is_regular_file_fd): Removed.
* adaint.c (__gnat_is_regular_file_fd): Added.
From-SVN: r213364
Diffstat (limited to 'gcc/ada/cstreams.c')
| -rw-r--r-- | gcc/ada/cstreams.c | 12 |
1 files changed, 1 insertions, 11 deletions
diff --git a/gcc/ada/cstreams.c b/gcc/ada/cstreams.c index 25a867a..5d5bc8d 100644 --- a/gcc/ada/cstreams.c +++ b/gcc/ada/cstreams.c @@ -6,7 +6,7 @@ * * * Auxiliary C functions for Interfaces.C.Streams * * * - * Copyright (C) 1992-2012, Free Software Foundation, Inc. * + * Copyright (C) 1992-2014, Free Software Foundation, Inc. * * * * GNAT is free software; you can redistribute it and/or modify it under * * terms of the GNU General Public License as published by the Free Soft- * @@ -106,16 +106,6 @@ __gnat_fileno (FILE *stream) return (fileno (stream)); } -int -__gnat_is_regular_file_fd (int fd) -{ - int ret; - GNAT_STRUCT_STAT statbuf; - - ret = GNAT_FSTAT (fd, &statbuf); - return (!ret && S_ISREG (statbuf.st_mode)); -} - /* on some systems, the constants for seek are not defined, if so, then provide the conventional definitions */ |