+===========================GNAT BUG DETECTED==============================+ | 4.1.2 (Ubuntu 4.1.2-0ubuntu4) (x86_64-pc-linux-gnu) Assert_Failure sinfo.adb:351| | Error detected at status_bar.ads:14:3 | | Please submit a bug report; see http://gcc.gnu.org/bugs.html. | | Use a subject line meaningful to you and us to track the bug. | | Include the entire contents of this bug box in the report. | | Include the exact gcc-4.1 or gnatmake command that you entered. | | Also include sources listed below in gnatchop format | | (concatenated together with no headers between files). | +==========================================================================+
-------------------------------------------------------------------------------- -- Tutorial to show the usage of limited with in Ada 2005. -- Copyright (C) 2007 Luke A. Guest -- -- This program is free software; you can redistribute it and/or modify -- it under the terms of the GNU General Public License as published by -- the Free Software Foundation; either version 3 of the License, or -- (at your option) any later version. -- -- This program is distributed in the hope that it will be useful, -- but WITHOUT ANY WARRANTY; without even the implied warranty of -- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the -- GNU General Public License for more details. -- -- You should have received a copy of the GNU General Public License -- along with this program. If not, see <http://www.gnu.org/licenses/>. -------------------------------------------------------------------------------- with Status_Bar; package Window is type Window_Type is tagged private; procedure Add_Status_Bar( Self : in out Window_Type; Bar : in Status_Bar.Status_Bar_Type); private type Window_Type is tagged record Bar : Status_Bar.Status_Bar_Type; end record; end Window; with Ada.Text_IO; package body Window is procedure Add_Status_Bar( Self : in out Window_Type; Bar : in Status_Bar.Status_Bar_Type) is begin Self.Bar := Bar; -- Status_Bar.Set_Parent(Bar, Self'Access); Ada.Text_IO.Put_Line("Add_Status_Bar"); end Add_Status_Bar; end Window; limited with Window; package Status_Bar is type Status_Bar_Type is tagged private; procedure Set_Parent( Self : in Status_Bar_Type; Parent : access Window.Window_Type'Class); private type Status_Bar_Type is tagged record Parent : access Window.Window_Type'Class; end record; end Status_Bar; with Ada.Text_IO; package body Status_Bar is procedure Set_Parent( Self : in Status_Bar_Type; Parent : access Window.Window_Type'Class) is begin Ada.Text_IO.Put_Line("Set_Parent"); Self.Parent := Parent; end Set_Parent; end Status_Bar; with Window; with Status_Bar; procedure Test is Frame : aliased Window.Window_Type; Bar : Status_Bar.Status_Bar_Type; begin Window.Add_Status_Bar(Frame, Bar); end Test; -- Summary: Ada 2005 ICE on limited with'ing Product: gcc Version: 4.1.2 Status: UNCONFIRMED Severity: normal Priority: P3 Component: ada AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: laguest at archangeli dot demon dot co dot uk GCC build triplet: x86_64-pc-linux-gnu GCC host triplet: x86_64-pc-linux-gnu GCC target triplet: x86_64-pc-linux-gnu http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33071
