X-Git-Url: https://gerrit.fd.io/r/gitweb?a=blobdiff_plain;f=src%2Fvppinfra%2Fmemcpy.h;h=f3adc78d53df4ebc483614fd63e93c56da9c925e;hb=83b2f5e34bba21f9ce8f04719715d3b85b16a2e8;hp=115379797d2429dee3e8ad278c02ead53799c9a3;hpb=efe6eddcf857e50ed6634425bc0361e4a8c65c72;p=vpp.git

diff --git a/src/vppinfra/memcpy.h b/src/vppinfra/memcpy.h
index 115379797d2..f3adc78d53d 100644
--- a/src/vppinfra/memcpy.h
+++ b/src/vppinfra/memcpy.h
@@ -6,6 +6,8 @@
 #ifndef included_memcpy_h
 #define included_memcpy_h
 
+#ifndef __COVERITY__
+
 static_always_inline void
 clib_memcpy_u32_x4 (u32 *dst, u32 *src)
 {
@@ -152,4 +154,12 @@ clib_memcpy_u32 (u32 *dst, u32 *src, u32 n_left)
     }
 }
 
+#else /* __COVERITY__ */
+static_always_inline void
+clib_memcpy_u32 (u32 *dst, u32 *src, u32 n_left)
+{
+  memcpy (dst, src, n_left * sizeof (u32));
+}
+#endif
+
 #endif