This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH] Improve verification of loop->latch in verify_loop_structure
- From: Alan Lawrence <alan dot lawrence at arm dot com>
- To: Richard Biener <rguenther at suse dot de>
- Cc: Tom de Vries <Tom_deVries at mentor dot com>, "gcc-patches at gnu dot org" <gcc-patches at gnu dot org>, Jakub Jelinek <jakub at redhat dot com>
- Date: Thu, 26 Nov 2015 11:33:09 +0000
- Subject: Re: [PATCH] Improve verification of loop->latch in verify_loop_structure
- Authentication-results: sourceware.org; auth=none
- References: <56524E0D dot 7000203 at mentor dot com> <alpine dot LSU dot 2 dot 11 dot 1511231122000 dot 4884 at t29 dot fhfr dot qr> <56547D49 dot 5040609 at mentor dot com> <alpine dot LSU dot 2 dot 11 dot 1511251144120 dot 4884 at t29 dot fhfr dot qr>
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()
/work/alalaw01/src2/gcc/gcc/cfgloop.c:1669
0x97c6ae checking_verify_loop_structure
/work/alalaw01/src2/gcc/gcc/cfgloop.h:325
0x97c6ae loop_optimizer_init(unsigned int)
/work/alalaw01/src2/gcc/gcc/loop-init.c:106
0x97c78a rtl_loop_init
/work/alalaw01/src2/gcc/gcc/loop-init.c:398
0x97c78a execute
/work/alalaw01/src2/gcc/gcc/loop-init.c:425
--Alan