Re: ada/9536: Constraint error on valid Ada.Calendar.Time_Of

Re: ada/9536: Constraint error on valid Ada.Calendar.Time_Of

[Dara Hazeghi]

The following reply was made to PR ada/9536; it has been noted by GNATS.

From: Dara Hazeghi <dhazeghi@yahoo.com>
To: gcc-gnats@gcc.gnu.org, simon@pushface.org
Cc:  
Subject: Re: ada/9536: Constraint error on valid Ada.Calendar.Time_Of
Date: Mon, 12 May 2003 17:38:52 -0700

 http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit- 
 trail&database=gcc&pr=9536
 
 Hello,
 
 I can't reproduce the problem reported here on gcc 3.2, but on 3.3  
 branch and mainline (20030511), I get the reported error. If this code  
 is correct, then this is a regression against 3.2.
 
 Dara
 

ada/9536: Constraint error on valid Ada.Calendar.Time_Of

[simon]

>Number:         9536
>Category:       ada
>Synopsis:       Constraint error on valid Ada.Calendar.Time_Of
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    unassigned
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Sat Feb 01 18:16:01 UTC 2003
>Closed-Date:
>Last-Modified:
>Originator:     Simon Wright
>Release:        3.4 20030201 (experimental)
>Organization:
>Environment:
i686-pc-linux-gnu
>Description:
The program below gives a constraint error when run:

smaug.pushface.org[8]$ ./time_constraint 

raised CONSTRAINT_ERROR : a-calend.adb:419 explicit raise

with Ada.Calendar;
procedure Time_Constraint is
   Epoch : constant Ada.Calendar.Time :=
     Ada.Calendar.Time_Of (Year => 1970,
                           Month => 1,
                           Day => 1);
begin
   null;
end Time_Constraint;
>How-To-Repeat:
Compile & run the program.
>Fix:
Looks like something wrong with 'Valid ..?
>Release-Note:
>Audit-Trail:
>Unformatted:
----gnatsweb-attachment----
Content-Type: application/octet-stream; name="time_constraint.adb"
Content-Transfer-Encoding: base64
Content-Disposition: attachment; filename="time_constraint.adb"

d2l0aCBBZGEuQ2FsZW5kYXI7CnByb2NlZHVyZSBUaW1lX0NvbnN0cmFpbnQgaXMKICAgRXBvY2gg
OiBjb25zdGFudCBBZGEuQ2FsZW5kYXIuVGltZSA6PQogICAgIEFkYS5DYWxlbmRhci5UaW1lX09m
IChZZWFyID0+IDE5NzAsCiAgICAgICAgICAgICAgICAgICAgICAgICAgIE1vbnRoID0+IDEsCiAg
ICAgICAgICAgICAgICAgICAgICAgICAgIERheSA9PiAxKTsKYmVnaW4KICAgbnVsbDsKZW5kIFRp
bWVfQ29uc3RyYWludDsK