diff options
| -rw-r--r-- | src/vppinfra/memcpy.h | 10 |
1 files changed, 10 insertions, 0 deletions
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 |