diff options
author | Andrew Yourtchenko <ayourtch@gmail.com> | 2019-11-18 10:37:24 +0000 |
---|---|---|
committer | Ole Trøan <otroan@employees.org> | 2019-11-19 03:43:57 +0000 |
commit | 360b523b52a91bd0d1d7de1247141367c484d70f (patch) | |
tree | c3d4a14cddf4f8b7603b91ca1c409cdf4f45d6f8 /src/vnet/ip/punt.api | |
parent | 9a6dc8a9376e7270331255861b3ead1045b40c6d (diff) |
map: fix coverity issue 205684
ip4_map_get_domain returns d0 = 0 in case of no domain,
and sets error MAP_ERROR_NO_DOMAIN. Rearrange the clauses
in the logical check that relies on dereferencing d0
such that boolean shortcutting takes care of not
referencing the null pointer.
Change-Id: I378adc120836ea920fc530808ac3c1f98ab8d593
Type: fix
Signed-off-by: Andrew Yourtchenko <ayourtch@gmail.com>
Diffstat (limited to 'src/vnet/ip/punt.api')
0 files changed, 0 insertions, 0 deletions