aboutsummaryrefslogtreecommitdiff
path: root/src/cadet
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2017-03-10 18:19:44 +0100
committerChristian Grothoff <christian@grothoff.org>2017-03-10 18:19:44 +0100
commit9fc7ff92aeae04bdef6386af3b0fca0481ca05d3 (patch)
tree754b992464123d1d984ccb510d385a1a4329161e /src/cadet
parentec941a96c13c35e76aae4c39cfd66beccc34f250 (diff)
downloadgnunet-9fc7ff92aeae04bdef6386af3b0fca0481ca05d3.tar.gz
gnunet-9fc7ff92aeae04bdef6386af3b0fca0481ca05d3.zip
add assertion to make static analysis happy
Diffstat (limited to 'src/cadet')
-rw-r--r--src/cadet/gnunet-service-cadet-new_channel.c10
1 files 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,
1917 GSC_send_to_client (ccc->c, 1917 GSC_send_to_client (ccc->c,
1918 com->env); 1918 com->env);
1919 /* Notify sender that we can receive more */ 1919 /* Notify sender that we can receive more */
1920 if (ccc->ccn.channel_of_client == 1920 if ( (NULL != ch->owner) &&
1921 ch->owner->ccn.channel_of_client) 1921 (ccc->ccn.channel_of_client ==
1922 ch->owner->ccn.channel_of_client) )
1922 { 1923 {
1923 to_owner = GNUNET_NO; 1924 to_owner = GNUNET_NO;
1924 } 1925 }
1925 else 1926 else
1926 { 1927 {
1927 GNUNET_assert (ccc->ccn.channel_of_client == 1928 GNUNET_assert ( (NULL != ch->dest) &&
1928 ch->dest->ccn.channel_of_client); 1929 (ccc->ccn.channel_of_client ==
1930 ch->dest->ccn.channel_of_client) );
1929 to_owner = GNUNET_YES; 1931 to_owner = GNUNET_YES;
1930 } 1932 }
1931 send_ack_to_client (ch, 1933 send_ack_to_client (ch,