Bug#579920: gnat bug report

[Nicolas Boulenguez <nicolas.boulenguez@free.fr>]

retitle 579920 gnat-4.6: Assert_Failure sinfo.adb:2738
reassign 579920 gnat-4.6
found 579920 4.6.1-4
forwarded 579920 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50197
thanks

I produced the same failure with a smaller source.

$ gcc -c a.ads
+===========================GNAT BUG DETECTED==============================+
| 4.6.1 (x86_64-pc-linux-gnu) Assert_Failure sinfo.adb:2738                |

--  Content of a.ads
package A is

   generic
      B_Formal : Integer;
   package B is
   end B;

   generic
      with package B_Instanciation is new B
	(Foo => Bar,
	 others => <>);
   package C is
   end C;

end A;