diff options
| author | Dmitriy Anisimkov <anisimko@adacore.com> | 2020-08-03 12:18:20 +0600 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-10-21 03:22:46 -0400 |
| commit | 948c6d7e9e60ef8e1324bfed6d8d937112bef53d (patch) | |
| tree | 51081b2563e9c596fb544ef368107c495e64dc49 /gcc/tree-vrp.c | |
| parent | 3b612313b6e67dd01159cd8ceeafeac9f9e6dd04 (diff) | |
| download | gcc-948c6d7e9e60ef8e1324bfed6d8d937112bef53d.zip gcc-948c6d7e9e60ef8e1324bfed6d8d937112bef53d.tar.gz gcc-948c6d7e9e60ef8e1324bfed6d8d937112bef53d.tar.bz2 | |
[Ada] Improve precision of Ada.Directories.Modification_Time
gcc/ada/
* adaint.c (__gnat_file_time): New routine.
(__gnat_copy_attribs): Copy timestamps in nanoseconds.
* libgnat/a-direct.adb (C_Modification_Time): Bind to
__gnat_file_time.
(Modification_Time): Call to C_Modification_Time.
Diffstat (limited to 'gcc/tree-vrp.c')
0 files changed, 0 insertions, 0 deletions