public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug ada/15608] New: Bug box at sem_ch3.adb:8228
@ 2004-05-23 23:37 ludovic dot brenta at insalien dot org
2004-10-12 3:52 ` [Bug ada/15608] " pinskia at gcc dot gnu dot org
` (2 more replies)
0 siblings, 3 replies; 4+ messages in thread
From: ludovic dot brenta at insalien dot org @ 2004-05-23 23:37 UTC (permalink / raw)
To: gcc-bugs
package Test_244940 is
type T1 (b : Boolean) is limited private;
subtype T2 is T1;
private
task type T1 (b : Boolean);
end Test_244940;
package body Test_244940 is
task body T1 is
begin
null;
end T1;
x: T2(false);
end Test_244940;
+===========================GNAT BUG DETECTED==============================+
| 3.4.0 (Debian) (i486-pc-linux-gnu) Assert_Failure sem_ch3.adb:8228 |
| Error detected at test_244940.adb:10:5 |
| 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-3.4 or gnatmake command that you entered. |
| Also include sources listed below in gnatchop format |
| (concatenated together with no headers between files). |
+==========================================================================+
--
Summary: Bug box at sem_ch3.adb:8228
Product: gcc
Version: 3.4.0
Status: UNCONFIRMED
Severity: normal
Priority: P2
Component: ada
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: ludovic dot brenta at insalien dot org
CC: gcc-bugs at gcc dot gnu dot org
GCC build triplet: i686-pc-linux-gnu
GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15608
^ permalink raw reply [flat|nested] 4+ messages in thread
* [Bug ada/15608] Bug box at sem_ch3.adb:8228
2004-05-23 23:37 [Bug ada/15608] New: Bug box at sem_ch3.adb:8228 ludovic dot brenta at insalien dot org
@ 2004-10-12 3:52 ` pinskia at gcc dot gnu dot org
2005-03-15 16:13 ` cvs-commit at gcc dot gnu dot org
2005-03-15 16:17 ` charlet at gcc dot gnu dot org
2 siblings, 0 replies; 4+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-10-12 3:52 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2004-10-12 03:52 -------
Confirmed on the mainline:
+===========================GNAT BUG
DETECTED==============================+
| 4.0.0 20041008 (experimental) (powerpc-apple-darwin7.4.1) Assert_Failure sem_ch3.adb:8760|
| Error detected at test_244940.adb:10:5 |
| 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
Keywords| |ice-on-valid-code
Last reconfirmed|0000-00-00 00:00:00 |2004-10-12 03:52:30
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15608
^ permalink raw reply [flat|nested] 4+ messages in thread
* [Bug ada/15608] Bug box at sem_ch3.adb:8228
2004-05-23 23:37 [Bug ada/15608] New: Bug box at sem_ch3.adb:8228 ludovic dot brenta at insalien dot org
2004-10-12 3:52 ` [Bug ada/15608] " pinskia at gcc dot gnu dot org
@ 2005-03-15 16:13 ` cvs-commit at gcc dot gnu dot org
2005-03-15 16:17 ` charlet at gcc dot gnu dot org
2 siblings, 0 replies; 4+ messages in thread
From: cvs-commit at gcc dot gnu dot org @ 2005-03-15 16:13 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From cvs-commit at gcc dot gnu dot org 2005-03-15 16:13 -------
Subject: Bug 15608
CVSROOT: /cvs/gcc
Module name: gcc
Changes by: charlet@gcc.gnu.org 2005-03-15 16:12:59
Modified files:
gcc/ada : sem_util.adb
Log message:
2005-03-08 Ed Schonberg <schonberg@adacore.com>
Javier Miranda <miranda@adacore.com>
PR ada/15608
* sem_util.adb (Get_Task_Body_Procedure): Type may be the completion
of a private type, in which case it is underlying_type that denotes
the proper task. Also modified to use the new entity attribute
that is directly available in the task type and task subtype entities
(Build_Actual_Subtype_Of_Component): Handle properly multidimensional
arrays when other dimensions than the first are constrained by
discriminants of an enclosing record.
(Insert_Explicit_Dereference): If the prefix is an indexed component or
a combination of indexed and selected components, find ultimate entity
and generate the appropriate reference for it, to suppress spurious
warnings.
(Note_Possible_Modification): If an entity name has no entity, return.
(Is_Variable): A function call never denotes a variable.
(Requires_Transient_Scope): For record types, recurse only on
components, not on internal subtypes that may have been generated for
constrained components.
Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/sem_util.adb.diff?cvsroot=gcc&r1=1.48&r2=1.49
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15608
^ permalink raw reply [flat|nested] 4+ messages in thread
* [Bug ada/15608] Bug box at sem_ch3.adb:8228
2004-05-23 23:37 [Bug ada/15608] New: Bug box at sem_ch3.adb:8228 ludovic dot brenta at insalien dot org
2004-10-12 3:52 ` [Bug ada/15608] " pinskia at gcc dot gnu dot org
2005-03-15 16:13 ` cvs-commit at gcc dot gnu dot org
@ 2005-03-15 16:17 ` charlet at gcc dot gnu dot org
2 siblings, 0 replies; 4+ messages in thread
From: charlet at gcc dot gnu dot org @ 2005-03-15 16:17 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From charlet at gcc dot gnu dot org 2005-03-15 16:17 -------
Fixed on mainline.
--
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
Target Milestone|--- |4.1.0
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15608
^ permalink raw reply [flat|nested] 4+ messages in thread
end of thread, other threads:[~2005-03-15 16:17 UTC | newest]
Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2004-05-23 23:37 [Bug ada/15608] New: Bug box at sem_ch3.adb:8228 ludovic dot brenta at insalien dot org
2004-10-12 3:52 ` [Bug ada/15608] " pinskia at gcc dot gnu dot org
2005-03-15 16:13 ` cvs-commit at gcc dot gnu dot org
2005-03-15 16:17 ` charlet 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).