diff options
| author | Christian Grothoff <christian@grothoff.org> | 2017-03-10 17:54:54 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2017-03-10 17:54:54 +0100 |
| commit | 1a2fad47b4652d3c2819e73ce7706856636b1310 (patch) | |
| tree | 87d16ac704ec5efb2725f23c20cd651371d6bc5c /src | |
| parent | 07c15041f3a502e22d1c239bca77c85c6b2bb39c (diff) | |
| download | gnunet-1a2fad47b4652d3c2819e73ce7706856636b1310.tar.gz gnunet-1a2fad47b4652d3c2819e73ce7706856636b1310.zip | |
add assertion to make static analysis happy
Diffstat (limited to 'src')
| -rw-r--r-- | src/cadet/gnunet-service-cadet-new_peer.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/cadet/gnunet-service-cadet-new_peer.c b/src/cadet/gnunet-service-cadet-new_peer.c index 350c8efae..29aef6895 100644 --- a/src/cadet/gnunet-service-cadet-new_peer.c +++ b/src/cadet/gnunet-service-cadet-new_peer.c | |||
| @@ -917,6 +917,7 @@ path_heap_cleanup (void *cls) | |||
| 917 | unused paths around in the hope that we might be able to switch, even | 917 | unused paths around in the hope that we might be able to switch, even |
| 918 | if the number of paths exceeds the threshold.) */ | 918 | if the number of paths exceeds the threshold.) */ |
| 919 | root = GNUNET_CONTAINER_heap_peek (cp->path_heap); | 919 | root = GNUNET_CONTAINER_heap_peek (cp->path_heap); |
| 920 | GNUNET_assert (NULL != root); | ||
| 920 | if (NULL != | 921 | if (NULL != |
| 921 | GCPP_get_connection (root, | 922 | GCPP_get_connection (root, |
| 922 | cp, | 923 | cp, |