[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#579920: gnat bug report

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

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

      B_Formal : Integer;
   package B is
   end B;

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

end A;

Reply to: