#include <stdint.h>

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

  void     *p;
  uint32_t  u;

  p = ( void * ) 0x1234u;  /* Non-compliant */
  p = ( void * ) 1024.0f;  /* Non-compliant */
  u = ( uint32_t ) p;      /* Non-compliant */

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