[Bug ada/18876] New: Bug box, Assert_Failure at namet.adb:630, on legal program

["ludovic dot brenta at insalien dot org" <gcc-bugzilla at gcc dot gnu dot org>]

(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                                       |

-- 
           Summary: Bug box, Assert_Failure at namet.adb:630, on legal
                    program
           Product: gcc
           Version: 3.4.2
            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


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18876