diff options
author | 2019-11-18 10:37:24 +0000 | |
---|---|---|
committer | 2019-11-19 03:43:57 +0000 | |
commit | 360b523b52a91bd0d1d7de1247141367c484d70f (patch) | |
tree | c3d4a14cddf4f8b7603b91ca1c409cdf4f45d6f8 /.git_commit_template.txt | |
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 '.git_commit_template.txt')
0 files changed, 0 insertions, 0 deletions