------- Additional Comments From ludovic dot brenta at insalien dot org
2005-04-28 19:52 -------
Here is another test case that produces the same bug box, from the Debian BTS:
package Test_306832 is
type T1 is record
i: integer;
end record;
package pak1 is
type T2 is tagged private;
private
type T2 is tagged null record;
end pak1;
generic
package pak2 is
function f(x: pak1.T2) return integer;
function f(x: T1) return integer;
j: integer := f((i => 2));
end pak2;
package new_pak2 is new pak2;
end Test_306832;
+===========================GNAT BUG DETECTED==============================+
| 3.15p (20020523) (i686-pc-linux-gnu) Storage_Error stack overflow (or
erroneous memory access)|
| Error detected at Test_306832.ada:19:24 [Test_306832.ada:22:4] |
+===========================GNAT BUG DETECTED==============================+
| 4.0.0 20041212 (experimental) (i686-pc-linux-gnu) Assert_Failure
sinfo.adb:2474|
| Error detected at Test_306832.ada:19:24 [Test_306832.ada:22:4] |
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19002
