#include <stdint.h>
#include <stdio.h>

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

void f1 ( void )
{
  char ch;

  ch = ( char ) getchar ( );

  if ( EOF != ( int32_t ) ch )  /* Non-compliant */
  {
  }
}

void f2 ( void )
{
  char ch;

  ch = ( char ) getchar ( );

  if ( !feof ( stdin ) )        /* Compliant     */
  {
  }
}

void f3 ( void )
{
  int32_t i_ch;

  i_ch = getchar ( );

  if ( EOF != i_ch )            /* Compliant     */
  {
    char ch;

    ch = ( char ) i_ch;
  }
}

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