#include <errno.h>
#include <stddef.h>

typedef double float64_t;

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

void f ( void )
{
  float64_t f64;

  errno = 0;

  f64 = atof ( "A.12" );

  if ( 0 == errno )               /* Non-compliant */
  {
  }

  errno = 0;

  f64 = strtod ( "A.12", NULL );

  if ( 0 == errno )               /* Compliant     */
  {
  }
}

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