Re: [PATCH] Check NULL loop->latch in verify_loop_structure

2015-11-23 Thread Richard Biener
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_MULTIPLE_LATCHES, we don't allow a NULL latch > - if LOOPS_MAY_HAVE_MULTIPLE_LATCHES, we check that ind

[PATCH] Check NULL loop->latch in verify_loop_structure

2015-11-22 Thread Tom de Vries
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_MULTIPLE_LATCHES, we don't allow a NULL latch - if LOOPS_MAY_HAVE_MULTIPLE_LATCHES, we check that indeed there's no single loop latch. As a consequence o