diff options
author | Dave Barach <dave@barachs.net> | 2016-08-08 13:05:31 -0400 |
---|---|---|
committer | Dave Barach <dave@barachs.net> | 2016-08-08 13:09:15 -0400 |
commit | 6f6f34f620a18638eb820a9ab3d8a93e350d722a (patch) | |
tree | f0e03e0a2e96b10511561e5868a4ff741a9386f4 /vnet/vnet/map/ip4_map_t.c | |
parent | 06e3d075760be43dbd61385d3c7861cd5fe44af2 (diff) |
VPP-189 Clean up more coverity warnings
Change-Id: If66713d79c545c762c385faf08cc809347741152
Signed-off-by: Dave Barach <dave@barachs.net>
Diffstat (limited to 'vnet/vnet/map/ip4_map_t.c')
-rw-r--r-- | vnet/vnet/map/ip4_map_t.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/vnet/vnet/map/ip4_map_t.c b/vnet/vnet/map/ip4_map_t.c index f4bae608e4d..6c3a80cc5f3 100644 --- a/vnet/vnet/map/ip4_map_t.c +++ b/vnet/vnet/map/ip4_map_t.c @@ -376,7 +376,8 @@ _ip4_map_t_icmp (map_domain_t * d, vlib_buffer_t * p, u8 * error) } else { - ASSERT (0); // We had a port from that, so it is udp or tcp or ICMP + /* To shut up Coverity */ + os_panic(); } //FIXME: Security check with the port found in the inner packet |