This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug ada/25838] Ada Assert Failure with Bug Box
- From: "pinskia at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 19 Mar 2006 07:50:00 -0000
- Subject: [Bug ada/25838] Ada Assert Failure with Bug Box
- References: <bug-25838-8629@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Comment #2 from pinskia at gcc dot gnu dot org 2006-03-19 07:49 -------
Reduced testcase:
with Implementing_Interface;
procedure Bugs_Test is
begin
declare
use Implementing_Interface;
begin
Serialized_Code (Gary_Left);
end;
end Bugs_Test;
with Abstract_Interface;
package Implementing_Interface is
task Gary_Left is new Abstract_Interface.Mutex with
end;
use Abstract_Interface;
procedure Serialized_Code (Obj : in out Event'Class);
end Implementing_Interface;
package Abstract_Interface is
type Mutex is task interface;
type Event is synchronized interface;
end Abstract_Interface;
--
pinskia at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
GCC build triplet|4.1.0 20060106 (prerelease) |
|(i686-pc-linux-gnu) |
GCC host triplet|Red Hat Linux 9.0 on i686 |
GCC target triplet|i686 |
Last reconfirmed|2006-01-18 07:27:23 |2006-03-19 07:50:00
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25838