Blame stdio-common/scanf12.c

Packit Service 82fcde
#include <stdio.h>
Packit Service 82fcde
#include <stdlib.h>
Packit Service 82fcde
Packit Service 82fcde
int
Packit Service 82fcde
main (void)
Packit Service 82fcde
{
Packit Service 82fcde
  double d;
Packit Service 82fcde
  int c;
Packit Service 82fcde
Packit Service 82fcde
  if (scanf ("%lg", &d) != 0)
Packit Service 82fcde
    {
Packit Service 82fcde
      printf ("scanf didn't failed\n");
Packit Service 82fcde
      exit (1);
Packit Service 82fcde
    }
Packit Service 82fcde
  c = getchar ();
Packit Service 82fcde
  if (c != ' ')
Packit Service 82fcde
    {
Packit Service 82fcde
      printf ("c is `%c', not ` '\n", c);
Packit Service 82fcde
      exit (1);
Packit Service 82fcde
    }
Packit Service 82fcde
Packit Service 82fcde
  return 0;
Packit Service 82fcde
}