[Bug ada/32792] New: Assert_Failure sinfo.adb:1730

2007-07-17 Thread bug63 at freakmail dot de 
--  bug.adb
with Text_IO;
use Text_IO;

procedure Bug is
   typeS 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

[Bug ada/32802] New: Assert_Failure sinfo.adb:1730

2007-07-17 Thread bug63 at freakmail dot de 
--  bug.adb
with Text_IO;
use Text_IO;

procedure Bug is
   typeS 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=32802

[Bug ada/32802] Assert_Failure sinfo.adb:1730

2007-07-17 Thread bug63 at freakmail dot de 


--- Comment #1 from bug63 at freakmail dot de  2007-07-18 05:15 ---


*** This bug has been marked as a duplicate of 32792 ***


-- 

bug63 at freakmail dot de changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution||DUPLICATE


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

[Bug ada/32792] Assert_Failure sinfo.adb:1730

2007-07-17 Thread bug63 at freakmail dot de 


--- Comment #1 from bug63 at freakmail dot de  2007-07-18 05:15 ---
*** Bug 32802 has been marked as a duplicate of this bug. ***


-- 


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