[Bug ada/25838] Ada Assert Failure with Bug Box

[pinskia 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