Blame stdio-common/bug1.c

Packit Service 82fcde
#include <stdio.h>
Packit Service 82fcde
#include <stdlib.h>
Packit Service 82fcde
#include <string.h>
Packit Service 82fcde
Packit Service 82fcde
int
Packit Service 82fcde
main (void)
Packit Service 82fcde
{
Packit Service 82fcde
  char *bp;
Packit Service 82fcde
  size_t size;
Packit Service 82fcde
  FILE *stream;
Packit Service 82fcde
  int lose = 0;
Packit Service 82fcde
Packit Service 82fcde
  stream = open_memstream (&bp, &size);
Packit Service 82fcde
  fprintf (stream, "hello");
Packit Service 82fcde
  fflush (stream);
Packit Service 82fcde
  printf ("buf = %s, size = %Zu\n", bp, size);
Packit Service 82fcde
  lose |= size != 5;
Packit Service 82fcde
  lose |= strncmp (bp, "hello", size);
Packit Service 82fcde
  fprintf (stream, ", world");
Packit Service 82fcde
  fclose (stream);
Packit Service 82fcde
  printf ("buf = %s, size = %Zu\n", bp, size);
Packit Service 82fcde
  lose |= size != 12;
Packit Service 82fcde
  lose |= strncmp (bp, "hello, world", 12);
Packit Service 82fcde
Packit Service 82fcde
  puts (lose ? "Test FAILED!" : "Test succeeded.");
Packit Service 82fcde
Packit Service 82fcde
  free (bp);
Packit Service 82fcde
Packit Service 82fcde
  return lose;
Packit Service 82fcde
}