Try silencing Coverity false positive CID 1441482

Bugfix on 469f47ef8dc8b18104108f0437c860ec88fca6ad; bug not in any released
Tor version.

diff --git a/src/core/or/versions.c b/src/core/or/versions.c
index 5d4effcaf843ad699505ee6d38d08492cdcc81f3..a1336c7a78688f0c8fd3a2b8eff18f10348c4246 100644 (file)
--- a/src/core/or/versions.c
+++ b/src/core/or/versions.c
@@ -399,6 +399,7 @@ memoize_protover_summary(protover_summary_flags_t *out,
 
   if (strmap_size(protover_summary_map) >= MAX_PROTOVER_SUMMARY_MAP_LEN) {
     protover_summary_cache_free_all();
+    tor_assert(protover_summary_map == NULL);
     protover_summary_map = strmap_new();
   }