From ad0d71b531e7d06b96e1b3675ba99845f43f766d Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Sun, 13 Oct 2013 18:21:32 +0200 Subject: [multiple changes] 2013-10-13 Thomas Quinot * scos.ads: Minor documentation clarification. 2013-10-13 Thomas Quinot * s-oscons-tmplt.c (CLOCK_RT_Ada): Set to CLOCK_MONOTONIC when building on AIX 5.3 or later, and to CLOCK_REALTIME on older versions of AIX. * init.c (pthread_condattr_setclock): Remove now useless weak symbol. * thread.c(__gnat_pthread_condattr_setup): Remove bogus AIX 5.2 compatibility shim. * s-osinte-aix.ads(clock_id_t): Fix C mapping (this is a 64-bit type). (clock_gettime): Import from C runtime library. * s-osinte-aix.adb (clock_gettime): Remove bogus emulation body, this routine is provided by the system in current supported versions of AIX. 2013-10-13 Robert Dewar * sem_ch3.adb: Minor reformatting. 2013-10-13 Ed Schonberg * freeze.adb (Freeze_Entity): For a function whose return type is incomplete, do not replace the type with the full view if the type is a limited view. In that case the full view appears in a different unit, and the back-end will retrieve it at the proper elaboration point. 2013-10-13 Yannick Moy * exp_spark.adb (Expand_SPARK_Call): Do not introduce temporaries for actuals. From-SVN: r203503 --- gcc/ada/scos.ads | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) (limited to 'gcc/ada/scos.ads') diff --git a/gcc/ada/scos.ads b/gcc/ada/scos.ads index dc4248e..6efc5ce 100644 --- a/gcc/ada/scos.ads +++ b/gcc/ada/scos.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 2009-2012, Free Software Foundation, Inc. -- +-- Copyright (C) 2009-2013, 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- -- @@ -367,11 +367,12 @@ package SCOs is Last : Boolean := False; Pragma_Sloc : Source_Ptr := No_Location; - -- For the statement SCO for a pragma, or for any expression SCO nested - -- in a pragma Debug/Assert/PPC, location of PRAGMA token (used for - -- control of SCO output, value not recorded in ALI file). For the - -- decision SCO for an aspect, or for any expression SCO nested in an - -- aspect, location of aspect identifier token (likewise). + -- For the decision SCO of a pragma, or for the decision SCO of any + -- expression nested in a pragma Debug/Assert/PPC, location of PRAGMA + -- token (used for control of SCO output, value not recorded in ALI + -- file). Similarly, for the decision SCO of an aspect, or for the + -- decision SCO of any expression nested in an aspect, location of + -- aspect identifier token. Pragma_Aspect_Name : Name_Id := No_Name; -- For the SCO for a pragma/aspect, gives the pragma/apsect name -- cgit v1.1