#include <stdint.h>

void use_uint32 ( uint32_t u32a );

void example ( void )
{
  uint32_t u32a;
  uint16_t u16a, u16b, u16c;

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

  u16c = u16a + u16b;               /* Compliant     */
  u32a = ( uint32_t ) u16a + u16b;  /* Compliant     */

  u32a = u16a + u16b;               /* Non-compliant */
  use_uint32 ( u16a + u16b );       /* Non-compliant */

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