Bug 18876 - Bug box, Assert_Failure at namet.adb:630, on legal program
Summary: Bug box, Assert_Failure at namet.adb:630, on legal program
Status: RESOLVED FIXED
Alias: None
Product: gcc
Classification: Unclassified
Component: ada (show other bugs)
Version: 3.4.2
: P2 normal
Target Milestone: 4.3.0
Assignee: Not yet assigned to anyone
URL:
Keywords: ice-on-valid-code
Depends on:
Blocks:
 
Reported: 2004-12-07 18:57 UTC by Ludovic Brenta
Modified: 2007-05-04 13:42 UTC (History)
1 user (show)

See Also:
Host:
Target:
Build:
Known to work:
Known to fail: 4.0.0
Last reconfirmed: 2006-03-19 06:42:24

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Ludovic Brenta 2004-12-07 18:57:22 UTC 
(Debian bug #284651)

with ada.finalization;
package Test_137 is
   type T1 is new ada.finalization.controlled with null record;
   procedure p(x: access T1);
end Test_137;

package body Test_137 is
   procedure p(x: access T1) is
   begin
      null;
   end p;
   y: T1;
begin
   p(new T1'(y));
end Test_137;


With gnat 3.15p-12:

+===========================GNAT BUG DETECTED==============================+
| 3.15p  (20020523) (i486-pc-linux-gnu) Assert_Failure namet.adb:581       |
| No source file position information available                            |

With gcc-3.4 3.4.2-2:

+===========================GNAT BUG DETECTED==============================+
| 3.4.2 (Debian 3.4.2-2) (i486-pc-linux-gnu) Assert_Failure namet.adb:630  |
| Error detected at test_137.adb:9:6                                       |
Comment 1 Andrew Pinski 2004-12-07 18:59:06 UTC 
Confirmed on the mainline:
+===========================GNAT BUG 
DETECTED==============================+
| 4.0.0 20041204 (experimental) (powerpc-apple-darwin7.6.0) GCC error:     |
| in gnat_to_gnu_entity, at ada/decl.c:267                                 |
| Error detected at test_137.adb:9:6                                       |
| 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).                   |
+==============================================================
============+
Comment 2 Arnaud Charlet 2007-05-04 13:42:53 UTC 
Compiles cleanly on trunk