[Bug ada/22164] New: GNAT rejects matching parameter in generic instantiation as non-matching

[Bug ada/22164] New: GNAT rejects matching parameter in generic instantiation as non-matching

[ludovic dot brenta at insalien dot org]

(Debian bug #315414)

--  ARM 15.5.3(7): "The component subtypes of the formal and actual
--  array types shall statically match."

generic
package P is
    type T is private;
private
    type T is new Integer;
end P;

generic
    type Formal_Array_Type is array (Positive range <>) of T;
package P.Q is
end P.Q;


with P.Q;
package Test_315414 is
    package Instance_Of_P is new P;

    type Array_Type is array (Positive range <>) of Instance_Of_P.T;

    package Instance_Of_Q is new P.Q (Formal_Array_Type => Array_Type);
end Test_315414;


The compiler should accept the program, but says:

test_315414.ads:9:49: component subtype of actual does not match that of formal
"Formal_Array_Type"
test_315414.ads:9:49: instantiation abandoned
gnatmake: "test_315414.ads" compilation error

-- 
           Summary: GNAT rejects matching parameter in generic instantiation
                    as non-matching
           Product: gcc
           Version: 4.0.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


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

[Bug ada/22164] GNAT rejects matching parameter in generic instantiation as non-matching

[ludovic dot brenta at insalien dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |rejects-valid


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

[Bug ada/22164] GNAT rejects matching parameter in generic instantiation as non-matching

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-06-23 14:47 -------
On the mainline (and 4.0.0) on powerpc-darwin, I get:
test_315414.ads:9:34: invalid prefix in selected component "P"


-- 


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

[Bug ada/22164] GNAT rejects matching parameter in generic instantiation as non-matching

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-06-23 14:50 -------
*** Bug 22165 has been marked as a duplicate of this bug. ***

-- 


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

[Bug ada/22164] GNAT rejects matching parameter in generic instantiation as non-matching

[ludovic dot brenta at insalien dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |sparre at nbi dot dk


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

[Bug ada/22164] GNAT rejects matching parameter in generic instantiation as non-matching

[ludovic dot brenta at insalien dot org]

------- Additional Comments From ludovic dot brenta at insalien dot org  2005-06-23 14:53 -------
Sorry - replace line 9 with:

    package Instance_Of_Q is new Instance_Of_P.Q (Formal_Array_Type => Array_Type);

-- 
Ludovic Brenta.


-- 


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

[Bug ada/22164] GNAT rejects matching parameter in generic instantiation as non-matching

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-06-23 14:55 -------
Confirmed.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
      Known to fail|                            |4.1.0 4.0.0 3.3
   Last reconfirmed|0000-00-00 00:00:00         |2005-06-23 14:55:50
               date|                            |


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

[Bug ada/22164] GNAT rejects matching parameter in generic instantiation as non-matching

[sam at gcc dot gnu dot org]

------- Comment #5 from sam at gcc dot gnu dot org  2008-08-17 13:19 -------
This appears to be fixed in SVN trunk.


-- 

sam at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |sam at gcc dot gnu dot org
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|---                         |4.4.0


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

[Bug ada/22164] GNAT rejects matching parameter in generic instantiation as non-matching

[bat at m4tp dot org]

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

baptiste fouques <bat at m4tp dot org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |bat at m4tp dot org

--- Comment #6 from baptiste fouques <bat at m4tp dot org> 2011-10-06 10:58:56 UTC ---
seems still present in gcc 4.5.3

it passes OK in most situations, but fails with 2005 extension and match
checks.

should be re-opened

---

generic
   type Data is range <>; -- would pass with "Type Data is private" or anything
even less constraint
   type Table is array (Positive range <>) of access Data;
package Test is

end Test;

---

with Test;

package Test_2 is

   type My_Data is range 0 .. 16#ff#;
   type Data_Table is array (Positive range <>) of access My_Data;

   package Instance is new Test
     (
      Data  => My_Data,
      Table => Data_Table
     );

end Test_2;

---

gcc -c -gnatc -g -gnatq -gnatQ test_2.ads
test_2.ads:11:16: component subtype of actual does not match that of formal
"Table"
test_2.ads:11:16: instantiation abandoned