public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug ada/32164] New: Bug box, Assert_Failure at einfo.adb:846, renaming predefined "=" and "/="
@ 2007-05-31 14:55 ludovic at ludovic-brenta dot org
2007-05-31 14:58 ` [Bug ada/32164] " ludovic at ludovic-brenta dot org
` (9 more replies)
0 siblings, 10 replies; 11+ messages in thread
From: ludovic at ludovic-brenta dot org @ 2007-05-31 14:55 UTC (permalink / raw)
To: gcc-bugs
(forwarded from the Debian bug tracking system)
package Pak1 is
type T1 is tagged null record;
function Eq(X, Y : T1) return Boolean renames "=";
function Neq(X, Y : T1) return Boolean renames "/="; -- line 4
end Pak1;
gnatmake pak1 yields:
gnatmake pak1
gcc-4.1 -c pak1.ads
+===========================GNAT BUG DETECTED==============================+
| 4.1.2 20061115 (prerelease) (Debian 4.1.1-22) (x86_64-pc-linux-gnu) |
| Assert_Failure einfo.adb:846 |
| Error detected at pak1.ads:4:43 |
The token that triggers the bug box is the "renames" in line 4.
Here is a second test case that triggers the same bug box:
package Pak1 is
type T1 is tagged null record;
function Eq (X, Y : T1) return Boolean renames "=";
type T2 is new T1 with null record;
function Eq (X, Y : T2) return Boolean renames "="; -- line 6
end Pak1;
gnatmake pak1
gcc-4.1 -c pak1.ads
+===========================GNAT BUG DETECTED==============================+
| 4.1.2 20061115 (prerelease) (Debian 4.1.1-22) (x86_64-pc-linux-gnu) |
| Assert_Failure einfo.adb:846 |
| Error detected at pak1.ads:6:43 |
The token that triggers this bug box is, again, the "renames" in line 6.
--
Summary: Bug box, Assert_Failure at einfo.adb:846, renaming
predefined "=" and "/="
Product: gcc
Version: 4.1.1
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: ada
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: ludovic at ludovic-brenta dot org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32164
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug ada/32164] Bug box, Assert_Failure at einfo.adb:846, renaming predefined "=" and "/="
2007-05-31 14:55 [Bug ada/32164] New: Bug box, Assert_Failure at einfo.adb:846, renaming predefined "=" and "/=" ludovic at ludovic-brenta dot org
@ 2007-05-31 14:58 ` ludovic at ludovic-brenta dot org
2007-05-31 20:38 ` [Bug ada/32164] [4.1/4.2 Regression] Ada ICE when " laurent at guerby dot net
` (8 subsequent siblings)
9 siblings, 0 replies; 11+ messages in thread
From: ludovic at ludovic-brenta dot org @ 2007-05-31 14:58 UTC (permalink / raw)
To: gcc-bugs
------- Comment #1 from ludovic at ludovic-brenta dot org 2007-05-31 14:58 -------
Same symptoms on i686-unknown-linux-gnu.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32164
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug ada/32164] [4.1/4.2 Regression] Ada ICE when renaming predefined "=" and "/="
2007-05-31 14:55 [Bug ada/32164] New: Bug box, Assert_Failure at einfo.adb:846, renaming predefined "=" and "/=" ludovic at ludovic-brenta dot org
2007-05-31 14:58 ` [Bug ada/32164] " ludovic at ludovic-brenta dot org
@ 2007-05-31 20:38 ` laurent at guerby dot net
2007-05-31 20:39 ` laurent at guerby dot net
` (7 subsequent siblings)
9 siblings, 0 replies; 11+ messages in thread
From: laurent at guerby dot net @ 2007-05-31 20:38 UTC (permalink / raw)
To: gcc-bugs
------- Comment #2 from laurent at guerby dot net 2007-05-31 20:37 -------
+===========================GNAT BUG DETECTED==============================+
| 4.2.0 (i686-pc-linux-gnu) Assert_Failure einfo.adb:853 |
| Error detected at pak1.ads:4:43 |
+===========================GNAT BUG DETECTED==============================+
| 4.1.2 (i686-pc-linux-gnu) Assert_Failure einfo.adb:846 |
| Error detected at pak1.ads:4:43 |
Compiles successfully with 3.4.6 and 4.0.4 so this is a regression.
--
laurent at guerby dot net changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |laurent at guerby dot net
Known to fail| |4.2.0 4.1.2
Known to work| |3.4.6 4.0.4
Summary|Bug box, Assert_Failure at |[4.1/4.2 Regression] Ada ICE
|einfo.adb:846, renaming |when renaming predefined "="
|predefined "=" and "/=" |and "/="
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32164
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug ada/32164] [4.1/4.2 Regression] Ada ICE when renaming predefined "=" and "/="
2007-05-31 14:55 [Bug ada/32164] New: Bug box, Assert_Failure at einfo.adb:846, renaming predefined "=" and "/=" ludovic at ludovic-brenta dot org
2007-05-31 14:58 ` [Bug ada/32164] " ludovic at ludovic-brenta dot org
2007-05-31 20:38 ` [Bug ada/32164] [4.1/4.2 Regression] Ada ICE when " laurent at guerby dot net
@ 2007-05-31 20:39 ` laurent at guerby dot net
2007-06-30 9:15 ` [Bug ada/32164] [4.1/4.2/4.3 " pinskia at gcc dot gnu dot org
` (6 subsequent siblings)
9 siblings, 0 replies; 11+ messages in thread
From: laurent at guerby dot net @ 2007-05-31 20:39 UTC (permalink / raw)
To: gcc-bugs
------- Comment #3 from laurent at guerby dot net 2007-05-31 20:39 -------
And still present on trunk from a few weeks ago:
+===========================GNAT BUG DETECTED==============================+
| 4.3.0 20070511 (experimental) (x86_64-unknown-linux-gnu) Assert_Failure
einfo.adb:852|
| Error detected at pak1.ads:4:43 |
--
laurent at guerby dot net changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Ever Confirmed|0 |1
Last reconfirmed|0000-00-00 00:00:00 |2007-05-31 20:39:36
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32164
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug ada/32164] [4.1/4.2/4.3 Regression] Ada ICE when renaming predefined "=" and "/="
2007-05-31 14:55 [Bug ada/32164] New: Bug box, Assert_Failure at einfo.adb:846, renaming predefined "=" and "/=" ludovic at ludovic-brenta dot org
` (2 preceding siblings ...)
2007-05-31 20:39 ` laurent at guerby dot net
@ 2007-06-30 9:15 ` pinskia at gcc dot gnu dot org
2007-07-04 3:21 ` mmitchel at gcc dot gnu dot org
` (5 subsequent siblings)
9 siblings, 0 replies; 11+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2007-06-30 9:15 UTC (permalink / raw)
To: gcc-bugs
--
pinskia at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |pinskia at gcc dot gnu dot
| |org
Target Milestone|--- |4.1.3
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32164
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug ada/32164] [4.1/4.2/4.3 Regression] Ada ICE when renaming predefined "=" and "/="
2007-05-31 14:55 [Bug ada/32164] New: Bug box, Assert_Failure at einfo.adb:846, renaming predefined "=" and "/=" ludovic at ludovic-brenta dot org
` (3 preceding siblings ...)
2007-06-30 9:15 ` [Bug ada/32164] [4.1/4.2/4.3 " pinskia at gcc dot gnu dot org
@ 2007-07-04 3:21 ` mmitchel at gcc dot gnu dot org
2008-02-24 8:37 ` [Bug ada/32164] [4.1/4.2/4.3/4.4 " sam at gcc dot gnu dot org
` (4 subsequent siblings)
9 siblings, 0 replies; 11+ messages in thread
From: mmitchel at gcc dot gnu dot org @ 2007-07-04 3:21 UTC (permalink / raw)
To: gcc-bugs
--
mmitchel at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Priority|P3 |P5
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32164
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug ada/32164] [4.1/4.2/4.3/4.4 Regression] Ada ICE when renaming predefined "=" and "/="
2007-05-31 14:55 [Bug ada/32164] New: Bug box, Assert_Failure at einfo.adb:846, renaming predefined "=" and "/=" ludovic at ludovic-brenta dot org
` (4 preceding siblings ...)
2007-07-04 3:21 ` mmitchel at gcc dot gnu dot org
@ 2008-02-24 8:37 ` sam at gcc dot gnu dot org
2008-07-04 22:13 ` [Bug ada/32164] [4.2/4.3/4.4 " jsm28 at gcc dot gnu dot org
` (3 subsequent siblings)
9 siblings, 0 replies; 11+ messages in thread
From: sam at gcc dot gnu dot org @ 2008-02-24 8:37 UTC (permalink / raw)
To: gcc-bugs
------- Comment #4 from sam at gcc dot gnu dot org 2008-02-24 08:36 -------
Confirmed with trunk, with the error signaled at another place:
+===========================GNAT BUG DETECTED==============================+
| 4.4.0 20080223 (experimental) (i686-pc-linux-gnu) GCC error: |
| in gnat_to_gnu_entity, at ada/decl.c:301 |
| Error detected at pak1.ads:2:9 |
--
sam at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |sam at gcc dot gnu dot org
Last reconfirmed|2007-05-31 20:39:36 |2008-02-24 08:36:26
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32164
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug ada/32164] [4.2/4.3/4.4 Regression] Ada ICE when renaming predefined "=" and "/="
2007-05-31 14:55 [Bug ada/32164] New: Bug box, Assert_Failure at einfo.adb:846, renaming predefined "=" and "/=" ludovic at ludovic-brenta dot org
` (5 preceding siblings ...)
2008-02-24 8:37 ` [Bug ada/32164] [4.1/4.2/4.3/4.4 " sam at gcc dot gnu dot org
@ 2008-07-04 22:13 ` jsm28 at gcc dot gnu dot org
2009-03-31 20:10 ` [Bug ada/32164] [4.3/4.4/4.5 " jsm28 at gcc dot gnu dot org
` (2 subsequent siblings)
9 siblings, 0 replies; 11+ messages in thread
From: jsm28 at gcc dot gnu dot org @ 2008-07-04 22:13 UTC (permalink / raw)
To: gcc-bugs
------- Comment #5 from jsm28 at gcc dot gnu dot org 2008-07-04 22:12 -------
Closing 4.1 branch.
--
jsm28 at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Summary|[4.1/4.2/4.3/4.4 Regression]|[4.2/4.3/4.4 Regression] Ada
|Ada ICE when renaming |ICE when renaming predefined
|predefined "=" and "/=" |"=" and "/="
Target Milestone|4.1.3 |4.2.5
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32164
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug ada/32164] [4.3/4.4/4.5 Regression] Ada ICE when renaming predefined "=" and "/="
2007-05-31 14:55 [Bug ada/32164] New: Bug box, Assert_Failure at einfo.adb:846, renaming predefined "=" and "/=" ludovic at ludovic-brenta dot org
` (6 preceding siblings ...)
2008-07-04 22:13 ` [Bug ada/32164] [4.2/4.3/4.4 " jsm28 at gcc dot gnu dot org
@ 2009-03-31 20:10 ` jsm28 at gcc dot gnu dot org
2009-08-04 12:39 ` rguenth at gcc dot gnu dot org
2010-05-22 18:19 ` [Bug ada/32164] [4.3/4.4/4.5/4.6 " rguenth at gcc dot gnu dot org
9 siblings, 0 replies; 11+ messages in thread
From: jsm28 at gcc dot gnu dot org @ 2009-03-31 20:10 UTC (permalink / raw)
To: gcc-bugs
------- Comment #6 from jsm28 at gcc dot gnu dot org 2009-03-31 20:09 -------
Closing 4.2 branch.
--
jsm28 at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Summary|[4.2/4.3/4.4/4.5 Regression]|[4.3/4.4/4.5 Regression] Ada
|Ada ICE when renaming |ICE when renaming predefined
|predefined "=" and "/=" |"=" and "/="
Target Milestone|4.2.5 |4.3.4
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32164
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug ada/32164] [4.3/4.4/4.5 Regression] Ada ICE when renaming predefined "=" and "/="
2007-05-31 14:55 [Bug ada/32164] New: Bug box, Assert_Failure at einfo.adb:846, renaming predefined "=" and "/=" ludovic at ludovic-brenta dot org
` (7 preceding siblings ...)
2009-03-31 20:10 ` [Bug ada/32164] [4.3/4.4/4.5 " jsm28 at gcc dot gnu dot org
@ 2009-08-04 12:39 ` rguenth at gcc dot gnu dot org
2010-05-22 18:19 ` [Bug ada/32164] [4.3/4.4/4.5/4.6 " rguenth at gcc dot gnu dot org
9 siblings, 0 replies; 11+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2009-08-04 12:39 UTC (permalink / raw)
To: gcc-bugs
------- Comment #7 from rguenth at gcc dot gnu dot org 2009-08-04 12:28 -------
GCC 4.3.4 is being released, adjusting target milestone.
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|4.3.4 |4.3.5
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32164
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug ada/32164] [4.3/4.4/4.5/4.6 Regression] Ada ICE when renaming predefined "=" and "/="
2007-05-31 14:55 [Bug ada/32164] New: Bug box, Assert_Failure at einfo.adb:846, renaming predefined "=" and "/=" ludovic at ludovic-brenta dot org
` (8 preceding siblings ...)
2009-08-04 12:39 ` rguenth at gcc dot gnu dot org
@ 2010-05-22 18:19 ` rguenth at gcc dot gnu dot org
9 siblings, 0 replies; 11+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2010-05-22 18:19 UTC (permalink / raw)
To: gcc-bugs
------- Comment #8 from rguenth at gcc dot gnu dot org 2010-05-22 18:11 -------
GCC 4.3.5 is being released, adjusting target milestone.
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|4.3.5 |4.3.6
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32164
^ permalink raw reply [flat|nested] 11+ messages in thread
end of thread, other threads:[~2010-05-22 18:19 UTC | newest]
Thread overview: 11+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2007-05-31 14:55 [Bug ada/32164] New: Bug box, Assert_Failure at einfo.adb:846, renaming predefined "=" and "/=" ludovic at ludovic-brenta dot org
2007-05-31 14:58 ` [Bug ada/32164] " ludovic at ludovic-brenta dot org
2007-05-31 20:38 ` [Bug ada/32164] [4.1/4.2 Regression] Ada ICE when " laurent at guerby dot net
2007-05-31 20:39 ` laurent at guerby dot net
2007-06-30 9:15 ` [Bug ada/32164] [4.1/4.2/4.3 " pinskia at gcc dot gnu dot org
2007-07-04 3:21 ` mmitchel at gcc dot gnu dot org
2008-02-24 8:37 ` [Bug ada/32164] [4.1/4.2/4.3/4.4 " sam at gcc dot gnu dot org
2008-07-04 22:13 ` [Bug ada/32164] [4.2/4.3/4.4 " jsm28 at gcc dot gnu dot org
2009-03-31 20:10 ` [Bug ada/32164] [4.3/4.4/4.5 " jsm28 at gcc dot gnu dot org
2009-08-04 12:39 ` rguenth at gcc dot gnu dot org
2010-05-22 18:19 ` [Bug ada/32164] [4.3/4.4/4.5/4.6 " rguenth 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).