public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug ada/34799] New: [Ada] Assertion fails when no component clause is given for generic record member
@ 2008-01-15 15:48 markus dot heichel at comsoft dot de
2008-02-24 9:12 ` [Bug ada/34799] " sam at gcc dot gnu dot org
` (2 more replies)
0 siblings, 3 replies; 4+ messages in thread
From: markus dot heichel at comsoft dot de @ 2008-01-15 15:48 UTC (permalink / raw)
To: gcc-bugs
In the example below gcc reports an assertion failure, when warnings are
switched on.
> gcc -c -gnatwa status.ads
fails, while
> gcc -c status.ads
is working.
The snapshot 4.3.0 20070921 is correctly warning 'no component clause given for
"C" declared at line 12' while later snapshots (e.g. 4.3.0 20080111) fail.
status.ads
================================================
package STATUS is
generic
type CUSTOM_T is private;
package HANDLER is
type STORAGE_T is record
A : Boolean;
B : Boolean;
C : CUSTOM_T;
end record;
for STORAGE_T use record
A at 0 range 0..0;
B at 1 range 0..0;
end record;
end HANDLER;
end STATUS;
================================================
--
Summary: [Ada] Assertion fails when no component clause is given
for generic record member
Product: gcc
Version: 4.3.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: ada
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: markus dot heichel at comsoft dot de
GCC build triplet: i686-pc-linux
GCC host triplet: i686-pc-linux
GCC target triplet: i686-pc-linux
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34799
^ permalink raw reply [flat|nested] 4+ messages in thread
* [Bug ada/34799] [Ada] Assertion fails when no component clause is given for generic record member
2008-01-15 15:48 [Bug ada/34799] New: [Ada] Assertion fails when no component clause is given for generic record member markus dot heichel at comsoft dot de
@ 2008-02-24 9:12 ` sam at gcc dot gnu dot org
2008-02-27 11:55 ` sam at gcc dot gnu dot org
2008-02-27 11:58 ` sam at gcc dot gnu dot org
2 siblings, 0 replies; 4+ messages in thread
From: sam at gcc dot gnu dot org @ 2008-02-24 9:12 UTC (permalink / raw)
To: gcc-bugs
--
sam at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
AssignedTo|unassigned at gcc dot gnu |sam at gcc dot gnu dot org
|dot org |
Status|UNCONFIRMED |ASSIGNED
Ever Confirmed|0 |1
Last reconfirmed|0000-00-00 00:00:00 |2008-02-24 09:11:35
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34799
^ permalink raw reply [flat|nested] 4+ messages in thread
* [Bug ada/34799] [Ada] Assertion fails when no component clause is given for generic record member
2008-01-15 15:48 [Bug ada/34799] New: [Ada] Assertion fails when no component clause is given for generic record member markus dot heichel at comsoft dot de
2008-02-24 9:12 ` [Bug ada/34799] " sam at gcc dot gnu dot org
@ 2008-02-27 11:55 ` sam at gcc dot gnu dot org
2008-02-27 11:58 ` sam at gcc dot gnu dot org
2 siblings, 0 replies; 4+ messages in thread
From: sam at gcc dot gnu dot org @ 2008-02-27 11:55 UTC (permalink / raw)
To: gcc-bugs
------- Comment #1 from sam at gcc dot gnu dot org 2008-02-27 11:54 -------
Subject: Bug 34799
Author: sam
Date: Wed Feb 27 11:53:55 2008
New Revision: 132707
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=132707
Log:
gcc/ada/
PR ada/34799
* sem_ch13.adb (Analyze_Record_Representation_Clause): Check
that underlying type is present.
gcc/testsuite/
PR ada/34799
* gnat.dg/specs/pr34799.ads: New test.
Added:
trunk/gcc/testsuite/gnat.dg/specs/pr34799.ads
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/sem_ch13.adb
trunk/gcc/testsuite/ChangeLog
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34799
^ permalink raw reply [flat|nested] 4+ messages in thread
* [Bug ada/34799] [Ada] Assertion fails when no component clause is given for generic record member
2008-01-15 15:48 [Bug ada/34799] New: [Ada] Assertion fails when no component clause is given for generic record member markus dot heichel at comsoft dot de
2008-02-24 9:12 ` [Bug ada/34799] " sam at gcc dot gnu dot org
2008-02-27 11:55 ` sam at gcc dot gnu dot org
@ 2008-02-27 11:58 ` sam at gcc dot gnu dot org
2 siblings, 0 replies; 4+ messages in thread
From: sam at gcc dot gnu dot org @ 2008-02-27 11:58 UTC (permalink / raw)
To: gcc-bugs
------- Comment #2 from sam at gcc dot gnu dot org 2008-02-27 11:57 -------
Fixed in SVN trunk
--
sam at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution| |FIXED
Target Milestone|--- |4.4.0
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34799
^ permalink raw reply [flat|nested] 4+ messages in thread
end of thread, other threads:[~2008-02-27 11:58 UTC | newest]
Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2008-01-15 15:48 [Bug ada/34799] New: [Ada] Assertion fails when no component clause is given for generic record member markus dot heichel at comsoft dot de
2008-02-24 9:12 ` [Bug ada/34799] " sam at gcc dot gnu dot org
2008-02-27 11:55 ` sam at gcc dot gnu dot org
2008-02-27 11:58 ` sam 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).