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

2015-11-26 Thread Tom de Vries
On 26/11/15 13:15, Richard Biener wrote: On Thu, 26 Nov 2015, Alan Lawrence wrote: 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 some

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

2015-11-26 Thread Richard Biener
On Thu, 26 Nov 2015, Alan Lawrence wrote: > 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... > > $

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

2015-11-26 Thread Alan Lawrence
Here's a reduced testcase (reduced to the point of generating lots of warnings, I'm compiling with -O2 -w, on x86_64): struct __jmp_buf_tag { }; typedef struct __jmp_buf_tag sigjmp_buf[1]; extern struct cmd_list_element *showlist; struct internalvar { struct internalvar *next; }; static stru

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

2015-11-26 Thread Alan Lawrence
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/

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

2015-11-25 Thread Richard Biener
On Tue, 24 Nov 2015, Tom de Vries wrote: > [ was: Re: [PATCH] Check NULL loop->latch in verify_loop_structure ] > > On 23/11/15 11:28, Richard Biener wrote: > > On Mon, 23 Nov 2015, Tom de Vries wrote: > > > > > Hi, > > > > > > In verify_loop_structure, we stop checking the latch once we find t

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

2015-11-24 Thread Tom de Vries
[ was: Re: [PATCH] Check NULL loop->latch in verify_loop_structure ] On 23/11/15 11:28, Richard Biener wrote: On Mon, 23 Nov 2015, Tom de Vries wrote: Hi, In verify_loop_structure, we stop checking the latch once we find that it's NULL. This patch tries a bit harder: - if !LOOPS_MAY_HAVE_MUL