-- bug.adb
with Text_IO;
use Text_IO;
procedure Bug is
type S is range 0 .. 1000;
begin
Put_Line (S'Image (S'Integer_Value (12.8)));
end Bug;
**********************************************
gnat make -gnatf -gnato -gnatv -gnatVa -gnatwa -gnaty bug.adb
gcc-4.1 -c -gnatf -gnato -gnatv -gnatVa -gnatwa -gnaty bug.adb
GNAT 4.1.2 20061115 (prerelease) (Debian 4.1.1-22)
Copyright 1992-2005 Free Software Foundation, Inc.
Compiling: bug.adb (source file time stamp: 2007-07-17 11:05:32)
+===========================GNAT BUG DETECTED==============================+
| 4.1.2 20061115 (prerelease) (Debian 4.1.1-22) (i486-pc-linux-gnu) |
| Assert_Failure sinfo.adb:1730 |
| Error detected at bug.adb:7:24 |
...
bug.adb
8 lines: No errors
compilation abandoned
gnatmake: "bug.adb" compilation error
make: *** [bug] Fehler 4
--
Summary: Assert_Failure sinfo.adb:1730
Product: gcc
Version: 4.1.2
Status: UNCONFIRMED
Severity: trivial
Priority: P3
Component: ada
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: bug63 at freakmail dot de
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32792
