The correct invariant is (cur != NULL -> next != NULL). Not the other way around.
Signed-off-by: Michael Niedermayer <michaelni@gmx.at>