Package: gnat-4.6 Followup-For: Bug #642981 Control: retitle -1 [Fixed in 4.8] armel: ICE in update_ssa_across_abnormal_edges, at tree-inline.c:1853 Please ignore last message, I confused two bugs. However: Fixed on abel.debian.org with gnat 4.8.2-8 and -O[0123].