[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
- [GNUnet-SVN] [gnunet] 11/28: fix double-free, (continued)
- [GNUnet-SVN] [gnunet] 11/28: fix double-free, gnunet, 2017/03/10
- [GNUnet-SVN] [gnunet] 18/28: fix integer overflow test to actually work, gnunet, 2017/03/10
- [GNUnet-SVN] [gnunet] 21/28: remove redundant condition in assertion, gnunet, 2017/03/10
- [GNUnet-SVN] [gnunet] 19/28: properly detect and handle parse error, gnunet, 2017/03/10
- [GNUnet-SVN] [gnunet] 13/28: prevent division by zero, gnunet, 2017/03/10
- [GNUnet-SVN] [gnunet] 23/28: check return value from GNUNET_program_run, gnunet, 2017/03/10
- [GNUnet-SVN] [gnunet] 24/28: fix comment, gnunet, 2017/03/10
- [GNUnet-SVN] [gnunet] 27/28: add assertion to make static analysis happy, gnunet, 2017/03/10
- [GNUnet-SVN] [gnunet] 25/28: use correct channel when switching, gnunet, 2017/03/10
- [GNUnet-SVN] [gnunet] 26/28: add assertion to make static analysis happy, gnunet, 2017/03/10
- [GNUnet-SVN] [gnunet] 28/28: add assertion to make static analysis happy,
gnunet <=