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
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
