Bug#658567: gnat: Compiler assertion on precondition

Package: gnat-4.6 Version: 4.6.2-3 Severity: normal Tags: upstream Dear Maintainer, Reported in upstream gcc: http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52121 sources available on the GCC bts % gcc-4.6 -c -gnat12 -gnata heap_sieve.adb +===GNAT BUG DETECTED===

Bug#658566: gnat: Compiler assertion in iterator

Package: gnat-4.6 Version: 4.6.2-3 Severity: normal Tags: upstream Dear Maintainer, Bug also reported in upstream at: http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52120 attachment available there Compiling with gcc-4.6 -c -gnat12 heap_sieve.adb +===GNAT BUG DETECTED===