char *p1;
char *q1;
int n1;

// Example code from MISRA C:2012 begin
#include <string.h>

/* Compliant */
void f ( void )
{
  /* memcpy has restrict-qualified parameters */
  memcpy ( p1, q1, n1 );
}

/* Non-compliant */
void user_copy ( void * restrict p2, void * restrict q2, size_t n2 )
{
}
// Example code from MISRA C:2012 end