From 9fc7ff92aeae04bdef6386af3b0fca0481ca05d3 Mon Sep 17 00:00:00 2001 From: Christian Grothoff Date: Fri, 10 Mar 2017 18:19:44 +0100 Subject: [PATCH] add assertion to make static analysis happy --- src/cadet/gnunet-service-cadet-new_channel.c | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/src/cadet/gnunet-service-cadet-new_channel.c b/src/cadet/gnunet-service-cadet-new_channel.c index bce62032a..43c905816 100644 --- a/src/cadet/gnunet-service-cadet-new_channel.c +++ b/src/cadet/gnunet-service-cadet-new_channel.c @@ -1917,15 +1917,17 @@ GCCH_handle_local_ack (struct CadetChannel *ch, GSC_send_to_client (ccc->c, com->env); /* Notify sender that we can receive more */ - if (ccc->ccn.channel_of_client == - ch->owner->ccn.channel_of_client) + if ( (NULL != ch->owner) && + (ccc->ccn.channel_of_client == + ch->owner->ccn.channel_of_client) ) { to_owner = GNUNET_NO; } else { - GNUNET_assert (ccc->ccn.channel_of_client == - ch->dest->ccn.channel_of_client); + GNUNET_assert ( (NULL != ch->dest) && + (ccc->ccn.channel_of_client == + ch->dest->ccn.channel_of_client) ); to_owner = GNUNET_YES; } send_ack_to_client (ch, -- 2.25.1