diff options
| author | Renato Westphal <renato@opensourcerouting.org> | 2017-10-06 17:50:19 -0300 |
|---|---|---|
| committer | Renato Westphal <renato@opensourcerouting.org> | 2017-10-06 17:50:19 -0300 |
| commit | 11bf8e13f2034634601ba1fb43114164e71c71fe (patch) | |
| tree | 91a7324c8d3a96c2a10254f6f91ac99b50b43d2f /ldpd/labelmapping.c | |
| parent | 3782fb37b1c480f2a1c3811fb703bdd5981ca60a (diff) | |
ldpd: sprinkle in some asserts to make scan-build happy
While here, fix the other SA warnings.
Signed-off-by: Renato Westphal <renato@opensourcerouting.org>
Diffstat (limited to 'ldpd/labelmapping.c')
| -rw-r--r-- | ldpd/labelmapping.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ldpd/labelmapping.c b/ldpd/labelmapping.c index f53bc8333d..5662038a58 100644 --- a/ldpd/labelmapping.c +++ b/ldpd/labelmapping.c @@ -130,6 +130,7 @@ send_labelmessage(struct nbr *nbr, uint16_t type, struct mapping_head *mh) } TAILQ_REMOVE(mh, me, entry); + assert(me != TAILQ_FIRST(mh)); free(me); } @@ -459,6 +460,7 @@ recv_labelmessage(struct nbr *nbr, char *buf, uint16_t len, uint16_t type) next: TAILQ_REMOVE(&mh, me, entry); + assert(me != TAILQ_FIRST(&mh)); free(me); } |