#include "../include/typedefs.h"

// Example code from MISRA C:2012 begin
void f ( bool_t b, uint16_t *p )
{
  if ( b )
  {
    *p = 3U;
  }
}

void g ( void )
{
  uint16_t u;

  f ( false, &u );

  if ( u == 3U )
  {
    /* Non-compliant - u has not been assigned a value */
  }
}
// Example code from MISRA C:2012 end

void example ( void )
// Example code from MISRA C:2012 begin
{
  goto L1;

  uint16_t x = 10u;

L1:
  x = x + 1u;  /* Non-compliant - x has not been assigned a value */
}
// Example code from MISRA C:2012 end