#include <stdint.h>

void example ( void )
{
/* ----------------- Example code from MISRA C:2012 begin ----------------- */

  uint32_t *p32;
  void     *p;
  uint16_t *p16;

  p   = p32;               /* Compliant     */
  p16 = p;                 /* Non-compliant */
  p   = ( void * ) p16;    /* Compliant     */
  p32 = ( uint32_t * ) p;  /* Non-compliant */

/* ------------------ Example code from MISRA C:2012 end ------------------ */
}