diff options
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 |