[Bug ada/12450] New: [3.3 regression] Constraint error for valid input

[debian-gcc at lists dot debian dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12450

           Summary: [3.3 regression] Constraint error for valid input
           Product: gcc
           Version: 3.3.2
            Status: UNCONFIRMED
          Severity: critical
          Priority: P2
         Component: ada
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: debian-gcc at lists dot debian dot org
                CC: gcc-bugs at gcc dot gnu dot org

[forwarded from http://bugs.debian.org/210844]

works with gnat-3.2.3 as well (i486-linux).

As far as I can tell, this program is valid. It runs fine under
gnat 3.14p-3 in fact:

--- cut ---
[517] [snoopy:bam] ~/tmp/ada/bugs >cat test_calendar.adb
with Ada.Calendar;
use Ada.Calendar;

procedure Test_Calendar is
	T : Time;
begin
	T := Time_Of(2002,8,18,0.0);
end Test_Calendar;
--- cut ---

It compiles find with gnat 3.3 with no warnings:

--- cut ---
[515] [snoopy:bam] ~/tmp/ada/bugs >gnatmake -v test_calendar.adb

GNATMAKE 3.3.2 20030908 (Debian prerelease) Copyright 1995-2002 Free Software
Foundation, Inc.
  "test_calendar.ali" being checked ...
  -> "test_calendar.adb" time stamp mismatch
gcc-3.3 -c test_calendar.adb
End of compilation
gnatbind -x test_calendar.ali
gnatlink test_calendar.ali
--- cut ---

But when running it it comes with a constraint error:

--- cut ---
[516] [snoopy:bam] ~/tmp/ada/bugs >./test_calendar            

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

I cannot see any good reason for this constraint error.