diff options
author | Dave Barach <dave@barachs.net> | 2016-11-23 08:57:37 -0500 |
---|---|---|
committer | Damjan Marion <dmarion.lists@gmail.com> | 2016-11-23 15:19:11 +0000 |
commit | 971158ee7bc1a07d0d1468774e5dc0e388b6c449 (patch) | |
tree | 56f433c1bbac2cf468a3bf2e31e17890804155ea /vpp-api/python/pneum/test_pneum.c | |
parent | 4af521d2972af7efcf8ed0678293d2f0e2ce1b45 (diff) |
Fix coverity warnings, VPP-486
Change-Id: Id88805f77642187f304f8baef1f6b447728e4b5b
Signed-off-by: Dave Barach <dave@barachs.net>
Diffstat (limited to 'vpp-api/python/pneum/test_pneum.c')
-rw-r--r-- | vpp-api/python/pneum/test_pneum.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/vpp-api/python/pneum/test_pneum.c b/vpp-api/python/pneum/test_pneum.c index 49107197f88..62f4a7446d4 100644 --- a/vpp-api/python/pneum/test_pneum.c +++ b/vpp-api/python/pneum/test_pneum.c @@ -106,8 +106,11 @@ int main (int argc, char ** argv) /* Construct the API message */ M_NOALLOC(SHOW_VERSION, show_version); pneum_write((char *)mp, sizeof(*mp)); +#ifndef __COVERITY__ + /* As given, async is always 1. Shut up Coverity about it */ if (!async) while (result_ready == 0); +#endif } if (async) { vl_api_control_ping_t control; |