Skip to content

R
riscv-gcc-1
Commit db664118 by Arnaud Charlet
Options

[multiple changes] 

2012-05-15  Hristian Kirtchev  <kirtchev@adacore.com>

	* a-calend.adb (Day_Of_Week): The routine once again treats
	all dates as historic.	(Formatting_Operations.Split): All
	calls to UTC_Time_Offset are now controlled through formal
	parameter Is_Historic.	(Formatting_Operations.Time_Of):
	All calls to UTC_Time_Offset are now handled through
	formal parameter Is_Historic.
	(Split): Update the call to Formatting_Operations.Split.
	(Time_Of): Update the call to Formatting_Operations.Time_Of.
	(To_Ada_Time): Update the call to Formatting_Operations.Time_Of.
	(To_Strict_Tm): Update the call to Formatting_Operations.Split.
	* a-calend.ads (Split): Add new formal Is_Historic along with
	comment on usage. This routine is now exported for the purposes
	of GNAT.Calendar.Locale.
	(Time_Of): Remove defaults. Add new
	formal Is_Historic along with comment on usage. This routine is
	now exported for the purposes of GNAT.Calendar.Locale.
	* a-calend-vms.adb (Split): Update the call to
	Formatting_Operations.Split.
	(Time_Of): Update the call to Formatting_Operations.Time_Of.
	* a-calend-vms.ads (Split): Add new formal Is_Historic along
	with comment on usage.	(Time_Of): Remove defaults. Add new
	formal Is_Historic along with comment on usage.
	* a-calfor.adb (Split): Update the call to
	Formatting_Operations.Split.
	(Time_Of): Update the call to Formatting_Operations.Time_Of.
	* impunit.adb: Include g-calloc to the list of non-RM defined
	units.

2012-05-15  Vincent Celier  <celier@adacore.com>

	* prj-nmsc.adb (Add_Source): Always add the source if it is
	excluded, to avoid incorrect duplicate checks.

2012-05-15  Yannick Moy  <moy@adacore.com>

	* sem_aux.ads: Correct typo.
	* sem_eval.adb (Compile_Time_Known_Value): Return False in Alfa
	mode for a deferred constant when outside of the scope of its
	full view.

2012-05-15  Emmanuel Briot  <briot@adacore.com>

	* g-comlin.adb, g-comlin.ads (Define_Switch): Allow specifying the name
	of the argument, for the automatic help message.
	(Getopt): do not systematically initialize switches with string values
	to the empty string, when the user has already specified a default.

From-SVN: r187504
parent a02f0c5d
Showing with 316 additions and 202 deletions
gcc/ada/ChangeLog
2012-05-15 Hristian Kirtchev <kirtchev@adacore.com>
* a-calend.adb (Day_Of_Week): The routine once again treats
all dates as historic. (Formatting_Operations.Split): All
calls to UTC_Time_Offset are now controlled through formal
parameter Is_Historic. (Formatting_Operations.Time_Of):
All calls to UTC_Time_Offset are now handled through
formal parameter Is_Historic.
(Split): Update the call to Formatting_Operations.Split.
(Time_Of): Update the call to Formatting_Operations.Time_Of.
(To_Ada_Time): Update the call to Formatting_Operations.Time_Of.
(To_Strict_Tm): Update the call to Formatting_Operations.Split.
* a-calend.ads (Split): Add new formal Is_Historic along with
comment on usage. This routine is now exported for the purposes
of GNAT.Calendar.Locale.
(Time_Of): Remove defaults. Add new
formal Is_Historic along with comment on usage. This routine is
now exported for the purposes of GNAT.Calendar.Locale.
* a-calend-vms.adb (Split): Update the call to
Formatting_Operations.Split.
(Time_Of): Update the call to Formatting_Operations.Time_Of.
* a-calend-vms.ads (Split): Add new formal Is_Historic along
with comment on usage. (Time_Of): Remove defaults. Add new
formal Is_Historic along with comment on usage.
* a-calfor.adb (Split): Update the call to
Formatting_Operations.Split.
(Time_Of): Update the call to Formatting_Operations.Time_Of.
* impunit.adb: Include g-calloc to the list of non-RM defined
units.
2012-05-15 Vincent Celier <celier@adacore.com>
* prj-nmsc.adb (Add_Source): Always add the source if it is
excluded, to avoid incorrect duplicate checks.
2012-05-15 Yannick Moy <moy@adacore.com>
* sem_aux.ads: Correct typo.
* sem_eval.adb (Compile_Time_Known_Value): Return False in Alfa
mode for a deferred constant when outside of the scope of its
full view.
2012-05-15 Emmanuel Briot <briot@adacore.com>
* g-comlin.adb, g-comlin.ads (Define_Switch): Allow specifying the name
of the argument, for the automatic help message.
(Getopt): do not systematically initialize switches with string values
to the empty string, when the user has already specified a default.
2012-05-14 Manuel López-Ibáñez <manu@gcc.gnu.org> 2012-05-14 Manuel López-Ibáñez <manu@gcc.gnu.org>
PR 53063 PR 53063
......
gcc/ada/a-calend-vms.adb
...@@ -521,18 +521,19 @@ package body Ada.Calendar is ...@@ -521,18 +521,19 @@ package body Ada.Calendar is
-- irrelevant in this case. -- irrelevant in this case.
Formatting_Operations.Split Formatting_Operations.Split
(Date => Date, (Date => Date,
Year => Year, Year => Year,
Month => Month, Month => Month,
Day => Day, Day => Day,
Day_Secs => Seconds, Day_Secs => Seconds,
Hour => H, Hour => H,
Minute => M, Minute => M,
Second => Se, Second => Se,
Sub_Sec => Ss, Sub_Sec => Ss,
Leap_Sec => Le, Leap_Sec => Le,
Use_TZ => False, Use_TZ => False,
Time_Zone => 0); Is_Historic => True,
Time_Zone => 0);
-- Validity checks -- Validity checks
...@@ -589,6 +590,7 @@ package body Ada.Calendar is ...@@ -589,6 +590,7 @@ package body Ada.Calendar is
Leap_Sec => False, Leap_Sec => False,
Use_Day_Secs => True, Use_Day_Secs => True,
Use_TZ => False, Use_TZ => False,
Is_Historic => True,
Time_Zone => 0); Time_Zone => 0);
end Time_Of; end Time_Of;
...@@ -836,6 +838,7 @@ package body Ada.Calendar is ...@@ -836,6 +838,7 @@ package body Ada.Calendar is
Leap_Sec => Leap, Leap_Sec => Leap,
Use_Day_Secs => False, -- Time is given in h:m:s Use_Day_Secs => False, -- Time is given in h:m:s
Use_TZ => True, -- Force usage of explicit time zone Use_TZ => True, -- Force usage of explicit time zone
Is_Historic => True,
Time_Zone => 0)); -- Place the value in UTC Time_Zone => 0)); -- Place the value in UTC
-- Step 4: Daylight Savings Time -- Step 4: Daylight Savings Time
...@@ -980,22 +983,23 @@ package body Ada.Calendar is ...@@ -980,22 +983,23 @@ package body Ada.Calendar is
----------- -----------
procedure Split procedure Split
(Date : Time; (Date : Time;
Year : out Year_Number; Year : out Year_Number;
Month : out Month_Number; Month : out Month_Number;
Day : out Day_Number; Day : out Day_Number;
Day_Secs : out Day_Duration; Day_Secs : out Day_Duration;
Hour : out Integer; Hour : out Integer;
Minute : out Integer; Minute : out Integer;
Second : out Integer; Second : out Integer;
Sub_Sec : out Duration; Sub_Sec : out Duration;
Leap_Sec : out Boolean; Leap_Sec : out Boolean;
Use_TZ : Boolean; Use_TZ : Boolean;
Time_Zone : Long_Integer) Is_Historic : Boolean;
Time_Zone : Long_Integer)
is is
-- The flag Use_TZ is present for interfacing purposes -- Flags Use_TZ and Is_Historic are present for interfacing purposes
pragma Unreferenced (Use_TZ); pragma Unreferenced (Use_TZ, Is_Historic);
procedure Numtim procedure Numtim
(Status : out Unsigned_Longword; (Status : out Unsigned_Longword;
...@@ -1104,11 +1108,16 @@ package body Ada.Calendar is ...@@ -1104,11 +1108,16 @@ package body Ada.Calendar is
Minute : Integer; Minute : Integer;
Second : Integer; Second : Integer;
Sub_Sec : Duration; Sub_Sec : Duration;
Leap_Sec : Boolean := False; Leap_Sec : Boolean;
Use_Day_Secs : Boolean := False; Use_Day_Secs : Boolean;
Use_TZ : Boolean := False; Use_TZ : Boolean;
Time_Zone : Long_Integer := 0) return Time Is_Historic : Boolean;
Time_Zone : Long_Integer) return Time
is is
-- Flag Is_Historic is present for interfacing purposes
pragma Unreferenced (Is_Historic);
procedure Cvt_Vectim procedure Cvt_Vectim
(Status : out Unsigned_Longword; (Status : out Unsigned_Longword;
Input_Time : Unsigned_Word_Array; Input_Time : Unsigned_Word_Array;
......
gcc/ada/a-calend-vms.ads
...@@ -218,21 +218,24 @@ private ...@@ -218,21 +218,24 @@ private
-- within the range of 0 .. 6 (Monday .. Sunday). -- within the range of 0 .. 6 (Monday .. Sunday).
procedure Split procedure Split
(Date : Time; (Date : Time;
Year : out Year_Number; Year : out Year_Number;
Month : out Month_Number; Month : out Month_Number;
Day : out Day_Number; Day : out Day_Number;
Day_Secs : out Day_Duration; Day_Secs : out Day_Duration;
Hour : out Integer; Hour : out Integer;
Minute : out Integer; Minute : out Integer;
Second : out Integer; Second : out Integer;
Sub_Sec : out Duration; Sub_Sec : out Duration;
Leap_Sec : out Boolean; Leap_Sec : out Boolean;
Use_TZ : Boolean; Use_TZ : Boolean;
Time_Zone : Long_Integer); Is_Historic : Boolean;
-- Split a time value into its components. Set Use_TZ to use the local Time_Zone : Long_Integer);
-- time zone (the value in Time_Zone is ignored) when splitting a time -- Split a time value into its components. If flag Is_Historic is set,
-- value. -- this routine would try to use to the best of the OS's abilities the
-- time zone offset that was or will be in effect on Date. Set Use_TZ
-- to use the local time zone (the value in Time_Zone is ignored) when
-- splitting a time value.
function Time_Of function Time_Of
(Year : Year_Number; (Year : Year_Number;
...@@ -243,16 +246,19 @@ private ...@@ -243,16 +246,19 @@ private
Minute : Integer; Minute : Integer;
Second : Integer; Second : Integer;
Sub_Sec : Duration; Sub_Sec : Duration;
Leap_Sec : Boolean := False; Leap_Sec : Boolean;
Use_Day_Secs : Boolean := False; Use_Day_Secs : Boolean;
Use_TZ : Boolean := False; Use_TZ : Boolean;
Time_Zone : Long_Integer := 0) return Time; Is_Historic : Boolean;
Time_Zone : Long_Integer) return Time;
-- Given all the components of a date, return the corresponding time -- Given all the components of a date, return the corresponding time
-- value. Set Use_Day_Secs to use the value in Day_Secs, otherwise the -- value. Set Use_Day_Secs to use the value in Day_Secs, otherwise the
-- day duration will be calculated from Hour, Minute, Second and Sub_ -- day duration will be calculated from Hour, Minute, Second and Sub_
-- Sec. Set Use_TZ to use the local time zone (the value in formal -- Sec. If flag Is_Historic is set, this routine would try to use to the
-- Time_Zone is ignored) when building a time value and to verify the -- best of the OS's abilities the time zone offset that was or will be
-- validity of a requested leap second. -- in effect on the input date. Set Use_TZ to use the local time zone
-- (the value in formal Time_Zone is ignored) when building a time value
-- and to verify the validity of a requested leap second.
end Formatting_Operations; end Formatting_Operations;
......
gcc/ada/a-calend.adb
...@@ -579,18 +579,19 @@ package body Ada.Calendar is ...@@ -579,18 +579,19 @@ package body Ada.Calendar is
-- ensure that Split picks up the local time zone. -- ensure that Split picks up the local time zone.
Formatting_Operations.Split Formatting_Operations.Split
(Date => Date, (Date => Date,
Year => Year, Year => Year,
Month => Month, Month => Month,
Day => Day, Day => Day,
Day_Secs => Seconds, Day_Secs => Seconds,
Hour => H, Hour => H,
Minute => M, Minute => M,
Second => Se, Second => Se,
Sub_Sec => Ss, Sub_Sec => Ss,
Leap_Sec => Le, Leap_Sec => Le,
Use_TZ => False, Use_TZ => False,
Time_Zone => 0); Is_Historic => True,
Time_Zone => 0);
-- Validity checks -- Validity checks
...@@ -649,6 +650,7 @@ package body Ada.Calendar is ...@@ -649,6 +650,7 @@ package body Ada.Calendar is
Leap_Sec => False, Leap_Sec => False,
Use_Day_Secs => True, Use_Day_Secs => True,
Use_TZ => False, Use_TZ => False,
Is_Historic => True,
Time_Zone => 0); Time_Zone => 0);
end Time_Of; end Time_Of;
...@@ -977,6 +979,7 @@ package body Ada.Calendar is ...@@ -977,6 +979,7 @@ package body Ada.Calendar is
Leap_Sec => Leap, Leap_Sec => Leap,
Use_Day_Secs => False, -- Time is given in h:m:s Use_Day_Secs => False, -- Time is given in h:m:s
Use_TZ => True, -- Force usage of explicit time zone Use_TZ => True, -- Force usage of explicit time zone
Is_Historic => True,
Time_Zone => 0)); -- Place the value in UTC Time_Zone => 0)); -- Place the value in UTC
-- Step 4: Daylight Savings Time -- Step 4: Daylight Savings Time
...@@ -1055,8 +1058,19 @@ package body Ada.Calendar is ...@@ -1055,8 +1058,19 @@ package body Ada.Calendar is
-- Step 1: Split the input time -- Step 1: Split the input time
Formatting_Operations.Split Formatting_Operations.Split
(T, Year, Month, tm_day, Day_Secs, (Date => T,
tm_hour, tm_min, Second, Sub_Sec, Leap_Sec, True, 0); Year => Year,
Month => Month,
Day => tm_day,
Day_Secs => Day_Secs,
Hour => tm_hour,
Minute => tm_min,
Second => Second,
Sub_Sec => Sub_Sec,
Leap_Sec => Leap_Sec,
Use_TZ => True,
Is_Historic => False,
Time_Zone => 0);
-- Step 2: Correct the year and month -- Step 2: Correct the year and month
...@@ -1154,12 +1168,8 @@ package body Ada.Calendar is ...@@ -1154,12 +1168,8 @@ package body Ada.Calendar is
----------------- -----------------
function Day_Of_Week (Date : Time) return Integer is function Day_Of_Week (Date : Time) return Integer is
Date_N : constant Time_Rep := Time_Rep (Date); Date_N : constant Time_Rep := Time_Rep (Date);
Time_Zone : constant Long_Integer := UTC_Time_Offset (Date, True);
Time_Zone : constant Long_Integer := UTC_Time_Offset (Date, False);
-- Keep the internal usage of UTC_Time_Offset consistent with Time_Of
-- and Split.
Ada_Low_N : Time_Rep; Ada_Low_N : Time_Rep;
Day_Count : Long_Integer; Day_Count : Long_Integer;
Day_Dur : Time_Dur; Day_Dur : Time_Dur;
...@@ -1199,18 +1209,19 @@ package body Ada.Calendar is ...@@ -1199,18 +1209,19 @@ package body Ada.Calendar is
----------- -----------
procedure Split procedure Split
(Date : Time; (Date : Time;
Year : out Year_Number; Year : out Year_Number;
Month : out Month_Number; Month : out Month_Number;
Day : out Day_Number; Day : out Day_Number;
Day_Secs : out Day_Duration; Day_Secs : out Day_Duration;
Hour : out Integer; Hour : out Integer;
Minute : out Integer; Minute : out Integer;
Second : out Integer; Second : out Integer;
Sub_Sec : out Duration; Sub_Sec : out Duration;
Leap_Sec : out Boolean; Leap_Sec : out Boolean;
Use_TZ : Boolean; Use_TZ : Boolean;
Time_Zone : Long_Integer) Is_Historic : Boolean;
Time_Zone : Long_Integer)
is is
-- The following constants represent the number of nanoseconds -- The following constants represent the number of nanoseconds
-- elapsed since the start of Ada time to and including the non -- elapsed since the start of Ada time to and including the non
...@@ -1272,7 +1283,7 @@ package body Ada.Calendar is ...@@ -1272,7 +1283,7 @@ package body Ada.Calendar is
else else
declare declare
Off : constant Long_Integer := Off : constant Long_Integer :=
UTC_Time_Offset (Time (Date_N), False); UTC_Time_Offset (Time (Date_N), Is_Historic);
begin begin
Date_N := Date_N + Time_Rep (Off) * Nano; Date_N := Date_N + Time_Rep (Off) * Nano;
...@@ -1388,10 +1399,11 @@ package body Ada.Calendar is ...@@ -1388,10 +1399,11 @@ package body Ada.Calendar is
Minute : Integer; Minute : Integer;
Second : Integer; Second : Integer;
Sub_Sec : Duration; Sub_Sec : Duration;
Leap_Sec : Boolean := False; Leap_Sec : Boolean;
Use_Day_Secs : Boolean := False; Use_Day_Secs : Boolean;
Use_TZ : Boolean := False; Use_TZ : Boolean;
Time_Zone : Long_Integer := 0) return Time Is_Historic : Boolean;
Time_Zone : Long_Integer) return Time
is is
Count : Integer; Count : Integer;
Elapsed_Leaps : Natural; Elapsed_Leaps : Natural;
...@@ -1493,12 +1505,12 @@ package body Ada.Calendar is ...@@ -1493,12 +1505,12 @@ package body Ada.Calendar is
else else
declare declare
Current_Off : constant Long_Integer := Cur_Off : constant Long_Integer :=
UTC_Time_Offset (Time (Res_N), False); UTC_Time_Offset (Time (Res_N), Is_Historic);
Current_Res_N : constant Time_Rep := Cur_Res_N : constant Time_Rep :=
Res_N - Time_Rep (Current_Off) * Nano; Res_N - Time_Rep (Cur_Off) * Nano;
Off : constant Long_Integer := Off : constant Long_Integer :=
UTC_Time_Offset (Time (Current_Res_N), False); UTC_Time_Offset (Time (Cur_Res_N), Is_Historic);
begin begin
Res_N := Res_N - Time_Rep (Off) * Nano; Res_N := Res_N - Time_Rep (Off) * Nano;
......
gcc/ada/a-calend.ads
...@@ -193,33 +193,6 @@ private ...@@ -193,33 +193,6 @@ private
-- of year - 4 to year + 4. Internally, routines Split and Time_Of add or -- of year - 4 to year + 4. Internally, routines Split and Time_Of add or
-- subtract a "fake" February 29 to facilitate the arithmetic involved. -- subtract a "fake" February 29 to facilitate the arithmetic involved.
------------------------------------
-- Time Zones and UTC_Time_Offset --
------------------------------------
-- The implementation-defined time zone of Ada.Calendar routines is the
-- local time zone. The term "local time zone" can be interpreted in two
-- different ways - either the offset from UTC of the "now" or the offset
-- from UTC of some input date.
-- For efficency reasons, Split and Time_Of take the first approach. Since
-- the Ada Reference Manual does not mandate that Split and Time_Of should
-- be concious of historic time zones, this interpretation is acceptable
-- and efficent in terms of performance. Split and Time_Of localize their
-- respective input regardless of whether it represent a past or a future
-- date.
-- UTC_Time_Offset on the other hand must be knowledgeable of historic time
-- zones. To achieve this, the implementation relies on various operating
-- system routines. Note that not all operating systems support time zones.
-- UTC_Time_Offset calculates the offset from UTC as it occurred or will
-- occur on the input date relative to the local time zone. Example:
-- Date Offset Reason
-- 2012-01-11 -300
-- 2011-03-12 -300
-- 2011-03-14 -240 Daylight savings is in effect
------------------------ ------------------------
-- Local Declarations -- -- Local Declarations --
------------------------ ------------------------
...@@ -341,21 +314,25 @@ private ...@@ -341,21 +314,25 @@ private
-- within the range of 0 .. 6 (Monday .. Sunday). -- within the range of 0 .. 6 (Monday .. Sunday).
procedure Split procedure Split
(Date : Time; (Date : Time;
Year : out Year_Number; Year : out Year_Number;
Month : out Month_Number; Month : out Month_Number;
Day : out Day_Number; Day : out Day_Number;
Day_Secs : out Day_Duration; Day_Secs : out Day_Duration;
Hour : out Integer; Hour : out Integer;
Minute : out Integer; Minute : out Integer;
Second : out Integer; Second : out Integer;
Sub_Sec : out Duration; Sub_Sec : out Duration;
Leap_Sec : out Boolean; Leap_Sec : out Boolean;
Use_TZ : Boolean; Use_TZ : Boolean;
Time_Zone : Long_Integer); Is_Historic : Boolean;
-- Split a time value into its components. Set Use_TZ to use the local Time_Zone : Long_Integer);
-- time zone (the value in Time_Zone is ignored) when splitting a time pragma Export (Ada, Split, "__gnat_split");
-- value. -- Split a time value into its components. If flag Is_Historic is set,
-- this routine would try to use to the best of the OS's abilities the
-- time zone offset that was or will be in effect on Date. Set Use_TZ
-- to use the local time zone (the value in Time_Zone is ignored) when
-- splitting a time value.
function Time_Of function Time_Of
(Year : Year_Number; (Year : Year_Number;
...@@ -366,16 +343,20 @@ private ...@@ -366,16 +343,20 @@ private
Minute : Integer; Minute : Integer;
Second : Integer; Second : Integer;
Sub_Sec : Duration; Sub_Sec : Duration;
Leap_Sec : Boolean := False; Leap_Sec : Boolean;
Use_Day_Secs : Boolean := False; Use_Day_Secs : Boolean;
Use_TZ : Boolean := False; Use_TZ : Boolean;
Time_Zone : Long_Integer := 0) return Time; Is_Historic : Boolean;
Time_Zone : Long_Integer) return Time;
pragma Export (Ada, Time_Of, "__gnat_time_of");
-- Given all the components of a date, return the corresponding time -- Given all the components of a date, return the corresponding time
-- value. Set Use_Day_Secs to use the value in Day_Secs, otherwise the -- value. Set Use_Day_Secs to use the value in Day_Secs, otherwise the
-- day duration will be calculated from Hour, Minute, Second and Sub_ -- day duration will be calculated from Hour, Minute, Second and Sub_
-- Sec. Set Use_TZ to use the local time zone (the value in formal -- Sec. If flag Is_Historic is set, this routine would try to use to the
-- Time_Zone is ignored) when building a time value and to verify the -- best of the OS's abilities the time zone offset that was or will be
-- validity of a requested leap second. -- in effect on the input date. Set Use_TZ to use the local time zone
-- (the value in formal Time_Zone is ignored) when building a time value
-- and to verify the validity of a requested leap second.
end Formatting_Operations; end Formatting_Operations;
......
gcc/ada/a-calfor.adb
...@@ -421,18 +421,19 @@ package body Ada.Calendar.Formatting is ...@@ -421,18 +421,19 @@ package body Ada.Calendar.Formatting is
begin begin
Formatting_Operations.Split Formatting_Operations.Split
(Date => Date, (Date => Date,
Year => Year, Year => Year,
Month => Month, Month => Month,
Day => Day, Day => Day,
Day_Secs => Seconds, Day_Secs => Seconds,
Hour => H, Hour => H,
Minute => M, Minute => M,
Second => Se, Second => Se,
Sub_Sec => Su, Sub_Sec => Su,
Leap_Sec => Leap_Second, Leap_Sec => Leap_Second,
Use_TZ => True, Use_TZ => True,
Time_Zone => Tz); Is_Historic => True,
Time_Zone => Tz);
-- Validity checks -- Validity checks
...@@ -466,18 +467,19 @@ package body Ada.Calendar.Formatting is ...@@ -466,18 +467,19 @@ package body Ada.Calendar.Formatting is
begin begin
Formatting_Operations.Split Formatting_Operations.Split
(Date => Date, (Date => Date,
Year => Year, Year => Year,
Month => Month, Month => Month,
Day => Day, Day => Day,
Day_Secs => Dd, Day_Secs => Dd,
Hour => Hour, Hour => Hour,
Minute => Minute, Minute => Minute,
Second => Second, Second => Second,
Sub_Sec => Sub_Second, Sub_Sec => Sub_Second,
Leap_Sec => Le, Leap_Sec => Le,
Use_TZ => True, Use_TZ => True,
Time_Zone => Tz); Is_Historic => True,
Time_Zone => Tz);
-- Validity checks -- Validity checks
...@@ -514,18 +516,19 @@ package body Ada.Calendar.Formatting is ...@@ -514,18 +516,19 @@ package body Ada.Calendar.Formatting is
begin begin
Formatting_Operations.Split Formatting_Operations.Split
(Date => Date, (Date => Date,
Year => Year, Year => Year,
Month => Month, Month => Month,
Day => Day, Day => Day,
Day_Secs => Dd, Day_Secs => Dd,
Hour => Hour, Hour => Hour,
Minute => Minute, Minute => Minute,
Second => Second, Second => Second,
Sub_Sec => Sub_Second, Sub_Sec => Sub_Second,
Leap_Sec => Leap_Second, Leap_Sec => Leap_Second,
Use_TZ => True, Use_TZ => True,
Time_Zone => Tz); Is_Historic => True,
Time_Zone => Tz);
-- Validity checks -- Validity checks
...@@ -630,6 +633,7 @@ package body Ada.Calendar.Formatting is ...@@ -630,6 +633,7 @@ package body Ada.Calendar.Formatting is
Leap_Sec => Leap_Second, Leap_Sec => Leap_Second,
Use_Day_Secs => True, Use_Day_Secs => True,
Use_TZ => True, Use_TZ => True,
Is_Historic => True,
Time_Zone => Tz); Time_Zone => Tz);
end Time_Of; end Time_Of;
...@@ -679,6 +683,7 @@ package body Ada.Calendar.Formatting is ...@@ -679,6 +683,7 @@ package body Ada.Calendar.Formatting is
Leap_Sec => Leap_Second, Leap_Sec => Leap_Second,
Use_Day_Secs => False, Use_Day_Secs => False,
Use_TZ => True, Use_TZ => True,
Is_Historic => True,
Time_Zone => Tz); Time_Zone => Tz);
end Time_Of; end Time_Of;
......
gcc/ada/g-comlin.adb
...@@ -6,7 +6,7 @@ ...@@ -6,7 +6,7 @@
-- -- -- --
-- B o d y -- -- B o d y --
-- -- -- --
-- Copyright (C) 1999-2011, Free Software Foundation, Inc. -- -- Copyright (C) 1999-2012, Free Software Foundation, Inc. --
-- -- -- --
-- GNAT is free software; you can redistribute it and/or modify it under -- -- 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- -- -- terms of the GNU General Public License as published by the Free Soft- --
...@@ -128,7 +128,8 @@ package body GNAT.Command_Line is ...@@ -128,7 +128,8 @@ package body GNAT.Command_Line is
Switch : String := ""; Switch : String := "";
Long_Switch : String := ""; Long_Switch : String := "";
Help : String := ""; Help : String := "";
Section : String := ""); Section : String := "";
Argument : String := "ARG");
-- Initialize [Def] with the contents of the other parameters. -- Initialize [Def] with the contents of the other parameters.
-- This also checks consistency of the switch parameters, and will raise -- This also checks consistency of the switch parameters, and will raise
-- Invalid_Switch if they do not match. -- Invalid_Switch if they do not match.
...@@ -1280,11 +1281,12 @@ package body GNAT.Command_Line is ...@@ -1280,11 +1281,12 @@ package body GNAT.Command_Line is
--------------------------- ---------------------------
procedure Initialize_Switch_Def procedure Initialize_Switch_Def
(Def : out Switch_Definition; (Def : out Switch_Definition;
Switch : String := ""; Switch : String := "";
Long_Switch : String := ""; Long_Switch : String := "";
Help : String := ""; Help : String := "";
Section : String := "") Section : String := "";
Argument : String := "ARG")
is is
P1, P2 : Switch_Parameter_Type := Parameter_None; P1, P2 : Switch_Parameter_Type := Parameter_None;
Last1, Last2 : Integer; Last1, Last2 : Integer;
...@@ -1316,6 +1318,10 @@ package body GNAT.Command_Line is ...@@ -1316,6 +1318,10 @@ package body GNAT.Command_Line is
Def.Section := new String'(Section); Def.Section := new String'(Section);
end if; end if;
if Argument /= "ARG" then
Def.Argument := new String'(Argument);
end if;
if Help /= "" then if Help /= "" then
Def.Help := new String'(Help); Def.Help := new String'(Help);
end if; end if;
...@@ -1330,12 +1336,14 @@ package body GNAT.Command_Line is ...@@ -1330,12 +1336,14 @@ package body GNAT.Command_Line is
Switch : String := ""; Switch : String := "";
Long_Switch : String := ""; Long_Switch : String := "";
Help : String := ""; Help : String := "";
Section : String := "") Section : String := "";
Argument : String := "ARG")
is is
Def : Switch_Definition; Def : Switch_Definition;
begin begin
if Switch /= "" or else Long_Switch /= "" then if Switch /= "" or else Long_Switch /= "" then
Initialize_Switch_Def (Def, Switch, Long_Switch, Help, Section); Initialize_Switch_Def
(Def, Switch, Long_Switch, Help, Section, Argument);
Add (Config, Def); Add (Config, Def);
end if; end if;
end Define_Switch; end Define_Switch;
...@@ -1375,12 +1383,14 @@ package body GNAT.Command_Line is ...@@ -1375,12 +1383,14 @@ package body GNAT.Command_Line is
Help : String := ""; Help : String := "";
Section : String := ""; Section : String := "";
Initial : Integer := 0; Initial : Integer := 0;
Default : Integer := 1) Default : Integer := 1;
Argument : String := "ARG")
is is
Def : Switch_Definition (Switch_Integer); Def : Switch_Definition (Switch_Integer);
begin begin
if Switch /= "" or else Long_Switch /= "" then if Switch /= "" or else Long_Switch /= "" then
Initialize_Switch_Def (Def, Switch, Long_Switch, Help, Section); Initialize_Switch_Def
(Def, Switch, Long_Switch, Help, Section, Argument);
Def.Integer_Output := Output.all'Unchecked_Access; Def.Integer_Output := Output.all'Unchecked_Access;
Def.Integer_Default := Default; Def.Integer_Default := Default;
Def.Integer_Initial := Initial; Def.Integer_Initial := Initial;
...@@ -1398,12 +1408,14 @@ package body GNAT.Command_Line is ...@@ -1398,12 +1408,14 @@ package body GNAT.Command_Line is
Switch : String := ""; Switch : String := "";
Long_Switch : String := ""; Long_Switch : String := "";
Help : String := ""; Help : String := "";
Section : String := "") Section : String := "";
Argument : String := "ARG")
is is
Def : Switch_Definition (Switch_String); Def : Switch_Definition (Switch_String);
begin begin
if Switch /= "" or else Long_Switch /= "" then if Switch /= "" or else Long_Switch /= "" then
Initialize_Switch_Def (Def, Switch, Long_Switch, Help, Section); Initialize_Switch_Def
(Def, Switch, Long_Switch, Help, Section, Argument);
Def.String_Output := Output.all'Unchecked_Access; Def.String_Output := Output.all'Unchecked_Access;
Add (Config, Def); Add (Config, Def);
end if; end if;
...@@ -3206,17 +3218,31 @@ package body GNAT.Command_Line is ...@@ -3206,17 +3218,31 @@ package body GNAT.Command_Line is
Decompose_Switch (Def.Long_Switch.all, P2, Last2); Decompose_Switch (Def.Long_Switch.all, P2, Last2);
Append (Result, ", " Append (Result, ", "
& Def.Long_Switch (Def.Long_Switch'First .. Last2)); & Def.Long_Switch (Def.Long_Switch'First .. Last2));
Append (Result, Param_Name (P2, "ARG"));
if Def.Argument = null then
Append (Result, Param_Name (P2, "ARG"));
else
Append (Result, Param_Name (P2, Def.Argument.all));
end if;
else else
Append (Result, Param_Name (P1, "ARG")); if Def.Argument = null then
Append (Result, Param_Name (P1, "ARG"));
else
Append (Result, Param_Name (P1, Def.Argument.all));
end if;
end if; end if;
else -- Long_Switch necessarily not null else -- Long_Switch necessarily not null
Decompose_Switch (Def.Long_Switch.all, P2, Last2); Decompose_Switch (Def.Long_Switch.all, P2, Last2);
Append (Result, Append (Result,
Def.Long_Switch (Def.Long_Switch'First .. Last2)); Def.Long_Switch (Def.Long_Switch'First .. Last2));
Append (Result, Param_Name (P2, "ARG"));
if Def.Argument = null then
Append (Result, Param_Name (P2, "ARG"));
else
Append (Result, Param_Name (P2, Def.Argument.all));
end if;
end if; end if;
end if; end if;
...@@ -3393,7 +3419,9 @@ package body GNAT.Command_Line is ...@@ -3393,7 +3419,9 @@ package body GNAT.Command_Line is
Config.Switches (S).Integer_Initial; Config.Switches (S).Integer_Initial;
when Switch_String => when Switch_String =>
Config.Switches (S).String_Output.all := new String'(""); if Config.Switches (S).String_Output.all = null then
Config.Switches (S).String_Output.all := new String'("");
end if;
end case; end case;
end loop; end loop;
......
gcc/ada/g-comlin.ads
...@@ -6,7 +6,7 @@ ...@@ -6,7 +6,7 @@
-- -- -- --
-- S p e c -- -- S p e c --
-- -- -- --
-- Copyright (C) 1999-2011, AdaCore -- -- Copyright (C) 1999-2012, AdaCore --
-- -- -- --
-- GNAT is free software; you can redistribute it and/or modify it under -- -- 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- -- -- terms of the GNU General Public License as published by the Free Soft- --
...@@ -595,7 +595,8 @@ package GNAT.Command_Line is ...@@ -595,7 +595,8 @@ package GNAT.Command_Line is
Switch : String := ""; Switch : String := "";
Long_Switch : String := ""; Long_Switch : String := "";
Help : String := ""; Help : String := "";
Section : String := ""); Section : String := "";
Argument : String := "ARG");
-- Indicates a new switch. The format of this switch follows the getopt -- Indicates a new switch. The format of this switch follows the getopt
-- format (trailing ':', '?', etc for defining a switch with parameters). -- format (trailing ':', '?', etc for defining a switch with parameters).
-- --
...@@ -617,6 +618,9 @@ package GNAT.Command_Line is ...@@ -617,6 +618,9 @@ package GNAT.Command_Line is
-- --
-- In_Section indicates in which section the switch is valid (you need to -- In_Section indicates in which section the switch is valid (you need to
-- first define the section through a call to Define_Section). -- first define the section through a call to Define_Section).
--
-- Argument is the name of the argument, as displayed in the automatic
-- help message. It is always capitalized for consistency.
procedure Define_Switch procedure Define_Switch
(Config : in out Command_Line_Configuration; (Config : in out Command_Line_Configuration;
...@@ -643,7 +647,8 @@ package GNAT.Command_Line is ...@@ -643,7 +647,8 @@ package GNAT.Command_Line is
Help : String := ""; Help : String := "";
Section : String := ""; Section : String := "";
Initial : Integer := 0; Initial : Integer := 0;
Default : Integer := 1); Default : Integer := 1;
Argument : String := "ARG");
-- See Define_Switch for a description of the parameters. -- See Define_Switch for a description of the parameters.
-- When the switch is found on the command line, Getopt will set -- When the switch is found on the command line, Getopt will set
-- Output.all to the value of the switch's parameter. If the parameter is -- Output.all to the value of the switch's parameter. If the parameter is
...@@ -651,6 +656,7 @@ package GNAT.Command_Line is ...@@ -651,6 +656,7 @@ package GNAT.Command_Line is
-- Output is always initialized to Initial. If the switch has an optional -- Output is always initialized to Initial. If the switch has an optional
-- argument which isn't specified by the user, then Output will be set to -- argument which isn't specified by the user, then Output will be set to
-- Default. -- Default.
-- The switch must accept an argument.
procedure Define_Switch procedure Define_Switch
(Config : in out Command_Line_Configuration; (Config : in out Command_Line_Configuration;
...@@ -658,10 +664,14 @@ package GNAT.Command_Line is ...@@ -658,10 +664,14 @@ package GNAT.Command_Line is
Switch : String := ""; Switch : String := "";
Long_Switch : String := ""; Long_Switch : String := "";
Help : String := ""; Help : String := "";
Section : String := ""); Section : String := "";
Argument : String := "ARG");
-- Set Output to the value of the switch's parameter when the switch is -- Set Output to the value of the switch's parameter when the switch is
-- found on the command line. -- found on the command line.
-- Output is always initialized to the empty string. -- Output is always initialized to the empty string if it does not have
-- a value already (otherwise it is left as is so that you can specify the
-- default value directly in the declaration of the variable).
-- The switch must accept an argument.
procedure Set_Usage procedure Set_Usage
(Config : in out Command_Line_Configuration; (Config : in out Command_Line_Configuration;
...@@ -1096,6 +1106,10 @@ private ...@@ -1096,6 +1106,10 @@ private
Section : GNAT.OS_Lib.String_Access; Section : GNAT.OS_Lib.String_Access;
Help : GNAT.OS_Lib.String_Access; Help : GNAT.OS_Lib.String_Access;
Argument : GNAT.OS_Lib.String_Access;
-- null if "ARG".
-- Name of the argument for this switch.
case Typ is case Typ is
when Switch_Untyped => when Switch_Untyped =>
null; null;
......
gcc/ada/impunit.adb
...@@ -246,6 +246,7 @@ package body Impunit is ...@@ -246,6 +246,7 @@ package body Impunit is
("g-byorma", F), -- GNAT.Byte_Order_Mark ("g-byorma", F), -- GNAT.Byte_Order_Mark
("g-bytswa", F), -- GNAT.Byte_Swapping ("g-bytswa", F), -- GNAT.Byte_Swapping
("g-calend", F), -- GNAT.Calendar ("g-calend", F), -- GNAT.Calendar
("g-calloc", F), -- GNAT.Calendar.Locale
("g-catiio", F), -- GNAT.Calendar.Time_IO ("g-catiio", F), -- GNAT.Calendar.Time_IO
("g-casuti", F), -- GNAT.Case_Util ("g-casuti", F), -- GNAT.Case_Util
("g-cgi ", F), -- GNAT.CGI ("g-cgi ", F), -- GNAT.CGI
......
gcc/ada/sem_aux.ads
...@@ -6,7 +6,7 @@ ...@@ -6,7 +6,7 @@
-- -- -- --
-- S p e c -- -- S p e c --
-- -- -- --
-- Copyright (C) 1992-2011, Free Software Foundation, Inc. -- -- Copyright (C) 1992-2012, Free Software Foundation, Inc. --
-- -- -- --
-- GNAT is free software; you can redistribute it and/or modify it under -- -- 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- -- -- terms of the GNU General Public License as published by the Free Soft- --
...@@ -99,7 +99,7 @@ package Sem_Aux is ...@@ -99,7 +99,7 @@ package Sem_Aux is
function Constant_Value (Ent : Entity_Id) return Node_Id; function Constant_Value (Ent : Entity_Id) return Node_Id;
-- Ent is a variable, constant, named integer, or named real entity. This -- Ent is a variable, constant, named integer, or named real entity. This
-- call obtains the initialization expression for the entity. Will return -- call obtains the initialization expression for the entity. Will return
-- Empty for for a deferred constant whose full view is not available or -- Empty for a deferred constant whose full view is not available or
-- in some other cases of internal entities, which cannot be treated as -- in some other cases of internal entities, which cannot be treated as
-- constants from the point of view of constant folding. Empty is also -- constants from the point of view of constant folding. Empty is also
-- returned for variables with no initialization expression. -- returned for variables with no initialization expression.
......
gcc/ada/sem_eval.adb
...@@ -1302,7 +1302,16 @@ package body Sem_Eval is ...@@ -1302,7 +1302,16 @@ package body Sem_Eval is
if Ekind (E) = E_Enumeration_Literal then if Ekind (E) = E_Enumeration_Literal then
return True; return True;
elsif Ekind (E) = E_Constant then -- In Alfa mode, the value of deferred constants should be ignored
-- outside the scope of their full view. This allows parameterized
-- formal verification, in which a deferred constant value if not
-- known from client units.
elsif Ekind (E) = E_Constant
and then not (Alfa_Mode
and then Present (Full_View (E))
and then not In_Open_Scopes (Scope (E)))
then
V := Constant_Value (E); V := Constant_Value (E);
return Present (V) and then Compile_Time_Known_Value (V); return Present (V) and then Compile_Time_Known_Value (V);
end if; end if;
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment