Bug#642981: gnat-4.6: ICE in update_ssa_across_abnormal_edges, at tree-inline.c:1853
affects 642981 gnat-gps
thanks
This bug also affects four source files of gnat-gps 5.0 on armel only:
gcc-4.6 -c -g -O2 -gnatafno -gnatVa -I- -gnatA /build/buildd-gnat-gps_5.0-2-armel-1dgOLi/gnat-gps-5.0/browsers/src/browsers-call_graph.adb
+===========================GNAT BUG DETECTED==============================+
| 4.6.2 (arm-unknown-linux-gnueabi) GCC error: |
| in update_ssa_across_abnormal_edges, at tree-inline.c:1853 |
gcc-4.6 -c -g -O2 -gnatafno -gnatVa -I- -gnatA /build/buildd-gnat-gps_5.0-2-armel-1dgOLi/gnat-gps-5.0/kernel/src/gps-kernel-hooks.adb
+===========================GNAT BUG DETECTED==============================+
| 4.6.2 (arm-unknown-linux-gnueabi) GCC error: |
| in update_ssa_across_abnormal_edges, at tree-inline.c:1853 |
| Error detected around /build/buildd-gnat-gps_5.0-2-armel-1dgOLi/gnat-gps-5.0/kernel/src/gps-kernel-hooks.adb:1651:25|
gcc-4.6 -c -g -O2 -gnatafno -gnatVa -I- -gnatA /build/buildd-gnat-gps_5.0-2-armel-1dgOLi/gnat-gps-5.0/src_editor/src/src_editor_box.adb
+===========================GNAT BUG DETECTED==============================+
| 4.6.2 (arm-unknown-linux-gnueabi) GCC error: |
| in update_ssa_across_abnormal_edges, at tree-inline.c:1853 |
| Error detected around /build/buildd-gnat-gps_5.0-2-armel-1dgOLi/gnat-gps-5.0/src_editor/src/src_editor_box.adb:1552:7|
gcc-4.6 -c -g -O2 -gnatafno -gnatVa -I- -gnatA /build/buildd-gnat-gps_5.0-2-armel-1dgOLi/gnat-gps-5.0/ada_module/core/src/ada_semantic_tree-units.adb
+===========================GNAT BUG DETECTED==============================+
| 4.6.2 (arm-unknown-linux-gnueabi) GCC error: |
| in update_ssa_across_abnormal_edges, at tree-inline.c:1853 |
| Error detected around /build/buildd-gnat-gps_5.0-2-armel-1dgOLi/gnat-gps-5.0/ada_module/core/src/ada_semantic_tree-units.adb:461:23|
I'll apply the same workaround as in libtemplates-parser.
--
Ludovic Brenta.
Reply to: