#include <stdint.h>

typedef float float32_t;

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

  int16_t  *p;
  float32_t f;

  f = ( float32_t ) p;  /* Non-compliant */
  p = ( int16_t * ) f;  /* Non-compliant */

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