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 49107197..62f4a744 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;