Processed: Re: Bug#579920: gnat bug report

2011-08-26 Thread Debian Bug Tracking System
Processing commands for cont...@bugs.debian.org: > retitle 579920 gnat-4.6: Assert_Failure sinfo.adb:2738 Bug #579920 [gnat-4.4] gnat-4.4: Assert_Failure sinfo.adb:2515 on legal program Changed Bug title to 'gnat-4.6: Assert_Failure sinfo.adb:2738' from 'gnat-4.4: Assert_Failure sinfo.adb:2515 on

Bug#579920: gnat bug report

2011-08-26 Thread Nicolas Boulenguez
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===

Processed: Re: Bug#579920: gnat bug report

2010-05-02 Thread Debian Bug Tracking System
Processing commands for cont...@bugs.debian.org: > retitle 579920 gnat-4.4: Assert_Failure sinfo.adb:2515 on legal program Bug #579920 [gnat] gnat bug report Changed Bug title to 'gnat-4.4: Assert_Failure sinfo.adb:2515 on legal program' from 'gnat bug report' > reassign 579920 gnat-4.4 Bug #5799