diff options
author | 2019-12-04 11:46:52 -0600 | |
---|---|---|
committer | 2020-08-12 07:43:14 +0000 | |
commit | be4511d318291d9a0d3888faf1d32857194e2f3b (patch) | |
tree | 2fed1bcafb1f691c60f02d43b0c9523bbb315f20 /src/plugins/map/map.c | |
parent | 897c941c8d1d8120e9935614b995d6fda5c2bf14 (diff) |
map: Fix a coverity MAP dead-code issue.
Type: fix
Change-Id: I5467bbe3b25b1ea3fb44157abe6e7bfb3f191e77
Signed-off-by: Jon Loeliger <jdl@netgate.com>
(cherry picked from commit 3aae3dc7acddbe2f46de785b50c3358b7d3e0acc)
Diffstat (limited to 'src/plugins/map/map.c')
-rw-r--r-- | src/plugins/map/map.c | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/plugins/map/map.c b/src/plugins/map/map.c index e0addf97c41..a214228bd55 100644 --- a/src/plugins/map/map.c +++ b/src/plugins/map/map.c @@ -97,9 +97,6 @@ map_free_extras (u32 map_domain_index) return; de = vec_elt_at_index (mm->domain_extras, map_domain_index); - if (!de) - return; - vec_free (de->tag); } |