gnunet-svn
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[GNUnet-SVN] [gnunet] 28/28: add assertion to make static analysis happy


From: gnunet
Subject: [GNUnet-SVN] [gnunet] 28/28: add assertion to make static analysis happy
Date: Fri, 10 Mar 2017 18:19:12 +0100

This is an automated email from the git hooks/post-receive script.

grothoff pushed a commit to branch master
in repository gnunet.

commit 9fc7ff92aeae04bdef6386af3b0fca0481ca05d3
Author: Christian Grothoff <address@hidden>
AuthorDate: Fri Mar 10 18:19:44 2017 +0100

    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,

-- 
To stop receiving notification emails like this one, please contact
address@hidden



reply via email to

[Prev in Thread] Current Thread [Next in Thread]