[Bug ada/19002] GNAT BUG DETECTED, unqualified record aggregate triggers

[ludovic dot brenta at insalien dot org]

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