Processed: Fixed in 4.8

Processing control commands: retitle -1 [Fixed in 4.8] [kfreebsd-amd64,mips,mipsel] Bug box in interpret_loop_phi, at tree-scalar-evolution.c:1645 Bug #642980 [gnat-4.6] Bug box in interpret_loop_phi, at tree-scalar-evolution.c:1645 Changed Bug title to '[Fixed in 4.8]

Processed: fixed in 4.8

Processing control commands: retitle -1 [Fixed in 4.8] Assert_Failure sinfo.adb:1072 in iterator Bug #658566 [gnat-4.6] gnat: Compiler assertion in iterator Changed Bug title to '[Fixed in 4.8] Assert_Failure sinfo.adb:1072 in iterator' from 'gnat: Compiler assertion in iterator' -- 658566:

Processed: fixed in 4.8

Processing control commands: retitle -1 [Fixed in 4.8] GCC error on precondition in gnat_to_gnu_entity, at ada/gcc-interface/decl.c:353 Bug #658567 [gnat-4.6] gnat: Compiler assertion on precondition Changed Bug title to '[Fixed in 4.8] GCC error on precondition in gnat_to_gnu_entity, at

Processed: fixed in 4.8

Processing control commands: fixed -1 4.6.4-2 Bug #699736 [gnat-4.6] GNAT offers bug box on small Ada 2012 program There is no source info for the package 'gnat-4.6' at version '4.6.4-2' with architecture '' Unable to make a source version for version '4.6.4-2' Marked as fixed in versions

Processed: fixed in 4.8

Processing control commands: retitle -1 [Fixed in 4.8] Assert_Failure sinfo.adb:2947 Bug #659674 [gnat-4.6] gnat-4.6: Assert_Failure sinfo.adb:2947 Changed Bug title to '[Fixed in 4.8] Assert_Failure sinfo.adb:2947' from 'gnat-4.6: Assert_Failure sinfo.adb:2947' -- 659674: