[PATCH] Improve verification of loop->latch in verify_loop_structure

Alan Lawrence alan.lawrence@arm.com
Thu Nov 26 11:46:00 GMT 2015

This caused an ICE compiling value.c from gdb on
aarch64-none-linux-gnu; the testcase, after preprocessing on aarch64,
ICEs on both aarch64 and x86_64, but is about 1MB - I'm working on
reducing that down to something small enough to post...

$ ./gcc/xgcc -B ./gcc -O2 -g value.c
../../binutils-gdb/gdb/value.c: In function ‘show_convenience’:
../../binutils-gdb/gdb/value.c:2615:1: error: loop 3’s latch is missing
../../binutils-gdb/gdb/value.c:2615:1: internal compiler error: in
verify_loop_structure, at cfgloop.c:1669
0x71e653 verify_loop_structure()
0x97c6ae checking_verify_loop_structure
0x97c6ae loop_optimizer_init(unsigned int)
0x97c78a rtl_loop_init
0x97c78a execute


More information about the Gcc-patches mailing list