MISRA.STDLIB.INCOMPAT_ARGS.2012_AMD1

The pointer arguments to memcpy, memmove, or memcmp are not pointers to compatible types

MISRA C 2012 Rule 21.15: The pointer arguments to the Standard Library functions memcpy, memmove and memcmp shall be pointers to qualified or unqualified versions of compatible types

Category: Required

Analysis: Decidable, Single Translation Unit

Applies to: C90, C99

Rationale

void * memcpy   ( void * restrict s1, const void * restrict s2, size_t n );
void * memmove  ( void *s1, const void *s2, size_t n );
 int   memcmp   ( const void *s1, const void *s2, size_t n );

perform a byte by byte copy, move or comparison of the first n bytes of the two objects pointed at by s1 and s2.

An attempt to call one of these functions with arguments which are pointers to different types may indicate a mistake.

Example

/*
 * Is it intentional to only copy part of 's2'?
 */
void f ( uint8_t s1[ 8 ], uint16_t s2[ 8 ] )
{
  ( void ) memcpy ( s1, s2, 8 );    /* Non-compliant */
}