public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug ada/16525] New: 3.3.4 (i486-slackware-linux-gnu) Assert_Failure einfo.adb:435
@ 2004-07-13 17:18 bernard dot weisser at wanadoo dot fr
2004-07-13 17:22 ` [Bug ada/16525] " pinskia at gcc dot gnu dot org
2004-10-12 3:39 ` pinskia at gcc dot gnu dot org
0 siblings, 2 replies; 3+ messages in thread
From: bernard dot weisser at wanadoo dot fr @ 2004-07-13 17:18 UTC (permalink / raw)
To: gcc-bugs
BUGS_REPORTED 22> cat log.dm-tools
BUGS_REPORTED 16> gcc -v
Reading specs from /usr/lib/gcc-lib/i486-slackware-linux/3.3.4/specs
Configured with: ../gcc-3.3.4/configure --prefix=/usr --enable-shared
--enable-threads=posix --enable-__cxa_atexit --disable-checking --with-gnu-ld
--verbose --target=i486-slackware-linux --host=i486-slackware-linux
Thread model: posix
gcc version 3.3.4
+ gcc -c -gnatE dm-tools.adb
+===========================GNAT BUG DETECTED==============================+
| 3.3.4 (i486-slackware-linux-gnu) Assert_Failure einfo.adb:435 |
| Error detected at dm-tools.adb:4:16 |
| Please submit a bug report; see http://gcc.gnu.org/bugs.html. |
| Include the entire contents of this bug box in the report. |
| Include the exact gcc or gnatmake command that you entered. |
| Also include sources listed below in gnatchop format |
| concatenated together with no headers between files. |
+==========================================================================+
package Dm is
pragma Elaborate_Body;
type Index is new Integer;
subtype Rank is Index range 1..Index'Last;
type Class_Type is (Bln,Int,Flt,Chr,Ptr,Txt,Enu,Mut,Rec,Tab,Lst);
type Name_Record (Size : Natural) is record
Shared : Boolean;
Image : String (1 .. Size);
end record;
type Name is access Name_Record;
Null_Name : constant Name := null;
end Dm;
with Dm.Descriptors;
package Dm.Variables is
pragma Elaborate_Body;
package Dmd renames Dm.Descriptors;
type Variable is private;
Null_Var : constant Variable;
type Mut_Value is
record
Descr_Index: Rank;
Var : Variable := Null_Var;
end record;
function Descriptor_Of (Var: Variable) return Dmd.Descriptor;
function Get (Mut_Var: Variable) return Mut_Value;
private
type Variable_Body;
type Variable is access Variable_Body;
Null_Var : constant Variable := null;
end Dm.Variables;
package Dm.Descriptors is
pragma Elaborate_Body;
type Descriptor is private;
Null_Descr: constant Descriptor;
type Named_Descriptor is private;
function Descr_Of (Nd : Named_Descriptor) return Descriptor;
function Choice_Of(Mut_Descr: Descriptor; Pos: Rank) return Named_Descriptor;
private
type Descriptor_Body (Class: Class_Type);
type Descriptor is access Descriptor_Body;
Null_Descr: constant Descriptor := null;
type Named_Descriptor is
record
N: Name;
D: Descriptor;
end record;
Null_Named_Descr: constant Named_Descriptor := (N=>Null_Name,D=>Null_Descr);
end Dm.Descriptors;
private package Dm.Tools is
pragma Elaborate_Body;
end Dm.Tools ;
with Dm.Descriptors;
with Dm.Variables;
package body Dm.Tools is
package Dmd renames Dm.Descriptors;
package Dmv renames Dm.Variables;
generic
procedure Gen_Sweep (From,To: in out Dmv.Variable;
Descr : in Dmd.Descriptor := Dmd.Null_Descr);
procedure Gen_Sweep (From,To: in out Dmv.Variable;
Descr : in Dmd.Descriptor := Dmd.Null_Descr)
is
procedure Deep_Mut (Fd: in Dmd.Descriptor) is
From_Mut_Val: Dmv.Mut_Value;
To_Mut_Val : Dmv.Mut_Value;
begin
From_Mut_Val := Dmv.Get(From);
To_Mut_Val := Dmv.Get(To );
-- COMMENTER ICI
Gen_Sweep (From_Mut_Val.Var,
To_Mut_Val .Var,
Dmd.Descr_Of(Dmd.Choice_Of(Fd,From_Mut_Val.Descr_Index)));
end Deep_Mut;
begin
Deep_Mut (Dmv.Descriptor_Of(From));
end Gen_Sweep;
end Dm.Tools;
--
Summary: 3.3.4 (i486-slackware-linux-gnu) Assert_Failure
einfo.adb:435
Product: gcc
Version: 3.3.4
Status: UNCONFIRMED
Severity: normal
Priority: P2
Component: ada
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: bernard dot weisser at wanadoo dot fr
CC: gcc-bugs at gcc dot gnu dot org
GCC host triplet: i486-slackware-linux
GCC target triplet: i486-slackware-linux
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=16525
^ permalink raw reply [flat|nested] 3+ messages in thread
* [Bug ada/16525] 3.3.4 (i486-slackware-linux-gnu) Assert_Failure einfo.adb:435
2004-07-13 17:18 [Bug ada/16525] New: 3.3.4 (i486-slackware-linux-gnu) Assert_Failure einfo.adb:435 bernard dot weisser at wanadoo dot fr
@ 2004-07-13 17:22 ` pinskia at gcc dot gnu dot org
2004-10-12 3:39 ` pinskia at gcc dot gnu dot org
1 sibling, 0 replies; 3+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-07-13 17:22 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2004-07-13 17:22 -------
Can you try 3.4.0?
--
What |Removed |Added
----------------------------------------------------------------------------
Keywords| |ice-on-valid-code
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=16525
^ permalink raw reply [flat|nested] 3+ messages in thread
* [Bug ada/16525] 3.3.4 (i486-slackware-linux-gnu) Assert_Failure einfo.adb:435
2004-07-13 17:18 [Bug ada/16525] New: 3.3.4 (i486-slackware-linux-gnu) Assert_Failure einfo.adb:435 bernard dot weisser at wanadoo dot fr
2004-07-13 17:22 ` [Bug ada/16525] " pinskia at gcc dot gnu dot org
@ 2004-10-12 3:39 ` pinskia at gcc dot gnu dot org
1 sibling, 0 replies; 3+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-10-12 3:39 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2004-10-12 03:39 -------
Confirmed on the mainline:
+===========================GNAT BUG
DETECTED==============================+
| 4.0.0 20041008 (experimental) (powerpc-apple-darwin7.4.1) Assert_Failure einfo.adb:458|
| Error detected at dm-tools.adb:4:16 |
| Please submit a bug report; see http://gcc.gnu.org/bugs.html. |
| Include the entire contents of this bug box in the report. |
| Include the exact gcc or gnatmake command that you entered. |
| Also include sources listed below in gnatchop format |
| (concatenated together with no headers between files). |
+==============================================================
============+
--
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Ever Confirmed| |1
Last reconfirmed|0000-00-00 00:00:00 |2004-10-12 03:39:30
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=16525
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2004-10-12 3:39 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2004-07-13 17:18 [Bug ada/16525] New: 3.3.4 (i486-slackware-linux-gnu) Assert_Failure einfo.adb:435 bernard dot weisser at wanadoo dot fr
2004-07-13 17:22 ` [Bug ada/16525] " pinskia at gcc dot gnu dot org
2004-10-12 3:39 ` pinskia at gcc dot gnu dot org
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).