[Bug ada/15616] New: Linking error on legal program using generic package

[Bug ada/15616] New: Linking error on legal program using generic package

[ludovic dot brenta at insalien dot org]

procedure Test_246184 is
   generic
      type T1 is range <>;
   package pak1 is
      procedure p1 (x: in out T1);
   end pak1;

   package body pak1 is
      procedure p1 (x: in out T1'base) is
      begin
         null;
      end p1;
   end pak1;

   package np1 is new pak1(integer);
   x1: integer;
begin
   np1.p1(x1);
end Test_246184;


./test_246184.o(.text+0x15): In function `_ada_test_246184':
: undefined reference to `test_246184__np1__p1.1'
collect2: ld returned 1 exit status
gnatlink: cannot call /usr/bin/gcc-3.4
gnatmake: *** link failed.

-- 
           Summary: Linking error on legal program using generic package
           Product: gcc
           Version: 3.4.0
            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
 GCC build triplet: i686-pc-linux-gnu
  GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu


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

[Bug ada/15616] Linking error on legal program using generic package

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |wrong-code


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

[Bug ada/15616] Linking error on legal program using generic package

[charlet at gcc dot gnu dot org]

------- Additional Comments From charlet at gcc dot gnu dot org  2004-05-24 21:48 -------
For our interest, where do all these reports come from ?
Do they come from various debian bug reports ? Or from your
own project/code ?

Are they coming from real world source code or from experiments ?

Arno

-- 


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

[Bug ada/15616] Linking error on legal program using generic package

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-10-29 17:18 -------
Confirmed on the mainline we get an ICE because the nested function is not being processed at all.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
           Keywords|                            |ice-on-valid-code
   Last reconfirmed|0000-00-00 00:00:00         |2004-10-29 17:18:30
               date|                            |


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

[Bug ada/15616] [4.0 Regression] Linking error on legal program using generic package

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-01-28 06:27 -------
The ICE is a regression.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|Linking error on legal      |[4.0 Regression] Linking
                   |program using generic       |error on legal program using
                   |package                     |generic package


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

[Bug ada/15616] [4.0/4.1 Regression] Linking error on legal program using generic package

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.1.0


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

[Bug ada/15616] [4.0 Regression] Linking error on legal program using generic package

[laurent at guerby dot net]

------- Additional Comments From laurent at guerby dot net  2005-06-19 15:59 -------
With mainline 4.1 20050619, invalid code is flagged:

test_246184.adb:9:17: not fully conformant with declaration at line 5
test_246184.adb:9:17: type of "x" does not match


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|ice-on-valid-code, wrong-   |ice-on-invalid-code
                   |code                        |
            Summary|[4.0/4.1 Regression] Linking|[4.0 Regression] Linking
                   |error on legal program using|error on legal program using
                   |generic package             |generic package


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

[Bug ada/15616] Compiler error on legal program using generic package

[charlet at gcc dot gnu dot org]

------- Additional Comments From charlet at gcc dot gnu dot org  2005-06-20 07:59 -------
So the "regression" is fixed on mainline. Changing subject and keyword.
Note that the ICE was apparently caused by a missing processing of the nested
procedure, probably middle-end rather than front-end related.

Arno

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|ice-on-invalid-code         |rejects-valid
            Summary|[4.0 Regression] Linking    |Compiler error on legal
                   |error on legal program using|program using generic
                   |generic package             |package
   Target Milestone|4.1.0                       |---


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