#include <stdint.h>

void example ( void )
{
  int32_t  s32a, s32b;
  uint32_t u32a, u32b;
  uint16_t u16a, u16b;

/* ----------------- Example code from MISRA C:2012 begin ----------------- */

  ( uint16_t ) ( u32a + u32b );  /* Compliant     */
  ( uint16_t ) ( s32a + s32b );  /* Non-compliant */
  ( uint16_t )   s32a;           /* Compliant     */
  ( uint32_t ) ( u16a + u16b );  /* Non-compliant */

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