From c8ed013600223fe9efa79c6d4c7a89339e58c58d Mon Sep 17 00:00:00 2001
From: Sylvain Rochet <gradator@gradator.net>
Date: Tue, 24 Mar 2015 23:10:58 +0100
Subject: [PATCH] PPP, FSM, added assert to easily track cilen size mismatch

See c49fc8d for such a problem which ends up with heap corruption.
---
 src/netif/ppp/fsm.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/netif/ppp/fsm.c b/src/netif/ppp/fsm.c
index ee0c708c..3e63e2fd 100644
--- a/src/netif/ppp/fsm.c
+++ b/src/netif/ppp/fsm.c
@@ -751,6 +751,7 @@ static void fsm_sconfreq(fsm *f, int retransmit) {
     PUTSHORT(cilen + HEADERLEN, outp);
     if (cilen != 0) {
 	(*f->callbacks->addci)(f, outp, &cilen);
+	LWIP_ASSERT("cilen == p->len - HEADERLEN - PPP_HDRLEN", cilen == p->len - HEADERLEN - PPP_HDRLEN);
     }
 
     ppp_write(pcb, p);